158 search results - page 3 / 32 » LPForget: A System of Forgetting in Answer Set Programming |
LPNMR
2007
Springer
13 years 11 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...
ASP
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
WLP
2004
Springer
13 years 11 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...
JELIA
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Although ASP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like capabilities of quickly in...
EPIA
2007
Springer
13 years 11 months ago
2007
Springer
