Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference.
Mark KaminskiGert SmolkaPublished in: LPAR (Yogyakarta) (2010)
Keyphrases
- modal logic
- decision procedures
- defeasible logic
- automated reasoning
- theorem proving
- sequent calculi
- graph representation
- graph structure
- horn clauses
- directed graph
- graph theory
- prime implicates
- classical logic
- graph theoretic
- random walk
- proof procedure
- directed acyclic graph
- constraint propagation
- logic programming
- graph partitioning
- graph model
- multi valued
- weighted graph
- connected components
- structured data
- computational properties
- graph matching
- temporal logic
- predicate logic