Reasoning with Examples: Propositional Formulae and Database Dependencies.

Roni Khardon Heikki Mannila Dan Roth

Published in: Acta Informatica (1999)

Keyphrases

database
databases
probabilistic logic
relational databases
deductive reasoning
propositional logic
query language
data management
horn clauses
database systems
reasoning systems
logic programs
database management systems
training examples
first order logic
proof procedure
universal relation
artificial intelligence