default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 12
Volume 12, Number 1-2, 1994
- Jack Minker:
Overview of Disjunctive Logic Programming. 1-24 - Phan Minh Dung, Ngo Huu Liem:
Negation as Failure for Disjunctive Logic Programming. 25-52 - Rachel Ben-Eliyahu, Rina Dechter:
Propositional Semantics for Disjunctive Logic Programs. 53-87 - Michael Gelfond
:
Logic Programming and Reasoning with Incomplete Information. 89-116 - Bruce Spencer:
Avoiding Duplicate Proofs with the Foothold Refinement. 117-140
Volume 12, Number 3-4, 1994
- Teodor C. Przymusinski:
Well-founded and Stationary Models of Logic Programs. 141-187 - Stefan Brass:
Modular Specifications with Supernormal Defaults. 189-213 - Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider:
New Proofs in Default Logic Theory. 215-229 - Reiner Hähnle:
Many-Valued Logic and Mixed Integer Programming. 231-263 - Stéphane Demri, Ewa Orlowska, Ingrid Rewitzky:
Towards Reasoning about Hoare Relations. 265-289 - Tyko Straßen:
Syntactical Models and Fixed Points for the Basic Logic of Proofs. 291-322
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 2024-11-08 20:36 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:
