The Limits of Decidability for First Order Logic on CPDA Graphs.
Christopher H. BroadbentPublished in: STACS (2012)
Keyphrases
- first order logic
- expressive power
- propositional logic
- theorem proving
- knowledge representation
- inference rules
- probabilistic reasoning
- logical formulas
- relational structures
- probabilistic graphical models
- markov networks
- theorem prover
- inductive logic programming
- markov logic networks
- description logics
- transitive closure
- incomplete information
- decision procedures
- markov logic
- representation language
- quantifier elimination
- anti unification
- mazurkiewicz traces
- query answering
- logical rules
- directed graph
- relational databases
- machine learning