10568 search results - page 605 / 2114 » Computer Intelligence and Formalization |
172
Voted
AAMAS
2004
Springer
15 years 6 months ago
2004
Springer
Our goal in this paper is to introduce and motivate a methodology, called Tropos,1 for building agent oriented software systems. Tropos is based on two key ideas. First, the notion...
137
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
Although many formalisms for reasoning about action and change have been proposed in the literature, any concrete examples provided in such articles have primarily consisted of ti...
182
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...
181
Voted
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
Sequential von Neumann-Morgernstern (VM) games are a very general formalism for representing multi-agent interactions and planning problems in a variety of types of environments. ...
176
click to vote
KI
2007
Springer
15 years 6 months ago
2007
Springer
We present an approximation method that solves a class of Decentralized hybrid Markov Decision Processes (DEC-HMDPs). These DEC-HMDPs have both discrete and continuous state variab...