574 search results - page 58 / 115 » Coalitions in Action Logic |
AIM
2005
13 years 8 months ago
2005
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
AAAI
2011
12 years 8 months ago
2011
Plan recognition is a form of abductive reasoning that involves inferring plans that best explain sets of observed actions. Most existing approaches to plan recognition and other ...
AIME
2007
Springer
14 years 2 months ago
2007
Springer
Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual a...
IADIS
2004
13 years 9 months ago
2004
Fuzzy Semantic Web agents are reactive software agents whose coordinated behavior is defined in terms of fuzzy action rules, inspired by fuzzy logic. We introduce a simple approac...
ATVA
2005
Springer
14 years 1 months ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...