C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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