Login / Signup
LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks.
Patrick Koopmann
Renate A. Schmidt
Published in:
ORE (2015)
Keyphrases
</>
reasoning tasks
description logics
temporal reasoning
event calculus
automated reasoning
logic programming
answer set programming
abductive reasoning
situation calculus
reasoning problems
databases
artificial intelligence
knowledge base
logic programs