default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logic Programming, Volume 2

> Home > Journals > Journal of Logic Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 2, Number 1, April 1985

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/ChandraH85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/ChandraH85
Ashok K. Chandra, David Harel:
Horn Clauses Queries and Generalizations. 1-15
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/ClarkG85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/ClarkG85
Keith L. Clark, Steve Gregory:
Notes on the Implementation of Parlog. 17-42
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Mellish85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Mellish85
Chris Mellish:
Some Global Optimizations for a Prolog Compiler. 43-66
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/EmdenA85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/EmdenA85
Maarten H. van Emden, M. A. Nait Abdallah:
Top-Down Semantics of Fair Computations of Logic Programs. 67-75

Volume 2, Number 2, July 1985

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Nakagawa85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Nakagawa85
Hiroshi Nakagawa:
Prolog Program Transformations and Tree Manipulation Algorithms. 77-91
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/LloydT85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LloydT85
John W. Lloyd, Rodney W. Topor:
A Basis for Deductive Database Systems. 93-109
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Fitting85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Fitting85
Melvin Fitting:
A Deterministic Prolog Fixpoint Semantics. 111-118
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/DeransartM85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/DeransartM85
Pierre Deransart, Jan Maluszynski:
Relating Logic Programs and Attribute Grammars. 119-155
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Le85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Le85
Van Tu Le:
General Failure of Logic Programs. 157-165

Volume 2, Number 3, October 1985

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Naish85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Naish85
Lee Naish:
Automating Control for Logic Programs. 167-183
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Shepherdson85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Shepherdson85
John C. Shepherdson:
Negation as Failure II. 185-202
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/VasakP85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/VasakP85
Thomas Vasak, John Potter:
Metalogical Control for Logic Programs. 203-220
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/AsirelliSM85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/AsirelliSM85
Patrizia Asirelli, Michele de Santis, Maurizio Martelli:
Integrity Constraints for Logic Databases. 221-232
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Apt85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Apt85
Krzysztof R. Apt:
Review of Foundations of Logic Programs. 233-234

Volume 2, Number 4, December 1985

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/MinkerP85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/MinkerP85
Jack Minker, Donald Perlis:
Computing Protected Circumscription. 235-249
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Gabbay85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Gabbay85
Dov M. Gabbay:
N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure. 251-283
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Le85a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Le85a
Van Tu Le:
Negation-As-Failure Rule for General Logic Programs With Equality. 285-294
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Fitting85a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Fitting85a
Melvin Fitting:
A Kripke-Kleene Semantics for Logic Programs. 295-312

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.