3. LPNMR 1995: Lexington, KY, USA

V. Wiktor Marek, Anil Nerode (Eds.): 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 BibTeX

@proceedings{DBLP:conf/lpnmr/1995,
  editor    = {V. Wiktor Marek and
               Anil Nerode},
  title     = {Logic Programming and Nonmonotonic Reasoning, Third International
               Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings},
  booktitle = {LPNMR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {928},
  year      = {1995},
  isbn      = {3-540-59487-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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