The well-founded semantics for general logic programs
Journal of the ACM (JACM)
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Exploiting an event-based infrastructure to develop complex distributed systems
Proceedings of the 20th international conference on Software engineering
Communication and Concurrency
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
LUPS---a language for updating logic programs
Artificial Intelligence
Active Views for Electronic Commerce
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Formal Characterization of Active Databases
LID '96 Proceedings of the International Workshop on Logic in Databases
Nested Transactions in a Logical Language for Active Rules
LID '96 Proceedings of the International Workshop on Logic in Databases
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
The VLDB Journal — The International Journal on Very Large Data Bases
SnoopIB: interval-based event specification and detection for active databases
Data & Knowledge Engineering
Active rules in the semantic web: dealing with language heterogeneity
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
r3: a foundational ontology for reactive rules
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Synchronization of abstract and concrete syntax in domain-specific modeling languages
Software and Systems Modeling (SoSyM)
A rule-based language for complex event processing and reasoning
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Data-bound variables for WS-BPEL executable processes
Computer Languages, Systems and Structures
Hi-index | 0.00 |
Event-Condition-Action (ECA) languages are an intuitive and powerful paradigm for programming reactive systems. Usually, important features for an ECA language are reactive and reasoning capabilities, the possibility to express complex actions and events, and a declarative semantics. In this paper, we introduce ERA, an ECA language based on, and extending the framework of logic programs updates that, together with these features, also exhibits capabilities to integrate external updates and perform self updates to its knowledge (data and classical rules) and behaviour (reactive rules).