{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:35:32Z","timestamp":1725467732308},"publisher-location":"Berlin, Heidelberg","reference-count":34,"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\/bfb0056017","type":"book-chapter","created":{"date-parts":[[2006,7,30]],"date-time":"2006-07-30T08:28:08Z","timestamp":1154248088000},"page":"366-381","source":"Crossref","is-referenced-by-count":4,"title":["Semantic query optimization through abduction and constraint handling"],"prefix":"10.1007","author":[{"given":"Gerhard","family":"Wetzel","sequence":"first","affiliation":[]},{"given":"Francesca","family":"Toni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,31]]},"reference":[{"key":"31_CR1","unstructured":"Abdennadher, S.; Sch\u00fctz, H.: CHRv: A Flexible Query Language. In this volume."},{"key":"31_CR2","unstructured":"Bressan, S.; Goh, C. H.: Answering Queries in Context. In this volume."},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Chakravarthy, U. S.; Grant, J.; Minker, J.: Foundations of Semantic Query Optimization for Deductive Databases. In: Minker, J. (ed.): Foundations of Deductive Databases and Logic Programming, pp. 243\u2013273, Morgan Kaufmann 1988","DOI":"10.1016\/B978-0-934613-40-8.50011-7"},{"issue":"2","key":"31_CR4","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/78922.78924","volume":"15","author":"U. S. Chakravarthy","year":"1990","unstructured":"Chakravarthy, U. S.; Grant, J.; Minker, J.: Logic-Based Approach to Semantic Query Optimization, ACM Transactions on Database Systems 15 (2), pp. 162\u2013207, 1990","journal-title":"ACM Transactions on Database Systems"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Clark, K. L.: Negation as failure. In: Gallaire, H.; Minker, J. (eds.): Logic and Data Bases, pp. 292\u2013322, Plenum Press 1978","DOI":"10.1007\/978-1-4684-3384-5_11"},{"issue":"2","key":"31_CR6","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0743-1066(97)00074-5","volume":"34","author":"M. Denecker","year":"1997","unstructured":"Denecker, M.; De Schreye, D.: SLDNFA: an abductive procedure for abductive logic programs, Journal of Logic Programming 34 (2), pp. 111\u2013167, 1997","journal-title":"Journal of Logic Programming"},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth, T.: Constraint Handling Rules. In: Podelski, A. (ed.): Constraint Programming: Basic and Trends, pp. 90\u2013107, LNCS 910, Springer Verlag 1995","DOI":"10.1007\/3-540-59155-9_6"},{"key":"31_CR8","unstructured":"Fung, T. H.: Abduction by Deduction. Ph.D. Thesis, Imperial College 1996"},{"issue":"2","key":"31_CR9","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","volume":"33","author":"T. H. Fung","year":"1997","unstructured":"Fung, T. H.; Kowalski, R. A.: The Iff Proof Procedure for Abductive Logic Programs, Journal of Logic Programming 33 (2), pp. 151\u2013165, 1997","journal-title":"Journal of Logic Programming"},{"key":"31_CR10","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF00962069","volume":"2","author":"T. Gaasterland","year":"1993","unstructured":"Gaasterland, T.; Lobo, J.: Processing Negation and Disjunction in Logic Programs Through Integrity Constraints, Journal of Intelligent Information Systems 2, pp. 225\u2013243, 1993","journal-title":"Journal of Intelligent Information Systems"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"Godfrey, P.; Grant, J.; Gryz, J.; Minker, J.: Integrity Constraints: Semantics and Applications. To appear in: Chomicki, J.; Saake, G.: Logics for Databases and Information Systems, Kluwer 1998","DOI":"10.1007\/978-1-4615-5643-5_9"},{"key":"31_CR12","unstructured":"Janson, S.; Haridi, S.: Programming Paradigms of the Andorra kernel language, Saraswat, V.; Ueda, K. (eds.): Proc. of the Int. Symp. on Logic Programming, pp. 167\u2013186, MIT Press 1991"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"Jaffar, J.; Lassez, J.-L.: Constraint Logic Programming, Proc. of the 14 th ACM Symp. on the Principles of Programming Languages, pp. 111\u2013119, 1987","DOI":"10.1145\/41625.41635"},{"key":"31_CR14","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J.; Maher, M.: Constraint Logic Programming: A Survey, Journal of Logic Programming 19\/20, pp. 503\u2013581, 1994","journal-title":"Journal of Logic Programming"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"Jourdan, J.; Sola, T.: The Versatility of Handling Disjunctions as Constraints. In: Bruynooghe, M.; Penjam, J. (eds.): Proc. of the 5 th Intern. Symp. on Programming Languages Implementation and Logic Programming, pp. 60\u201374, Springer Verlag 1993","DOI":"10.1007\/3-540-57186-8_71"},{"key":"31_CR16","unstructured":"Kakas, A. C.: Deductive Databases as Theories of Belief, Technical Report, Imperial College, 1991"},{"key":"31_CR17","unstructured":"Kakas, A. C.: On the Evolution of Deductive Databases, Technical Report, Imperial College, 1991"},{"issue":"6","key":"31_CR18","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A. C. Kakas","year":"1992","unstructured":"Kakas, A. C.; Kowalski, R. A.; Toni, F.: Abductive Logic Programming, Journal of Logic and Computation 2 (6), pp. 719\u2013770, 1992","journal-title":"Journal of Logic and Computation"},{"key":"31_CR19","doi-asserted-by":"crossref","unstructured":"Kakas, A. C.; Kowalski, R. A.; Toni, F.: The role of abduction in logic programming. To appear in: Gabbay, D. M. et al. (eds.): Handbook of logic in Artificial Intelligence and Logic Programming, vol. 5, pp. 235\u2013324, Oxford University Press 1998","DOI":"10.1093\/oso\/9780198537922.003.0007"},{"key":"31_CR20","doi-asserted-by":"crossref","unstructured":"Kakas, A. C.; Michael, A.: Integrating Abductive and Constraint Logic Programming. In: Sterling, L. (ed.): Proc. of the 12 th Int. Conf. on Logic Programming, pp. 399\u2013413, MIT Press 1995","DOI":"10.7551\/mitpress\/4298.003.0043"},{"key":"31_CR21","unstructured":"Kowalski, R. A.; Sadri, F.: Logic Programs with Exceptions. In: Warren, D. H. D.; Szeredi, P. (eds.): Proc. of the 7 th Int. Conf. on Logic Programming, pp. 598\u2013613, MIT Press 1990"},{"key":"31_CR22","unstructured":"Kowalski, R. A.; Toni, F.; Wetzel, G.: Executing Suspended Logic Programs, to appear in a special issue of Fundamenta Informaticae ed. by K. Apt."},{"key":"31_CR23","doi-asserted-by":"crossref","unstructured":"Lakshmanan, L. V. S.; Missaoui, R.: Pushing Semantics into Recursion: A General Framework for Semantic Optimization of Recursive Queries. In: Proc. of the Intern. Conf. on Data Engineering, Taiwan, 1995","DOI":"10.1109\/ICDE.1995.380390"},{"key":"31_CR24","doi-asserted-by":"crossref","unstructured":"Manthey, R.; Bry, F.: SATCHMO: A Theorem Prover Implemented in PROLOG. In: Lusk, E.; Overbeek, R. (eds.): Proc. of the 9 th Conf. on Automated Deduction, pp. 415\u2013434, LNCS 310, Springer-Verlag 1988","DOI":"10.1007\/BFb0012847"},{"issue":"2","key":"31_CR25","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A. Martelli","year":"1982","unstructured":"Martelli, A., Montanari, U.: An efficient unification algorithm, ACM Trans. on Prog. Lang, and Systems 4 (2), pp. 258\u2013282, 1982","journal-title":"ACM Trans. on Prog. Lang, and Systems"},{"issue":"1","key":"31_CR26","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(82)90021-2","volume":"19","author":"J. McDermott","year":"1982","unstructured":"McDermott, J.: R1: A Rule-Based Configurer of Computer Systems, Artificial Intelligence 19 (1), pp. 39\u201388, 1982","journal-title":"Artificial Intelligence"},{"key":"31_CR27","unstructured":"Maim, E.: Abduction and Constraint Logic Programming, In: Neumann, B. (ed.): Proc. of the 10 th European Conf. on Artificial Intelligence, 1992"},{"issue":"2","key":"31_CR28","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1109\/69.88002","volume":"3","author":"A. Pirotte","year":"1991","unstructured":"Pirotte, A.; Roelants, D.; Zim\u00e1nyi, E.: Controled generation of intensional answers, IEEE Trans. on Knowledge and Data Engineering, 3 (2), pp. 221\u2013236, 1991","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"issue":"1\u20132","key":"31_CR29","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0304-3975(97)00011-X","volume":"193","author":"K. A. Ross","year":"1998","unstructured":"Ross, K. A.; Srivastava, D.; Stuckey, P. J.; Sudarshan, S.: Foundations of Aggregation Constraints, Theoretical Computer Science 193 (1\u20132), pp. 149\u2013179, 1998","journal-title":"Theoretical Computer Science"},{"key":"31_CR30","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P.; Saraswat, V. A.; Deville, Y.: Design, Implementation, and Evaluation of the Constraint Language cc(FD). In: Podelski, A. (ed.): Constraint Programming: Basic and Trends, pp. 293\u2013316, Springer Verlag 1995","DOI":"10.1007\/3-540-59155-9_15"},{"key":"31_CR31","unstructured":"Wetzel, G.: Abductive and Constraint Logic Programming, Ph.D. thesis, Imperial College 1997"},{"key":"31_CR32","first-page":"58","volume-title":"12th Workshop on Logic Programming (WLP'97)","author":"G. Wetzel","year":"1997","unstructured":"Wetzel, G.: A Unifying Framework for Abductive and Constraint Logic Programming. In: Bry, F.; Freitag, B.; Seipel, D. (eds.): 12 th Workshop on Logic Programming (WLP'97), pp. 58\u201368, LMU M\u00fcnchen 1997"},{"key":"31_CR33","unstructured":"Wetzel, G.: Using Integrity Constraints as Deletion Rules. In A. Bonner et al. (eds): Proceedings of the DYNAMICS'97 post-conference (ILPS'97) workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases"},{"key":"31_CR34","unstructured":"Wetzel, G.; Kowalski, R. A.; Toni, F.: PROCALOG \u2014 Programming with Constraints and Abducibles in Logic. In: Maher, M. (ed.): Proc. of the 1996 Joint Int. Conf. and Symp. on Logic Programming, p. 535"}],"container-title":["Lecture Notes in Computer Science","Flexible Query Answering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0056017","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,5]],"date-time":"2024-02-05T19:16:00Z","timestamp":1707160560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0056017"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650829","9783540496557"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/bfb0056017","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}