The Reaction RuleML Classification of the Event / Action / State Processing and Reasoning Space

Reaction RuleML is a general, practical, compact and user-friendly XML-serialized language for the family of reaction rules.

[1]  Sharma Chakravarthy,et al.  Composite Events for Active Databases: Semantics, Contexts and Detection , 1994, VLDB.

[2]  José Júlio Alferes,et al.  Evolving Logic Programs , 2002, JELIA.

[3]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[4]  Alexandra Poulovassilis,et al.  An event-condition-action language for XML , 2002, WWW '02.

[5]  Carlo Zaniolo.  Active Database Rules with Transaction-Conscious Stable-Model Semantics , 1995, DOOD.

[6]  Ioana Manolescu,et al.  Active XML: Peer-to-Peer Data and Web Services Integration , 2002, VLDB.

[7]  Louiqa Raschid,et al.  A Semantics for a Class of Stratified Production System Programs , 1989, J. Log. Program..

[8]  Erik Sandewall,et al.  Combining Logic and Differential Equations for Describing Real-World Systems , 1989, KR.

[9]  Antony Galton,et al.  A unifying semantics for time and events , 2004, Artif. Intell..

[10]  Frederick Hayes-Roth,et al.  Rule-based systems , 1985, CACM.

[11]  Alexandra Poulovassilis,et al.  RDFTL : An Event-Condition-Action Language for RDF , 2004 .

[12]  Jorge Lobo,et al.  Semantics for update rule programs and implementation in a relational database management system , 1996, TODS.

[13]  Steffen Hölldobler,et al.  A New Deductive Approach to Planning , 1989, GWAI.

[14]  Michael Kifer,et al.  Transaction Logic Programming (or, A Logic of Procedural and Declarative Knowledge) , 1995 .

[15]  Michael Eckert,et al.  Reactivity on the web: paradigms and applications of the language XChange , 2005, SAC '05.

[16]  Enrico Giunchiglia,et al.  An Action Language Based on Causal Explanation: Preliminary Report , 1998, AAAI/IAAI.

[17]  Narain H. Gehani,et al.  Event specification in an active object-oriented database , 1992, SIGMOD '92.

[18]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[19]  Robert Meolic,et al.  An Action Computation Tree Logic With Unless Operator , 2003 .

[20]  Jorge Lobo,et al.  Formal Characterization of Active Databases , 1996, Logic in Databases.

[21]  Gerd Wagner,et al.  Rule-based agents for the semantic web , 2003, Electron. Commer. Res. Appl..

[22]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[23]  A. Paschke,et al.  NPL: Negotiation Pattern Language A Design Pattern Language for Decentralized Coordination and Negotiation Protocols , 2006 .

[24]  Stefano Paraboschi,et al.  Active XQuery , 2002, Proceedings 18th International Conference on Data Engineering.

[25]  Robert Meolic,et al.  VERIFICATION OF CONCURRENT SYSTEMS USING ACTL , 2000 .

[26]  Christine Collet,et al.  Composite Events in NAOS , 1996, DEXA.

[27]  Carlo Zaniolo,et al.  A Unified Semantics for Active and Deductive Databases , 1993, Rules in Database Systems.

[28]  Opher Etzion,et al.  Amit - the situation manager , 2003, The VLDB Journal.

[29]  Bertram Ludäscher,et al.  A Logical Framework for Active Rules , 1996, COMAD.

[30]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[31]  Raymond Reiter,et al.  On Specifying Database Updates , 1995, J. Log. Program..

[32]  José Júlio Alferes,et al.  On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints , 2001, EPIA.

[33]  Serge Abiteboul,et al.  Datalog Extensions for Database Queries and Updates , 1991, J. Comput. Syst. Sci..

[34]  Mengchi Liu,et al.  A Declarative XML-RL Update Language , 2003, ER.

[35]  Sebastian Schaffert,et al.  Xcerpt: a rule-based query and transformation language for the web , 2004 .

[36]  Adrian Paschke,et al.  ECA-RuleML/ECA-LP: A Homogeneous Event-Condition-Action Logic Programming Language , 2006 .

[37]  Lois M. L. Delcambre,et al.  A self-controlling interpreter for the relational production language , 1988, SIGMOD '88.

[38]  Sharma Chakravarthy,et al.  The HiPAC Project , 1996, Active Database Systems: Triggers and Rules For Advanced Database Processing.

[39]  Patrick Doherty,et al.  TAL: Temporal Action Logics Language Specification and Tutorial , 1998, Electron. Trans. Artif. Intell..

[40]  Jennifer Widom,et al.  Set-oriented production rules in relational database systems , 1990, SIGMOD '90.

[41]  João Leite,et al.  Evolving knowledge bases : specification and semantics , 2003 .

[42]  Paolo Mancarella,et al.  Production Systems with Negation as Failure , 2002, IEEE Trans. Knowl. Data Eng..

[43]  Lobel Crnogorac,et al.  Abstract Interpretation of Active Rules and its Use in Termination Analysis , 1997, ICDT.

[44]  Martin Bichler,et al.  SLA Representation, Management and Enforcement - Combining Event Calculus, Deontic Logic, Horn Logic and Event Condition Action Rules , 2005 .

[45]  Norman W. Paton,et al.  Formal Specification of Active Database Functionality: A Survey , 1995, Rules in Database Systems.

[46]  Adrian Paschke.  ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update Logics , 2006, ArXiv.

[47]  Giuseppe Psaila,et al.  Composite Events in Chimera , 1996, EDBT.

[48]  Michael Thielscher,et al.  From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem , 1999, Artif. Intell..

[49]  Xml Db Initiative.  XUpdate-XML Update Language , 2003 .

[50]  Stefano Paraboschi,et al.  Pushing reactive services to XML repositories using active rules , 2001, WWW '01.

[51]  Alfonso Fuggetta,et al.  Exploiting an event-based infrastructure to develop complex distributed systems , 1998, Proceedings of the 20th International Conference on Software Engineering.

[52]  Alon Y. Halevy,et al.  Updating XML , 2001, SIGMOD '01.

[53]  Timos K. Sellis,et al.  Coupling Production Systems and Database Systems: A Homogeneous Approach , 1993, IEEE Trans. Knowl. Data Eng..

[54]  Bertram Ludäscher,et al.  On Logical Foundations of Active Databases , 1998, Logics for Databases and Information Systems.

[55]  Wolfgang May,et al.  XPath-logic and XPathLog: A logic-programming style XML data manipulation language , 2003, Theory and Practice of Logic Programming.

[56]  Radha Jagadeesan,et al.  Timed Default Concurrent Constraint Programming , 1996, J. Symb. Comput..

[57]  Jennifer Widom,et al.  Behavior of database production rules: termination, confluence, and observable determinism , 1992, SIGMOD '92.

[58]  Hans Tompits,et al.  A Framework for Declarative Update Specifications in Logic Programs , 2001, IJCAI.

[59]  Sergio Greco,et al.  Declarative semantics for active rules , 2001 .

[60]  Shamim A. Naqvi,et al.  Database updates in logic programming , 1988, PODS.

[61]  di GenovaViale Causa.  Action Languages, Temporal Action Logics and the Situation Calculus , 1999 .

[62]  Jennifer Widom,et al.  A denotational semantics for the Starburst production rule language , 1992, SGMD.

[63]  Bertram Ludäscher.  Integration of Active and Deductive Database Rules , 1998, DISDBIS.

[64]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.