{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T19:38:58Z","timestamp":1726083538861},"publisher-location":"Cham","reference-count":69,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030061630"},{"type":"electronic","value":"9783030061647"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-06164-7_2","type":"book-chapter","created":{"date-parts":[[2020,5,8]],"date-time":"2020-05-08T02:03:20Z","timestamp":1588903400000},"page":"45-68","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Knowledge Representation: Modalities, Conditionals, and Nonmonotonic Reasoning"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Herzig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Besnard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,8]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n C, G\u00e4rdenfors P, Makinson D (1985) On the logic of theory change: partial meet contraction and revision functions. J Symb Log 50:510\u2013530","journal-title":"J Symb Log"},{"key":"2_CR2","doi-asserted-by":"publisher","unstructured":"Alenda R, Olivetti N, Pozzato GL (2016) Nested sequent calculi for normal conditional logics. J Log Comput 26(1):7\u201350. https:\/\/doi.org\/10.1093\/logcom\/ext034","DOI":"10.1093\/logcom\/ext034"},{"key":"2_CR3","unstructured":"Arl\u00f3 Costa H (1995) Epistemic conditionals, snakes and stars. In: Crocco G, Fari\u00f1as\u00a0del Cerro L, Herzig A (eds) Conditionals: from philosophy to computer science. Studies in logic and computation, vol 5. Oxford University, Oxford, pp 193\u2013239"},{"key":"2_CR4","unstructured":"Arl\u00f3 Costa H, Shapiro S (1992) Maps between nonmonotonic and conditional logics. In: Nebel B, Rich C, Swartout W (eds) Proceedings of the 4th international conference on knowledge representation and reasoning (KR\u201992). Morgan Kaufmann, San Francisco, pp 553\u2013564"},{"issue":"1","key":"2_CR5","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00883932","volume":"14","author":"F Baader","year":"1995","unstructured":"Baader F, Hollunder B (1995) Embedding defaults into terminological knowledge representation formalisms. J Autom Reason 14(1):149\u2013180","journal-title":"J Autom Reason"},{"key":"2_CR6","unstructured":"Balbiani P, van Ditmarsch H, Herzig A, de Lima T (2012) Some truths are best left unsaid. In: Ghilardi S, Moss L (eds) Advances in modal logic (AiML), pp 1\u201315. Copenhagen, 22\/08\/2012\u201325\/08\/2012, College Publications. http:\/\/www.collegepublications.co.uk , www.irit.fr\/~Andreas.Herzig\/P\/Aiml12.html"},{"key":"2_CR7","doi-asserted-by":"publisher","unstructured":"Balduccini M, Janhunen T (eds) (2017) Logic programming and nonmonotonic reasoning-14th international conference, LPNMR 2017, Espoo, Finland, 3-6 July 2017, proceedings. Lecture notes in computer science, vol 10377. Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-319-61660-5","DOI":"10.1007\/978-3-319-61660-5"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/0004-3702(90)90048-5","volume":"41","author":"J Bell","year":"1990","unstructured":"Bell J (1990) The logic of nonmonotonicity. Artif Intell J 41:365\u2013374","journal-title":"Artif Intell J"},{"key":"2_CR9","unstructured":"Benferhat S, Bonnefon JF, Neves RDS (2004) An experimental analysis of possibilistic default reasoning. In: Dubois D, Welty CA, Williams MA (eds) KR. AAAI Press, pp 130\u2013140"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Besnard P (1989) An introduction to default logic. Springer, Berlin","DOI":"10.1007\/978-3-662-05689-9"},{"key":"2_CR11","unstructured":"Booth R, Casini G, Varzinczak IJ (eds) (2017) Proceedings of the 4th international workshop on defeasible and ampliative reasoning (DARe-17) co-located with the 14th international conference on logic programming and nonmonotonic reasoning (LPNMR 2017), Espoo, Finland, 3 July 2017. CEUR workshop proceedings, vol 1872, CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-1872"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Bradley R, Stef\u00e1nsson HO (2017) Counterfactual desirability. Br J Philos Sci 68(2):485\u2013533. https:\/\/doi.org\/10.1093\/bjps\/axv023","DOI":"10.1093\/bjps\/axv023"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Brewka G (1991) Cumulative default logic: in defense of nonmonotonic inference rules. Artif Intell J 50:183\u2013205","DOI":"10.1016\/0004-3702(91)90099-6"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Fari\u00f1as del Cerro L, Herzig A (1991) A modal analysis of possibility theory. In: Proceedings of the European conference on symbolic and quantitative approaches to uncertainty (ECSQAU\u201991). LNCS, vol 548. Springer, Berlin, pp 58\u201362. http:\/\/www.irit.fr\/PERSONNEL\/LILaC\/Herzig\/P\/Ecsquau91.pdf (short version; long version published in FAIR\u201991)","DOI":"10.1007\/3-540-54659-6_66"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Chellas BF (1975) Basic conditional logics. J Philos Log 4:133\u2013153","DOI":"10.1007\/BF00693270"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Chellas BF (1980) Modal logic: an introduction. Cambridge University, Cambridge","DOI":"10.1017\/CBO9780511621192"},{"key":"2_CR17","unstructured":"Crocco G, Lamarre P (1992) On the connection between conditional logics and nonmonotonic logics. In: Nebel B, Rich C, Swartout W (eds) Proceedings of the 4th international conference on knowledge representation and reasoning (KR\u201992). Morgan Kaufmann, San Francisco, pp 565\u2013571"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Crocco G, Fari\u00f1as del Cerro L, Herzig A (1995) Conditionals: from philosophy to computer science. Studies in logic and computation. Oxford University, USA","DOI":"10.1093\/oso\/9780198538615.001.0001"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Cross CB (2016) Embedded counterfactuals and possible worlds semantics. Philos Stud 173(3):665\u2013673","DOI":"10.1007\/s11098-015-0512-3"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Delgrande J, Schaub T, Jackson W (1994) Alternative approaches to default logic. Artif Intell J 70(1\u20132):167\u2013237","DOI":"10.1016\/0004-3702(94)90106-6"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Doherty P, \u0141ukaszewicz W (1992) Defaults as first-class citizens. In: 22nd international symposium on multiple-valued logic (SMVL\u201992). IEEE computer society, Sendai, Japan, pp 146\u2013154","DOI":"10.1109\/ISMVL.1992.186789"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Donini FM, Nardi D, Rosati R (2002) Description logics of minimal knowledge and negation as failure. ACM Trans Comput Log 3(2):177\u2013225","DOI":"10.1145\/505372.505373"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Douven I (2016) Experimental approaches to the study of conditionals. A companion to experimental philosophy. Wiley, New Jersey, pp 545\u2013554","DOI":"10.1002\/9781118661666.ch38"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Etherington D (1987) Formalizing nonmonotonic reasoning systems. Artif Intell J 31(1):41\u201348","DOI":"10.1016\/0004-3702(87)90081-6"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Gabbay DM (1985) Theoretical foundations for non-monotonic reasoning in expert systems. In: Apt KR (ed) Logics and models of concurrent systems. Springer, Berlin, pp 439\u2013457","DOI":"10.1007\/978-3-642-82453-1_15"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"G\u00e4rdenfors P, Makinson D (1994) Nonmonotonic inference based on expectation ordering. Artif Intell J 65:197\u2013245","DOI":"10.1016\/0004-3702(94)90017-5"},{"key":"2_CR27","unstructured":"Gerbrandy J (1999) Bisimulations on planet Kripke. PhD thesis, University of Amsterdam"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Gerbrandy J, Groeneveld W (1997) Reasoning about information change. J Log Lang Inf 6(2)","DOI":"10.1023\/A:1008222603071"},{"key":"2_CR29","doi-asserted-by":"publisher","unstructured":"Giordano L, Gliozzi V, Olivetti N, Pozzato GL (2013) A non-monotonic description logic for reasoning about typicality. Artif Intell 195:165\u2013202. https:\/\/doi.org\/10.1016\/j.artint.2012.10.004 , http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0004370212001269","DOI":"10.1016\/j.artint.2012.10.004"},{"key":"2_CR30","doi-asserted-by":"publisher","unstructured":"Girlando M, Lellmann B, Olivetti N, Pozzato GL (2016) Standard sequent calculi for Lewis\u2019 logics of counterfactuals. In: Michael L, Kakas AC (eds) Logics in artificial intelligence - 15th European conference, JELIA 2016, Larnaca, Cyprus, 9\u201311 November 2016, proceedings. Lecture notes in computer science, vol 10021, pp 272\u2013287. https:\/\/doi.org\/10.1007\/978-3-319-48758-8_18","DOI":"10.1007\/978-3-319-48758-8_18"},{"key":"2_CR31","doi-asserted-by":"publisher","first-page":"113","DOI":"10.2307\/2019988","volume":"44","author":"N Goodman","year":"1947","unstructured":"Goodman N (1947) The problem of counterfactual conditionals. J Philos 44:113\u2013128","journal-title":"J Philos"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Herzig A (1998) Logics for belief base updating. In: Dubois D, Gabbay D, Prade H, Smets P (eds) Handbook of defeasible reasoning and uncertainty management, vol 3 - Belief change. Kluwer, Dordrecht, pp 189\u2013231","DOI":"10.1007\/978-94-011-5054-5_5"},{"key":"2_CR33","unstructured":"Hintikka J (1962) Knowledge and belief. Cornell University Press, Ithaca"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Holliday WH, Hoshi T, Icard III TF (2011) Schematic validity in dynamic epistemic logic: decidability. In: Proceedings of the third international conference on logic, rationality, and interaction. Springer, Berlin, LORI\u201911, pp 87\u201396. http:\/\/dl.acm.org\/citation.cfm?id=2050423.2050429","DOI":"10.1007\/978-3-642-24130-7_6"},{"key":"2_CR35","unstructured":"Kern-Isberner G, Wassermann R (2016) Proceedings of the 16th international workshop on non-monotonic reasoning (NMR 2016) Cape Town, South Africa, 22\u201324 April 2016. Technische Universit\u00e4t, Department of Computer Science, Fakult\u00e4t f\u00fcr Informatik (fi)"},{"key":"2_CR36","unstructured":"Konolige K (1995) Autoepistemic logic. In: Gabbay DM, Hogger CJ, Robinson JA (eds) Handbook of logic in artificial intelligence and logic programming, vol 3 (Nonmonotonic reasoning and uncertain reasoning). Oxford Science Publications, pp 217\u2013295"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"Kooi B (2007) Expressivity and completeness for public update logic via reduction axioms. J Appl Non Class Log 17(2):231\u2013253","DOI":"10.3166\/jancl.17.231-253"},{"key":"2_CR38","doi-asserted-by":"publisher","unstructured":"Koutras CD, Rantsoudis C (2017) In all but finitely many possible worlds: model-theoretic investigations on overwhelming majority default conditionals. J Log Lang Inf 26(2):109\u2013141. https:\/\/doi.org\/10.1007\/s10849-017-9251-5","DOI":"10.1007\/s10849-017-9251-5"},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Kraus S, Lehmann D, Magidor M (1990) Nonmonotonic reasoning, preferential models and cumulative logics. Artif Intell J 44:167\u2013207","DOI":"10.1016\/0004-3702(90)90101-5"},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Kripke S (1963) Semantical analysis of modal logic. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 9:67\u201396","DOI":"10.1002\/malq.19630090502"},{"key":"2_CR41","unstructured":"Laverny N, Lang J (2005) From knowledge-based programs to graded belief-based programs, part II: off-line reasoning. In: Proceedings of the 9th international joint conference on artificial intelligence (IJCAI\u201905). Edinburgh, Gallus, pp 497\u2013502"},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"Somb\u00e9 L (1994) Revision and updating in knowledge bases. Int J Intell Syst 9(1):1\u2013180 (Besnard P, Cholvy L, Cordier MO, Dubois D, Fari\u00f1as del Cerro L, Froidevaux C, L\u00e9vy F, Moinard Y, Prade H, Schwind C, Siegel P)","DOI":"10.1002\/int.4550090103"},{"key":"2_CR43","doi-asserted-by":"crossref","unstructured":"Lehmann D, Magidor M (1992) What does a conditional knowledge base entail? Artif Intell J 55:1\u201360","DOI":"10.1016\/0004-3702(92)90041-U"},{"key":"2_CR44","doi-asserted-by":"crossref","unstructured":"Levi I (1996) For the sake of the argument: Ramsey test conditionals, inductive inference, and nonmonotonic reasoning. Cambridge University, Cambridge","DOI":"10.1017\/CBO9780511720161"},{"key":"2_CR45","unstructured":"Lewis C, Langford CH (1959) Symbolic logic. Dover reprint, original Published (1932)"},{"key":"2_CR46","unstructured":"Lewis D (1973) Counterfactuals. Basil Blackwell, Oxford"},{"key":"2_CR47","doi-asserted-by":"publisher","first-page":"455","DOI":"10.2307\/2215339","volume":"13","author":"D Lewis","year":"1979","unstructured":"Lewis D (1979) Counterfactual dependence and time\u2019s arrow. Nous 13:455\u2013476","journal-title":"Nous"},{"key":"2_CR48","unstructured":"Lifschitz V (2008) What is answer set programming? In: Fox D, Gomes CP (eds) AAAI. AAAI, pp 1594\u20131597"},{"key":"2_CR49","doi-asserted-by":"crossref","unstructured":"Lindstr\u00f6m S, Rabinowicz W (1995) The Ramsey test revisited. In: Crocco G, Fari\u00f1as\u00a0del Cerro L, Herzig A (eds) Conditionals: from philosophy to computer science. Studies in logic and computation, vol 5. Oxford University, Oxford, pp 147\u2013192","DOI":"10.1093\/oso\/9780198538615.003.0006"},{"key":"2_CR50","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF01057652","volume":"52","author":"D Makinson","year":"1993","unstructured":"Makinson D (1993) Five faces of minimality. Stud Log 52:339\u2013379","journal-title":"Stud Log"},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"Makinson D (1994) General patterns in nonmonotonic reasoning. In: Gabbay DM, Hogger CJ, Robinson JA (eds) Handbook of logic in artificial intelligence and logic programming, vol 3. Oxford University, Oxford, pp 35\u2013110","DOI":"10.1093\/oso\/9780198537472.003.0002"},{"key":"2_CR52","unstructured":"Marek V, Truszczynski M (1989) Relating autoepistemic and default logics. In: Brachman RJ, Levesque HJ, Reiter R (eds) 1st international conference on principles of knowledge representation and reasoning (KR\u201989). Morgan Kaufmann, Toronto, Canada, pp 276\u2013288"},{"key":"2_CR53","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J McCarthy","year":"1980","unstructured":"McCarthy J (1980) Circumscription, a form of nonmonotonic reasoning. Artif Intell J 13:27\u201339","journal-title":"Artif Intell J"},{"issue":"1","key":"2_CR54","doi-asserted-by":"publisher","first-page":"1038","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J McCarthy","year":"1986","unstructured":"McCarthy J (1986) Applications of circumscription to formalizing common-sense knowledge. Artif Intell J 28(1):1038\u20131044","journal-title":"Artif Intell J"},{"key":"2_CR55","unstructured":"McCarthy J (1990) Formalizing common sense: papers. Ablex, Norwood"},{"key":"2_CR56","doi-asserted-by":"crossref","unstructured":"McDermott D, Doyle J (1980) Non-monotonic logic I. Artif Intell J 13:41\u201372. Special issue in non-monotonic reasoning","DOI":"10.1016\/0004-3702(80)90012-0"},{"key":"2_CR57","doi-asserted-by":"crossref","unstructured":"Moore RC (1985) Semantical considerations on nonmonotonic logic. Artif Intell 25(1)","DOI":"10.1016\/0004-3702(85)90042-6"},{"issue":"1\u20133","key":"2_CR58","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1023\/A:1014473706150","volume":"34","author":"RDS Neves","year":"2002","unstructured":"Neves RDS, Bonnefon JF, Raufaste E (2002) An empirical test of patterns for nonmonotonic inference. Ann Math Artif Intell 34(1\u20133):107\u2013130","journal-title":"Ann Math Artif Intell"},{"key":"2_CR59","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-8966-5","volume-title":"Topics in conditional logic","author":"D Nute","year":"1980","unstructured":"Nute D (1980) Topics in conditional logic. D. Reidel, Dordrecht"},{"key":"2_CR60","doi-asserted-by":"crossref","unstructured":"Nute D (1984) Conditional logic. In: Gabbay DM, G\u00fcnthner F (eds) Handbook of philosophical logic, vol 2. D. Reidel, Dordrecht, pp 387\u2013439","DOI":"10.1007\/978-94-009-6259-0_8"},{"issue":"4","key":"2_CR61","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1007\/s11225-013-9505-4","volume":"102","author":"N Pfeifer","year":"2014","unstructured":"Pfeifer N (2014) Reasoning about uncertain conditionals. Stud Log 102(4):849\u2013866","journal-title":"Stud Log"},{"key":"2_CR62","doi-asserted-by":"crossref","unstructured":"Plaza JA (1989) Logics of public communications. In: Emrich ML, Pfeifer MZ, Hadzikadic M, Ras ZW (eds) Proceedings of the 4th international symposium on methodologies for intelligent systems, pp 201\u2013216. Reprinted in Synthese 158:2, pp 165\u2013179 (2007)","DOI":"10.1007\/s11229-007-9168-7"},{"key":"2_CR63","doi-asserted-by":"crossref","unstructured":"Reiter R (1980) A logic for default reasoning. Artif Intell J 13:81\u2013132. Special issue in non-monotonic reasoning","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"2_CR64","doi-asserted-by":"crossref","unstructured":"Ryan M, Schobbens PY (1997) Intertranslating counterfactuals and updates. J Log Lang Inf 6(2):123\u2013146 (Preliminary version in: W. Wahlster (ed.) Proceedings of the ECAI\u201996)","DOI":"10.1023\/A:1008218502162"},{"key":"2_CR65","unstructured":"Stalnaker R (1968) A theory of conditionals. In: studies in logical theory, American philosophical quarterly (Monograph Series, No. 2), Blackwell, Oxford, pp 98\u2013112 (reprinted in Sosa E (ed) Causation and conditionals. Oxford University, Oxford 1975; reprinted in Harper WL, Stalnaker R, Pearce G (eds) Ifs. Reidel, Dordrecht 1981; reprinted in Harper WL, Skyrms B (eds) Causation in decision, belief change and statistics, vol 2. Reidel, Dordrecht 1988, pp 105\u2013134; reprinted in Jackson F (ed) Conditionals. Oxford University, Oxford Readings in Philosophy 1991)"},{"key":"2_CR66","unstructured":"Stalnaker R (1992) What is a nonmonotonic consequence relation? In: (Informal) Working notes of the 4th international workshop on nonmonotonic reasoning. Plymouth, Vermont"},{"key":"2_CR67","unstructured":"Troelstra AS (1992) Lectures on linear logic. Lecture notes, vol 29, CSLI (Center for the Study of Language and Information), Stanford"},{"key":"2_CR68","doi-asserted-by":"crossref","unstructured":"van Benthem J (2006) One is a lonely number: on the logic of communication. In: Chatzidakis Z, Koepke P, Pohlers W (eds) Logic colloquium\u201902. ASL and Peters AK, Wellesley MA, pp 96\u2013129, Technical report PP-2002-27, ILLC Amsterdam (2002)","DOI":"10.1017\/9781316755723.006"},{"key":"2_CR69","unstructured":"van Ditmarsch HP (2000) Knowledge games. PhD thesis, Groningen University, ILLC dissertation series, Grafimedia"}],"container-title":["A Guided Tour of Artificial Intelligence Research"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-06164-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,5]],"date-time":"2024-08-05T13:59:54Z","timestamp":1722866394000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-06164-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030061630","9783030061647"],"references-count":69,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-06164-7_2","relation":{},"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"8 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}