Decidability Frontier for Fragments of First-Order Logic with Transitivity.
Lidia TenderaPublished in: Description Logics (2018)
Keyphrases
- first order logic
- expressive power
- theorem proving
- mazurkiewicz traces
- propositional logic
- decision procedures
- theorem prover
- inference rules
- guarded fragment
- knowledge representation
- markov networks
- description logics
- probabilistic reasoning
- transitive closure
- incomplete information
- query answering
- horn clauses
- probabilistic graphical models
- predicate calculus
- quantifier elimination
- temporal logic
- inductive logic programming
- representation language
- relational algebra
- database
- quantifier free
- function symbols
- markov logic networks
- logical rules
- markov logic
- dl lite
- satisfiability problem