Extending definite clause grammars with scoping constructs (1990)

Cached

Download Links

by Remo Pareschi , Dale Miller
Venue:7th Int. Conf. Logic Programming
Citations:25 - 4 self

Active Bibliography

306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
86 Modularity In Logic Programming – Michele Bugliesi, Evelina Lamma, Paola Mello - 1993
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
A Proposal for Modules in λProlog: Preliminary Draft – Dale Miller
11 Adding Negation-as-Failure to Intuitionistic Logic Programming – Anthony J. Bonner, L. Thorne Mccarty - 1992
Explanation-Based Learning in Logic Programming Extended Abstract – Scott Dietzen, Frank Pfenning - 1989
3 A Proposal for Modules in λProlog – Dale Miller - 1993
4 A Proposal for Modules in λProlog – Dale Miller - 1993
2 Logic Programming and Logic Grammars with Binarization and First-order Continuations – Paul Tarau, Veronica Dahl - 1994
4 A Survey of Linear Logic Programming – Dale Miller - 1995
28 Representing Objects in a Logic Programming Language with Scoping Constructs – Joshua S. Hodas, Dale Miller - 1990
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller
7 An Overview of Linear Logic Programming – Dale Miller - 1985
2 Circumscribing Embedded Implications (Without Stratifications) – L. Thorne Mccarty - 1992
6 A Logical Semantics For Hypothetical Rulebases With Deletion – Anthony J. Bonner - 1997
5 Intuitionistic Deductive Databases And The Polynomial Time Hierarchy – Anthony J. Bonner - 1997
64 Lexical scoping as universal quantification – Dale Miller - 1989
A Declarative Alternative to "assert" in Logic Programming – Scott Dietzen And, Scott Dietzen, Frank Pfenning - 1991
4 Proof Procedures for Logic Programming – Donald W. Loveland, Donald W. Loveland, Gopalan Nadathur, Gopalan Nadathur - 1994