default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logic Programming, Volume 17

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> 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 17, Number 1, October 1993

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Harland93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Harland93
James Harland:
Success and Failure for Hereditary Harrop Formulae. 1-29
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/KoMN93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/KoMN93
Hai-Ping Ko, David A. McAllester, Mark E. Nadel:
Lower Bounds for the Lengths of Refutations. 31-58
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/GuptaJ93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/GuptaJ93
Gopal Gupta, Bharat Jayaraman:
And-Or Parallelism on Shared-Memory Multiprocessors. 59-89

Volume 17, Numbers 2/3&4, November 1993

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Minker93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Minker93
Jack Minker:
An Overview of Nonmonotonic Reasoning and Logic Programming. 95-126
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/CadoliS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/CadoliS93
Marco Cadoli, Marco Schaerf:
A Survey of Complexity Results for Nonmonotonic Logics. 127-160
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/GelderS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/GelderS93
Allen Van Gelder, John S. Schlipf:
Commonsense Axiomatizations for Logic Programs. 161-195
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Fitting93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Fitting93
Melvin Fitting:
The Family of Stable Models. 197-225
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/PereiraAA93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/PereiraAA93
Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes:
Non-Monotonic Reasoning with Logic Programming. 227-263
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/FerrandD93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/FerrandD93
Gérard Ferrand, Pierre Deransart:
Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. 265-278
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/ChenW93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/ChenW93
Weidong Chen, David Scott Warren:
A Goal-Oriented Approach to Computing the Well-Founded Semantics. 279-300
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/GelfondL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/GelfondL93
Michael Gelfond, Vladimir Lifschitz:
Representing Action and Change by Logic Programs. 301-321
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/McCarty93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/McCarty93
L. Thorne McCarty:
Circumscribing Embedded Implications (without Stratifications). 323-364

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.