Sciweavers

130 search results - page 7 / 26
» ecai 2006
Sort
View
ECAI
2006
Springer
15 years 10 months ago
Smoothed Particle Filtering for Dynamic Bayesian Networks
Particle filtering (PF) for dynamic Bayesian networks (DBNs) with discrete-state spaces includes a resampling step which concentrates samples according to their relative weight in ...
Theodore Charitos
ECAI
2006
Springer
15 years 10 months ago
Symmetry Breaking Using Value Precedence
We present a comprehensive study of the use of value precedence constraints to break value symmetry. We first give a simple encoding of value precedence into ternary constraints th...
Toby Walsh
ECAI
2006
Springer
15 years 10 months ago
Interleaving Belief Updating and Reasoning in Abductive Logic Programming
Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...
Fariba Sadri, Francesca Toni
ECAI
2006
Springer
15 years 10 months ago
Verifying Interlevel Relations Within Multi-Agent Systems
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
Alexei Sharpanskykh, Jan Treur
ECAI
2006
Springer
15 years 10 months ago
On the Existence of Answer Sets in Normal Extended Logic Programs
An often problematic feature in answer set programming is that a program does not always produce an answer set, even for programs which represent default information in a seemingl...
Martin Caminada, Chiaki Sakama