Logic programming and nonmonotonic reasoning. Third international conference, LPNMR '95, Lexington, KY, USA, June 26--28, 1995. Proceedings (Q1892704)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Eiter, Thomas; Gottlob, Georg; Leone, Nicola}, Complexity results for abductive logic programming, 1-14 [Zbl 1496.68332] \textit{Denecker, Marc}, A terminological interpretation of (abductive) logic programming, 15-28 [Zbl 1496.68331] \textit{Viegas Damásio, Carlos; Moniz Pereira, Luís}, Abduction over 3-valued extended logic programs, 29-42 [Zbl 1496.68327] \textit{Marek, V. Wiktor; Nerode, Anil; Remmel, Jeffrey B.}, On logical constraints in logic programming, 43-56 [Zbl 1497.68460] \textit{Aquilino, D.; Asirelli, P.; Renso, C.; Turini, F.}, An operator for composing deductive data bases with theories of constraints, 57-70 [Zbl 1496.68124] \textit{Halfeld Ferrari Alves, M.; Laurent, D.; Spyratos, N.}, Update rules in Datalog programs, 71-84 [Zbl 1496.68127] \textit{Brass, Stefan; Dix, Jürgen}, Characterizations of the stable semantics by partial evaluation, 85-98 [Zbl 1496.68086] \textit{Blair, Howard A.}, Game characterizations of logic program properties, 99-112 [Zbl 1496.68084] \textit{Berman, Kenneth A.; Schlipf, John S.; Franco, John V.}, Computing the well-founded semantics faster, 113-126 [Zbl 1496.68083] \textit{Lifschitz, Vladimir; McCain, Norman; Przymusinski, Teodor C.; Stärk, Robert F.}, Loop checking and the well-founded semantics, 127-142 [Zbl 1496.68089] \textit{Fitting, Melvin}, Annotated revision specification programs, 143-155 [Zbl 1496.68333] \textit{Przymusinski, Teodor C.; Turner, Hudson}, Update by means of inference rules, 156-174 [Zbl 1496.68337] \textit{da Silva, João C. P.; Veloso, Sheila R. M.}, A sphere world semantics for default reasoning, 175-188 [Zbl 1496.68314] \textit{Witteveen, Cees; van der Hoek, Wiebe}, Revision by communication, 189-202 [Zbl 1496.68328] \textit{Gabbay, D.; Giordano, L.; Martelli, A.; Olivetti, N.}, Hypothetical updates, priority and inconsistency in a logic programming language, 203-216 [Zbl 1496.68316] \textit{Miller, Rob}, Situation calculus specifications for event calculus logic programs, 217-230 [Zbl 1496.68319] \textit{Yuan, Li Yan; You, Jia Huai}, On the extension of logic programming with negation through uniform proofs, 231-244 [Zbl 1496.68094] \textit{Bochman, Alexander}, Default consequence relations as a logical framework for logic programs, 245-258 [Zbl 1496.68085] \textit{Mikitiuk, Artur; Truszczyński, Miroslaw}, Skeptical rational extensions, 259-272 [Zbl 1496.68318] \textit{Cholewiński, Paweł}, Reasoning with stratified default theories, 273-286 [Zbl 1496.68313] \textit{Ng, Raymond T.; Tian, Xiaomei}, Incremental methods for optimizing partial instantiation, 287-301 [Zbl 1496.68090] \textit{Stärk, Robert F.}, A transformation of propositional Prolog programs into classical logic, 302-315 [Zbl 1496.68093] \textit{Phan Minh Dung; Tran Cao Son}, Nonmonotonic inheritance, argumentation and logic programming, 316-329 [Zbl 1496.68321] \textit{Brogi, Antonio; Lamma, Evelina; Mancarella, Paolo; Mello, Paola}, An abductive framework for extended logic programming, 330-343 [Zbl 1496.68312] \textit{Sakama, Chiaki; Inoue, Katsumi}, Embedding circumscriptive theories in general disjunctive programs, 344-357 [Zbl 1496.68323] \textit{Kalinski, Jürgen}, Stable classes and operator pairs for disjunctive programs, 358-371 [Zbl 1496.68087] \textit{Pearce, David}, Nonmonotonicity and answer set inference, 372-387 [Zbl 1496.68320] \textit{Rajasekar, Arcot}, Trans-epistemic semantics for logic programs, 388-400 [Zbl 1496.68091] \textit{Toni, Francesca; Kakas, Antonios C.}, Computing the acceptability semantics, 401-415 [Zbl 1496.68325]