193 search results - page 13 / 39 » On the Progression Semantics and Boundedness of Answer Set P... |
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
Within the last years, especially since the work proposed by Dung in 1995, argumentation has emerged as a central issue in Artificial Intelligence. With the so called argumentatio...
FLAIRS
2008
14 years 11 months ago
2008
The next generation of online reference works will require structured representations of their contents in order to support scholarly functions such as semantic search, automated ...
IJDMB
2011
14 years 27 days ago
2011
: Recently, many approaches to model regulatory networks have been proposed in the systems biology domain, however the task is far from being solved. In this paper we propose an an...
LPNMR
2007
Springer
15 years 3 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
148
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...