On Semantics and Correctness of Reactive Rule-Based Programs.
Man LinJacek MalecSimin Nadjm-TehraniPublished in: Ershov Memorial Conference (1999)
Keyphrases
- fixpoint semantics
- stable model semantics
- provably correct
- control flow
- data driven
- dynamic logic
- expert systems
- multiple inheritance
- stable models
- logic programs
- declarative semantics
- model theoretic
- database languages
- rule engine
- semantic information
- correctness criterion
- computer programs
- neural network
- fixpoint
- answer set programming
- logic programming
- specification language
- event condition action
- semantics for logic programs
- reactive systems
- logic programming language
- operational semantics
- rule based systems
- rule base
- query language
- natural language
- database systems
- artificial intelligence