{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,15]],"date-time":"2024-06-15T00:07:23Z","timestamp":1718410043137},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2016,3,3]],"date-time":"2016-03-03T00:00:00Z","timestamp":1456963200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1007\/s11225-016-9656-1","type":"journal-article","created":{"date-parts":[[2016,3,3]],"date-time":"2016-03-03T04:53:04Z","timestamp":1456980784000},"page":"869-916","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Adaptive Logic Characterizations of Input\/Output Logic"],"prefix":"10.1007","volume":"104","author":[{"given":"Christian","family":"Stra\u00dfer","sequence":"first","affiliation":[]},{"given":"Mathieu","family":"Beirlaen","sequence":"additional","affiliation":[]},{"given":"Frederik","family":"Van De Putte","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,3]]},"reference":[{"key":"9656_CR1","unstructured":"Amgoud, L., and H. Prade, Towards a logic of argumentation, in E. H\u00fcllermeier, S. Link, T. Fober, and B. Seeger (eds.), Scalable Uncertainty Management, vol. 7520 of Lecture Notes in Computer Science, Springer, Berlin, 2012, pp. 558\u2013565."},{"issue":"1","key":"9656_CR2","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0378-2166(93)90068-Z","volume":"19","author":"D. Apoth\u00e9loz","year":"1993","unstructured":"Apoth\u00e9loz D., Brandt P.-Y., Quiroz G.: The function of negation in argumentation. Journal of Pragmatics 19(1), 23\u201338 (1993)","journal-title":"Journal of Pragmatics"},{"key":"9656_CR3","unstructured":"Batens, D., A survey of inconsistency-adaptive logics, in D. Batens, G. Priest, and J.-P. van Bendegem (eds.), Frontiers of Paraconsistent Logic, Research Studies Press, Kings College Publication, Baldock, 2000, pp. 49\u201373."},{"key":"9656_CR4","doi-asserted-by":"crossref","unstructured":"Batens, D., The need for adaptive logics in epistemology, in Logic, Epistemology, and the Unity of Science, Springer, Berlin, 2004, pp. 459\u2013485.","DOI":"10.1007\/978-1-4020-2808-3_22"},{"key":"9656_CR5","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/j.jal.2004.07.018","volume":"3","author":"D. Batens","year":"2005","unstructured":"Batens D.: A procedural criterion for final derivability in inconsistency-adaptive logics. Journal of Applied Logic 3, 221\u2013250 (2005)","journal-title":"Journal of Applied Logic"},{"key":"9656_CR6","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/s11787-006-0012-5","volume":"1","author":"D. Batens","year":"2007","unstructured":"Batens D.: A universal logic approach to adaptive logics. Logica Universalis 1, 221\u2013242 (2007)","journal-title":"Logica Universalis"},{"key":"9656_CR7","unstructured":"Batens, D., Towards a dialogic interpretation of dynamic proofs, in C. D\u00e9gremont, L. Keiff, and H. R\u00fcckert (eds.), Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, College Publications, London, 2009, pp. 27\u201351"},{"key":"9656_CR8","first-page":"113","volume":"173-175","author":"D. Batens","year":"2001","unstructured":"Batens D., Provijn D.: the search paths in the proofs. A study in proof heuristics. Logique et Analyse 173-175, 113\u2013134 (2001)","journal-title":"A study in proof heuristics. Logique et Analyse"},{"issue":"2","key":"9656_CR9","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/j.jal.2013.02.001","volume":"11","author":"M. Beirlaen","year":"2013","unstructured":"Beirlaen M., Stra\u00dfer C.: Two adaptive logics of norm-propositions. Journal of Applied Logic 11(2), 147\u2013168 (2013)","journal-title":"Journal of Applied Logic"},{"issue":"6","key":"9656_CR10","doi-asserted-by":"crossref","first-page":"1179","DOI":"10.1093\/logcom\/exs059","volume":"24","author":"M. Beirlaen","year":"2014","unstructured":"Beirlaen M., Stra\u00dfer C.: Nonmonotonic reasoning with normative conflicts in multi-agent deontic logic. Journal of Logic and Computation 24(6), 1179\u20131207 (2014)","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"9656_CR11","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/s10992-011-9221-3","volume":"42","author":"M. Beirlaen","year":"2013","unstructured":"Beirlaen M., Stra\u00dfer C., Meheus J.: An inconsistency-adaptive deontic logic for normative conflicts. Journal of Philosophical Logic 42(2), 285\u2013315 (2013)","journal-title":"Journal of Philosophical Logic"},{"key":"9656_CR12","doi-asserted-by":"crossref","DOI":"10.1142\/5707","volume-title":"Explanatory Nonmonotonic Reasoning","author":"A. Bochman","year":"2005","unstructured":"Bochman A.: Explanatory Nonmonotonic Reasoning. OECD Publishing, Paris (2005)"},{"key":"9656_CR13","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/s10506-007-9059-8","volume":"16","author":"G. Boella","year":"2008","unstructured":"Boella G., van der Torre L.: Institutions with a hierarchy of authorities in distributed dynamic environments. Artifical Intelligence and Law 16, 53\u201371 (2008)","journal-title":"Artifical Intelligence and Law"},{"issue":"1","key":"9656_CR14","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(94)90096-5","volume":"68","author":"C. Boutilier","year":"1994","unstructured":"Boutilier C.: Conditional logics of normality: a modal approach. Artificial Intelligence 68(1), 87\u2013154 (1994)","journal-title":"Artificial Intelligence"},{"key":"9656_CR15","unstructured":"Brewka, G., Preferred subtheories: an extended logical framework for default reasoning, in Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI\u201989), 1989, pp. 1043\u20131048."},{"key":"9656_CR16","unstructured":"Crocco, G., and P. Lamarre, On the connection between non-monotonic inference systems and conditional logics, in B. Nebel and E. Sandewall (eds.), Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, 1992, pp. 565\u2013571."},{"key":"9656_CR17","doi-asserted-by":"crossref","unstructured":"Gabbay, D., Conditional implications and non-monotonic consequence, in G. Crocco, L. Farinhas del Cerro and A. Herzig (eds.), Conditionals: From Philosophy to Computer Science, vol. 5 of Studies in Logic and Computation, Oxford University Press, Oxford, 1995, pp. 337\u2013359.","DOI":"10.1093\/oso\/9780198538615.003.0011"},{"issue":"2","key":"9656_CR18","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1093\/jigpal\/jzt022","volume":"22","author":"L. Goble","year":"2014","unstructured":"Goble L.: Deontic logic (adapted) for normative conflicts. Logic Journal of IGPL 22(2), 206\u2013235 (2014)","journal-title":"Logic Journal of IGPL"},{"key":"9656_CR19","doi-asserted-by":"crossref","unstructured":"Gon\u00e7alves, R., and J. J. Alferes, An embedding of input-output logic in deontic logic programs, in T. \u00c5gotnes, J. Broersen, and D. Elgesem (eds.), Proceedings of the 11th International Conference on Deontic Logic in Computer Science, vol. 7393 of Lecture Notes in Artificial Intelligence, Springer, Berlin, 2012, pp. 61\u201375.","DOI":"10.1007\/978-3-642-31570-1_5"},{"key":"9656_CR20","unstructured":"Hansen, J., G. Pigozzi, and L. van der Torre, Ten philosophical problems in deontic logic, in G. Boella, L. van der Torre, and H. Verhagen (eds.), Normative Multi-agent Systems, No. 07122 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2007, Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany."},{"issue":"1","key":"9656_CR21","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF01417957","volume":"23","author":"J. F. Horty","year":"1994","unstructured":"Horty J. F.: Moral dilemmas and nonmonotonic logic. Journal of Philosophical Logic 23(1), 35\u201365 (1994)","journal-title":"Journal of Philosophical Logic"},{"key":"9656_CR22","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/S0004-3702(01)00160-6","volume":"135","author":"F. Horty J.","year":"2002","unstructured":"Horty J. F.: Skepticism and floating conclusions. Artificial Intelligence 135, 55\u201372 (2002)","journal-title":"Artificial Intelligence"},{"key":"9656_CR23","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199744077.001.0001","volume-title":"Reasons as Defaults","author":"J. F. Horty","year":"2012","unstructured":"Horty J. F.: Reasons as Defaults. Oxford University Press, Oxford (2012)"},{"key":"9656_CR24","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus S., Lehmann D. J., Magidor M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, 167\u2013207 (1990)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9656_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D.J. Lehmann","year":"1992","unstructured":"Lehmann D.J., Magidor M.: What does a conditional knowledge base entail?. Artificial Intelligence 55(1), 1\u201360 (1992)","journal-title":"Artificial Intelligence"},{"key":"9656_CR26","unstructured":"Lin, F., and Y. Shoham, Epistemic Semantics for Fixed-Points Non-monotonic Logics, Morgan Kaufmann Publishers Inc., Pacific Grove, CA, 1990."},{"key":"9656_CR27","unstructured":"Lindstr\u00f6m, S., A semantic approach to nonmonotonic reasoning: inference operations and choice, Uppsala Prints and Reprints in Philosophy 10, 1994."},{"key":"9656_CR28","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0004-3702(91)90061-N","volume":"48","author":"D. Makinson","year":"1991","unstructured":"Makinson D., Schlechta K.: Floating conclusions and zombie paths: two deep difficulties in the \u201cdirectly skeptical\u201d approach to defeasible inheritance nets. Artificial Intelligence 48, 199\u2013209 (1991)","journal-title":"Artificial Intelligence"},{"key":"9656_CR29","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1004748624537","volume":"29","author":"D. Makinson","year":"2000","unstructured":"Makinson D., van der Torre L.: Input\/output logics. Journal of Philosophical Logic 29, 383\u2013408 (2000)","journal-title":"Journal of Philosophical Logic"},{"key":"9656_CR30","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1023\/A:1017599526096","volume":"30","author":"D. Makinson","year":"2001","unstructured":"Makinson D., van der Torre L.: Constraints for input\/output logics. Journal of Philosophical Logic 30, 155\u2013185 (2001)","journal-title":"Journal of Philosophical Logic"},{"issue":"4","key":"9656_CR31","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1023\/A:1024806529939","volume":"32","author":"D. Makinson","year":"2003","unstructured":"Makinson D., van der Torre L.: Permission from an input\/output perspective. Journal of Philosophical Logic 32(4), 391\u2013416 (2003)","journal-title":"Journal of Philosophical Logic"},{"key":"9656_CR32","unstructured":"Makinson, D., and L. van der Torre, What is input\/output logic? input\/output logic, constraints, permissions, in G. Boella, L. van der Torre, and H. Verhagen (eds.), Normative Multi-agent Systems, No. 07122 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany, 2007."},{"key":"9656_CR33","doi-asserted-by":"crossref","unstructured":"Meheus, J., M. Beirlaen, and F. Van De Putte, Avoiding deontic explosion by contextually restricting aggregation, in G. Governatori and G. Sartor (eds.), Proceedings of the 10th International Conference on Deontic Logic in Computer Science, vol. 6181 of Lecture Notes in Artificial Intelligence, Springer, 2010, pp. 148\u2013165.","DOI":"10.1007\/978-3-642-14183-6_12"},{"key":"9656_CR34","doi-asserted-by":"publisher","unstructured":"Meheus, J., C. Stra\u00dfer, and P. Verd\u00e9e, Which style of reasoning to choose in the face of conflicting information? Journal of Logic and Computation, 2013. doi: 10.1093\/logcom\/ext030 .","DOI":"10.1093\/logcom\/ext030"},{"key":"9656_CR35","unstructured":"Parent, X., and L. Van Der Torre, Aggregative deontic detachment for normative reasoning, Short paper, to appear in Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning, 2014."},{"key":"9656_CR36","doi-asserted-by":"crossref","unstructured":"Parent, X., and L. Van Der Torre, Sing and dance!, in F. Cariani, D. Grossi, J. Meheus and X. Parent (eds.), Deontic Logic and Normative Systems. Springer, Berlin, 2014, pp. 149\u2013165.","DOI":"10.1007\/978-3-319-08615-6_12"},{"key":"9656_CR37","doi-asserted-by":"crossref","unstructured":"Pollock, J., Defeasible reasoning, in J. E. Adler and L. J. Rips (eds.), Reasoning. Studies of Human Inference and Its Foundations, Cambridge University Press, Cambridge, 2008, pp. 451\u2013470.","DOI":"10.1017\/CBO9780511814273.025"},{"key":"9656_CR38","unstructured":"Prakken, H., Intuitions and the modelling of defeasible reasoning: some case studies, in S. Benferhat and E. Giunchiglia (eds.), Proceedings of the 9th International Workshop on Non-Monotonic Reasoning, 2002, pp. 91\u2013102."},{"key":"9656_CR39","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter R.: A logic for default reasoning. Artificial Intelligence 13, 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"9656_CR40","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00154005","volume":"1","author":"N. Rescher","year":"1970","unstructured":"Rescher N., Manor R.: On inference from inconsistent premises. Theory and Decision 1, 179\u2013217 (1970)","journal-title":"Theory and Decision"},{"key":"9656_CR41","doi-asserted-by":"crossref","unstructured":"Stolpe, A., Normative consequence: the problem of keeping it whilst giving it up, in R. van der Meyden and L. van der Torre (eds.), Proceedings of the 9th International Conference on Deontic Logic in Computer Science, vol. 5076 of Lecture Notes in Computer Science, Springer, Berlin, 2008, pp. 174\u2013188.","DOI":"10.1007\/978-3-540-70525-3_14"},{"key":"9656_CR42","unstructured":"Stolpe, A., Norms and Norm-System Dynamics, PhD Thesis, Department of Philosophy, University of Bergen, Norway, 2008."},{"issue":"1","key":"9656_CR43","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/j.jal.2010.01.001","volume":"8","author":"A. Stolpe","year":"2010","unstructured":"Stolpe A.: A theory of permission based on the notion of derogation. Journal of Applied Logic 8(1), 97\u2013113 (2010)","journal-title":"Journal of Applied Logic"},{"issue":"1","key":"9656_CR44","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.jal.2010.11.001","volume":"9","author":"C. Stra\u00dfer","year":"2011","unstructured":"Stra\u00dfer C.: A deontic logic framework allowing for factual detachment. Journal of Applied Logic 9(1), 61\u201380 (2011)","journal-title":"Journal of Applied Logic"},{"key":"9656_CR45","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-00792-2","volume-title":"Adaptive Logic and Defeasible Reasoning. Applications in Argumentation, Normative Reasoning and Default Reasoning","author":"C. Stra\u00dfer","year":"2014","unstructured":"Stra\u00dfer C.: Adaptive Logic and Defeasible Reasoning. Applications in Argumentation, Normative Reasoning and Default Reasoning. Springer, Berlin (2014)"},{"key":"9656_CR46","first-page":"477","volume":"219","author":"C. Stra\u00dfer","year":"2012","unstructured":"Stra\u00dfer C., Beirlaen M., Meheus J.: Tolerating deontic conflicts by adaptively restricting inheritance. Logique & Analyse 219, 477\u2013506 (2012)","journal-title":"Logique & Analyse"},{"key":"9656_CR47","unstructured":"Stra\u00dfer, C., and F. Van De Putte, Proof theories for superpositions of adaptive logics, Logique et Analyse 25(230), 2015"},{"key":"9656_CR48","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1093\/jigpal\/jzr025","volume":"20","author":"F. Van De Putte","year":"2012","unstructured":"Van De Putte F.: Hierarchic adaptive logics. Logic Journal of the IGPL 20, 45\u201372 (2012)","journal-title":"Logic Journal of the IGPL"},{"issue":"220","key":"9656_CR49","first-page":"601","volume":"55","author":"F. Van De Putte","year":"2012","unstructured":"Van De Putte F., Stra\u00dfer C.: Extending the standard format of adaptive logics to the prioritized case. Logique et Analyse 55(220), 601\u2013641 (2012)","journal-title":"Logique et Analyse"},{"issue":"3","key":"9656_CR50","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1093\/logcom\/exs008","volume":"23","author":"F. Van De Putte","year":"2013","unstructured":"Van De Putte F., Stra\u00dfer C.: A logic for prioritized normative reasoning. Journal of Logic and Computation 23(3), 563\u2013583 (2013)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"9656_CR51","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11229-012-0116-9","volume":"187","author":"F. Van De Putte","year":"2012","unstructured":"Van De Putte F., Verd\u00e9e P.: The dynamics of relevance: Adaptive belief revision. Synthese 187(1), 1\u201342 (2012)","journal-title":"Synthese"},{"key":"9656_CR52","unstructured":"Van Der Torre, L., and Y.-H. Tan, Cancelling and overshadowing: two types of defeasibility in defeasible deontic logic, in Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI\u201995), 1995, pp. 1525\u20131532."},{"key":"9656_CR53","doi-asserted-by":"crossref","first-page":"5","DOI":"10.2307\/2024762","volume":"70","author":"B.C. Van Fraassen","year":"1973","unstructured":"Van Fraassen B.C.: Values and the heart\u2019s command. Journal of Philosophy 70, 5\u201319 (1973)","journal-title":"Journal of Philosophy"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9656-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-016-9656-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9656-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T18:58:17Z","timestamp":1718391497000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-016-9656-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,3]]},"references-count":53,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,10]]}},"alternative-id":["9656"],"URL":"https:\/\/doi.org\/10.1007\/s11225-016-9656-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3,3]]}}}