Logic programming and nonmonotonic reasoning. 6th international conference, LPNMR 2001, Vienna, Austria, September 17--19, 2001. Proceedings (Q5947949)

The articles of this volume will be reviewed individually. The preceding conference (5th, 1999) has been reviewed (see Zbl 0931.00043). Indexed articles: \textit{Dix, Jürgen}, A computational logic approach to heterogeneous agent systems, 1-20 [Zbl 1007.68584] \textit{Baumgartner, Robert; Flesca, Sergio; Gottlob, Georg}, Declarative information extraction, Web crawling, and recursive wrapping with Lixto, 21-41 [Zbl 1007.68742] \textit{Kirousis, Lefteris M.; Kolaitis, Phokion G.}, On the complexity of model checking and inference in minimal models (extended abstract), 42-53 [Zbl 1007.68512] \textit{Lenzerini, Maurizio}, Data integration needs reasoning, 54-61 [Zbl 1010.68529] \textit{Sakama, Chiaki}, Nonmonotonic inductive logic programming, 62-80 [Zbl 1010.68031] \textit{Turner, Hudson}, Strong equivalence for logic programs and default theories (made easy), 81-92 [Zbl 1007.68025] \textit{Janhunen, Tomi}, On the effect of default negation on the expressiveness of disjunctive rules, 93-106 [Zbl 1007.68170] \textit{Marek, V. W.; Remmel, J. B.}, On the expressibility of stable logic programming, 107-120 [Zbl 1007.68024] \textit{Brewka, Gerhard}, On the relationship between defeasible logic and well-founded semantics, 121-132 [Zbl 1007.68171] \textit{Wang, Kewen}, A comparative study of well-founded semantics for disjunctive logic programs, 133-146 [Zbl 1007.68021] \textit{Bonatti, Piero A.}, Reasoning with open logic programs, 147-159 [Zbl 1010.68174] \textit{Nicolas, Pascal; Duval, Béatrice}, Representation of incomplete knowlegde by induction of default theories, 160-172 [Zbl 1007.68176] \textit{Ventos, Véronique; Brézellec, Pierre; Soldano, Henry}, Explicity using default knowledge in concept learning: An extended description logics plus strict and default rules, 173-185 [Zbl 1007.68569] \textit{Baral, Chitta; Uyan, Cenk}, Declarative specification and solution of combinatorial auctions using logic programming, 186-199 [Zbl 1007.68588] \textit{Heljanko, Keijo; Niemelä, Ilkka}, Bounded ITL model checking with stable models, 200-212 [Zbl 1007.68515] \textit{Gelfond, Michael; Balduccini, Marcello; Galloway, Joel}, Diagnosing physical systems in A-Prolog, 213-225 [Zbl 1007.68502] \textit{Son, Tran Cao; Baral, Chitta; McIlraith, Sheila}, Planning with different forms of domain-dependent control knowledge -- an answer set programming approach, 226-239 [Zbl 1007.68591] \textit{Foo, Norman; Zhang, Dongmo; Zhang, Yan; Chopra, Samir; Vo, Bao Quoc}, Encoding solutions of the frame problem in dynamic logic, 240-253 [Zbl 1010.03022] \textit{Kakas, Antonis; Miller, Rob; Toni, Francesca}, \(\mathcal E\)-RES: Reasoning about actions, events and observations, 254-266 [Zbl 1007.68587] \textit{Syrjänen, Tommi}, Omega-restricted logic programs, 267-279 [Zbl 1007.68503] \textit{Leone, Nicola; Perri, Simona; Scarcello, Francesco}, Improving ASP instantiators by join-ordering methods, 280-294 [Zbl 1007.68712] \textit{Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald}, Optimizing the computation of heuristics for answer set programming systems, 295-308 [Zbl 1010.68533] \textit{Nicolas, Pascal; Saubion, Frédéric; Stéphan, Igor}, New generation systems for non-monotonic reasoning, 309-321 [Zbl 1007.68580] \textit{Avin, Chen; Ben-Eliyahu-Zohary, Rachel}, Algorithms for computing X-minimal models, 322-335 [Zbl 1007.68585] \textit{Lukasiewicz, Thomas}, Fixpoint characterizations for many-valued disjunctive logic programs with probabilistic semantics, 336-350 [Zbl 1007.68026] \textit{Medina, Jesús; Ojeda-Aciego, Manuel; Vojtáš, Peter}, Multi-adjoint logic programming with continuous semantics, 351-364 [Zbl 1007.68023] \textit{Leite, João Alexandre; Alferes, José Júlio; Pereira, Luís Moniz}, Multi-dimensional dynamic knowledge representation, 365-378 [Zbl 1007.68590] \textit{Damásio, Carlos Viegas; Pereira, Luís Moniz}, Antitonic logic programs, 379-392 [Zbl 1007.68022] \textit{Van Nuffelen, Bert; Kakas, Antonis}, \({\mathcal A}\)-system: Declarative programming with abduction, 393-396 [Zbl 1010.68687] \textit{Eiter, Thomas; Fink, Michael; Sabbatini, Giuliana; Tompits, Hans}, An update front-end for extended logic programs, 397-401 [Zbl 1010.68709] \textit{East, Deborah; Truszczyński, Mirosław}, assps -- an implementation of answer-set programming with propositional schemata, 402-405 [Zbl 1007.68699] \textit{Anger, Christian; Konczak, Kathrin; Linke, Thomas}, NoMoRe: A system for non-monotonic reasoning under answer set semantics, 406-410 [Zbl 1007.68718] \textit{Delgrande, James P.; Schaub, Torsten; Tompits, Hans}, plp: A generic compiler for ordered logic programs, 411-415 [Zbl 1010.68772] \textit{Bonatti, Piero A.}, Prototypes for reasoning with infinite stable models and function symbols, 416-419 [Zbl 1010.68777] \textit{Otero, Ramón P.}, psmodels: Stable models based on pertinence, 420-423 [Zbl 1010.68778] \textit{Dell'Armi, Tina; Faber, Wolfgang; Ielpa, Giuseppe; Koch, Christoph; Leone, Nicola; Perri, Simona; Pfeifer, Gerald}, System description: DLV, 424-428 [Zbl 1010.68792] \textit{Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel}, System description: The \(\text{DLV}^{\mathcal K}\) planning system, 429-433 [Zbl 1010.68793] \textit{Syrjänen, Tommi; Niemelä, Ilkka}, The Smodels system, 434-438 [Zbl 1010.68797] \textit{Balduccini, Marcello; Gelfond, Michael; Watson, R.; Nogueira, M.}, The USA-advisor: A case study in answer set planning, 439-442 [Zbl 1010.68800]