An Example of FOL Using Metatheory.

Richard W. Weyhrauch

Published in: CADE (1982)

Keyphrases

first order logic
knowledge representation
theorem proving
inference rules
horn clauses
highly expressive
real time
information retrieval
bayesian networks
natural language
relational databases
theorem prover
formal semantics