{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:15Z","timestamp":1725663435436},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541417"},{"type":"electronic","value":"9783540474449"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54141-1_14","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:30:46Z","timestamp":1330191046000},"page":"251-270","source":"Crossref","is-referenced-by-count":2,"title":["Controlled generation of intensional answers"],"prefix":"10.1007","author":[{"given":"Alain","family":"Pirotte","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominique","family":"Roelants","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Esteban","family":"Zimanyi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"14_CR1","first-page":"287","volume":"44","author":"A. Bruffaerts","year":"1989","unstructured":"Albert Bruffaerts, Eric Henin, and Alain Pirotte. A sound basis for the generation of explanations in expert systems. PHILIPS Technical Review, 44(8\/9\/10):287\u2013295, May 1989.","journal-title":"PHILIPS Technical Review"},{"key":"14_CR2","unstructured":"L. Cholvy and R. Demolombe. Querying a rule base. In Proc. 1st International Conference on Expert Database Systems, Columbia, S.C., pages 365\u2013371, 1986."},{"key":"14_CR3","unstructured":"Fr\u00e9d\u00e9ric Cuppens and Robert Demolombe. Cooperative answering: a methodology to provide intelligent access to databases. In Proc. 2nd International Conference on Expert Database Systems, Washington, D.C., pages 333\u2013353, 1988."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"U. S. Chakravarthy, J. Grant, and Jack Minker. Foundations of semantic query optimization for deductive databases. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 243\u2013273, Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50011-7"},{"key":"14_CR5","unstructured":"Laurence Cholvy. Interrogation d'une base de r\u00e8gles. Rapport final 2\/3274\/DERI, ONERA-CERT, February 1987. (in French)."},{"key":"14_CR6","unstructured":"Annie Gal. Construction de R\u00e9ponses Coop\u00e9ratives, \u00e0 l'aide de Contraintes d'Int\u00e9grit\u00e9, dans des Bases de Donn\u00e9es Logiques. PhD thesis, Universit\u00e9 de Rennes, 1989."},{"key":"14_CR7","unstructured":"Annie Gal and Jack Minker. Informative and Cooperative Answers in Databases Using Integrity Constraints. Technical Report CS-TR-1911, University of Maryland, September 1987."},{"issue":"2","key":"14_CR8","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H. Gallaire","year":"1984","unstructured":"Herv\u00e9 Gallaire, Jack Minker, and Jean-Marie Nicolas. Logic and databases: a deductive approach. ACM Computing Surveys, 16(2):153\u2013185, June 1984.","journal-title":"ACM Computing Surveys"},{"key":"14_CR9","unstructured":"Guy Hulin, Alain Pirotte, Dominique Roelants, and Marc Vauclair. Logic and databases. In Andr\u00e9 Thayse, editor, From Modal Logic to Deductive Databases, pages 279\u2013350, Wiley, 1989."},{"key":"14_CR10","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0743-1066(87)90003-3","volume":"4","author":"T. Imieli\u0144ski","year":"1987","unstructured":"Tomasz Imieli\u0144ski. Intelligent query answering in rule based systems. Journal of Logic Programming, 4:229\u2013257, 1987.","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"14_CR11","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1145\/42267.42273","volume":"35","author":"A. Klug","year":"1988","unstructured":"Anthony Klug. On conjunctive queries containing equalities. Journal of the ACM, 35(1):146\u2013160, January 1988.","journal-title":"Journal of the ACM"},{"key":"14_CR12","volume-title":"A Completeness Theorem and a Computer Program for Finding Theorems Derivable from given Axioms","author":"C. Lee","year":"1967","unstructured":"C. Lee. A Completeness Theorem and a Computer Program for Finding Theorems Derivable from given Axioms. PhD thesis, University of California, Berkeley, 1967."},{"key":"14_CR13","unstructured":"Amihai Motro. Using integrity constraints to provide intensional answers to relational queries. In Proc. 15th International Conference on Very Large Databases, pages 237\u2013246, Amsterdam, 1989."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Alain Pirotte, Dominique Roelants, and Esteban Zim\u00e1nyi. Controlled generation of intensional answers. 1991. To appear in the IEEE Transactions on Data and Knowledge Engineering.","DOI":"10.1109\/69.88002"},{"key":"14_CR15","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/978-1-4612-5196-5_8","volume-title":"On Conceptual Modelling","author":"R. Reiter","year":"1984","unstructured":"Raymond Reiter. Towards a logical reconstruction of relational database theory. In Michael Brodie, John Mylopoulos, and Joachim Schmidt, editors, On Conceptual Modelling, pages 191\u2013238, Springer-Verlag, Berlin, 1984."},{"key":"14_CR16","unstructured":"Chung-Dak Shum and Richard Muntz. Implicit representation for extensional answers. In Proc. 2nd International Conference on Expert Database Systems, Washington, D.C., pages 257\u2013273, 1988."}],"container-title":["Lecture Notes in Computer Science","Next Generation Information System Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54141-1_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:52:35Z","timestamp":1605628355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54141-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541417","9783540474449"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-54141-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}