Sciweavers

20 search results - page 3 / 4
» Hypothetical Knowledge and Counterfactual Reasoning
Sort
View
AAAI
2008
13 years 9 months ago
Bimodal Spatial Reasoning with Continuous Motion
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
Samuel Wintermute, John E. Laird
AIIA
1999
Springer
14 years 26 days ago
An Implementation for Abductive Logic Agents
This paper presents thedistributed implementationof ALIAS, an architecture composed of several cooperating intelligent agents. This system is particularly suited to solve problems ...
Anna Ciampolini, Evelina Lamma, Paola Mello, Cesar...
CP
1995
Springer
14 years 4 days ago
Integrating Constraints in an Object-Based Knowledge Representation System
Object-based knowledge representation systems bene t from the declarative power of the object formalism for modeling, organizing and storing large amounts of knowledge. They also ...
Jérôme Gensel
CEEMAS
2005
Springer
14 years 2 months ago
Dialectical Theory for Multi-agent Assumption-Based Planning
The purpose of this paper is to introduce a dialectical theory for plan synthesis based on a multi-agent approach. This approach is a promising way to devise systems based on agent...
Damien Pellier, Humbert Fiorino
AAAI
1996
13 years 10 months ago
Formalizing Narratives Using Nested Circumscription
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...
Chitta Baral, Alfredo Gabaldon, Alessandro Provett...