Sciweavers

63
Voted
KR
2004
Springer
15 years 5 months ago
A Unified Treatment for Knowledge Dynamics
Isabelle Bloch, Ramón Pino Pérez, Ca...
KR
2004
Springer
15 years 5 months ago
An Experimental Analysis of Possibilistic Default Reasoning
This article provides an experimental analysis of the possibilistic handling of default rules. Three different nonmonotonic consequence relations are considered: minimum specifici...
Salem Benferhat, Jean-François Bonnefon, Ru...
KR
2004
Springer
15 years 5 months ago
Towards a Quantitative, Platform-Independent Analysis of Knowledge Systems
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...
Noah S. Friedland, Paul G. Allen, Michael J. Witbr...
96
Voted
KR
2004
Springer
15 years 5 months ago
Causation and Causal Conditionals
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...
John Bell
88
Voted
KR
2004
Springer
15 years 5 months ago
From Hybrid Systems to Universal Plans Via Domain Compilation
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...
Anthony Barrett
85
Voted
KR
2004
Springer
15 years 5 months ago
Characterization of Semantics for Argument Systems
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...
Philippe Besnard, Sylvie Doutre
53
Voted
KR
2004
Springer
15 years 5 months ago
Automated Reformulation of Specifications by Safe Delay of Constraints
Marco Cadoli, Toni Mancini
KR
2004
Springer
15 years 5 months ago
Improving the Forward Chaining Algorithm for Conceptual Graphs Rules
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...
Jean-François Baget
KR
2004
Springer
15 years 5 months ago
Complex Preferences for Answer Set Optimization
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...
Gerhard Brewka