Sciweavers

ECAI
2004
Springer
14 years 1 months ago
Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking
Tracking vehicles in image sequences of innercity road traffic scenes still constitutes a challenging task. Even if a-priori knowledge about the 3D shape of vehicles, of backgroun...
Christian Köhler, Artur Ottlik, Hans-Hellmut ...
ECAI
2004
Springer
14 years 1 months ago
A Troubleshooting Approach with Dependent Actions
Abstract. The basic decision-theoretic troubleshooting task is described in this paper. Dependency sets are defined for a better understanding of dependent actions. It is shown th...
Eylem Koca, Taner Bilgiç
ECAI
2004
Springer
14 years 1 months ago
Introducing Alias Information into Model-Based Debugging
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
Daniel Köb, Franz Wotawa
ECAI
2004
Springer
14 years 1 months ago
From Knowledge-Based Programs to Graded Belief-Based Programs Part I: On-Line Reasoning
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...
Noël Laverny, Jérôme Lang
ECAI
2004
Springer
14 years 1 months ago
Geographic Information Revision Based on Constraints
Abstract. Information usually has many sources and is often incomplete and / or uncertain, this leads to many inconsistencies. Revision is the operation which consists in identifyi...
Mahat Khelfallah, Belaid Benhamou
ECAI
2004
Springer
14 years 1 months ago
Applying Affective Tactics for a Better Learning
This paper describes the Mediating Agent, an animated pedagogical agent inserted in a computational system for distance learning, which has the goal of motivating the student to le...
Patrícia Augustin Jaques, Rosa Maria Vicari...
ECAI
2004
Springer
14 years 1 months ago
Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Ri...
ECAI
2004
Springer
14 years 1 months ago
Generating Random Bayesian Networks with Constraints on Induced Width
We present algorithms for the generation of uniformly distributed Bayesian networks with constraints on induced width. The algorithms use ergodic Markov chains to generate samples....
Jaime Shinsuke Ide, Fabio Gagliardi Cozman, Fabio ...
ECAI
2004
Springer
14 years 1 months ago
Agent Planning, Negotiation and Control of Operation
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
Antonis C. Kakas, Paolo Torroni, Neophytos Demetri...