Login / Signup
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+.
Lucía Gómez Álvarez
Sebastian Rudolph
Hannes Strass
Published in:
CoRR (2023)
Keyphrases
</>
proof procedure
automated theorem proving
theorem proving
description logics
deductive reasoning
automated deduction
computer algebra
intuitionistic logic
propositional logic
first order logic
reasoning tasks
theorem prover
knowledge base
number restrictions
automated reasoning
reasoning systems
interval algebra
qualitative spatial reasoning
spatial reasoning
knowledge representation
reasoning process
object boundaries
proof search
spatial representation and reasoning
computational properties
approximate reasoning
imaging systems
inference rules
maximal tractable
np complete
proof theoretic
predicate calculus
computationally tractable
topological relations
qualitative reasoning
machine vision
qualitative spatial
np hard
computational complexity