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 updated on Tue May 21 02:17:51 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page