C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Not by equations alone: Reasoning with extensible effects.
Oleg Kiselyov
Shin-Cheng Mu
Amr Sabry
Published in:
J. Funct. Program. (2021)
Keyphrases
</>
reasoning systems
knowledge representation
mathematical model
reasoning process
real time
spatial reasoning
learning algorithm
meta level
markup language
qualitative reasoning
automated reasoning
plan execution
legal reasoning
causal reasoning
finite difference