3765 search results - page 78 / 753 » Qualitative Action Systems |
FROCOS
2009
Springer
14 years 4 months ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...
FDG
2009
ACM
14 years 4 months ago
2009
ACM
In this paper, I will discuss a set of techniques for supporting limited variable binding in behavior-based systems. This adds additional useful expressivity while preserving the ...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
— Recent development of information technology is making electric household appliances computerized and networked. If the environments surrounding us could recognize our activiti...
RITA
2000
13 years 9 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
IJCAI
2007
13 years 11 months ago
2007
If modal logics for coalitions need to be applied, one must know how to translate coalition power into agents’ actions. To these days, the connection between coalition power and...