Argumentation and Cooperation for Distributed Extended Logic ...

Download PDF
3 downloads 0 Views 783KB Size Report
Comment
Definition 8 (Justified, Overruled, Defeasible). Let P be an eaſtended logic program. FP be the char- acteristic function of P. and A be an argument then.