PDL with preferences

Proceedings - Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2005

Volumn 2005, Issue , 2005, Pages 213-222

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

^a PURDUE UNIVERSITY   (United States)

^b UNIVERSITY OF MILAN   (Italy)

^c UNIVERSITY OF MESSINA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGRATED FRAMEWORK; NETWORK MANAGEMENT; NETWORK MANAGERS; PROGRAMMING INFERENTIAL ENGINES;

COMPUTER MONITORS; COMPUTER NETWORKS; COMPUTER PROGRAMMING LANGUAGES; INTEGRATED CIRCUITS; USER INTERFACES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33745008627     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/POLICY.2005.21     Document Type: Conference Paper

References (13)

1. Bertino E., Mileo A. and Provetti A., 2003. PDL with Maximum Consistency Monitors. Proc. of ISMIS 2003 Conference. Springer LNCS 2871, pp. 65-74.
2. Bertino E., Atluri V. and Ferrari E., 1999. The specification and enforcement of authorization constraints in workflow management systems. ACM Trans. on Information and System Security 2(1), pp. 65-104.
3. Brewka G., Benferhat S., and Le Berre D., 2002. Qualitative choice logic. Proc. of Principles of Knowledge Representation and Reasoning, KR-02.
4. Brewka, G., Niemelä I and Syrj̈anen T., 2002. Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. Proc. of JELIA02 Conference. Springer Verlag LNAI.
5. Brewka, G., 2002. Logic Programming with Ordered Disjunction. Proc. of AAAI-02 Conference. Extended version presented at NMR-02.
6. 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.
7. Chomicki J., Lobo J. and Naqvi S., 2003. Conflict Resolution using Logic Programming. IEEE Transactions on Knowledge and Data Engineering 15:2.
8. Chomicki J., 2003. Preference Formulas in Relational Queries. ACM Transactions on Database Systems.
9. Gelfond, M. and Lifschitz, V., 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing: 365-387.
10. Marchi M., Mileo A. and Provetti A., 2004. Specification and Execution of Declarative Policies for Grid Service Selection Proc. of ECOWS04, European Conference On Web Services. Springer LNCS 3250, pp 102-115. Available from http://mag.dsi.unimi.it/PPDL/
11. Marchi M., Mileo A. and Provetti A., 2005. Declarative Policies for Web Service Selection In this volume.
12. Schaub T., and Wang K., 2001. A comparative study of logic programs with preference. Proc. of Int'l. Joint Conference on AI, IJCAI 2001.
13. Web location of the most known ASP solvers. CMODELS: http://www.cs. utexas.edu/users/tag/cmodels.html DLV: http://www.dbai.tuwien.ac.at/proj/dtv/ SMODELS: http://www.tcs.hut.fi/Software/smodels/ PSMODELS: http://www.tes.hut. fi/Software/smodels/priority/