default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic Programming, Volume 3
Volume 3, Number 1, April 1986
- Dov M. Gabbay, Marek J. Sergot:
Negation as Inconsistency I. 1-35 - Maarten H. van Emden:
Quantitative Deduction and its Fixpoint Theory. 37-53 - John W. Lloyd, Rodney W. Topor:
A Basis for Deductive Database Systems II. 55-67 - Damjan Bojadziev:
A Constructive View of Prolog. 69-74 - Leon Sterling, Michael Codish
:
Pressing for Parallelism: A Prolog Program made Concurrent. 75-92
Volume 3, Number 2, July 1986
- Tim Flannagan:
The Consistency of Negation as Failure. 93-114 - Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher:
Comments on "General Failure of Logic Programs". 115-118 - Rikio Onai, Hajime Shimizu, Kanae Masuda, Moritoshi Aso:
Analysis of Sequential Prolog Programs. 119-141 - Joxan Jaffar, Peter J. Stuckey:
Canonical Logic Programs. 143-155 - Lisa Hellerstein, Ehud Shapiro:
Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience. 157-184
Volume 3, Number 3, October 1986
- Hassan Aït-Kaci, Roger Nasr:
LOGIN: A Logic Programming Language with Built-In Inheritance. 185-215 - Marco Bellia, Giorgio Levi:
The Relation between Logic and Functional Languages: A Survey. 217-236 - Lawrence C. Paulson:
Natural Deduction as Higher-Order Resolution. 237-258 - Sanjai Narain:
A Technique for Doing Lazy Evaluation in Logic. 259-276
Volume 3, Number 4, December 1986
- Michael C. McCord, Verónica Dahl, Harvey Abramson:
Introduction to Special Issue on Natural Language and Logic Programming. 277-278 - Miguel Filgueiras:
Cooperating Rewrite Processes for Natural-Language Analysis. 279-298 - Lynette Hirschman:
Conjunction in Meta-Restriction Grammar. 299-328 - Patrick Saint-Dizier:
An Approach to Natural-Language Semantics in Logic Programming. 329-356
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-29 21:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
