Sciweavers

4595 search results - page 280 / 919
» Reasoning about Plans
Sort
View
ATAL
2006
Springer
15 years 11 months ago
A stochastic language for modelling opponent agents
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...
Gerardo I. Simari, Amy Sliva, Dana S. Nau, V. S. S...
FLAIRS
2003
15 years 8 months ago
Using Mental Simulator for Emotional Rehabilitation of Autistic Patients
It has been discovered about a decade ago that autistic people cannot properly understand and reproduce mental states and emotions. In this study we suggest a particular emotion r...
Boris Galitsky
WOA
2000
15 years 8 months ago
Expressing Collaboration And Competition Among Abductive Logic Agents
This paper presents a language for coordinating several logic-based agents capable of abductive reasoning. The system is particularly suited for solving problems with incomplete k...
Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo...
AAAI
1990
15 years 8 months ago
A Circumscriptive Theory for Causal and Evidential Support
Reasoning about causality is an interesting application area of formal nonmonotonic theories. Here we focus our attention on a certain aspect of causal reasoning, namely causaZ as...
Eunok Paek
MST
2011
237views Hardware» more  MST 2011»
15 years 2 months ago
On the Complexity of Computing Winning Strategies for Finite Poset Games
This paper is concerned with the complexity of computing winning strategies for poset games. While it is reasonably clear that such strategies can be computed in PSPACE, we give a ...
Michael Soltys, Craig Wilson