Qualitative constraint enforcement in advanced policy specification

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

Volumn 4724 LNAI, Issue , 2007, Pages 695-706

  Mileo, Alessandra ^a   Schaub, Torsten ^b,c  

^a UNIVERSITY OF MILANO BICOCCA   (Italy)

^b UNIVERSITY OF POTSDAM   (Germany)

^c SIMON FRASER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; SET THEORY;

ADVANCED POLICY SPECIFICATION; ANSWER SET PROGRAMMING; CARDINALITY CONSTRAINTS; POLICY DESCRIPTION LANGUAGES;

COMPUTER PROGRAMMING;

EID: 38049150798     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75256-1_61     Document Type: Conference Paper

References (9)

1. Chomicki, J., Lobo, J., Naqvi, S.: Conflict resolution using logic programming. IEEE Transactions on Knowledge and Data Engineering 15(1), 244-249 (2003)
2. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
3. Mileo, A.: Preference Specification and Enforcement in Declarative Policies. PhD thesis, Universitá degli Studi di Milano (2006)
4. Bertino, E., Mileo, A., Provetti, A.: PDL with preferences. In: Proc. of POLICY 2005 (2005)
5. Brewka, G.: Logic programming with ordered disjunction. In: Proc. of AAAI02. Extended version presented at NMR02 (2002)
6. Brewka, G., Niemelä, I., Syrjänen, T.: Implementing ordered disjunction using answer set solvers for normal programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 444-455. Springer, Heidelberg (2002)
7. Sakama, C., Inoue, K.: An alternative approach to the semantics of disjunctive logic programs and deductive databases. J. Autom. Reasoning 13(1), 145-172 (1994)
8. Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics 138(1-2), 181-234 (2002)
9. Liu, L., Truszczynski, M.: Properties of programs with monotone and convex constraints. In: Proc. of AAAI05, pp. 701-706 (2005)