A logic for factive ignorance.

Ekaterina Kubyshkina Mattia Petrolo

Published in: Synth. (2021)

Keyphrases

logic programming
modal logic
asynchronous circuits
classical logic
genetic algorithm
probabilistic logic
abductive reasoning
deontic logic
logical operations
database
e learning
case study
video sequences
multi valued
formal language
predicate logic