Sciweavers

130 search results - page 7 / 26
» ecai 2006
Sort
View
ECAI
2006
Springer
15 years 1 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 1 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 1 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 1 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 1 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