Logic Conditionals, Supervenience, and Selection Tasks.

Giovanni Sileno

Published in: DKB/KIK@KI (2019)

Keyphrases

modal logic
conditional logic
data mining
logic programming
proof theoretic
multiple tasks
neural network
belief revision
selection algorithm
multi task
predicate logic
sound and complete axiomatization