6. LPNMR 2001: Vienna, Austria

Invited Papers

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

Regular Paper

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

System Descriptions

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

Last update Thu May 23 17:39:10 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page