Knowing Why - On the Dynamics of Knowledge about Actual Causes in the Situation Calculus.

Shakil M. Khan Yves Lespérance

Published in: AAMAS (2021)

Keyphrases

situation calculus
action theories
sensing actions
knowledge base
event calculus
provably correct
artificial intelligence
multi agent
expert systems
domain knowledge
object oriented
software engineering
general purpose
logical language