169 search results - page 2 / 34 » Last Conflict Based Reasoning |
ENTCS
2008
13 years 5 months ago
2008
The well-known notion of critical pairs already allows a static conflict detection, which is important for all kinds of applications and already implemented in AGG. Unfortunately ...
IAT
2008
IEEE
13 years 12 months ago
2008
IEEE
Knowledge gathering and investigative tasks in open environments can be very complex because the problemsolving context is constantly evolving, and the data may be incomplete, unr...
FSS
2010
13 years 2 months ago
2010
In this paper we investigate the relationship between two prioritized knowledge bases by measuring both the conflict and the agreement between them. First of all, a quantity of co...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven l...
ARGMAS
2007
Springer
13 years 9 months ago
2007
Springer
Argumentation can serve as an effective computational tool and as a useful abstraction for various agent activities and in particular for agent reasoning. In this paper we further ...