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