Stop the war!Остановите войну!
for scientists:
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.
a service of 
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-04-22 20:01 CEST 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:
