On Interpretability Between Some Weak Essentially Undecidable Theories.

Lars Kristiansen Juvenal Murwanashyaka

Published in: CiE (2020)

Keyphrases

sufficient conditions
prediction accuracy
real world
theoretical framework
datalog programs
formal models
real time
artificial intelligence
computer vision
multi agent
domain theory
defeasible logic
legal knowledge