Combinatorics of first order structures and propositional proof systems.

Published in: Arch. Math. Log. (2004)

Keyphrases

first order logic
intelligent systems
distributed systems
logic programming
probabilistic logic
databases
social networks
expert systems
relational databases
higher order
computer systems
building blocks
complex systems
propositional logic
classical first order logic