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

@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
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