PDL with maximum consistency monitors

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

Volumn 2871, Issue , 2003, Pages 65-74

  Bertino, Elisa ^a   Mileo, Alessandra ^a   Provetti, Alessandro ^b  

^a UNIVERSITY OF MILAN   (Italy)

^b UNIVERSITY OF MESSINA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

NETWORK MANAGEMENT; SPECIFICATION LANGUAGES; SPECIFICATIONS; COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; INTELLIGENT NETWORKS; NATURAL SCIENCES COMPUTING;

NEGATIVE EVENTS; NETWORK MANAGERS; POLICY DESCRIPTION LANGUAGE;

INTELLIGENT SYSTEMS; COMPUTER PROGRAMMING LANGUAGES;

INTELLIGENT SYSTEMS; MONITORS; POLICY DESCRIPTION LANGUAGE (PDL);

EID: 7444231071     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39592-8_10     Document Type: Conference Paper

References (10)

1. Chomicki J., Lobo J. and Naqvi S., 2000. A logic programming approach to conflict resolution in policy management. Proc. of KR2000, 7th Int’l Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, pp 121-132.
2. J. Chomicki, J. Lobo, 2001. Monitors for History-Based Policies. Proc. of Int’l Workshop on Policies for Distributed Systems and Networks. Springer-Verlag, LNCS 1995, pp. 57-72.
3. Chomicki J., Lobo J. and Naqvi S., 2003. Conflict Resolution using Logic Programming. To appear on IEEE Transactions on Knowledge and Data Engineering (TKDE) 15(1): 244-249. Available from http://www.cs.buffalo.edu/˜chomicki/
4. Gelfond, M. and Lifschitz, V., 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing: 365-387.
5. Liberatore, P., 1999. Algorithms and Experiments on Finding Minimal Models. Tech. Report 09-99, DIS, University of Rome “La Sapienza.”
6. Lobo J., Bhatia R. and Naqvi S., 1999. A Policy Description Language, in AAAI/IAAI, 1999, pp. 291-298.
7. Papadimitriou, C., 1994. Computational Complexity, Addison Wesley.
8. Schlipf, J., 1995. The expressive powers of the logic programming semantics, Journal of Computer and Systems Sciences 51, pp. 64-86.
9. Web location of the most known ASP solvers: aspps: http://www.cs.uky.edu/ai/aspps/ CCalc: http://www.cs.utexas.edu/users/tag/cc/ Cmodels: http://www.cs.utexas.edu/users/tag/cmodels.html DLV: http://www.dbai.tuwien.ac.at/proj/dlv/ NoMoRe: http://www.cs.uni-potsdam.de/ linke/nomore/ SMODELS: http://www.tcs.hut.fi/Software/smodels/
10. Virmani, J., Lobo, L. and Kohli, M., 2000. NETMON: Network Management for the SARAS Softswitch Proc. of IEEE/IFIP Network Operations and Management Symp.