Keyphrases
- first order logic
- horn clauses
- logical theories
- higher order
- knowledge base
- action theories
- topological features
- topological spaces
- inference rules
- quantifier elimination
- topology preserving
- topology preservation
- topological properties
- propositional logic
- connected components
- database
- probabilistic logic
- situation calculus
- decision diagrams
- geometric objects
- logic programs
- knowledge representation
- stochastic dominance
- persistent homology
- data model
- directional relations
- inductive logic programming systems