Paper Info
Title
Goal-directed execution of answer set programs
Abstract
Answer Set Programming (ASP) represents an elegant way of introducing non-monotonic reasoning into logic programming. ASP has gained popularity due to its applications to planning, default reasoning and other areas of AI. However, none of the approaches and current implementations for ASP are goal-directed. In this paper we present a technique based coinduction that can be employed to design SLD resolution-style, goal-directed methods for executing answer set programs. We also discuss advantages and applications of such goal-directed execution of answer set programs, and report results from our implementation.
Year
DOI
Venue
2012
10.1145/2370776.2370782
PPDP
Keywords
Field
DocType
answer set programming,coinduction
Programming language,Computer science,Popularity,Theoretical computer science,Implementation,Stable model semantics,Logic programming,Default reasoning,Answer set programming
Conference
Citations 
PageRank 
References 
7
0.56
23
Authors
4
Name
Order
Citations
PageRank
Kyle Marple1273.44
Ajay Bansal232027.21
Richard Min3693.82
Gopal Gupta41404143.46