暂无分享,去创建一个
[1] Marek J. Sergot,et al. A logic-based calculus of events , 1989, New Generation Computing.
[2] Harold Boley. The RuleML Family of Web Rule Languages , 2006, PPSWR.
[3] Adrian Paschke. The Reaction RuleML Classification of the Event / Action / State Processing and Reasoning Space , 2006, ArXiv.
[4] A. Paschke,et al. NPL: Negotiation Pattern Language A Design Pattern Language for Decentralized Coordination and Negotiation Protocols , 2006 .
[5] Adrian Paschke. RBSLA: Rule-based Service Level Agreements , 2007 .
[6] Adrian Paschke. A Typed Hybrid Description Logic Programming Language with Polymorphic Order-Sorted DL-Typed Unification for Semantic Web Type Systems , 2006, OWLED.
[7] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.
[8] Michael Schroeder,et al. PROVA: Rule-Based Java-Scripting for a Bioinformatics Semantic Web , 2004, DILS.
[9] David E. Culler,et al. SEDA: An Architecture for Scalable, Well-Conditioned Internet Services , 2001 .
[10] Adrian Paschke,et al. RBSLA: Rule based service level agreements: RBSLA; knowledge representation for automated e-contract, SLA and policy management , 2007 .
[11] Michael Kifer,et al. Transaction Logic Programming (or, A Logic of Procedural and Declarative Knowledge) , 1995 .
[12] Sharma Chakravarthy,et al. Composite Events for Active Databases: Semantics, Contexts and Detection , 1994, VLDB.
[13] Adrian Paschke. ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update Logics , 2006, ArXiv.
[14] J. W. Lloyd,et al. Foundations of logic programming; (2nd extended ed.) , 1987 .