137
click to vote
ASP
15 years 5 months ago
2001 Springer 
This paper presents a novel application of answer set programming to concept learning in nonmonotonic logic programs. Given an extended logic program as a background theory, we in...
133
click to vote
ASP
15 years 6 months ago
2001 Springer 
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...
132
click to vote
ASP
15 years 5 months ago
2001 Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
118
click to vote
ASP
15 years 6 months ago
2001 Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
ASP
15 years 6 months ago
2001 Springer |
Automated Reasoning