3729 search results - page 54 / 746 » On Formal Modeling of Agent Computations |
135
click to vote
AAMAS
2007
Springer
15 years 5 months ago
2007
Springer
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...
161
click to vote
AGI
2008
15 years 6 months ago
2008
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...
150
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
119
click to vote
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This paper presents a formal framework, experimental infrastructure, and computational environment for modeling, analyzing and regulating the behavior of cardiac tissues....
149
click to vote
CLIMA
2008
15 years 6 months ago
2008
Abstract. I present an overview of complexity results for model checking of temporal and strategic logics. Unfortunately, it is possible to manipulate the context so that different...