{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:17:04Z","timestamp":1725574624099},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236634"},{"type":"electronic","value":"9783540304685"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30468-5_49","type":"book-chapter","created":{"date-parts":[[2011,1,12]],"date-time":"2011-01-12T18:12:53Z","timestamp":1294855973000},"page":"768-782","source":"Crossref","is-referenced-by-count":0,"title":["Modal Query Language for Databases with Partial Orders"],"prefix":"10.1007","author":[{"given":"Zoran","family":"Majki\u0107","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"49_CR1","doi-asserted-by":"crossref","unstructured":"Beckert, B., Hanhle, R., Many\u00e1, F.: Transformations between signed and classical clause logic. In: Proc. 29th Int.Symposium on Multiple-Valued Logics, Freiburg, Germany, pp. 248\u2013255 (1999)","DOI":"10.1109\/ISMVL.1999.779724"},{"key":"49_CR2","doi-asserted-by":"crossref","unstructured":"Bertolazzi, P., Santis, L.D., Scannapieco, M.: Automatic Record Matching in Cooperative Information Systems. In: Proceedings of the ICDT 2003 International Workshop on Data Quality in Cooperative Information Systems (DQCIS 2003), Siena, Italy (2003)","DOI":"10.1007\/978-3-540-39964-3_23"},{"key":"49_CR3","doi-asserted-by":"crossref","unstructured":"Jacobs, B.: Towards a duality result in coalgebraic modal logic. In: Reichel, H. (ed.) Coalgebraic Methods in computer science. Elec. Notes in Theor. Comp. Sci., vol.\u00a033 (2000)","DOI":"10.1016\/S1571-0661(05)80348-2"},{"issue":"1","key":"49_CR4","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1051\/ita:2001108","volume":"35","author":"B. Jacobs","year":"2001","unstructured":"Jacobs, B.: Many-sorted coalgebraic modal logic: a model-theoretic study. Theoretical Informatics and Applications\u00a035(1), 31\u201359 (2001)","journal-title":"Theoretical Informatics and Applications"},{"key":"49_CR5","unstructured":"Lembo, D., Lenzerini, M., Rosati, R.: Source inconsistency and incompleteness in data integration. In: Proc. of the 9th Int.Workshop on Knowledge Representation meets Databases (KRDB 2002) CEUR (2002)"},{"key":"49_CR6","doi-asserted-by":"crossref","unstructured":"Greco, G., Greco, S., Zampano, E.: A logic programming approach to the integration, repairing and querying of inconsistent databases. In: Proc. of the 17th Int. Conf. on Logic Programming, vol.\u00a02237, pp. 348\u2013364 (2001)","DOI":"10.1007\/3-540-45635-X_31"},{"key":"49_CR7","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"H.A. Blair","year":"1989","unstructured":"Blair, H.A., Subrahmanian, V.S.: Paraconsistent logic programming. Theoretical Computer Science\u00a068, 135\u2013154 (1989)","journal-title":"Theoretical Computer Science"},{"key":"49_CR8","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1109\/ISMVL.1994.302194","volume-title":"Proc. International Symposium on Multiple-Valued Logics (ISMVL)","author":"G. Imaz","year":"1994","unstructured":"Imaz, G., Many\u00e1, F.: The satisfiability problem for multiple-valued horn formulae. In: Proc. International Symposium on Multiple-Valued Logics (ISMVL), Boston, pp. 250\u2013256. IEEE Press, Los Alamitos (1994)"},{"key":"49_CR9","unstructured":"Levenshtein, V.I.: Binary codes capable of correcting deletions, insertions and reversals. Doklady Akademii Nauk SSSR, 10(8) (1966)"},{"key":"49_CR10","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0168-0072(98)00042-6","volume":"96","author":"L.S. Moss","year":"1999","unstructured":"Moss, L.S.: Coalgebraic logic. Annals of Pure and Applied Logic\u00a096, 277\u2013317 (1999)","journal-title":"Annals of Pure and Applied Logic"},{"key":"49_CR11","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1145\/329.318580","volume":"9","author":"D. Maier","year":"1984","unstructured":"Maier, D., Ullman, J.D., Vardi, M.Y.: On the foundations of the universal relation model. ACM Trans. Database Syst.\u00a09, 283\u2013308 (1984)","journal-title":"ACM Trans. Database Syst."},{"key":"49_CR12","unstructured":"Majki\u0107, Z.: Coalgebraic semantics for logic programming. In: 18th Worshop on (Constraint) Logic Programming, WLP 2004, March 04-06, Berlin, Germany (2004)"},{"key":"49_CR13","unstructured":"Majki\u0107, Z.: Database mappings and partial trees derived from abstract object type. Notes in (2004), http:\/\/www.dis.uniroma1.it\/~majkic\/"},{"key":"49_CR14","unstructured":"Majki\u0107, Z.: General framework for query answering in data quality cooperative information systems. In: International Workshop on Information Quality in Information Systems (IQIS), June 18, Paris, France (2004)"},{"key":"49_CR15","doi-asserted-by":"crossref","unstructured":"Majki\u0107, Z.: Meta many-valued logic programming for incomplete and locally inconsistent databases. In: 8th International Database Engineering and Application Symposium (IDEAS),July 7-9, Coimbra, Portugal (2004)","DOI":"10.1109\/IDEAS.2004.1319821"},{"key":"49_CR16","unstructured":"Majki\u0107, Z.: Ontological encapsulation of many-valued logic. In: 19th Italian Symposium of Computational Logic (CILC 2004),June 16-17, Parma, Italy (2004)"},{"key":"49_CR17","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M.C. Fitting","year":"1991","unstructured":"Fitting, M.C.: Billatices and the semantics of logic programming. Journal of Logic Programming\u00a011, 91\u2013116 (1991)","journal-title":"Journal of Logic Programming"},{"key":"49_CR18","doi-asserted-by":"crossref","unstructured":"Mecella, M., Scannapieco, M., Virgillito, A., Baldoni, R., Catarci, T., Batini, C.: Managing Data Quality in Cooperative Information Systems. Journal of Data Semantics (2003) (to appear)","DOI":"10.1007\/3-540-36124-3_28"},{"key":"49_CR19","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M. Ginsberg","year":"1988","unstructured":"Ginsberg, M.: Multivalued logics: A uniform approach to reasoning in artificial intelligence. Computational Intelligence\u00a04, 265\u2013316 (1988)","journal-title":"Computational Intelligence"},{"issue":"2","key":"49_CR20","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF00245460","volume":"9","author":"M. Kifer","year":"1992","unstructured":"Kifer, M., Lozinskii, E.L.: A logic for reasoning with inconsistency. Journal of Automated reasoning\u00a09(2), 179\u2013215 (1992)","journal-title":"Journal of Automated reasoning"},{"issue":"4","key":"49_CR21","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. Journal of Logic Programming\u00a012(4), 335\u2013368 (1992)","journal-title":"Journal of Logic Programming"},{"key":"49_CR22","doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration:a theoretical perspective. pp. 233\u2013246 (2002)","DOI":"10.1145\/543643.543644"},{"key":"49_CR23","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0743-1066(92)90049-9","volume":"14","author":"R. Reiter","year":"1990","unstructured":"Reiter, R.: What should a database know? Journal of Logic Programming\u00a014, 127\u2013153 (1990)","journal-title":"Journal of Logic Programming"},{"key":"49_CR24","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198539896.001.0001","volume-title":"Automated deduction in multiple-valued logics","author":"R. Hahnle","year":"1994","unstructured":"Hahnle, R.: Automated deduction in multiple-valued logics. Oxford University Press, Oxford (1994)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30468-5_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,3]],"date-time":"2024-04-03T00:05:29Z","timestamp":1712102729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30468-5_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236634","9783540304685"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30468-5_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}