Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+.
Lucía Gómez ÁlvarezSebastian RudolphHannes StrassPublished in: KR (2023)
Keyphrases
- proof procedure
- automated theorem proving
- theorem proving
- description logics
- automated deduction
- propositional logic
- deductive reasoning
- first order logic
- intuitionistic logic
- automated reasoning
- computer algebra
- number restrictions
- theorem prover
- knowledge base
- reasoning tasks
- computational properties
- natural deduction
- interval algebra
- inference rules
- imaging systems
- reasoning systems
- object boundaries
- proof search
- knowledge representation
- point algebra
- np complete
- reasoning problems
- predicate calculus
- model theoretic
- fuzzy reasoning
- logical framework
- model based diagnosis
- answer set programming
- machine vision