158 search results - page 3 / 32 » LPForget: A System of Forgetting in Answer Set Programming |
104
Voted
LPNMR
2007
Springer
15 years 8 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...
106
Voted
ASP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
143
Voted
WLP
2004
Springer
15 years 8 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...
96
Voted
JELIA
2004
Springer
15 years 8 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...
95
Voted
EPIA
2007
Springer
15 years 8 months ago
2007
Springer
