How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic.
Lucía Gómez ÁlvarezSebastian RudolphHannes StrassPublished in: CoRR (2022)
Keyphrases
- logic programming
- knowledge representation
- modal logic
- case study
- domain specific
- conceptual modeling
- mission critical
- classical logic
- ontological framework
- proof theory
- deontic logic
- computational properties
- probabilistic logic
- real time
- predicate logic
- logical framework
- epistemic logic
- asynchronous circuits
- multi valued
- delay insensitive
- deductive reasoning
- automated reasoning
- ontological reasoning