ASP
13 years 10 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...
ASP
13 years 10 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...
ASP
13 years 10 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...
ASP
13 years 10 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
13 years 10 months ago
2001 Springer |
Automated Reasoning