Sciweavers

564 search results - page 6 / 113
» The First Answer Set Programming System Competition
Sort
View
CLIMA
2006
15 years 7 months ago
Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming
We present a multi-agent formalism based on extended answer set programming. The system consists of independent agents connected via a communication channel, where knowledge and be...
Davy Van Nieuwenborgh, Marina De Vos, Stijn Heyman...
136
Voted
ASP
2003
Springer
15 years 11 months ago
The A-Pol System
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
Mauricio Osorio, Enrique Corona
170
Voted
WLP
2004
Springer
15 years 11 months ago
Solving Alternating Boolean Equation Systems in Answer Set Programming
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...
Misa Keinänen, Ilkka Niemelä
176
Voted
CORR
2011
Springer
180views Education» more  CORR 2011»
15 years 24 days ago
Representing First-Order Causal Theories by Logic Programs
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain’s embedding of definit...
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vlad...
ICLP
2010
Springer
15 years 9 months ago
Towards a General Argumentation System based on Answer-Set Programming
Within the last years, especially since the work proposed by Dung in 1995, argumentation has emerged as a central issue in Artificial Intelligence. With the so called argumentatio...
Sarah Alice Gaggl