Monitors for history-based policies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1995, Issue , 2001, Pages 57-72

  Chomicki, Jan ^a   Lobo, Jorge ^b  

^a State University of New York   (United States)

^b LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONFLICT DETECTION AND RESOLUTION; CONFLICT RESOLUTION; EVENT CONDITION ACTION RULES; TEMPORAL DIMENSIONS;

UBIQUITOUS COMPUTING;

EID: 84944043577     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44569-2_4     Document Type: Conference Paper

References (16)

1. R. Agrawal, R. Cochrane, and B. G. Lindsay. On maintaining priorities in a production rule system. In VLDB, pages 479–487, 1991.
2. C. Baral, J. Lobo, and G. Trajcevski. Formal characterizations of active databases: II. In Proc. of the International Conference on Deductive and Object Oriented Databases, Lecture Notes in Computer Science. Springer, Switzerland, December 1997.
3. R. Bhatia, J. Lobo, and M. Kohli: Policy Evaluation for Network Management. In Proc. of the 19th Conference on Computer Communication, INFOCOM 2000. Israel, March 2000.
4. L. Brownston, R. Farell, E. Kant, and N. Martin. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, 1985.
5. H. Kleine Büning, U. Löwen, and S. Schmitgen. Inconsistency of production systems. Journal of Data and Knowledge Engineering, 3:245–260, 1988/89.
6. J. Chomicki. Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. ACM Transactions on Database Systems, 20(2):149–186, June 1995.
7. J. Chomicki, J. Lobo, and S. Naqvi. Axiomatic conflict resolution in policy management. Technical Report ITD-99-36448R, Bell Labs, February 1999.
8. J. Chomicki and J. Lobo. Monitors for History-Based Policies. Technical report, Lucent Bell Labs, 2000.
9. J. Chomicki, J. Lobo, and S. Naqvi. A Logic Programming Approach to Conflict Resolution in Policy Management. In International Conference on Principles of Knowledge Representation and Reasoning, Breckenridge, Colorado, April 2000.
10. T. Eiter and V.S. Subrahmanian. Heterogeneous active agents, II: Algorithms and complexity. Artificial Intelligence, 108:257–307, March 1999.
11. T. Eiter, V.S. Subrahmanian, and G. Pick. Heterogeneous active agents, I: Semantics. Artificial Intelligence, 108:179–255, March 1999.
12. Y. E. Ioannidis and T. K. Sellis. Supporting inconsistent rules in database systems. Journal of Intelligent Information Systems, 1(3/4), 1992.
13. H. V. Jagadish, A. O. Mendelzon, and I. S. Mumick. Managing conflicts between rules. In Proc. 15th ACM SIGACT/SIGMOD Symposium on Principles of Database Systems, pages 192–201, 1996.
14. J. Lobo, R. Bhatia, and S. Naqvi. A policy description language. In Proc. of AAAI, Orlando, FL, July 1999.
15. E. C. Lupu and M. Sloman. Conflict analysis for management policies. In R. Stadler A. Lazar, R. Saraco, editor, Proc. 5th IFIP/IEEE International Symposium on Integrated Network Management, pages 430–443, 1997.
16. A. Virmani, J. Lobo, and M. Kohli. NETMON: Network management for the SARAS softswitch. In Proc. of the IEEE/IFIP Network Operations and Management Symposium, April 2000.