73 search results - page 15 / 15 » Dynamic Logic of Common Knowledge in a Proof Assistant |
POPL
2002
ACM
14 years 6 months ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...
AIIA
2007
Springer
14 years 7 days ago
2007
Springer
Abstract. Game generation systems perform automated, intelligent design of games (i.e. videogames, boardgames), reasoning about both the rule system of the game and the visual real...
JAIR
2006
13 years 6 months ago
2006
A decision process in which rewards depend on history rather than merely on the current state is called a decision process with non-Markovian rewards (NMRDP). In decisiontheoretic...