{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:35:42Z","timestamp":1725467742882},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650829"},{"type":"electronic","value":"9783540496557"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055997","type":"book-chapter","created":{"date-parts":[[2006,7,30]],"date-time":"2006-07-30T08:28:08Z","timestamp":1154248088000},"page":"138-147","source":"Crossref","is-referenced-by-count":2,"title":["Answers about validity and completeness of data: Formal definitions, usefulness and computation technique"],"prefix":"10.1007","author":[{"given":"Robert","family":"Demolombe","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,31]]},"reference":[{"key":"11_CR1","unstructured":"L. Cholvy and R. Demolombe. G\u00e9n\u00e9ration de r\u00e9ponses non-standard dans le contexte d'un dialogue coop\u00e9ratif. Phase 1.2 D\u00e9finition et caract\u00e9risation des proc\u00e9dures \u00e9l\u00e9mentaires et g\u00e9n\u00e9riques permettant de calculer les r\u00e9ponses coop\u00e9ratives. Technical Report 2, ONERA-CERT-DTIM, 1997."},{"key":"11_CR2","unstructured":"L. Cholvy and R. Demolombe. G\u00e9n\u00e9ration de r\u00e9ponses non-standard dans le contexte d'un dialogue coop\u00e9ratif. Phase 1.3 Mise en oeuvre des proc\u00e9dures \u00e9labor\u00e9es lors de la phase 1.2. Technical Report 3, ONERA-CERT-DTIM, 1997."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"L. Cholvy, R. Demolombe, and A.J.I. Jones. Reasoning about the safety of information: from logical formalization to operational definition. In Proc. of 8th International Symposium on Methodologies for Intelligent Systems, 1994.","DOI":"10.1007\/3-540-58495-1_49"},{"key":"11_CR4","unstructured":"B. F. Chellas. Modal Logic: An introduction. Cambridge University Press, 1988."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"R. Demolombe. Validity Queries and Completeness Queries. In Proc. of 9th International Symposium on Methodologies for Intelligent Systems, 1996.","DOI":"10.1007\/3-540-61286-6_150"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"R. Demolombe. Answering queries about validity and completeness of data: from modal logic to relational algebra. In T. Andreasen, H. Christiansen, and H. L. Larsen, editors, Flexible Query Answering Systems. Kluwer Academic Publishers, 1997.","DOI":"10.1007\/978-1-4615-6075-3_11"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"R. Demolombe and A.J.I. Jones. Deriving answers to safety queries. In R. Demolombe and T. Imielinski, editors, Nonstandard queries and nonstandard answers. Oxford University Press, 1994.","DOI":"10.1093\/oso\/9780198538523.001.0001"},{"key":"11_CR8","unstructured":"K. Inoue. Consequence-Finding Based on Oredered Linear Resolution. In Proc. of International Joint Conference on Artificial Intelligence, Sydney, 1991."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"K. Inoue. Linear Resolution for Consequence Finding. Artificial intelligence, an International Journal, 56, 1992.","DOI":"10.1016\/0004-3702(92)90030-2"},{"key":"11_CR10","unstructured":"K. Inoue. Studies on Abductive and Nonmonotonic Reasoning. PhD thesis, Kyoto University, 1992."},{"key":"11_CR11","unstructured":"A. Motro. Completeness information and its application to query processing. In Proc. of 12th International Conference on Very Large Data Bases, 1986."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"A. Motro. Integrity = validity + completeness. ACM TODS, 14(4), 1989.","DOI":"10.1145\/76902.76904"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"A. Motro. PANORAMA: a Database System that Annotates Its Answers to Queries with their Properties. Journal of Intelligent Information Systems, 7, 1996.","DOI":"10.1007\/BF00125522"}],"container-title":["Lecture Notes in Computer Science","Flexible Query Answering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055997","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,5]],"date-time":"2024-02-05T19:15:58Z","timestamp":1707160558000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055997"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650829","9783540496557"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0055997","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}