Login / Signup
Presumptive Reasoning in a Paraconsistent Setting.
Sabine Frittella
Daniil Kozhemiachenko
Bart Verheij
Published in:
TARK (2023)
Keyphrases
</>
reasoning systems
knowledge base
knowledge representation
automated reasoning
reasoning tasks
logic programming
resource bounded
spatial reasoning
knowledge representation and reasoning
expert systems
meta level
model based reasoning
reasoning mechanism