How to Agree to Disagree - Managing Ontological Perspectives using Standpoint Logic.

Lucía Gómez Álvarez Sebastian Rudolph Hannes Strass

Published in: ISWC (2022)

Keyphrases

logical framework
proof theory
logic programming
asynchronous circuits
epistemic logic
classical logic
multi valued
automated reasoning
modal logic
database
domain specific
knowledge representation
website
information systems
artificial intelligence
machine learning
neural network