Continuous Semantics for Termination Proofs.
Ulrich BergerPublished in: Spatial Representation (2005)
Keyphrases
- rewrite systems
- active rules
- formal semantics
- semantic information
- theorem proving
- domain knowledge
- piecewise linear
- active databases
- semantic representation
- argumentation semantics
- logical language
- model theoretic
- transformation rules
- decision procedures
- logical framework
- information systems
- theorem prover
- case study