A Situation-Calculus Model of Knowledge and Belief Based on Thinking About Justifications.

Richard B. Scherl

Published in: NMR (2022)

Keyphrases

situation calculus
artificial intelligence
search algorithm
domain knowledge
knowledge representation
object oriented
domain specific
modal logic
temporal reasoning
initial state