4595 search results - page 572 / 919 » Reasoning about Plans |
111
Voted
LORI
2009
Springer
15 years 5 months ago
2009
Springer
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
148
click to vote
EASSS
2001
Springer
15 years 5 months ago
2001
Springer
This paper presents some of the key techniques for reaching agreements in multi-agent environments. It discusses game-theory and economics based techniques: strategic negotiation, ...
114
Voted
HYBRID
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
82
Voted
EUROMICRO
2000
IEEE
15 years 5 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
82
Voted
IUI
2000
ACM
15 years 5 months ago
2000
ACM
In this paper, we describe an outline of “Procedure based help desk system”. Preparing enough amounts of contents for help desk system is important for constructing an efficie...