1617 search results - page 22 / 324 » Knowledge Condition Games |
119
click to vote
AAAI
1996
14 years 11 months ago
1996
First-order probabilistic logic is a powerful knowledge representation language. Unfortunately, deductive reasoning based on the standard semantics for this logic does not support...
ITS
1992
Springer
15 years 1 months ago
1992
Springer
: The ProgramCritic is a system designed to analyze and critique students' computer programs. After analyzing a program, the ProgramCritic provides the student with a list of ...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
71
Voted
AI
2001
Springer
15 years 2 months ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
44
Voted
ICLA
2009
Springer
15 years 4 months ago
2009
Springer