5506 search results - page 51 / 1102 » Minimal Logic Programs |
115
click to vote
ICALP
2007
Springer
15 years 6 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...
CORR
2010
Springer
15 years 24 days 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...
184
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
92
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer