暂无分享,去创建一个
[1] Shamim A. Naqvi,et al. Database updates in logic programming , 1988, PODS.
[2] di GenovaViale Causa. Action Languages, Temporal Action Logics and the Situation Calculus , 1999 .
[3] John C. Mitchell,et al. On the Sequential Nature of Unification , 1984, J. Log. Program..
[4] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[5] Jennifer Widom,et al. A denotational semantics for the Starburst production rule language , 1992, SGMD.
[6] Alon Y. Halevy,et al. Updating XML , 2001, SIGMOD '01.
[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] A. Paschke,et al. NPL: Negotiation Pattern Language A Design Pattern Language for Decentralized Coordination and Negotiation Protocols , 2006 .
[10] José Júlio Alferes,et al. LUPS - A Language for Updating Logic Programs , 1999, LPNMR.
[11] Carlo Zaniolo. Active Database Rules with Transaction-Conscious Stable-Model Semantics , 1995, DOOD.
[12] Sergio Greco,et al. Declarative semantics for active rules , 2001, Theory Pract. Log. Program..
[13] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[14] Eugene Miya,et al. On "Software engineering" , 1985, SOEN.
[15] Antony Galton,et al. A unifying semantics for time and events , 2004, Artif. Intell..
[16] Stefano Paraboschi,et al. Pushing reactive services to XML repositories using active rules , 2001, WWW '01.
[17] Frederick Hayes-Roth,et al. Rule-based systems , 1985, CACM.
[18] Jorge Lobo,et al. Semantics for update rule programs and implementation in a relational database management system , 1996, TODS.
[19] Adrian Paschke. RBSLA A declarative Rule-based Service Level Agreement Language based on RuleML , 2005, International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06).
[20] Alfonso Fuggetta,et al. Exploiting an event-based infrastructure to develop complex distributed systems , 1998, Proceedings of the 20th International Conference on Software Engineering.
[21] Michael Thielscher,et al. From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem , 1999, Artif. Intell..
[22] Xml Db Initiative. XUpdate-XML Update Language , 2003 .
[23] Jennifer Widom,et al. Active Database Systems: Triggers and Rules For Advanced Database Processing , 1994 .
[24] Steffen Hölldobler,et al. A New Deductive Approach to Planning , 1989, GWAI.
[25] Raymond Reiter,et al. On Specifying Database Updates , 1995, J. Log. Program..
[26] Ioana Manolescu,et al. Active XML: Peer-to-Peer Data and Web Services Integration , 2002, VLDB.
[27] José Júlio Alferes,et al. On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints , 2001, EPIA.
[28] Roberto Baldoni,et al. The Evolution of Publish/Subscribe Communication Systems , 2003, Future Directions in Distributed Computing.
[29] Robert A. Kowalski,et al. Amalgamating language and metalanguage in logic programming , 1982 .
[30] Neil Immerman,et al. Relational Queries Computable in Polynomial Time , 1986, Inf. Control..
[31] Enrico Giunchiglia,et al. An Action Language Based on Causal Explanation: Preliminary Report , 1998, AAAI/IAAI.
[32] Narain H. Gehani,et al. Event specification in an active object-oriented database , 1992, SIGMOD '92.
[33] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[34] Jorge Lobo,et al. Formal Characterization of Active Databases , 1996, Logic in Databases.
[35] Opher Etzion,et al. Amit - the situation manager , 2003, The VLDB Journal.
[36] Stefano Paraboschi,et al. Active XQuery , 2002, Proceedings 18th International Conference on Data Engineering.
[37] Raymond Reiter,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .
[38] MayWolfgang. XPath-logic and XPathLog: A logic-programming style XML data manipulation language , 2004 .
[39] Jennifer Widom,et al. Behavior of database production rules: termination, confluence, and observable determinism , 1992, SIGMOD '92.
[40] Robert Meolic,et al. VERIFICATION OF CONCURRENT SYSTEMS USING ACTL , 2000 .
[41] Hans Tompits,et al. A Framework for Declarative Update Specifications in Logic Programs , 2001, IJCAI.
[42] Serge Abiteboul,et al. Datalog Extensions for Database Queries and Updates , 1991, J. Comput. Syst. Sci..
[43] Timos K. Sellis,et al. Coupling Production Systems and Database Systems: A Homogeneous Approach , 1993, IEEE Trans. Knowl. Data Eng..
[44] Bertram Ludäscher,et al. On Logical Foundations of Active Databases , 1998, Logics for Databases and Information Systems.
[45] Bertram Ludäscher. Integration of Active and Deductive Database Rules , 1998, DISDBIS.
[46] Sharma Chakravarthy,et al. Composite Events for Active Databases: Semantics, Contexts and Detection , 1994, VLDB.
[47] Mengchi Liu,et al. A Declarative XML-RL Update Language , 2003, ER.
[48] A. Paschke. The ContractLog Approach Towards Test-driven Verification and Validation of Rule Bases-A Homogeneous Integration of Test Cases and Integrity Constraints into Evolving Logic Programs and Rule Markup Languages (RuleML) , 2005 .
[49] Herbert Schorr,et al. Innovative applications of artificial intelligence 2 , 1989 .
[50] Adrian Paschke,et al. Typed Hybrid Description Logic Programs with Order-Sorted Semantic Web Type Systems based on OWL and RDFS , 2005 .
[51] Wolfgang May,et al. XPath-logic and XPathLog: A logic-programming style XML data manipulation language , 2003, Theory and Practice of Logic Programming.
[52] Radha Jagadeesan,et al. Timed Default Concurrent Constraint Programming , 1996, J. Symb. Comput..
[53] Bertram Ludäscher,et al. A Logical Framework for Active Rules , 1996, COMAD.
[54] Patrick Doherty,et al. TAL: Temporal Action Logics Language Specification and Tutorial , 1998, Electron. Trans. Artif. Intell..
[55] Christine Collet,et al. Composite Events in NAOS , 1996, DEXA.
[56] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .
[57] Norman W. Paton,et al. Formal Specification of Active Database Functionality: A Survey , 1995, Rules in Database Systems.
[58] Giuseppe Psaila,et al. Composite Events in Chimera , 1996, EDBT.
[59] Michael Eckert,et al. Reactivity on the web: paradigms and applications of the language XChange , 2005, SAC '05.
[60] Robert Meolic,et al. An Action Computation Tree Logic With Unless Operator , 2003 .
[61] Paolo Mancarella,et al. Production Systems with Negation as Failure , 2002, IEEE Trans. Knowl. Data Eng..
[62] Lois M. L. Delcambre,et al. A self-controlling interpreter for the relational production language , 1988, SIGMOD '88.
[63] Sharma Chakravarthy,et al. The HiPAC Project , 1996, Active Database Systems: Triggers and Rules For Advanced Database Processing.
[64] José Júlio Alferes,et al. Evolving Logic Programs , 2002, JELIA.
[65] Michael Gelfond,et al. Representing Action and Change by Logic Programs , 1993, J. Log. Program..
[66] Alexandra Poulovassilis,et al. An event-condition-action language for XML , 2002, WWW '02.
[67] Gerd Wagner,et al. Rule-based agents for the semantic web , 2003, Electron. Commer. Res. Appl..
[68] Martín Abadi,et al. Security analysis of cryptographically controlled access to XML documents , 2005, PODS '05.
[69] Klaus R. Dittrich,et al. Detecting composite events in active database systems using Petri nets , 1994, Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems.
[70] Jennifer Widom,et al. Set-oriented production rules in relational database systems , 1990, SIGMOD '90.
[71] Norman W. Paton,et al. Active Rules in Database Systems , 1998, Monographs in Computer Science.
[72] Lobel Crnogorac,et al. Abstract Interpretation of Active Rules and its Use in Termination Analysis , 1997, ICDT.