ask others

Answer Set Programming 2005: Bath, UK

> Home > Conferences and Workshops > Answer Set Programming

- view
  - electronic edition @ ceur-ws.org
  - electronic edition @ nbn-resolving.de
- export record
  dblp key:
  - conf/asp/2005
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/2005
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

- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/Lifschitz05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/Lifschitz05
Vladimir Lifschitz:
What is a Logic Program.

Theory

- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/BaseliceBG05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/BaseliceBG05
Sabrina Baselice, Piero A. Bonatti, Michael Gelfond:
A Preliminary Report on Integrating of Answer Set and Constraint Solving.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/HeymansNV05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/HeymansNV05
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Extending Conceptual Logic Programs with Arbitrary Rules.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/SakamaI05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/SakamaI05
Chiaki Sakama, Katsumi Inoue:
Combining Answer Sets of Nonmonotonic Logic Programs.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/VennekensD05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/VennekensD05
Joost Vennekens, Marc Denecker:
An Algebraic Account of Modularity in ID-logic.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/Ortiz05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/Ortiz05
Magdalena Ortiz, Mauricio Osorio:
Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/Lierler05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/Lierler05
Yuliya Lierler:
Disjunctive Answer Set Programming via Satisfiability.

Software Engineering

- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/CabalarPV05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/CabalarPV05
Pedro Cabalar, David Pearce, Agustín Valverde:
Reducing Propositional Theories in Equilibrium Logic to Logic Programs.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/TompitsW05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/TompitsW05
Hans Tompits, Stefan Woltran:
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/ChenLL05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/ChenLL05
Yin Chen, Fangzhen Lin, Lei Li:
SELP - A System for Studying Strong Equivalence between Logic Programs.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/BrainV05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/BrainV05
Martin Brain, Marina De Vos:
Debugging Logic Programs under the Answer Set Semantics.

Implementation

- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/GrossiM05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/GrossiM05
Giuliano Grossi, Massimo Marchi:
A New Algorithm for Answer Set Computation.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/AngerGLNS05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/AngerGLNS05
Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub:
The nomore++ Approach to Answer Set Solving.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/GiunchigliaM05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/GiunchigliaM05
Enrico Giunchiglia, Marco Maratea:
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/BrainWV05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/BrainWV05
Martin Brain, Richard Watson, Marina De Vos:
An Interactive Approach to Answer Set Programming.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/NicolasL05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/NicolasL05
Pascal Nicolas, Claire Lefèvre:
Possibilistic Stable Model Computing.

Applications

- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/NieuwenborghHV05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/NieuwenborghHV05
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir:
Intelligence Analysis Using Quantitative Preferences.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/RuffoloLMSZ05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/RuffoloLMSZ05
Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Saccà, Amedeo Zavatto:
Exploiting ASP for Semantic Information Extraction.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/KonczakV05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/KonczakV05
Kathrin Konczak, Ralf Vogel:
Abduction and Preferences in Linguistics.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/TariBA05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/TariBA05
Luis Tari, Chitta Baral, Saadat Anwar:
A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/IanniPR05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/IanniPR05
Giovambattista Ianni, Claudio Panetta, Francesco Ricca:
Specification of Assessment-test Criteria through ASP Specifications.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/ChintabathinaGW05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/ChintabathinaGW05
Sandeep Chintabathina, Michael Gelfond, Richard Watson:
Modeling Hybrid Domains Using Process Description Language.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/asp/ZepedaONSS05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/asp/ZepedaONSS05
Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol:
Applications of Preferences using Answer Set Programming.