1941 search results - page 80 / 389 » Reasoning about Computations Using Two-Levels of Logic |
159
click to vote
LICS
2012
IEEE
13 years 5 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
112
click to vote
DALT
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we investigate the multiagent planning problem in the presence of cooperative actions and agents, which have their own goals and are willing to cooperate. To this en...
133
click to vote
JCST
2010
14 years 10 months ago
2010
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...
170
click to vote
ICNC
2005
Springer
15 years 8 months ago
2005
Springer
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
130
click to vote
EUC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Ontology is a promising tool to model and reason about context information in pervasive computing environment. However, ontology does not support representation and reaso...