Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+.
Lucía Gómez ÁlvarezSebastian RudolphHannes StrassPublished 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