1941 search results - page 24 / 389 » Reasoning about Computations Using Two-Levels of Logic |
163
Voted
QEST
2010
IEEE
14 years 11 months ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
157
click to vote
CLIMA
2006
15 years 3 months ago
2006
It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in oth...
118
click to vote
PODS
2008
ACM
16 years 2 months ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
95
Voted
IJCAI
1993
15 years 3 months ago
1993
The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief t...
116
Voted
CIA
2004
Springer
15 years 7 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...