Sciweavers

468 search results - page 48 / 94
» Reasoning about action and cooperation
Sort
View
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...
AMAST
2004
Springer
14 years 2 months ago
Expressing Iterative Properties Logically in a Symbolic Setting
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...
Carron Shankland, Jeremy Bryans, Lionel Morel
CDVE
2004
Springer
120views Visualization» more  CDVE 2004»
14 years 2 months ago
Constructing a Global and Integral Model of Business Management Using a CBR System
Abstract. Knowledge has become the most strategic resource in the new business environment. A case-based reasoning system, which incorporates a novel clustering and retrieval metho...
Emilio Corchado, Juan M. Corchado, Lourdes S&aacut...
EUSAI
2007
Springer
14 years 3 months ago
Distributed AI for Ambient Intelligence: Issues and Approaches
Abstract. Research in many fields of AI, such as distributed planning and reasoning, agent teamwork and coalition formation, cooperative problem solving and action theory has adva...
Theodore Patkos, Antonis Bikakis, Grigoris Antonio...
LILOG
1989
14 years 1 months ago
Order Sorted Predicate Logic
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
Arnold Oberschelp