Extensions of First-Order Logic, Maria Manzano.
Hans Jürgen OhlbachPublished in: J. Log. Lang. Inf. (1998)
Keyphrases
- first order logic
- expressive power
- inference rules
- propositional logic
- theorem proving
- probabilistic reasoning
- guarded fragment
- markov networks
- knowledge representation
- representation language
- horn clauses
- transitive closure
- theorem prover
- inductive logic programming
- relational algebra
- probabilistic graphical models
- quantifier elimination
- markov logic networks
- constraint databases
- expert systems
- logical rules
- proof procedure
- highly expressive
- np hard
- timed automata
- relational databases
- quantifier free
- artificial intelligence
- complexity of query evaluation