A Quantifier-free First-order Knowledge Logic of Authentication.

Miroslaw Kurkowski Marian Srebrny

Published in: Fundam. Informaticae (2006)

Keyphrases

quantifier free
quantifier elimination
first order logic
rewrite systems
knowledge representation
real numbers
knowledge base
expressive power
constraint propagation
constraint databases
horn clauses
relational data model
database systems
functional programming
satisfiability modulo theories