179 search results - page 4 / 36 » A System with Template Answer Set Programs |
LPNMR
2007
Springer
15 years 5 months ago
2007
Springer
This paper gives a summary of the First Answer Set Programming System Competition that was held in conjunction with the Ninth International Conference on Logic Programming and Nonm...
140
click to vote
CLIMA
2006
15 years 1 months ago
2006
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...
ASP
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
116
click to vote
WLP
2004
Springer
15 years 5 months ago
2004
Springer
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...
103
click to vote
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
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...