Tableaux and Resource Graphs for Separation Logic.
Didier GalmicheDaniel MéryPublished in: J. Log. Comput. (2010)
Keyphrases
- modal logic
- sequent calculi
- automated reasoning
- graph matching
- logic programming
- resource allocation
- decision procedures
- classical logic
- web resources
- series parallel
- temporal logic
- predicate logic
- inference rules
- weighted graph
- multi valued
- graph theoretic
- proof procedure
- dynamic logic
- graph model
- logical formulas
- complex structures
- resource management
- resource constraints
- bipartite graph
- defeasible logic
- relational databases
- classical first order logic
- knowledge representation
- graphical models
- functional dependencies
- directed graph
- graph structure
- graph mining
- graph data
- neural network
- default reasoning
- graph representation