A Logic for Reasoning About Knowledge of Unawareness.

Thomas Ågotnes Natasha Alechina

Published in: J. Log. Lang. Inf. (2014)

Keyphrases

logic programming
classical logic
automated reasoning
image processing
modal logic
multi valued
sound and complete axiomatization
database
decision making
multi agent systems
logic synthesis