-ary exclusion logic.

Raine Rönnholm

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

Keyphrases

modal logic
automated reasoning
logic programming
classical logic
databases
neural network
probability theory
multi valued
predicate logic
sound and complete axiomatization
abductive reasoning
proof theory