On the relationship between Carneades and Defeasible Logic
关键词:
摘要: We study the formal relationships between inferential aspects of Carneades (a general argumentation framework) and Defeasible Logic. The outcome investigation is that current proof standards proposed in framework correspond to some variants
core.ac.uk
acm.org
sci-hub.se 参考文章(38)
Francesca Toni, Assumption-Based Argumentation for Epistemic and Practical Reasoning Computable Models of the Law. pp. 185- 202 ,(2008) , 10.1007/978-3-540-85569-9_12
Gerhard Brewka, Thomas F. Gordon, Carneades and Abstract Dialectical Frameworks: A Reconstruction computational models of argument. pp. 3- 12 ,(2010)
Dov M. Gabbay, J. A. Robinson, C. J. Hogger, Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning ,(1994)
Guido Governatori, Giovanni Sartor, Burdens of Proof in Monological Argumentation international conference on legal knowledge and information systems. pp. 57- 66 ,(2010) , 10.3233/978-1-60750-682-9-57
G. Antoniou, G. Governatori, D. Billington, A. Rock, M. J. Maher, A family of defeasible reasoning logics and its implementation european conference on artificial intelligence. ,vol. 54, pp. 459- 463 ,(2000)
Jenny Eriksson Lundström, Guido Governatori, Subhasis Thakur, Vineet Padmanabhan, An Asymmetric Protocol for Argumentation Games in Defeasible Logic pacific rim international conference on multi-agents. ,vol. 5044, pp. 219- 231 ,(2009) , 10.1007/978-3-642-01639-4_19
Kewen Wang, David Billington, Jeff Blee, Grigoris Antoniou, Combining Description Logic and Defeasible Logic for the semantic Web rules and rule markup languages for the semantic web. pp. 170- 181 ,(2004) , 10.1007/978-3-540-30504-0_13
Shazia Sadiq, Guido Governatori, Kioumars Namiri, Modeling control objectives for business process compliance business process management. pp. 149- 164 ,(2007) , 10.1007/978-3-540-75183-0_12
Henry Prakken, Giovanni Sartor, A logical analysis of burdens of proof Legal Evidence and Proof: Statistics, Stories, Logic. pp. 223- 253 ,(2009) , 10.4324/9781315592015-15
Guido Governatori, Shazia Sadiq, The Journey to Business Process Compliance Handbook of Research on Business Process Modeling. pp. 426- 454 ,(2009) , 10.4018/978-1-60566-288-6.CH020