default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnswer Set Programming 2003: Messina, Italy
- Marina De Vos, Alessandro Provetti:
Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003. CEUR Workshop Proceedings 78, CEUR-WS.org 2003
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 Zacarías Flores:
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.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-05 20:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
