Answer Set Programming 2003: Messina, Italy

Theory

• Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli:
  Outlier Detection Using Default Logic.
  
• Thomas Linke:
  Suitable Graphs for Answer Set Programming.
  
• Nikolay Pelov, Marc Denecker, Maurice Bruynooghe:
  Translation of Aggregate Programs to Normal Logic Programs.
  
• Kathrin Konczak, Torsten Schaub, Thomas Linke:
  Graphs and coloring for answer set programming: Preliminary Report.
  
• Robert E. Mercer, Vincent Risch:
  Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning system.
  
• Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran:
  Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.
  
• Piero A. Bonatti:
  Finitary Open Logic Program.
  
• Marcello Balduccini, Veena S. Mellarkod:
  CR-Prolog with Ordered Disjunction.
  
• Marc Denecker:
  What's in a model? Epistemological analysis of Logic Programming.
  
• Nicola Leone, Simona Perri:
  Parametric Connectives in Disjunctive Logic Programming.
  
• Kathrin Konczak, Torsten Schaub, Thomas Linke:
  Graphs and colorings for answer set programming: Abridged Report.
  
• Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran:
  Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation.
  
• James P. Delgrande, Mona Gharib, Robert E. Mercer, Vincent Risch, Torsten Schaub:
  Lukaszewicz-style Answer Set Programming: A Preliminary Report.
  
• Tomi Janhunen:
  A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses.
  
• Thomas Linke:
  Using Nested Logic Programs for Answer Set Programming.
  
• Stijn Heymans, Dirk Vermeir:
  Integrating Semantic Web Reasoning and Answer Set Programming.
  

Implementation

• Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman:
  Using Criticalities as a Heuristics for Answer Set Programming.
  
• Martin Brain, Marina De Vos:
  Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice.
  
• Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro:
  Answer Set Programming with Templates.
  
• Mauricio Osorio, Enrique Corona:
  The A-Pol System.
  
• Yuliya Lierler, Marco Maratea:
  Computing Answer Sets of a Logic Program via-enumeration of SAT certificates.
  
• Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer:
  Aggregate Functions in DLV.
  

Applications

• Mauricio Osorio, Fernando Zacarias:
  New properties on the update operator\oplus.
  
• Francesco Ricca:
  A Java Wrapper for DLV.
  
• Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo:
  Mappings Between Domain Models in Answer Set Programming.
  
• Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo:
  OntoDLP: a Logic Formalism for Knowledge Representation.
  
• Mauricio Osorio, Claudia Zepeda:
  Towards the use of Semantics Contents in ASP for planning and diagnistic in GIS.
  
• Richard Watson, Sandeep Chintabathina:
  Modeling Hybrid Systems in Action Languages.
  

Last update Tue Feb 14 03:48:59 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page