{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:40:24Z","timestamp":1725493224878},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_13","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T13:50:39Z","timestamp":1192888239000},"page":"149-160","source":"Crossref","is-referenced-by-count":0,"title":["Non-commutativity and Expressive Deductive Logic Databases"],"prefix":"10.1007","author":[{"given":"S.","family":"Kraj\u010di","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Lencses","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Medina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Ojeda-Aciego","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Valverde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Vojt\u00e1\u0161","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"issue":"3","key":"13_CR1","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0166-8641(01)00072-4","volume":"119","author":"K. Ciesielski","year":"2002","unstructured":"K. Ciesielski, R. Flagg, and R. Kopperman. Polish spaces, computable approximations, and bitopological spaces. Topology and applications, 119(3):241\u2013256, 2002.","journal-title":"Topology and applications"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"C.V. Dam\u00e1sio and L. Moniz Pereira. Monotonic and residuated logic programs. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU\u201901, pages 748\u2013759. Lect. Notes in Artificial Intelligence, 2143, 2001.","DOI":"10.1007\/3-540-44652-4_66"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0743-1066(99)00059-X","volume":"43","author":"A. Dekhtyar","year":"2000","unstructured":"A. Dekhtyar and V. S. Subrahmanian. Hybrid probabilistic programs. J. of Logic Programming, 43:187\u2013250, 2000.","journal-title":"J. of Logic Programming"},{"issue":"2\u20134","key":"13_CR4","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1023\/A:1013121110704","volume":"33","author":"T. Eiter","year":"2001","unstructured":"T. Eiter, T. Lukasiewicz, and M. Walter. A data model and algebra for probabilistic complex values. Annals of Mathematics and Artificial Intelligence, 33(2\u20134):205\u2013252, 2001.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"13_CR5","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":"13_CR6","unstructured":"S. Kraj\u010di, R. Lencses, and P. Vojt\u00e1\u0161. Acomparison of fuzzy and annotated logic programming. Fuzzy Sets and Systems, 2002. Submitted."},{"issue":"1","key":"13_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1017\/S1471068400001058","volume":"1","author":"L.V.S. Lakshmanan","year":"2001","unstructured":"L.V.S. Lakshmanan and F. Sadri. On a theory of probabilistic deductive databases. Theory and Practice of Logic Programming, 1(1):5\u201342, 2001.","journal-title":"Theory and Practice of Logic Programming"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"J. Medina, M. Ojeda-Aciego, and P. Vojt\u00e1\u0161. Multi-adjoint logic programming with continuous semantics. In Logic Programming and Non-Monotonic Reasoning, LPNMR\u201901, pages 351\u2013364. Lect. Notes in Artificial Intelligence 2173, 2001.","DOI":"10.1007\/3-540-45402-0_26"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"J. Medina, M. Ojeda-Aciego, and P. Vojt\u00e1\u0161. A procedural semantics for multi-adjoint logic programming. In Progress in Artificial Intelligence, EPIA\u201901, pages 290\u2013297. Lect. Notes in Artificial Intelligence 2258, 2001.","DOI":"10.1007\/3-540-45329-6_29"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"E. Naito, J. Ozawa, I. Hayashi, and N. Wakami. Aproposal 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":"13_CR11","doi-asserted-by":"crossref","unstructured":"J. Pokorn\u00fd and P. Vojt\u00e1\u0161. A data model for flexible querying. In Advances in Databases and Information Systems, ADBIS\u201901, pages 280\u2013293. Lect. Notes in Computer Science 2151, 2001.","DOI":"10.1007\/3-540-44803-9_22"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1006\/jabr.2001.9039","volume":"247","author":"C.J. Alten van","year":"2002","unstructured":"C.J. van Alten. Representable biresiduated lattices. J. Algebra, 247:672\u2013691, 2002.","journal-title":"J. Algebra"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"P. Vojt\u00e1\u0161 and L. Paul\u00edk. Soundness and completeness of non-classical extended SLDresolution. In Extensions of Logic Programming, ELP\u201996, pages 289\u2013301. Lect. Notes in Comp. Sci. 1050, 1996.","DOI":"10.1007\/3-540-60983-0_20"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T18:08:12Z","timestamp":1556906892000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}