Expressive Power of Definite Clauses for Verifying Authenticity.

Gilberto Filé Roberto Vigo

Published in: CSF (2009)

Keyphrases

expressive power
first order logic
boolean formulae
propositional logic
inference rules
data complexity
transitive closure
computational properties
horn clauses
relational algebra
knowledge representation
query language
model checking
theorem prover
relational calculus
relation algebra