6. LPNMR 2001: Vienna, Austria

Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski (Eds.): Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings. Lecture Notes in Computer Science 2173 Springer 2001, ISBN 3-540-42593-4 BibTeX

@proceedings{DBLP:conf/lpnmr/2001,
  editor    = {Thomas Eiter and
               Wolfgang Faber and
               Miroslaw Truszczynski},
  title     = {Logic Programming and Nonmonotonic Reasoning, 6th International
               Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001,
               Proceedings},
  booktitle = {LPNMR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2173},
  year      = {2001},
  isbn      = {3-540-42593-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Jürgen Dix:
A Computational Logic Approach to Heterogenous Agent Systems. 1-20
Electronic Edition (Springer LINK) BibTeX
Robert Baumgartner, Sergio Flesca, Georg Gottlob:
Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto. 21-41
Electronic Edition (Springer LINK) BibTeX
Lefteris M. Kirousis, Phokion G. Kolaitis:
On the Complexity of Model Checking and Inference in Minimal Models. 42-53
Electronic Edition (Springer LINK) BibTeX
Maurizio Lenzerini:
Data Integration Needs Reasoning. 54-61
Electronic Edition (Springer LINK) BibTeX
Chiaki Sakama:
Nonmonotonic Inductive Logic Programming. 62-80
Electronic Edition (Springer LINK) BibTeX

Regular Paper

Hudson Turner:
Strong Equivalence for Logic Programs and Default Theories (Made Easy). 81-92
Electronic Edition (Springer LINK) BibTeX
Tomi Janhunen:
On the Effect of Default Negation on the Expressiveness of Disjunctive Rules. 93-106
Electronic Edition (Springer LINK) BibTeX
V. Wiktor Marek, Jeffrey B. Remmel:
On the Expressibility of Stable Logic Programming. 107-120
Electronic Edition (Springer LINK) BibTeX
Gerhard Brewka:
On the Relationship between Defeasible Logic and Well-Founded Semantics. 121-132
Electronic Edition (Springer LINK) BibTeX
Kewen Wang:
A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs. 133-146
Electronic Edition (Springer LINK) BibTeX
Piero A. Bonatti:
Reasoning with Open Logic Programs. 147-159
Electronic Edition (Springer LINK) BibTeX
Pascal Nicolas, Béatrice Duval:
Representation of Incomplete Knowledge by Induction of Default Theories. 160-172
Electronic Edition (Springer LINK) BibTeX
Véronique Ventos, Pierre Brézellec, Henry Soldano:
Explicitly Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules. 173-185
Electronic Edition (Springer LINK) BibTeX
Chitta Baral, Cenk Uyan:
Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming. 186-199
Electronic Edition (Springer LINK) BibTeX
Keijo Heljanko, Ilkka Niemelä:
Bounded LTL Model Checking with Stable Models. 200-212
Electronic Edition (Springer LINK) BibTeX
Michael Gelfond, Marcello Balduccini, Joel Galloway:
Diagnosing Physical Systems in A-Prolog. 213-225
Electronic Edition (Springer LINK) BibTeX
Tran Cao Son, Chitta Baral, Sheila A. McIlraith:
Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. 226-239
Electronic Edition (Springer LINK) BibTeX
Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo:
Encoding Solutions of the Frame Problem in Dynamic Logic. 240-253
Electronic Edition (Springer LINK) BibTeX
Antonis C. Kakas, Rob Miller, Francesca Toni:
E-RES: Reasoning about Actions, Events and Observations. 254-266
Electronic Edition (Springer LINK) BibTeX
Tommi Syrjänen:
Omega-Restricted Logic Programs. 267-279
Electronic Edition (Springer LINK) BibTeX
Nicola Leone, Simona Perri, Francesco Scarcello:
Improving ASP Instantiators by Join-Ordering Methods. 280-294
Electronic Edition (Springer LINK) BibTeX
Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Optimizing the Computation of Heuristics for Answer Set Programming Systems. 295-308
Electronic Edition (Springer LINK) BibTeX
Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
New Generation Systems for Non-monotonic Reasoning. 309-321
Electronic Edition (Springer LINK) BibTeX
Chen Avin, Rachel Ben-Eliyahu-Zohary:
Algorithms for Computing X-Minimal Models. 322-335
Electronic Edition (Springer LINK) BibTeX
Thomas Lukasiewicz:
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics. 336-350
Electronic Edition (Springer LINK) BibTeX
Jesús Medina, Manuel Ojeda-Aciego, Peter Vojtás:
Multi-adjoint Logic Programming with Continuous Semantics. 351-364
Electronic Edition (Springer LINK) BibTeX
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira:
Multi-dimensional Dynamic Knowledge Representation. 365-378
Electronic Edition (Springer LINK) BibTeX
Carlos Viegas Damásio, Luís Moniz Pereira:
Antitonic Logic Programs. 379-392
Electronic Edition (Springer LINK) BibTeX

System Descriptions

Bert Van Nuffelen, Antonis C. Kakas:
A-system: Declarative Programming with Abduction. 393-396
Electronic Edition (Springer LINK) BibTeX
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits:
An Update Front-End for Extended Logic Programs. 397-401
Electronic Edition (Springer LINK) BibTeX
Deborah East, Miroslaw Truszczynski:
aspps - An Implementation of Answer-Set Programming with Propositional Schemata. 402-405
Electronic Edition (Springer LINK) BibTeX
Christian Anger, Kathrin Konczak, Thomas Linke:
NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics. 406-410
Electronic Edition (Springer LINK) BibTeX
James P. Delgrande, Torsten Schaub, Hans Tompits:
plp: A Generic Compiler for Ordered Logic Programs. 411-415
Electronic Edition (Springer LINK) BibTeX
Piero A. Bonatti:
Prototypes for Reasoning with Infinite Stable Models and Function Symbols. 416-419
Electronic Edition (Springer LINK) BibTeX
Ramón P. Otero:
psmodels: Stable Models Based on Pertinence. 420-423
Electronic Edition (Springer LINK) BibTeX
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer:
System Description: DLV. 424-428
Electronic Edition (Springer LINK) BibTeX
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
System Description: The DLV^K Planning System. 429-433
Electronic Edition (Springer LINK) BibTeX
Tommi Syrjänen, Ilkka Niemelä:
The Smodels System. 434-438
Electronic Edition (Springer LINK) BibTeX
Marcello Balduccini, Michael Gelfond, Richard Watson, Monica Nogueira:
The USA-Advisor: A Case Study in Answer Set Planning. 439-442
Electronic Edition (Springer LINK) BibTeX