Verónica Dahl

Learn More
This volume contains 18 papers and the positions presented at two panel sessions. The papers are rather heterogeneous and the editors have not classified them in any way. The collection shows clearly the fast proliferation of new logic grammars and Prolog dialects, which is perhaps a necessary stage for a relatively new domain. Some of the modifications are(More)
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integrity constraints. Assumptions are a mechanism inspired by linear logic and taken over from Assumption Grammars. The language shows a novel flexibility in the interaction between the(More)
We discuss the use of logic for natural language (NL) processing, both as an internal query language and as a programming tool. Some extensions of standard predicate calculus are motivated by the first of these roles. A logical system including these extensions is informally described. It incorporates semantic as well as syntactic NL features, and its(More)
Logic grammars are grammars expressible in predicate logic. Implemented in the programming language Prolog, logic grammar systems have proved to be a good basis for natural language processing. One of the most difficult constructions for natural language grammars to treat is coordination (construction with conjunctions like 'and'). This paper describes a(More)
A set of executable speciications and eecient implementations of backtrackable state persisting over the current AND-continuation is investigated. At speciication level, our primitive operations are a variant of linear and intu-itionistic implications, having as consequent the current continuation. On top of them, we introduce a form of hypothetical(More)
Abduction is agreed upon as a powerful technique in logic programming but its actual use in practice appears to be rather limited since most available systems are research prototypes implemented using inefficient metaprogramming techniques. Assumptive logic programming is related to abduction but provides explicit creation and consumption of hypotheses plus(More)