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