Logical Rules as Fractions and Logics as Sketches.

Dominique Duval

Published in: Logica Universalis (2020)

Keyphrases

logical rules
first order logic
expressive power
inference rules
integrity constraints
modal logic
database
propositional dynamic logic
computer vision
data model
propositional calculus
evolutionary algorithm
bayesian networks
artificial intelligence
information retrieval
databases
real time