default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnswer Set Programming 2005: Bath, UK
- Marina De Vos, Alessandro Provetti:
Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005. CEUR Workshop Proceedings 142, CEUR-WS.org 2005
Invited Speaker
- Vladimir Lifschitz:
What is a Logic Program.
Theory
- Sabrina Baselice, Piero A. Bonatti, Michael Gelfond
:
A Preliminary Report on Integrating of Answer Set and Constraint Solving. - Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Extending Conceptual Logic Programs with Arbitrary Rules. - Chiaki Sakama, Katsumi Inoue:
Combining Answer Sets of Nonmonotonic Logic Programs. - Joost Vennekens, Marc Denecker:
An Algebraic Account of Modularity in ID-logic. - Magdalena Ortiz, Mauricio Osorio:
Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. - Yuliya Lierler:
Disjunctive Answer Set Programming via Satisfiability.
Software Engineering
- Pedro Cabalar, David Pearce, Agustín Valverde:
Reducing Propositional Theories in Equilibrium Logic to Logic Programs. - Hans Tompits, Stefan Woltran:
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming. - Yin Chen, Fangzhen Lin, Lei Li:
SELP - A System for Studying Strong Equivalence between Logic Programs. - Martin Brain, Marina De Vos:
Debugging Logic Programs under the Answer Set Semantics.
Implementation
- Giuliano Grossi, Massimo Marchi:
A New Algorithm for Answer Set Computation. - Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub:
The nomore++ Approach to Answer Set Solving. - Enrico Giunchiglia, Marco Maratea:
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. - Martin Brain, Richard Watson, Marina De Vos:
An Interactive Approach to Answer Set Programming. - Pascal Nicolas, Claire Lefèvre:
Possibilistic Stable Model Computing.
Applications
- Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir:
Intelligence Analysis Using Quantitative Preferences. - Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Saccà, Amedeo Zavatto:
Exploiting ASP for Semantic Information Extraction. - Kathrin Konczak, Ralf Vogel:
Abduction and Preferences in Linguistics. - Luis Tari, Chitta Baral, Saadat Anwar:
A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling. - Giovambattista Ianni, Claudio Panetta, Francesco Ricca:
Specification of Assessment-test Criteria through ASP Specifications. - Sandeep Chintabathina, Michael Gelfond, Richard Watson:
Modeling Hybrid Domains Using Process Description Language. - Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol:
Applications of Preferences using Answer Set Programming.
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-10-31 20:02 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:
