Ultrametric Semantics of Reactive Programs.
Neelakantan R. KrishnaswamiNick BentonPublished in: LICS (2011)
Keyphrases
- formal semantics
- stable model semantics
- logic programs
- normal logic programs
- dynamic logic
- programming language constructs
- fixpoint semantics
- stable models
- fixpoint
- control flow
- nonmonotonic logics
- semantics for logic programs
- databases
- operational semantics
- semantic information
- logic programming
- model theoretic
- declarative semantics
- reactive planning
- probabilistic logic programs
- multi agent systems