Browsing by Subject "Proof procedures"

Now showing items 1-2 of 2

    • Article  

      Computing the acceptability semantics 

      Toni, F.; Kakas, Antonis C. (1995)
      We present a proof theory and a proof procedure for nonmonotonic reasoning based on the acceptability semantics for logic programming, formulated in an argumentation framework. These proof theory and procedure are defined ...
    • Conference Object  

      Making decisions through preference-based argumentation 

      Amgoud, L.; Dimopoulos, Yannis; Moraïtis, Pavlos (2008)
      Decision making is usually based on the comparative evaluation of different alternatives by means of a decision criterion. The whole decision process is compacted into a criterion formula on the basis of which alternatives ...