Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments.

Khalil Ben Mohamed Michel Leclère Marie-Laure Mugnier

Published in: AIMSA (2010)

Keyphrases

first order logic
expressive power
computational complexity
theorem proving
inference rules
optimal solution
markov networks
transitive closure
special case
matching algorithm
integrity constraints
constraint databases