Searching for "Declarative semantics for active rules." – sorted by Relevance.
-
Nested Transactions in a Logical Language for Active Rules
- { with certain extensions { as a declarative semantics for active rules [Zan93, ZS94,Zan95,LL94,LHL95]. The main
- Cited by 18 (5 self) – Add To MetaCart

