Topological Separation Principles And Logical Theories.

Chris Mortensen

Published in: Synth. (2000)

Keyphrases

logical theories
situation calculus
information retrieval
inductive logic programming
keywords
domain knowledge
connected components
propositional logic
uncertain databases