Deciding Fragments of the First Order Logic within an Extended Tableau Method.

Published in: TABLEAUX (1992)

Keyphrases

first order logic
expressive power
pairwise
propositional logic
probabilistic reasoning
database
probabilistic model
knowledge representation
parameter estimation
inductive logic programming
inference rules
theorem prover
representation language