Software Tools for First-Order Logic.
Jim CunninghamSilvana Zappacosta-AmboldiPublished in: Softw. Pract. Exp. (1983)
Keyphrases
- software tools
- first order logic
- expressive power
- theorem proving
- propositional logic
- inference rules
- theorem prover
- knowledge representation
- probabilistic reasoning
- inductive logic programming
- markov networks
- transitive closure
- relational algebra
- probabilistic graphical models
- representation language
- predicate calculus
- horn clauses
- markov logic
- proof procedure
- quantifier free
- higher order
- computational complexity
- artificial intelligence
- probabilistic model
- markov logic networks
- relational structures
- search algorithm
- logical rules
- machine learning