Abstract Interpretation Based Semantics of Sequent Calculi.
Gianluca AmatoGiorgio LeviPublished in: SAS (2000)
Keyphrases
- abstract interpretation
- active rules
- sequent calculi
- termination analysis
- conditional logic
- static analysis
- formal semantics
- active databases
- reasoning engine
- dynamic analysis
- logic programming
- modal logic
- object oriented databases
- default reasoning
- integrity constraints
- artificial intelligence
- control flow
- belief revision
- model checking
- relational databases