乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:20:30Z","timestamp":1725902430564},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319616599"},{"type":"electronic","value":"9783319616605"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61660-5_8","type":"book-chapter","created":{"date-parts":[[2017,6,27]],"date-time":"2017-06-27T05:22:22Z","timestamp":1498540942000},"page":"64-77","source":"Crossref","is-referenced-by-count":4,"title":["Contextual Reasoning: Usually Birds Can Abductively Fly"],"prefix":"10.1007","author":[{"given":"Emmanuelle-Anna","family":"Dietz Saldanha","sequence":"first","affiliation":[]},{"given":"Steffen","family":"H\u00f6lldobler","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,28]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","first-page":"133","DOI":"10.4064\/fm-3-1-133-181","volume":"3","author":"S Banach","year":"1922","unstructured":"Banach, S.: Sur les op\u00e9rations dans les ensembles abstraits et leur application aux \u00e9quations int\u00e9grales. Fund. Math. 3, 133\u2013181 (1922)","journal-title":"Fund. Math."},{"key":"8_CR2","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0010-0277(89)90018-8","volume":"31","author":"R Byrne","year":"1989","unstructured":"Byrne, R.: Suppressing valid inferences with conditionals. Cognition 31, 61\u201383 (1989)","journal-title":"Cognition"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Clark, K.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293\u2013322. Plenum, New York (1978)","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-319-23264-5_23","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"E-A Dietz","year":"2015","unstructured":"Dietz, E.-A., H\u00f6lldobler, S.: A new computational logic approach to reason with conditionals. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS (LNAI), vol. 9345, pp. 265\u2013278. Springer, Cham (2015). doi: 10.1007\/978-3-319-23264-5_23"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Dietz, E.-A., H\u00f6lldobler, S., H\u00f6ps, R.: A computational logic approach to human spatial reasoning. In: IEEE Symposium Series on Computational Intelligence, pp. 1634\u20131637 (2015)","DOI":"10.1109\/SSCI.2015.229"},{"key":"8_CR6","unstructured":"Dietz, E.-A., H\u00f6lldobler, S., Pereira, L.M.: On conditionals. In: Gottlob, G., Sutcliffe, G., Voronkov, A. (eds.), Global Conference on Artificial Intelligence. Epic Series in Computing, vol. 36, pp. 79\u201392. EasyChair (2015)"},{"key":"8_CR7","unstructured":"Dietz, E.-A., H\u00f6lldobler, S., Ragni, M.: A computational logic approach to the suppression task. In: Miyake, N., Peebles, D., Cooper, R.P. (eds.), Proceedings of the 34th Annual Conference of the Cognitive Science Society, pp. 1500\u20131505. Cognitive Science Society (2012)"},{"key":"8_CR8","unstructured":"Dietz, E.-A., H\u00f6lldobler, S., Ragni, M.: A computational logic approach to the abstract and the social case of the selection task. In: Proceedings of the Eleventh International Symposium on Logical Formalizations of Commonsense Reasoning (2013). commonsensereasoning.org\/2013\/proceedings.html"},{"key":"8_CR9","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1080\/11663081.2014.911520","volume":"24","author":"E-A Dietz","year":"2014","unstructured":"Dietz, E.-A., H\u00f6lldobler, S., Wernhard, C.: Modelling the suppression task under weak completion and well-founded semantics. J. Appl. Non-Classical Logics 24, 61\u201385 (2014)","journal-title":"J. Appl. Non-Classical Logics"},{"issue":"3","key":"8_CR10","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/S0743-1066(14)80007-1","volume":"21","author":"M Fitting","year":"1994","unstructured":"Fitting, M.: Metric methods - three examples and a theorem. J. Logic Program. 21(3), 113\u2013127 (1994)","journal-title":"J. Logic Program."},{"key":"8_CR11","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.), Proceedings of the International Joint Conference and Symposium on Logic Programming, pp. 1070\u20131080. MIT Press (1988)"},{"key":"8_CR12","unstructured":"H\u00f6lldobler, S., Kencana Ramli, C.D.P.: Contraction properties of a semantic operator for human reasoning. In: Li, L., Yen, K.K. (eds.), Proceedings of the Fifth International Conference on Information, pp. 228\u2013231. International Information Institute (2009)"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1007\/978-3-642-02846-5_37","volume-title":"Logic Programming","author":"S H\u00f6lldobler","year":"2009","unstructured":"H\u00f6lldobler, S., Kencana Ramli, C.D.P.: Logic programs under three-valued \u0141ukasiewicz semantics. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 464\u2013478. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02846-5_37"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-642-04277-5_9","volume-title":"Artificial Neural Networks \u2013 ICANN 2009","author":"S H\u00f6lldobler","year":"2009","unstructured":"H\u00f6lldobler, S., Kencana Ramli, C.D.P.: Logics and networks for human reasoning. In: Alippi, C., Polycarpou, M., Panayiotou, C., Ellinas, G. (eds.) ICANN 2009. LNCS, vol. 5769, pp. 85\u201394. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04277-5_9"},{"key":"8_CR15","unstructured":"H\u00f6lldobler, S., Philipp, T., Wernhard, C.: An abductive model for human reasoning. In: Proceedings of the Tenth International Symposium on Logical Formalizations of Commonsense Reasoning (2011). commonsensereasoning.org\/2011\/proceedings.html"},{"issue":"6","key":"8_CR16","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"AC Kakas","year":"1993","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. J. Logic Comput. 2(6), 719\u2013770 (1993)","journal-title":"J. Logic Comput."},{"key":"8_CR17","unstructured":"Kencana Ramli, C.D.P.: Logic programs and three-valued consequence operators. Master\u2019s thesis, International Center for Computational Logic, TU Dresden (2009)"},{"key":"8_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1984","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1984)"},{"key":"8_CR19","first-page":"169","volume":"5","author":"J \u0141ukasiewicz","year":"1920","unstructured":"\u0141ukasiewicz, J.: O logice tr\u00f3jwarto\u015bciowej. Ruch Filozoficzny 5, 169\u2013171 (1920). English translation: On Three-Valued Logic. In: Jan \u0141ukasiewicz Selected Works. (L. Borkowski, ed.), North Holland, 87\u201388 (1990)","journal-title":"Ruch Filozoficzny"},{"key":"8_CR20","unstructured":"Pereira, L.M., Apar\u00edcio, J.N., Alferes, J.: Hypothetical reasoning with well founded semantics. In: Mayoh, B. (ed.), Proceedings of the 3th Scandinavian Conference on AI, pp. 289\u2013300. IOS Press, 1991"},{"key":"8_CR21","unstructured":"Pereira, L.M., Dietz, E.-A., H\u00f6lldobler, S.: An abductive reasoning approach to the belief-bias effect. In: Baral, C., Giacomo, G.D., Eiter, T. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the 14th International Conference, pp, pp. 653\u2013656. AAAI Press, Cambridge (2014)"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Pereira, L.M., Dietz, E.-A., H\u00f6lldobler, S.: Contextual abductive reasoning with side-effects. In: Niemel\u00e4, I. (ed.), Theory and Practice of Logic Programming (TPLP), vol. 14, pp. 633\u2013648. Cambridge University Press, Cambridge (2014)","DOI":"10.1017\/S1471068414000258"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-20832-4_10","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"L Moniz Pereira","year":"2011","unstructured":"Moniz Pereira, L., Pinto, A.M.: Inspecting side-effects of abduction in logic programs. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol. 6565, pp. 148\u2013163. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-20832-4_10"},{"key":"8_CR24","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. Artif. Intell. 13, 81\u2013132 (1980)","journal-title":"Artif. Intell."},{"key":"8_CR25","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7964.001.0001","volume-title":"Human Reasoning and Cognitive Science","author":"K Stenning","year":"2008","unstructured":"Stenning, K., van Lambalgen, M.: Human Reasoning and Cognitive Science. MIT Press, Boston (2008)"},{"key":"8_CR26","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A Gelder van","year":"1991","unstructured":"van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38, 620\u2013650 (1991)","journal-title":"J. ACM"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61660-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,27]],"date-time":"2019-09-27T01:36:51Z","timestamp":1569548211000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61660-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319616599","9783319616605"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61660-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}