Answer Set Programming 2005: Bath, UK
Marina De Vos, Alessandro Provetti (Eds.): Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005. CEUR-WS.org 2005 CEUR Workshop Proceedings 142
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.
- 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.
Implementation
- 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.
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.
- 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.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2014-07-09T210643 by the dblp team