Login / Signup
Deductive Systems' Representation and an Incompleteness Result in the Situation Calculus.
Pablo Sáez
Published in:
MICAI (2005)
Keyphrases
</>
situation calculus
event calculus
reasoning about actions
modal logic
initial state
reasoning systems
provably correct
expert systems
domain independent