Alternating (In)Dependence-Friendly Logic.

Dylan Bellier Massimo Benerecetti Dario Della Monica Fabio Mogavero

Published in: Ann. Pure Appl. Log. (2023)

Keyphrases

logic programming
modal logic
multi valued
image processing
classical logic
abductive reasoning
proof theory
database
databases
machine learning
probability distribution
automated reasoning
predicate logic
logic synthesis
sound and complete axiomatization