Login / Signup
Scheduling in the Situation Calculus: A Case Study.
Raymond Reiter
Zheng Yuhua
Published in:
Ann. Math. Artif. Intell. (1997)
Keyphrases
</>
situation calculus
action theories
event calculus
initial state
modal logic
reasoning about actions
provably correct
reasoning tasks
concurrent actions
agent programming
logical language
fluent calculus