Abstract is missing.
- Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set ProgrammingThomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran. [doi]
- Parametric Connectives in Disjunctive Logic ProgrammingNicola Leone, Simona Perri. [doi]
- The A-Pol SystemMauricio Osorio, Enrique Corona. [doi]
- Graphs and colorings for answer set programming: Abridged ReportKathrin Konczak, Torsten Schaub, Thomas Linke. [doi]
- Using Criticalities as a Heuristics for Answer Set ProgrammingOrkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman. [doi]
- Mappings Between Domain Models in Answer Set ProgrammingStefania Costantini, Andrea Formisano, Eugenio G. Omodeo. [doi]
- Lukaszewicz-style Answer Set Programming: A Preliminary ReportJames P. Delgrande, M. Gharib, Robert E. Mercer, Vincent Risch, Torsten Schaub. [doi]
- CR-Prolog with Ordered DisjunctionMarcello Balduccini, Veena S. Mellarkod. [doi]
- Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning systemRobert E. Mercer, Vincent Risch. [doi]
- Integrating Semantic Web Reasoning and Answer Set ProgrammingStijn Heymans, Dirk Vermeir. [doi]
- Graphs and coloring for answer set programming: Preliminary ReportKathrin Konczak, Torsten Schaub, Thomas Linke. [doi]
- A Java Wrapper for DLVFrancesco Ricca. [doi]
- Answer Set Programming with TemplatesGiovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro. [doi]
- Aggregate Functions in DLVTina Dell Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer. [doi]
- Computing Answer Sets of a Logic Program via-enumeration of SAT certificatesYuliya Lierler, Marco Maratea. [doi]
- What s in a model? Epistemological analysis of Logic ProgrammingMarc Denecker. [doi]
- Translation of Aggregate Programs to Normal Logic ProgramsNikolay Pelov, Marc Denecker, Maurice Bruynooghe. [doi]
- New properties on the update operator/oplusMauricio Osorio, Fernando Zacarias. [doi]
- Suitable Graphs for Answer Set ProgrammingThomas Linke. [doi]
- Eliminating Disjunction from Propositional Logic Programs under Stable Model PreservationThomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran. [doi]
- Towards the use of Semantics Contents in ASP for planning and diagnistic in GISMauricio Osorio, Claudia Zepeda. [doi]
- Finitary Open Logic ProgramPiero A. Bonatti. [doi]
- Implementing OCLP as a front-end for Answer Set Solvers: From Theory to PracticeMartin Brain, Marina De Vos. [doi]
- OntoDLP: a Logic Formalism for Knowledge RepresentationFrancesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo. [doi]
- Using Nested Logic Programs for Answer Set ProgrammingThomas Linke. [doi]
- Outlier Detection Using Default LogicFabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli. [doi]
- Modeling Hybrid Systems in Action LanguagesRichard Watson, Sandeep Chintabathina. [doi]
- A Counter-Based Approach to Translating Normal Logic Programs into Sets of ClausesTomi Janhunen. [doi]