Extending Separation Logic with Fixpoints and Postponed Substitution.
Élodie-Jane SimsPublished in: AMAST (2004)
Keyphrases
- logic programming
- logic programs
- deductive databases
- nonmonotonic reasoning
- modal logic
- autoepistemic logic
- classical logic
- fixpoint
- data sets
- asynchronous circuits
- nonmonotonic logics
- automated reasoning
- logical framework
- predicate logic
- real time
- probabilistic logic
- case study
- computational properties
- social networks
- neural network
- truth values
- abductive reasoning
- proof theory