Final Semantics for Event-Pattern Reactive Programs.
César SánchezHenny B. SipmaMatteo SlaninaZohar MannaPublished in: CALCO (2005)
Keyphrases
- stable model semantics
- event driven
- stable models
- fixpoint semantics
- pattern matching
- logic programs
- event detection
- logic programming
- dynamic logic
- control flow
- formal semantics
- normal logic programs
- fixpoint
- answer sets
- semantic information
- temporal relations
- default reasoning
- model theoretic
- news articles
- conceptual model
- declarative semantics
- database languages
- reactive planning
- programming language constructs
- reactive systems