{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:08:00Z","timestamp":1725890880597},"publisher-location":"London","reference-count":23,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198062"},{"type":"electronic","value":"9781447135609"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3560-9_10","type":"book-chapter","created":{"date-parts":[[2012,12,30]],"date-time":"2012-12-30T01:49:46Z","timestamp":1356832186000},"page":"132-150","source":"Crossref","is-referenced-by-count":1,"title":["Intensional Query Answering: An Application of Partial Evaluation"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"De Giacomo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Austin, MIT Press","first-page":"343","volume-title":"Proc. of North American Conf. on Logic Programming","author":"K Benkerimi","year":"1990","unstructured":"K. Benkerimi and J. W. Lloyd. A Partial Evaluation Procedure for Logic Programs. In Proc. of North American Conf. on Logic Programming, S. K. Derbray and M. Hermenegildo eds., pp.343-358, Austin, MIT Press, 1990."},{"key":"10_CR2","volume-title":"Logic and Data Bases, H. Gallaire and J. Minker eds., pp.293-322, Plenum Press","author":"KL Clark","year":"1978","unstructured":"K. L. Clark. Negation as Failure. In Logic and Data Bases, H. Gallaire and J. Minker eds., pp.293\u2013322, Plenum Press, 1978."},{"key":"10_CR3","first-page":"365","volume-title":"Proc. Ist Int Conf. on Expert Database Systems","author":"L Cholvy","year":"1986","unstructured":"L. Cholvy. and R. Demolombe. Querying a Rule Base. In Proc. Ist\n                Int Conf. on Expert Database Systems, pp. 365\u2013371, Charlesoton, South Carolina, April 1986."},{"key":"10_CR4","first-page":"333","volume-title":"Proc. 2nd Int. Conf. on Expert Database Systems","author":"F Cuppens","year":"1988","unstructured":"F. Cuppens and R. Demolombe. Cooperative Answering: A Methodology to Provide Intelligent Access to Databases. In Proc. 2nd Int. Conf. on Expert Database Systems, pp. 333\u2013353, Tysons Corner, Virginia, April 1988."},{"key":"10_CR5","volume-title":"Proc.of 5th International Conference and Symposium on Logic Programming, R. A. Kowalski and K. A. Bowen eds., pp.111-125, MIT Press","author":"D Chan","year":"1988","unstructured":"D. Chan. Constructive Negation Based on the Completed Database. In Proc.of 5th International Conference and Symposium on Logic Programming, R. A. Kowalski and K. A. Bowen eds., pp.111\u2013125, MIT Press, 1988."},{"key":"10_CR6","volume-title":"Proc. of North American Conf. on Logic Programming, E. Lusk and R. Overback eds., pp.477-493, MIT Press","author":"D Chan","year":"1989","unstructured":"D. Chan. An Extension of Constructive Negation and its Application in Coroutining. In Proc. of North American Conf. on Logic Programming, E. Lusk and R. Overback eds., pp.477\u2013493, MIT Press, 1989."},{"key":"10_CR7","first-page":"397","volume-title":"Proc. 1st Int. Workshop on Expert Database Systems","author":"F Corella","year":"1984","unstructured":"F. Corella. Semantic Retrieval and Levels of Abstraction. In Proc. 1st Int. Workshop on Expert Database Systems, pp. 397\u2013420, Kiawah Island, South Carolina, October 1984."},{"key":"10_CR8","unstructured":"D. Chan and M. Wallance. A Treatment of Negation During Partial Evaluation. In Meta-Programming in Logic Programming,H. D. Abramson and M. H. Rogers eds., pp.299\u2013317, MIT Press, 1989. (Proc. Meta88)."},{"key":"10_CR9","unstructured":"R. Demolombe. A Strategy for the Computation of Conditional Answers. In Proc. ECAI\u201992,to appear."},{"volume-title":"Proc Workshop on Nonstandard Queries and Answers, Toulouse","year":"1991","key":"10_CR10","unstructured":"R. Demolombe, L. Farinas del Cerro, T. Imielinski (eds.). Proc. Workshop on Nonstandard Queries and Answers, Toulouse, France, July, 1991."},{"key":"10_CR11","unstructured":"G. De Giacomo. Intensional Query Answering by Partial Evaluation. Technical Report,Dipartimento di Informatica e Sistemistica, Universit\u00e0 di Roma La Sapienza. In preparation."},{"key":"10_CR12","volume-title":"The Journal of Logic Programming, 4(3):229-257","author":"T Imielinski","year":"1987","unstructured":"T. Imielinski. Intelligent Query Answering in Rule Based Systems. In The Journal of Logic Programming, 4(3):229\u2013257, September 1987."},{"key":"10_CR13","volume-title":"Springer-verlag","author":"JW Lloyd","year":"1987","unstructured":"J. W. Lloyd. Foundations of Logic Programming (2nd edition). Springer-Verlag, 1987."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd and J. C. Shepherdson. Partial Evaluation in Logic Programming In The Journal of Logic Programming,11(3and4):217242, October\/November 1991.","DOI":"10.1016\/0743-1066(91)90027-M"},{"issue":"3","key":"10_CR15","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","volume":"1","author":"JW Lloyd","year":"1984","unstructured":"J. W. Lloyd and R. W. Topor. Making Prolog More Expressive. The\n                Journal of Logic Programming, 1 (3): 225\u2013240, 1984.","journal-title":"Journal of Logic Programming"},{"key":"10_CR16","first-page":"237","volume-title":"Proc. 15th Int. Conf on Very Large Data Bases","author":"A Motro","year":"1989","unstructured":"A. Motro. Using Integrity Constraints to Provide Intensional Answers to Relational Queries. In Proc. 15th Int. Conf on Very Large Data Bases, pp. 237\u2013246, Amsterdam, August 1989."},{"key":"10_CR17","volume-title":"Intensional Answers to Database Queries. Technical Report, Department of Information and Software Systems Engineering, George Mason University","author":"A Motro","year":"1991","unstructured":"A. Motro. Intensional Answers to Database Queries. Technical Report, Department of Information and Software Systems Engineering, George Mason University, Fairfax, Virginia, 1991."},{"key":"10_CR18","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1145\/93597.98727","volume-title":"Proc. Of ACM SIGMOD-90","author":"A Motro","year":"1990","unstructured":"A. Motro and Q. Yuan. Querying Database Knowledge. In Proc. Of\n                ACM SIGMOD-90, pp. 173\u2013183, 1990."},{"key":"10_CR19","first-page":"652","volume-title":"Proc. 5th Int. Conf. on Data Engineering","author":"A Pirotte","year":"1989","unstructured":"A. Pirotte and D. Roelantes. Constraints for Improving the Generation of Intensional Answers in a Deductive Database. In Proc. 5th Int. Conf. on Data Engineering, pp. 652\u2013659, Los Angeles, Califor nia, February 1989."},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"A. Pirotte, D. Roelantes, E Zimanyi. Controlled Generation of Intensional Answers. In IEEE Trans. on Knowledge and Data Engineering Vol 3No.2, pp.221\u2013236, June 1991.","DOI":"10.1109\/69.88002"},{"key":"10_CR21","unstructured":"T. C. Przymusinski. On Constructive Negation in Logic Programming In Proc. of North American Conf. on Logic ProgrammingE. Lusk and R. Overback eds., pp.1\u201319 (addendum), MIT Press, 1989."},{"key":"10_CR22","series-title":"Tysons Corner Virginia, April","first-page":"257","volume-title":"Proc. 2nd Int. Conf. on Expert Database Systems","author":"C Shum","year":"1988","unstructured":"C. Shum and R. Muntz. Implicit Representation for Extensional Answers. In Proc. 2nd Int. Conf. on Expert Database Systems, pp.257-273, Tysons Corner, Virginia, April 1988."},{"key":"10_CR23","series-title":"MIT Press","first-page":"87","volume-title":"Logic-Based Knowledge Representation","author":"F Harmelen","year":"1989","unstructured":"F. van Harmelen. The Limitations of Partial Evaluation. In Logic-Based Knowledge Representation, P. Jackson, H. Reichgelt, F. van Harmelen eds., pp.87\u2013111, MIT Press, 1989."}],"container-title":["Workshops in Computing","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3560-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T23:04:56Z","timestamp":1557443096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3560-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198062","9781447135609"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3560-9_10","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}