Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

Browse by Current Cardiff authors

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 40.

Caminada, Martin and Dunne, Paul 2019. Strong admissibility revisited: theory and applications. Argument and Computation 10.3233/AAC-190463
Item availability restricted.
file

Caminada, Martin and Schulz, Claudia 2018. On the equivalence between assumption-based argumentation and logic programming (extended abstract). Presented at: IJCAI-ECAI-18, Stockholm, 13-19 July 2018.
file

Caminada, Martin and Schulz, Claudia 2017. On the equivalence between assumption-based argumentation and logic programming. Journal of Artificial Intelligence Research 60 , pp. 779-825. 10.1613/jair.5581
file

Awad, Edmond, Caminada, Martin, Pigozzi, Gabriella, Podlaszewski, Mikolaj and Rahwan, Iyad 2017. Pareto optimality and strategy-proofness in group argument evaluation. Journal of Logic and Computation 8 , pp. 2581-2609. 10.1093/logcom/exx017
file

Caminada, Martin 2017. Rationality postulates: applying argumentation theory for non-monotonic reasoning. Journal of Applied Logics 4 (8) , pp. 2707-2734.
file

Awad, Edmond, Bonnefon, Jean-Francois, Caminada, Martin and Rahwan, Iyad 2017. Experimental assessment of aggregation principles in argumentation-enabled collective intelligence. ACM Transactions on Internet Technology 17 (3) , 29. 10.1145/3053371
file

Caminada, Martin 2017. Argumentation semantics as formal discussion. In: Gabbay, Dov, Torre, Leon van der, Giacomin, Massimiliano and Baroni, Pietro eds. Handbook of Formal Argumentation, Volume 1, College Publications,
file

Caminada, Martin 2017. Rationality postulates: applying argumentation theory for non-monotonic reasoning. In: Gabbay, Dov, Torre, Leon van der, Baroni, Pietro and Giacomin, Massimiliano eds. Handbook of Formal Argumentation, Volume 1, College Publications,
file

Caminada, Martin 2017. Argumentation semantics as formal discussion. Journal of Applied Logics 4 (8) , pp. 2457-2492.
file

Caminada, Martin, Dvořák, W. and Vesic, S. 2016. Preferred semantics as Socratic discussion. Journal of Logic and Computation 26 (4) , pp. 1257-1292. 10.1093/logcom/exu005

Caminada, Martin and Booth, Richard 2016. A dialectical approach for argument-based judgment aggregation. Presented at: 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, 13-16 September 2016. Published in: Baroni, Pietro, Gordon, Thomas F., Scheffler, Tatjana and Stede, Manfred eds. Computational Models of Argument. Frontiers in Artificial Intelligence and Applications IOS Press, pp. 179-190. 10.3233/978-1-61499-686-6-179
file

Caminada, Martin, Sá, Samy, Alcântara, João and Dvořák, Wolfgang 2015. On the difference between assumption-based argumentation and abstract argumentation. IfCoLog Journal of Logic and its Applications 2 (1) , pp. 15-34.
file

Sakama, Chiaki, Caminada, Martin and Herzig, Andreas 2015. A formal account of dishonesty. Logic Journal of the IGPL 23 (2) , pp. 259-294. 10.1093/jigpal/jzu043

Caminada, Martin and Giacomin, M. 2015. Introducing the special issue on 20 Years of argument-based inference. Journal of Logic and Computation 25 (2) , pp. 243-249. 10.1093/logcom/exu059

Caminada, Martin, Sa, Samy, Alcantara, Joao and Dvorak, Wolfgang 2015. On the equivalence between logic programming semantics and argumentation semantics. International Journal of Approximate Reasoning 58 , pp. 87-111. 10.1016/j.ijar.2014.12.004

Caminada, Martin 2015. A discussion game for grounded semantics. Presented at: 3rd International Workshop on Theory and Applications of Formal Argumentation, Buenos Aires, Argentina, 25-26 July 2015. Published in: Black, Elizabeth, Modgil, Sanjay and Oren, Nir eds. Theory and Applications of Formal Argumentation: Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers. Lecture Notes in Computer Science Springer, pp. 59-73. 10.1007/978-3-319-28460-6_4

Caminada, Martin and Schulz, Claudia 2015. On the equivalence between assumption-based argumentation and logic programming. Presented at: The 1st International Workshop on Argumentation and Logic Programming (ArgLP 2015), Cork, Ireland, 31 August 2015.
file

Caminada, Martin and Sakama, Chiaki 2015. On the issue of argumentation and informedness. Presented at: 2nd International Workshop on Argument for Agreement and Assurance (AAA 2015), Kanagawa, Japan, 17 November 2015.

Booth, Richard, Caminada, Martin, Paul, Dunne, Mikolaj, Podlaszewski and Iyad, Rahwan 2014. Complexity properties of critical sets of arguments. Presented at: 6th International Conference on Computational Models of Argument, Pitlochry, UK, 9-12 September 2014.
file

Booth, Richard, Caminada, Martin, Dunne, Paul E., Podlaszewski, Mikolaj and Rahwan, Iyad 2014. Complexity properties of critical sets of arguments. In: Parsons, S., Oren, N., Reed, N. and Cerutti, Federico eds. Computational Models of Argument: Proceedings of COMMA 2014, Vol. 266. IOS Press, pp. 173-184.

Caminada, Martin and Oren, Nir 2014. Grounded semantics and infinitary argumentation frameworks. Presented at: The 26th Benelux Conference on Artificial Intelligence, Nijmegen, The Netherlands, 6-7 November 2014.
file

Caminada, Martin, Modgil, Sanjay and Oren, Nir 2014. Preferences and unrestricted rebut. Computational Models of Argument, Frontiers in Artificial Intelligence and Applications, vol. 266. IOS Press, pp. 209-220.

Caminada, Martin 2014. Strong admissibility revisited. In: Parsons, Simon, Oren, Nir, Reed, Chris and Cerutti, Federico eds. Computational Models of Argument, Vol. 266. Frontiers in Artificial Intelligence and Applications, IOS Press, pp. 197-208. (10.3233/978-1-61499-436-7-197)

Arieli, Ofer and Caminada, Martin 2013. A QBF-based formalization of abstract argumentation semantics. Journal of Applied Logic 11 (2) , pp. 229-252. 10.1016/j.jal.2013.03.009

Caminada, Martin, Carnielli, Walter A. and Dunne, Paul E. 2012. Semi-stable semantics. Journal of Logic and Computation 22 (5) , pp. 1207-1254.

Arieli, Ofer and Caminada, Martin 2012. A general QBF-based formalization of abstract argumentation theory. In: Verheij, B., Szeider, S. and Woltran, S. eds. Computational Models of Argument, Frontiers in Artificial Intelligence and Applications, vol. 245. IOS Press, pp. 105-116. (10.3233/978-1-61499-111-3-105)

Caminada, Martin and Podlaszewski, Mikolaj 2012. Grounded semantics as persuasion dialogue. Computational Models of Argument 245 , pp. 478-485.

Baroni, Pietro, Caminada, Martin and Giacomin, Massimiliano 2011. An introduction to argumentation semantics. Knowledge Engineering Review 26 (4) , pp. 365-410. 10.1017/S0269888911000166

Caminada, Martin and Pigozzi, Gabriella 2011. On judgment aggregation in abstract argumentation. Autonomous Agents and Multi-Agent Systems 22 (1) , pp. 64-102. 10.1007/s10458-009-9116-7

Caminada, Martin 2010. An algorithm for stage semantics. In: Baroni, P., Cerutti, F., Giacomin, M. and Simari, G. R. eds. Computational Models of Argument: Proceedings of COMMA 2010, Vol. 216. Frontiers in Artificial Intelligence and Applications, IOS Press, pp. 147-158. (10.3233/978-1-60750-619-5-147)
file

Sakama, Chiaki, Caminada, Martin and Herzig, Andreas 2010. A logical account of lying. Lecture Notes in Computer Science 6341 , pp. 286-299. 10.1007/978-3-642-15675-5_25

Caminada, Martin and Wu, Yining 2009. An argument game for stable semantics. Logic Journal of the IGPL 17 (1) , pp. 77-90. 10.1093/jigpal/jzn029

Dunne, Paul E. and Caminada, Martin 2008. Computational complexity of semi-stable semantics in abstract argumentation frameworks. Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence (5293) , pp. 153-165. 10.1007/978-3-540-87803-2_14

Caminada, Martin 2008. On the issue of contraposition of defeasible rules. Presented at: COMMA 2008, Toulouse, France, 28-30 May 2008. Published in: Besnard, P., Doutre, S. and Hunter, A. eds. Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008. Amsterdam: IOS Press, pp. 109-115.
file

Caminada, Martin and Amgoud, Leila 2007. On the evaluation of argumentation formalisms. Artificial Intelligence 171 (5-6) , pp. 286-310. 10.1016/j.artint.2007.02.003

Caminada, Martin 2007. An algorithm for computing semi-stable semantics. Lecture Notes in Computer Science 4724 , pp. 222-234. 10.1007/978-3-540-75256-1_22
file

Caminada, Martin 2006. On the issue of reinstatement in argumentation. Lecture Notes in Computer Science 4160 , pp. 111-123. 10.1007/11853886_11

Caminada, Martin and Sakama, Chiaki 2006. On the existence of answer sets in normal extended logic programs. Presented at: ECAI 2006: 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, 29 Aug-1 Sept 2006. Published in: Brewka, G., Coradeschi, S., Perini, A. and Traverso, P. eds. ECAI 2006: 17th European Conference on Artificial Intelligence., August 29 - Spetember 1, Riva del Garda, Italy. Amsterdam: IOS Press, pp. 743-744.
file

Caminada, Martin 2006. Semi-stable semantics. In: Dunne, Paul E. and Bench-Capon, Trevor J. M. eds. Computational Models of Argument, Vol. 144. Frontiers in Artificial Intelligence and Applications, IOS Press, pp. 121-130.

Caminada, Martin, van de Riet, Reind, van Zanten, Arjen and van Doorn, Leendert 1998. Internet security incidents, a survey within Dutch organizations. Computers and Security 17 (5) , pp. 417-433.

This list was generated on Sun Dec 15 05:18:23 2019 GMT.