KR
2004
Springer
14 years 1 months ago
2004
Springer
KR
2004
Springer
14 years 1 months ago
2004
Springer
This article provides an experimental analysis of the possibilistic handling of default rules. Three different nonmonotonic consequence relations are considered: minimum specifici...
KR
2004
Springer
14 years 1 months ago
2004
Springer
The Halo Pilot, a six-month effort to evaluate the state-ofthe-art in applied Knowledge Representation and Reasoning (KRR) systems, collaboratively developed a taxonomy of failure...
KR
2004
Springer
14 years 1 months ago
2004
Springer
Causation is defined recursively: event e is the cause of condition φ in context c iff e is the only sufficient cause of φ in c, and removing e from c either removes φ from c...
KR
2004
Springer
14 years 1 months ago
2004
Springer
While universal plans tell a system how to reach a goal regardless of what state it is in, such plans can be too large to represent. Hybrid systems execute plans where each action...
KR
2004
Springer
14 years 1 months ago
2004
Springer
We consider Dung’s argumentation framework, in which an argument system consists of a set of arguments and a binary relation between arguments representing the notion of a con...
KR
2004
Springer
14 years 1 months ago
2004
Springer
KR
2004
Springer
14 years 1 months ago
2004
Springer
KR
2004
Springer
14 years 1 months ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...
KR
2004
Springer
14 years 1 months ago
2004
Springer
The main contribution of this paper is the definition of the preference description language ¡¢ . This language allows us to combine qualitative and quantitative, penalty bas...