Semantics and proof rules of invariant based programs.
Ralph-Johan BackViorel PreoteasaPublished in: SAC (2011)
Keyphrases
- logical rules
- transformation rules
- proof theoretic
- fixpoint semantics
- recursive programs
- declarative semantics
- proof theory
- deduction rules
- normal logic programs
- active rules
- fixpoint
- dynamic logic
- model theoretic
- stable model semantics
- logic programs
- provably correct
- rule language
- default rules
- association rules
- formal semantics
- uncertain information
- affine transformation
- complete axiomatization
- classification rules
- integrity constraints
- deductive databases
- theorem prover
- operational semantics
- computer programs
- active databases
- business rules
- rule engine
- imperative programs
- data mining
- semantics for logic programs
- domain knowledge
- semantic web
- association rule mining
- precise definition
- highly expressive
- linear logic
- owl ontologies
- default reasoning
- theorem proving