![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Answer 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.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.