A Formalization of Programs in First-Order Logic with a Discrete Linear Order.

Published in: KR (2014)

Keyphrases

first order logic
expressive power
knowledge representation
inference rules
propositional logic
theorem proving
representation language
theorem prover
probabilistic reasoning
horn clauses
probabilistic graphical models
np hard
inductive logic programming
modal logic
transitive closure
constraint databases