Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report

Gabbay, Dov M.

doi:10.1007/978-3-642-32897-8_1

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report

Gabbay, Dov M.

2012 • In Computational Logic in Multi-Agent Systems - 13th International Workshop CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings

Peer reviewed

Permalink
https://hdl.handle.net/10993/26114

DOI
10.1007/978-3-642-32897-8_1

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

file.pdf

Publisher postprint (4.35 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Author, co-author :

Gabbay, Dov M. ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

External co-authors :

yes

Language :

English

Title :

Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report

Publication date :

2012

Event name :

Computational Logic in Multi-Agent Systems - 13th International Workshop CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings

Event date :

2012

Main work title :

Computational Logic in Multi-Agent Systems - 13th International Workshop CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings

Peer reviewed :

Peer reviewed

Additional URL :

http://dx.doi.org/10.1007/978-3-642-32897-8_1

Commentary :

1--24

Available on ORBilu :

since 22 March 2016

Statistics

Number of views

43 (0 by Unilu)

Number of downloads

171 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

Bibliography

Boella, G., Gabbay, D., van der Torre, L., Villata, S.: Support in abstract argumentation. In: Baroni, P., Cerutti, F., Giacomin, M., Simari, G. (eds.) Computational models of Argument, COMMA 2010, pp. 111-122. IOS Press (2010);
Expanded version of this paper is to appear in special issue, AMAI (2012)
Gabbay, D.: Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations. In: Broersen, J. (ed.) DEON 2012. LNCS (LNAI), vol. 7393, pp. 91-107. Springer, Heidelberg (2012)
Cayrol, C., Lagasquie-Schiex, M.-C.: Coalitions of arguments: A tool for handling bipolar argumentation frameworks. Int. J. Intell. Syst. 25(1), 83-109 (2010)
Gabbay, D.M.: Introducing Reactive Kripke Semantics and Arc Accessibility. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Trakhtenbrot/Festschrift. LNCS, vol. 4800, pp. 292-341. Springer, Berlin (2008);
Earlier version published in Proceeding of CombLog04 (http://www.cs.math. ist.utl.pt/comblog04/);
Carnielli, W., Dionesio, F.M., Mateus, P. (eds.) Centre of Logic and Computation University of Lisbon, pp 7-20 (2004), ftp://logica.cle.unicamp.br/ pub/e-prints/comblog04/gabbay.pdf; Also published as a book report, by CLC: Centre for Logic and Computation, Instituto Superior Technico, Lisbon 1 (2004) ISBN 972-99289-0-8
Modgil, S., Prakken, H.: A General Account of Argumentation with Preferences, http://www.dcs.kcl.ac.uk/staff/smodgil/GAP.pdf
Grossi, D.: Doing Argumentation Theory in Modal Logic, http://www.illc.uva.nl/Research/Reports/PP-2009-24.text.pdf
Gabbay, D.: Reactive Kripke Models and Contrary-to-duty Obligations Expanded version. original version (2008);
Revised 2012 into two parts: Part A Semantics, to appear in Journal of Applied Logic;
Part B Proof Theory, to be submitted to Journal of Applied Logic
Gabbay, D.: The equational approach to argumentation. Argumentation and Computation 3(2-3) (to appear in special issue 2012)
Gabbay, D.: The equational approach to CF2 semantics. In: Proceedings of COMMA 2012. IOS press (short version to appear 2012)
Barringer, H., Gabbay, D., Woods, J.: Temporal, Numerical and Metalevel Dynamics in Argumentation Networks. Argumentation and Computation 3(2-3) (to appear, 2012)
Barringer, H., Gabbay, D.M., Woods, J.: Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 59-98. Springer, Heidelberg (2005)
Tosatto, S.C., Boella, G., van der Torre, L., Villata, S.: Abstract Normative Systems: Semantics and Proof Theory. In: KR 2012 (2012)
Makinson, D., van der Torre, L.: Constrains for input/output logics. Journal of Philosophical Logic 30, 155-185 (2001)
Bochman, A.: Explanatory Nonmonotonic Reasoning. Advances in Logic. World Scientific (2005)
Makinson, D.: On a fundamental problem of deontic logic. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems, pp. 29-54. IOS Press (1999)
Prakken, H.: An abstract framework for argumentation with structured arguments. Arguement and Computation 1(2), 93-124 (2010)
Gabbay, D.: Fibring argumentation frames. Studia Logica 93(2-3), 231-295 (2009)
Gabbay, D.: Semantics for higher level attacks in extended argumentation frames Part 1: Overview. Studia Logica 93, 355-379 (2009)
Baroni, P., Cerutti, F., Giacomin, M., Guida, G.: Encompassing Attacks to Attacks in Abstract Argumentation Frameworks. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS, vol. 5590, pp. 83-94. Springer, Heidelberg (2009)
Boella, G., Gabbay, D.M., van der Torre, L., Villata, S.: Meta-argumentation modelling I: Methodology and techniques. Studia Logica 93(2-3), 297-355 (2009)
Boella, G., van der Torre, L., Villata, S.: Social Viewpoints for Arguing about Coalitions. In: Bui, T.D., Ho, T.V., Ha, Q.T. (eds.) PRIMA 2008. LNCS (LNAI), vol. 5357, pp. 66-77. Springer, Heidelberg (2008)
Boella, G., van der Torre, L., Villata, S.: On the acceptability of meta-arguments. In: Proc. of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2009, pp. 259-262. IEEE (2009)
Brewka, G., Woltran, S.: Abstract dialectical frameworks. In: Proc. of the 20th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), pp. 102-111 (2010)
Modgil, S., Bench-Capon, T.J.M.: Integrating object and meta-level value based argumentation. In: Besnard, P., Doutre, S., Hunter, A. (eds.) COMMA. Frontiers in Artificial Intelligence and Applications, vol. 172, pp. 240-251. IOS Press (2008)
Gabbay, D.: Meta-Logical Investigations in Argumentation Networks. Research Monograph. Springer (forthcoming 2012)