Logic programming and nonmonotonic reasoning. 5th international conference, LPNMR '99. El Paso, TX, USA, December 2--4, 1999. Proceedings (Q1965363)

The articles of mathematical interest will be reviewed individually. The 3rd conference 1995 has been indicated (see Zbl 0875.00116). Indexed articles: \textit{Gottlob, Georg; Scarcello, Francesco; Sideri, Martha}, Fixed-parameter complexity in AI and nonmonotonic reasoning, 1-18 [Zbl 0955.68057] \textit{Janhunen, Tomi}, Classifying semi-normal default logic on the basis of its expressive power, 19-33 [Zbl 0946.03032] \textit{Cenzer, Douglas; Remmel, Jeffrey B.; Vanderbilt, Amy}, Locally determined logic programs, 34-48 [Zbl 0953.68030] \textit{Marek, Victor; Pivkina, Inna; Truszczyński, Mirosław}, Annotated revision programs, 49-62 [Zbl 0952.68034] \textit{Šefránek, Ján}, Belief, knowledge, revisions, and a semantics of non-monotonic reasoning, 63-77 [Zbl 0951.03012] \textit{Kakas, Antonis; Miller, Rob; Toni, Francesca}, An argumentation framework for reasoning about actions and change, 78-91 [Zbl 0946.03033] \textit{Lifschitz, Vladimir; Turner, Hudson}, Representing transition systems by logic programs, 92-106 [Zbl 0952.68132] \textit{Erdem, Esra; Lifschitz, Vladimir}, Transformations of logic programs related to causality and planning, 107-116 [Zbl 0952.68021] \textit{Lin, Fangzhen; Wang, Kewen}, From causal theories to logic programs (sometimes), 117-131 [Zbl 0953.68128] \textit{Dekhtyar, Michael; Dikovsky, Alexander; Dudakov, Sergey; Spyratos, Nicolas}, Monotone expansion of updates in logical databases, 132-146 [Zbl 0952.68051] \textit{Sakama, Chiaki; Inoue, Katsumi}, Updating extended logic programs through abduction, 147-161 [Zbl 0952.68052] \textit{Alferes, José Júlio; Pereira, Luís Moniz; Przymusinska, Halina; Przymusinski, Teodor C.}, LUPS -- a language for updating logic programs, 162-176 [Zbl 0952.68022] \textit{Greco, Sergio}, Minimal founded semantics for disjunctive logic programming, 221-235 [Zbl 0952.68023] \textit{De Vos, Marina; Vermeir, Dirk}, On the role of negation in choice logic programs, 236-246 [Zbl 0952.68024] \textit{Linke, Thomas; Schaub, Torsten}, Default reasoning via blocking sets, 247-261 [Zbl 0946.03034] \textit{Damásio, Carlos Viegas; Pereira, Luís Moniz; Swift, Terrance}, Coherent well-founded annotated logic programs, 262-276 [Zbl 0952.68025] \textit{Lukasiewicz, Thomas}, Many-valued disjunctive logic programs with probabilistic semantics, 277-289 [Zbl 0952.68026] \textit{Mateis, Cristinel}, Extending disjunctive logic programming by \(T\)-norms, 290-304 [Zbl 0952.68027] \textit{Simons, Patrik}, Extending the stable model semantics with more expressive rules, 305-316 [Zbl 0952.68028] \textit{Niemelä, Ilkka; Simons, Patrik; Soininen, Timo}, Stable model semantics of weight constraint rules, 317-331 [Zbl 0952.68029] \textit{Rosati, Riccardo}, Towards first-order nonmonotonic reasoning, 332-346 [Zbl 0947.03041] \textit{Antoniou, G.; Maher, M. J.; Billington, D.; Governatori, G.}, A comparison of sceptical NAF-free logic programming approaches, 347-356 [Zbl 0946.03030] \textit{Hitzler, Pascal; Seda, Anthony Karel}, Characterizations of classes of programs by three-valued operators, 357-371 [Zbl 0958.68038] \textit{McAllester, David}, World-modelling vs. world-axiomatizing, 375-388 [Zbl 0951.68536]