{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T13:23:34Z","timestamp":1773235414169,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540430308","type":"print"},{"value":"9783540453291","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45329-6_29","type":"book-chapter","created":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T22:44:33Z","timestamp":1193352273000},"page":"290-297","source":"Crossref","is-referenced-by-count":27,"title":["A Procedural Semantics for Multi-adjoint Logic Programming"],"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":[[2002,4,23]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"C.V. Dam\u00e1sio and L. Moniz Pereira. Monotonic and residuated logic programs. In Sixth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU\u201901, pages 748\u2013759. Lect. Notes in Artificial Intelligence, 2143, Springer-Verlag, 2001.","DOI":"10.1007\/3-540-44652-4_66"},{"key":"29_CR2","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":"29_CR3","doi-asserted-by":"crossref","unstructured":"J. Medina, M. Ojeda-Aciego, and P. Vojt\u00e1\u0161. A completeness theorem for multi-adjoint logic programming. In Proc. FUZZ-IEEE\u201901. The 10th IEEE International Conference on Fuzzy Systems, IEEE Press, 2001. To appear.","DOI":"10.1109\/FUZZ.2001.1009138"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"J. Medina, M. Ojeda-Aciego, and P. Vojt\u00e1\u0161. A multi-adjoint logic approach to abductive reasoning. In Proc. 17th International Conference on Logic Programming, ICLP\u201901. Lect. Notes in Artificial Intelligence 2273, Springer-Verlag, 2001.","DOI":"10.1007\/3-540-45635-X_26"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"J. Medina, M. Ojeda-Aciego, and P. Vojt\u00e1\u0161. Multi-adjoint logic programming with continuous semantics. In Proc. Logic Programming and Non-Monotonic Reasoning, LPNMR\u201901, pages 351\u2013364. Lect. Notes in Artificial Intelligence, 2173, Springer-Verlag, 2001.","DOI":"10.1007\/3-540-45402-0_26"},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"E. Naito, J. Ozawa, I. Hayashi, and N. Wakami. A proposal of a fuzzy connective with learning function. In P. Bosc and J. Kaczprzyk, editors, Fuzziness Database Management Systems, pages 345\u2013364. Physica Verlag, 1995.","DOI":"10.1007\/978-3-7908-1897-0_15"},{"key":"29_CR7","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."}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45329-6_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T21:06:26Z","timestamp":1556917586000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45329-6_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430308","9783540453291"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-45329-6_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}