default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. LPNMR 1995: Lexington, KY, USA
- V. Wiktor Marek, Anil Nerode:
Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings. Lecture Notes in Computer Science 928, Springer 1995, ISBN 3-540-59487-6 - Thomas Eiter, Georg Gottlob, Nicola Leone:
Complexity Results for Abductive Logic Programming. 1-14 - Marc Denecker
:
A Terminological Interpretation of (Abductive) Logic Programming. 15-28 - Carlos Viegas Damásio, Luís Moniz Pereira:
Abduction over 3-Valued Extended Logic Programs. 29-42 - V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
On Logical Constraints in Logic Programming. 43-56 - Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini:
An Operator for Composing Deductive Databases with Theories of Constraints. 57-70 - Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos:
Update Rules in Datalog Programs. 71-84 - Stefan Brass, Jürgen Dix:
Characterizations of the Stable Semantics by Partial Evaluation. 85-98 - Howard A. Blair:
Game Characterizations of Logic Program Properties. 99-112 - Kenneth A. Berman, John S. Schlipf, John V. Franco:
Computing Well-founded Semantics Faster. 113-126 - Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski, Robert F. Stärk:
Loop Checking and the Wll-Founded Semantics. 127-142 - Melvin Fitting:
Annotated Revision Specification Programs. 143-155 - Teodor C. Przymusinski, Hudson Turner:
Update by Means of Inference Rules. 156-174 - João C. P. da Silva, Sheila R. M. Veloso:
A Sphere World Semantics for Default Reasoning. 175-188 - Cees Witteveen, Wiebe van der Hoek:
Revision by Communication. 189-202 - Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti:
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. 203-216 - Rob Miller:
Situation Calculus Specifications for Event Calculus Logic Programs. 217-230 - Li-Yan Yuan, Jia-Huai You:
On the Extension of Logic Programming with Negation through Uniform Proofs. 231-244 - Alexander Bochman:
Default Consequence Relations as a Logical Framework for Logic Programs. 245-258 - Artur Mikitiuk, Miroslaw Truszczynski:
Skeptical Rational Extensions. 259-272 - Pawel Cholewinski:
Reasoning with Stratified Default Theories. 273-286 - Raymond T. Ng, Xiaomei Tian:
Incremental Methods for Optimizing Partial Instantiation. 287-301 - Robert F. Stärk:
A Transformation of Propositional Prolog Programs into Classical Logic. 302-315 - Phan Minh Dung, Tran Cao Son:
Nonmonotonic Inheritance, Argumentation and Logic Programming. 316-329 - Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello:
An Abductive Framework for Extended Logic Programming. 330-343 - Chiaki Sakama, Katsumi Inoue:
Embedding Circumscriptive Theories in General Disjunctive Programs. 344-357 - Jürgen Kalinski:
Stable Classes and Operator Pairs for Disjunctive Programs. 358-371 - David Pearce:
Nonmonotonicity and Answer Set Inference. 372-387 - Arcot Rajasekar:
Trans-Epistemic Semantics for Logic Programs. 388-400 - Francesca Toni, Antonis C. Kakas:
Computing the Acceptability Semantics. 401-415
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-12-26 01:00 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:
