142
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...
136
Voted
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...
133
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...
119
Voted
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...
96
Voted
ASP
15 years 6 months ago
2001 Springer |
Automated Reasoning