A Decidable Fragment of Predicate Calculus.
Jussi KetonenRichard W. WeyhrauchPublished in: Theor. Comput. Sci. (1984)
Keyphrases
- predicate calculus
- first order logic
- theorem proving
- automata theoretic
- expressive power
- formal model
- lambda calculus
- propositional logic
- semantic network
- predicate logic
- theorem prover
- inference rules
- probabilistic reasoning
- transitive closure
- proof procedure
- knowledge representation
- semantic net
- temporal logic
- datalog programs
- incomplete information
- domain knowledge