83
Voted
AI
2004
Springer
15 years 10 days ago
2004
Springer
89
Voted
AI
2004
Springer
15 years 10 days ago
2004
Springer
55
Voted
AI
2004
Springer
15 years 10 days ago
2004
Springer
In this paper, we investigate the extent to which knowledge compilation can be used to improve model checking and inference from propositional weighted bases. We first focus on th...
81
Voted
AI
2004
Springer
15 years 10 days ago
2004
Springer
al Abstraction Luca Chittaro and Roberto Ranon Department of Mathematics and Computer Science, University of Udine, via delle Scienze 206, 33100 Udine, Italy ion has been advocat...
AI
2004
Springer
15 years 10 days ago
2004
Springer
Currently, there is renewed interest in the problem, raised by Shafer in 1985, of updating probabilities when observations are incomplete (or set-valued). This is a fundamental pro...
99
Voted
AI
2004
Springer
15 years 10 days ago
2004
Springer
Qualitative choice logic (QCL) is a propositional logic for representing alternative, ranked options for problem solutions. The logic adds to classical propositional logic a new c...
AI
2004
Springer
15 years 10 days ago
2004
Springer
Efficient Learning Equilibrium (ELE) is a natural solution concept for multi-agent encounters with incomplete information. It requires the learning algorithms themselves to be in ...
87
Voted
AI
2004
Springer
15 years 10 days ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
90
Voted
AI
2004
Springer
15 years 10 days ago
2004
Springer
This paper deals with the problem of designing a strategy profile which will enable collaborative interaction between agents. In particular, we consider the problem of information...
93
Voted
AI
2004
Springer
15 years 10 days ago
2004
Springer
We describe a logic-based AI architecture based on Brooks' subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL...