Sciweavers

468 search results - page 2 / 94
» Reasoning about action and cooperation
Sort
View
AAAI
2006
13 years 8 months ago
Reasoning about Partially Observed Actions
Partially observed actions are observations of action executions in which we are uncertain about the identity of objects, agents, or locations involved in the actions (e.g., we kn...
Megan Nance, Adam Vogel, Eyal Amir
IJCAI
1989
13 years 8 months ago
Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions
The study of belief revision and reasoning about actions have been two of the most active areas of research in AI. Both these areas involve reasoning about change. However very li...
Anand S. Rao, Norman Y. Foo
CCIA
2007
Springer
14 years 1 months ago
Reasoning about actions under uncertainty: A possibilistic approach
In this paper, we present an action language which is called AP oss in order to perform reasoning about actions under uncertainty. This language is based on a possibilistc logic pr...
Juan Carlos Nieves, Mauricio Osorio, Ulises Cort&e...
BIRTHDAY
2006
Springer
13 years 10 months ago
Reasoning About Web Services in a Temporal Action Logic
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
Alberto Martelli, Laura Giordano
LOGCOM
2006
116views more  LOGCOM 2006»
13 years 6 months ago
A Syntax-based Approach to Reasoning about Action and Belief Update
In this paper, we introduce an alternative approach to reasoning about action. The approach provides a solution to the frame and the ramification problem in a uniform manner. The ...
Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo