5506 search results - page 51 / 1102 » Minimal Logic Programs |
131
click to vote
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
We propose axiomatizing some stochastic games, in a continuous state space setting, using continuous belief functions, resp. plausibilities, instead of measures. Then, stochastic g...
103
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...
