{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:06:51Z","timestamp":1759032411650},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429357"},{"type":"electronic","value":"9783540456353"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45635-x_26","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T21:27:34Z","timestamp":1181165254000},"page":"269-283","source":"Crossref","is-referenced-by-count":5,"title":["A Multi-adjoint Logic Approach to Abductive Reasoning"],"prefix":"10.1007","author":[{"given":"Jes\u00fas","family":"Medina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Ojeda-Aciego","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Vojt\u00e1\u0161","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,11,13]]},"reference":[{"key":"26_CR1","unstructured":"C. V. Dam\u00e1sio and L. M. Pereira. Monotonic and residuated logic programs. Technical report, Dept. Computer Science. Univ. Nova de Lisboa, 2000. Available at http:\/\/centria.di.fct.unl.pt\/~cd ."},{"key":"26_CR2","unstructured":"C. V. Dam\u00e1sio and L. M. Pereira. A theory of logic programming. Technical report, Dept. Computer Science. Univ. Nova de Lisboa, 2000."},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"C.V. Dam\u00e1sio and L. Moniz Pereira. Hybrid probabilistic logic programs as residuated logic programs. In Logics in Artificial Intelligence, pages 57.73. Lect. Notes in AI, 1919, Springer-Verlag, 2000.","DOI":"10.1007\/3-540-40006-0_5"},{"key":"26_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/200836.200838","volume":"42","author":"T. Eiter","year":"1995","unstructured":"T. Eiter and G. Gottlob. The complexity of logic based abduction. Journal of the ACM, 42:3\u201342, 1995.","journal-title":"Journal of the ACM"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"P. H\u00e1jek. Metamathematics of Fuzzy Logic. Trends in Logic. Studia Logica Library. Kluwer Academic Publishers, 1998.","DOI":"10.1007\/978-94-011-5300-3"},{"key":"26_CR6","first-page":"235","volume":"5","author":"A.C. Kakas","year":"1998","unstructured":"A.C. Kakas, R.A. Kowalski, and F. Toni. The role of abduction in logic programming. In Handbook of Logic in Artificial Intelligence and Logic Programming, volume 5, pages 235\u2013324. Oxford Univ. Press, 1998.","journal-title":"Handbook of Logic in Artificial Intelligence and Logic Programming"},{"key":"26_CR7","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"M. Kifer and V. S. Subrahmanian. Theory of generalized annotated logic programming and its applications. J. of Logic Programming, 12:335\u2013367, 1992.","journal-title":"J. of Logic Programming"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second, extended edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"26_CR9","unstructured":"J. Medina, M. Ojeda-Aciego, and P. Vojt\u00e1\u0161. Multi-adjoint logic programming with continuous semantics. Submitted for publication. Manuscript available at http:\/\/www.satd.uma.es\/aciego\/TR\/malp-tr.pdf ."},{"key":"26_CR10","unstructured":"J. Medina, M. Ojeda-Aciego, and P. Vojt\u00e1\u0161. A procedural semantics for multiadjoint logic programming. Submitted for publication. Manuscript available at http:\/\/www.satd.uma.es\/aciego\/TR\/procsem-tr.pdf ."},{"key":"26_CR11","unstructured":"S. Morishita. A unified approach to semantics of multi-valued logic programs. Technical Report RT 5006, IBM Tokyo, 1990."},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"J. Pavelka. On fuzzy logic I, II, III. Zeitschr. f. Math. Logik und Grundl. der Math., 25, 1979.","DOI":"10.1002\/malq.19790252510"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"P. Vojt\u00e1\u0161. Fuzzy logic programming. Fuzzy sets and systems, 2001. Accepted.","DOI":"10.1016\/S0165-0114(01)00106-3"},{"key":"26_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/3-540-60983-0_20","volume-title":"Proc. Extensions of Logic Programming","author":"P. Vojt\u00e1\u0161","year":"1996","unstructured":"P. Vojt\u00e1\u0161 and L. Paul\u00edk. Soundness and completeness of non-classical extended SLD-resolution. In Proc. Extensions of Logic Programming, pages 289\u2013301. Lect. Notes in Comp. Sci. 1050, Springer-Verlag, 1996."},{"issue":"4","key":"26_CR15","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. Emden van","year":"1976","unstructured":"M. van Emden and R. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4):733\u2013742, 1976.","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\/3-540-45635-X_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:41:24Z","timestamp":1556466084000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45635-X_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429357","9783540456353"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45635-x_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}