• Answer set programming for computing decisions under uncertainty 

      Confalonieri, Roberto; Prade, Henri (Springer, 2011)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      Possibility theory offers a qualitative framework for modeling decision under uncertainty. In this setting, pessimistic and optimistic decision criteria have been formally justified. The computation by means of possibilistic ...
    • Handling exceptions in logic programming without negation as failure 

      Confalonieri, Roberto; Prade, Henri; Nieves Sánchez, Juan Carlos (Springer, 2011)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      Default rules, i.e. statements of the form normally a’s are b’s, are usually handled in Answer Set Programming by means of negation as failure which provides a way to capture exceptions to normal situations. In this paper ...