Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
ASP: The Future Is Bright
A Position Paper
| |
|
ASP: The Future Is Bright
A Position Paper
Marina De Vos22 
| (22) |
Department of Computer Science, University of Bath, BATH, BA2 7AY, UK |
Abstract
In the twenty years since the creation of the stable model semantics[4] for logic programs and inclusion of both classical
and negation as failure, answer set programming (ASP)[1] has grown from a small fledgeling field within logic programming
to a maturing field of its own. In this extended abstract we discuss some future application areas for ASP and theoretic and
implementational problems that need to be addressed in order to make them feasible. With the increase in efficiency of the
answer set solvers and a better understanding of the formalism, its advantages and disadvantages, more applications areas
for ASP are found. While traditional application domains were mainly in the knowledge representation and reasoning area, we
now also see more and more applications in areas were competitors like SAT or CSP were considered better alternatives. We
believe, these current applications are just the tip of the iceberg. In years to come, we will see more and more successful
applications plus further expansion and improvements on existing applications.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|