Keyphrases
- horn clauses
- graph representation
- directed graph
- boolean algebra
- logic programming
- temporal reasoning
- theorem prover
- relation algebra
- graph model
- structured data
- graph theory
- graph structure
- directed acyclic graph
- random walk
- modal logic
- graph construction
- automated reasoning
- undirected graph
- graph databases
- theorem proving
- connected components
- logic programs
- knowledge base
- description logics
- computational properties
- epistemic logic
- search algorithm
- lattice theory
- image segmentation