46 search results - page 7 / 10 » Hypothetical Reasoning from Situation Calculus to Event Calc... |
AAAI
2008
14 years 10 months ago
2008
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
IJCAI
1997
14 years 11 months ago
1997
Object identification—the task of deciding that two observed objects are in fact one and the same object—is a fundamental requirement for any situated agent that reasons about...
CAISE
2010
Springer
14 years 9 months ago
2010
Springer
Task delegation presents one of the business process security leitmotifs. It defines a mechanism that bridges the gap between both workflow and access control systems. There are tw...
76
Voted
IJCAI
1993
14 years 10 months ago
1993
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
FIW
2007
14 years 11 months ago
2007
Feature interaction detection in the context of systems that are highly integrated into their environment, such as embedded or software-intensive systems, is different from classi...