The Complexitiy of Logical Theories.

Published in: Theor. Comput. Sci. (1980)

Keyphrases

logical theories
situation calculus
inductive logic programming
belief revision
uncertain databases
propositional logic
reasoning about actions
conceptual structures
computational linguistics
data mining
co occurrence
background knowledge