Logic Programming
Related Topics
Experts

1

2

3

4

5

6

7

8

9

10
Publications (30)

1JPSG Parser on Constraint Logic ProgrammingJPSG Parser on Constraint Logic Programming TUDA, Hirosi * Department of information science Faculty of science University...

2Higherorder Linear Logic Programming of Categorial Deduction1995  Glyn MorrillHigherorder Linear Logic Programming of Categorial Deduction Glyn Morril l Secci6 d'Intel.lig~ncia Artificial Departament...

3XMG  An Expressive Formalism for Describing TreeBased Grammarscompiler for this language. It applies techniques of logic programming (e.g. Warren’s Abstract Machine), thus providing an...

4Processing Language with Logical Types and Active Constraints1991  Patrick SaintDizierassociates type construction principles to constraint logic programming. We show that it is very appropriate for language ...

5Programming in Logic with Constraints for Natural Language Processing1989  Patrick SaintDizierGrammars (Colmerauer 1978). For a few years, the Logic Programming paradigm has been augmented with a number of technical...

6Multiple Interpreters in a PrincipleBased Model of Sentence Processing1991  Matthew W. Crockerthis model can be naturally implemented within the logic programming paradigm. In particular, we sketch a subset of GB theory...

7The Formal and Processing Models of CLG1991  Luis DAMAS,Giovanni B. Varileof CLG, which has been influenced by the Constraint Logic Programming paradigm 18\] 191. We show in what way it extends pure...

8Deterministic Consistency Checking of LP Constraints1995  Suresh Manandharstructures. On the other hand, within logic programming guarded logic programming languages have a longer history originating...

9ProFIT: Prolog with Features, Inheritance and Templates1995  Gregor ErbachTyped Feature Structures." We follow the usage in Logic Programming and the recent HPSG literature. of ordinary prblog...

10Cube Summing, Approximate Inference with NonLocal Features, and Dynamic Programming without Semirings2009  Kevin Gimpel,Noah A. Smithcalculate marginals. We first review the semiringweighted logic programming view of dynamic programming algorithms (Shieber et al...