417 search results - page 11 / 84 » Results on Reasoning about Updates in Transaction Logic |
151
Voted
QEST
2010
IEEE
14 years 10 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...
104
Voted
CIA
2004
Springer
15 years 5 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...
141
click to vote
CLIMA
2006
15 years 1 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...
109
Voted
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Ford has introduced a non-monotonic logic, System LS, inspired by an empirical study of human non-monotonic reasoning. We define here a defeasible logic FDL based on Ford’s logi...
100
click to vote
ESWS
2008
Springer
15 years 2 months ago
2008
Springer
tract State Machines to Concurrent Transaction Logic Dumitru Roman1 , Michael Kifer2 , and Dieter Fensel1 1 STI Innsbruck, Austria 2 State University of New York at Stony Brook, US...