498 search results - page 9 / 100 » Constraint Answer Set Programming Systems |
PADL
2004
Springer
14 years 2 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
LANMR
2004
13 years 10 months ago
2004
Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...
LPNMR
2007
Springer
14 years 2 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...
CLIMA
2006
13 years 10 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
14 years 2 months ago
2003
Springer
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl