Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Volume 4724 of the series Lecture Notes in Computer Science pp 695-706

Qualitative Constraint Enforcement in Advanced Policy Specification

  • Alessandra MileoAffiliated withDipartimento di Informatica e Comunicazione, Universitá degli Studi di Milano-Bicocca - Lab. Nomadis
  • , Torsten SchaubAffiliated withInstitut für Informatik, Universität Potsdam

* Final gross prices may vary according to local VAT.

Get Access


We consider advanced policy description specifications in the context of Answer Set Programming (ASP). Motivated by our application scenario, we further extend an existing policy description language, so that it allows for expressing preferences among sets of objects. This is done by extending the concept of ordered disjunctions to cardinality constraints. We demonstrate that this extension is obtained by combining existing ASP techniques and show how it allows for handling advanced policy description specifications.