{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:34:39Z","timestamp":1725536079267},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642028458"},{"type":"electronic","value":"9783642028465"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02846-5_37","type":"book-chapter","created":{"date-parts":[[2009,7,20]],"date-time":"2009-07-20T06:44:16Z","timestamp":1248072256000},"page":"464-478","source":"Crossref","is-referenced-by-count":19,"title":["Logic Programs under Three-Valued \u0141ukasiewicz Semantics"],"prefix":"10.1007","author":[{"given":"Steffen","family":"H\u00f6lldobler","sequence":"first","affiliation":[]},{"given":"Carroline Dewi Puspa","family":"Kencana Ramli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"37_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K.R., Pedreschi, D.: Reasoning about termination of pure Prolog programs. In: Information and Computation (1993)","DOI":"10.1006\/inco.1993.1051"},{"key":"37_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11840930_1","volume-title":"Artificial Neural Networks \u2013 ICANN 2006","author":"S. Bader","year":"2006","unstructured":"Bader, S., H\u00f6lldobler, S.: The core method: Connectionist model generation. In: Kollias, S.D., Stafylopatis, A., Duch, W., Oja, E. (eds.) ICANN 2006. LNCS, vol.\u00a04132, pp. 1\u201313. Springer, Heidelberg (2006)"},{"key":"37_CR3","doi-asserted-by":"publisher","first-page":"2420","DOI":"10.1016\/j.neucom.2007.10.028","volume":"71","author":"S. Bader","year":"2008","unstructured":"Bader, S., Hitzler, P., H\u00f6lldobler, S.: Connectionist model generation: A first-order approach. Neurocomputing\u00a071, 2420\u20132432 (2008)","journal-title":"Neurocomputing"},{"key":"37_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0010-0277(89)90018-8","volume":"31","author":"R.M.J. Byrne","year":"1989","unstructured":"Byrne, R.M.J.: Suppressing valid inferences with conditionals. Cognition\u00a031, 61\u201383 (1989)","journal-title":"Cognition"},{"key":"37_CR5","first-page":"293","volume-title":"Logic and Databases","author":"K.L. Clark","year":"1978","unstructured":"Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293\u2013322. Plenum, New York (1978)"},{"key":"37_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0211-3","volume-title":"Neural-Symbolic Learning Systems: Foundations and Applications","author":"A.S. d\u2019Avila Garcez","year":"2002","unstructured":"d\u2019Avila Garcez, A.S., Broda, K., Gabbay, D.M.: Neural-Symbolic Learning Systems: Foundations and Applications. Springer, Heidelberg (2002)"},{"issue":"4","key":"37_CR7","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M. Fitting","year":"1985","unstructured":"Fitting, M.: A Kripke\u2013Kleene semantics for logic programs. Journal of Logic Programming\u00a02(4), 295\u2013312 (1985)","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"37_CR8","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/S0743-1066(14)80007-1","volume":"21","author":"M. Fitting","year":"1994","unstructured":"Fitting, M.: Metric methods \u2013 three examples and a theorem. Journal of Logic Programming\u00a021(3), 113\u2013127 (1994)","journal-title":"Journal of Logic Programming"},{"key":"37_CR9","first-page":"1070","volume-title":"Proceedings of the International Joint Conference and Symposium on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the International Joint Conference and Symposium on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"37_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-46767-X_26","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"P. Hitzler","year":"1999","unstructured":"Hitzler, P., Seda, A.K.: Characterizations of classes of programs by three-valued operators. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS, vol.\u00a01730, pp. 357\u2013371. Springer, Heidelberg (1999)"},{"key":"37_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/3-540-45751-8_14","volume-title":"KI 2002: Advances in Artificial Intelligence","author":"P. Hitzler","year":"2002","unstructured":"Hitzler, P., Wendt, M.: The well-founded semantics is a stratified fitting semantics. In: Jarke, M., Koehler, J., Lakemeyer, G. (eds.) KI 2002. LNCS, vol.\u00a02479, pp. 205\u2013221. Springer, Heidelberg (2002)"},{"key":"37_CR12","doi-asserted-by":"crossref","unstructured":"H\u00f6lldobler, S., Kencana Ramli, C.D.: Logics and networks for human reasoning. Technical report, International Center for Computational Logic, TU Dresden (submitted, 2009)","DOI":"10.1007\/978-3-642-04277-5_9"},{"key":"37_CR13","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)"},{"key":"37_CR14","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1993","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Berlin (1993)"},{"key":"37_CR15","first-page":"169","volume":"5","author":"J. \u0141ukasiewicz","year":"1920","unstructured":"\u0141ukasiewicz, J.: O logice tr\u00f3jwarto\u015bciowej. Ruch Filozoficzny\u00a05, 169\u2013171 (1920); On Three-Valued Logic. In: Borkowski, L. (ed.) Jan \u0141ukasiewicz Selected Works, pp. 87\u201388. North Holland (1990) (English translation)","journal-title":"Ruch Filozoficzny"},{"key":"37_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/3-540-12920-0_25","volume-title":"STACS 84","author":"A. Mycroft","year":"1984","unstructured":"Mycroft, A.: Logic programs and many-valued logic. In: Fontet, M., Mehlhorn, K. (eds.) STACS 1984. LNCS, vol.\u00a0166, pp. 274\u2013286. Springer, Heidelberg (1984)"},{"issue":"5","key":"37_CR17","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1017\/S1471068406002742","volume":"6","author":"L. Naish","year":"2006","unstructured":"Naish, L.: A three-valued semantics for logic programmers. Theory and Practice of Logic Programming\u00a06(5), 509\u2013538 (2006)","journal-title":"Theory and Practice of Logic Programming"},{"key":"37_CR18","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, Cambridge (2008)"},{"key":"37_CR19","volume-title":"Denotational Semantics","author":"J.E. Stoy","year":"1977","unstructured":"Stoy, J.E.: Denotational Semantics. MIT Press, Cambridge (1977)"},{"key":"37_CR20","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. Journal of the ACM\u00a038, 620\u2013650 (1991)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02846-5_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T11:34:03Z","timestamp":1558438443000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02846-5_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642028458","9783642028465"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02846-5_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}