{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T21:40:07Z","timestamp":1743975607149,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642328961"},{"type":"electronic","value":"9783642328978"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32897-8_1","type":"book-chapter","created":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T12:51:25Z","timestamp":1344862285000},"page":"1-24","source":"Crossref","is-referenced-by-count":3,"title":["Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report"],"prefix":"10.1007","author":[{"given":"Dov","family":"Gabbay","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"#cr-split#-1_CR1.1","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.3233\/978-1-60750-619-5-111"},{"key":"#cr-split#-1_CR1.2","unstructured":"Expanded version of this paper is to appear in special issue, AMAI (2012)"},{"key":"1_CR2","series-title":"LNCS, (LNAI)","first-page":"91","volume-title":"DEON 2012","author":"D. Gabbay","year":"2012","unstructured":"Gabbay, D.: Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations. In: Broersen, J. (ed.) DEON 2012. LNCS (LNAI), vol.\u00a07393, pp. 91\u2013107. Springer, Heidelberg (2012)"},{"issue":"1","key":"1_CR3","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1002\/int.20389","volume":"25","author":"C. Cayrol","year":"2010","unstructured":"Cayrol, C., Lagasquie-Schiex, M.-C.: Coalitions of arguments: A tool for handling bipolar argumentation frameworks. Int. J. Intell. Syst.\u00a025(1), 83\u2013109 (2010)","journal-title":"Int. J. Intell. Syst."},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/978-3-540-78127-1_17","volume-title":"Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday","author":"D.M. Gabbay","year":"2008","unstructured":"Gabbay, D.M.: Introducing Reactive Kripke Semantics and Arc Accessibility. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Trakhtenbrot\/Festschrift. LNCS, vol.\u00a04800, pp. 292\u2013341. 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\u201320 (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"},{"key":"1_CR5","unstructured":"Modgil, S., Prakken, H.: A General Account of Argumentation with Preferences, http:\/\/www.dcs.kcl.ac.uk\/staff\/smodgil\/GAP.pdf"},{"key":"1_CR6","unstructured":"Grossi, D.: Doing Argumentation Theory in Modal Logic, http:\/\/www.illc.uva.nl\/Research\/Reports\/PP-2009-24.text.pdf"},{"key":"1_CR7","unstructured":"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"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Gabbay, D.: The equational approach to argumentation. Argumentation and Computation\u00a03(203) (to appear in special issue 2012)","DOI":"10.1080\/19462166.2012.704399"},{"key":"1_CR9","unstructured":"Gabbay, D.: The equational approach to CF2 semantics. In: Proceedings of COMMA 2012. IOS press (short version to appear 2012)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Barringer, H., Gabbay, D., Woods, J.: Temporal, Numerical and Metalevel Dynamics in Argumentation Networks. Argumentation and Computation\u00a03(2-3) (to appear, 2012)","DOI":"10.1080\/19462166.2012.704399"},{"key":"1_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-32254-2_5","volume-title":"Mechanizing Mathematical Reasoning","author":"H. Barringer","year":"2005","unstructured":"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.\u00a02605, pp. 59\u201398. Springer, Heidelberg (2005)"},{"key":"1_CR12","unstructured":"Tosatto, S.C., Boella, G., van der Torre, L., Villata, S.: Abstract Normative Systems: Semantics and Proof Theory. In: KR 2012 (2012)"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1023\/A:1017599526096","volume":"30","author":"D. Makinson","year":"2001","unstructured":"Makinson, D., van der Torre, L.: Constrains for input\/output logics. Journal of Philosophical Logic\u00a030, 155\u2013185 (2001)","journal-title":"Journal of Philosophical Logic"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Bochman, A.: Explanatory Nonmonotonic Reasoning. Advances in Logic. World Scientific (2005)","DOI":"10.1142\/9789812567802"},{"key":"1_CR15","unstructured":"Makinson, D.: On a fundamental problem of deontic logic. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems, pp. 29\u201354. IOS Press (1999)"},{"issue":"2","key":"1_CR16","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1080\/19462160903564592","volume":"1","author":"H. Prakken","year":"2010","unstructured":"Prakken, H.: An abstract framework for argumentation with structured arguments. Arguement and Computation\u00a01(2), 93\u2013124 (2010)","journal-title":"Arguement and Computation"},{"issue":"2-3","key":"1_CR17","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/s11225-009-9217-y","volume":"93","author":"D. Gabbay","year":"2009","unstructured":"Gabbay, D.: Fibring argumentation frames. Studia Logica\u00a093(2-3), 231\u2013295 (2009)","journal-title":"Studia Logica"},{"key":"1_CR18","first-page":"355","volume":"93","author":"D. Gabbay","year":"2009","unstructured":"Gabbay, D.: Semantics for higher level attacks in extended argumentation frames Part 1: Overview. Studia Logica\u00a093, 355\u2013379 (2009)","journal-title":"Studia Logica"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-02906-6_9","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"P. Baroni","year":"2009","unstructured":"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.\u00a05590, pp. 83\u201394. Springer, Heidelberg (2009)"},{"issue":"2-3","key":"1_CR20","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s11225-009-9213-2","volume":"93","author":"G. Boella","year":"2009","unstructured":"Boella, G., Gabbay, D.M., van der Torre, L., Villata, S.: Meta-argumentation modelling I: Methodology and techniques. Studia Logica\u00a093(2-3), 297\u2013355 (2009)","journal-title":"Studia Logica"},{"key":"1_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-540-89674-6_10","volume-title":"Intelligent Agents and Multi-Agent Systems","author":"G. Boella","year":"2008","unstructured":"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.\u00a05357, pp. 66\u201377. Springer, Heidelberg (2008)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"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\u2013262. IEEE (2009)","DOI":"10.1109\/WI-IAT.2009.159"},{"key":"1_CR23","unstructured":"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\u2013111 (2010)"},{"key":"1_CR24","unstructured":"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.\u00a0172, pp. 240\u2013251. IOS Press (2008)"},{"key":"1_CR25","unstructured":"Gabbay, D.: Meta-Logical Investigations in Argumentation Networks. Research Monograph. Springer (forthcoming 2012)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32897-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T21:02:12Z","timestamp":1743973332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32897-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642328961","9783642328978"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32897-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}