Logic programming and nonmonotonic reasoning. Third international conference, LPNMR '95, Lexington, KY, USA, June 26--28, 1995. Proceedings
type: Item
instance of: scholarly article
title: Logic programming and nonmonotonic reasoning. Third international conference, LPNMR '95, Lexington, KY, USA, June 26--28, 1995. Proceedings
zbMATH Open document ID: 0875.00116
DOI: 10.1007/3-540-59487-6
published in: Lecture Notes in Computer Science
publication date: 1995-06-20T00:00:00Z
review text: 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}, S…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 766106
zbMATH Keywords: Logic programming
zbMATH Keywords: Nonmonotonic reasoning
zbMATH Keywords: Conference
zbMATH Keywords: Proceedings
zbMATH Keywords: Lexington, KY (USA)
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-59487-6
OpenAlex ID: W3140657662
description: scientific article; zbMATH DE number 766106