{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:12:01Z","timestamp":1773148321382,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540430926","type":"print"},{"value":"9783540455875","type":"electronic"}],"license":[{"start":{"date-parts":[[2001,12,20]],"date-time":"2001-12-20T00:00:00Z","timestamp":1008806400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45587-6_7","type":"book-chapter","created":{"date-parts":[[2007,6,24]],"date-time":"2007-06-24T21:19:19Z","timestamp":1182719959000},"page":"82-100","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Semantics-Based Filtering: Logic Programming\u2019s Killer App"],"prefix":"10.1007","author":[{"given":"Gopal","family":"Gupta","sequence":"first","affiliation":[]},{"given":"Hai-Feng","family":"Guo","sequence":"additional","affiliation":[]},{"given":"Arthur I.","family":"Karshmer","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[]},{"given":"Juan Raymundo","family":"Iglesias","sequence":"additional","affiliation":[]},{"given":"Desh","family":"Ranjan","sequence":"additional","affiliation":[]},{"given":"Brook","family":"Milligan","sequence":"additional","affiliation":[]},{"given":"Nayana","family":"Datta","sequence":"additional","affiliation":[]},{"given":"Omar El","family":"Khatib","sequence":"additional","affiliation":[]},{"given":"Mohammed","family":"Noamany","sequence":"additional","affiliation":[]},{"given":"Xinhong","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"key":"7_CR1","unstructured":"A. Aho, J. D. Ullman, R. Sethi. Compilers: Principles, Techniques, and Tools. Addison Wesley. 1986."},{"key":"7_CR2","first-page":"526","volume":"2","author":"S. F. Altschul","year":"1985","unstructured":"S. F. Altschul and B. W. Erickson. Significance of nucleotide sequence alignments. Mol. Biol. Evol., 2:526\u2013538, 1985.","journal-title":"Mol. Biol. Evol."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"A. Appel. Modern Compiler Construction in ML: Basic Techniques. 1997. Cambridge University Press.","DOI":"10.1017\/CBO9780511811449"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"W. Chen and D. S. Warren. Tabled Evaluation with Delaying for General Logic Programs, In JACM 43(1):20\u201374.","DOI":"10.1145\/227595.227597"},{"key":"7_CR5","unstructured":"N. Datta. Semantic basis for Interoperability: An approach based on Horn Logic and Denotational Semantics. MS thesis. NMSU. Aug. 2000."},{"key":"7_CR6","unstructured":"J. Felsenstein. PHYLIP: Phylogeny inference package, version 3.5c. Distributed by the author, Deparment of Genetics, Univ. Washington, Seattle, 1993."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer Verlag. 2nd ed. 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"7_CR8","unstructured":"C. Goldfarb, P. Prescod. The XML Handbook. Prentice Hall. 1998."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"G. Gupta. Horn logic denotations and their applications. In The Logic Programming Paradigm: The next 25 years, pages 127\u2013160. Springer Verlag, 1999.","DOI":"10.1007\/978-3-642-60085-2_6"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"G. Gupta, E. Pontelli. A Constraint-based Denotational Approach to Specification and Verification of Real-time Systems. In Proc. IEEE Real-time Systems Symposium, San Francisco, pp. 230\u2013239. Dec. 1997.","DOI":"10.1109\/REAL.1997.641285"},{"key":"7_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Essays in honor of Robert Kowalski","author":"G. Gupta","year":"2002","unstructured":"G. Gupta and E. Pontelli. A Horn logical semantic framework for specification, implementation, and verification of domain specific languages. Essays in honor of Robert Kowalski, Springer Verlag, Lecture Notes in Computer Science, to appear."},{"key":"7_CR12","unstructured":"G. Gupta, O. El Khatib, M. Noamany. Building the tower of Babel: Converting XML to VoiceXML for Accessibility. Proc. 7th International Conference on Computers Helping People with Special Needs (ICCHP00). OCG Press (Austria). pp. 267\u2013272."},{"key":"7_CR13","unstructured":"G. Gupta, X. Zhou. Auotmatically Generating Validating Parsers for XML. Internal Report. U. T. Dallas. 2001."},{"key":"7_CR14","unstructured":"Haifeng Guo. Translating Nemeth Math Braille Code to LATEX: A Semantics-based Approach. Master Thesis. New Mexico State Univ, 1999."},{"key":"7_CR15","unstructured":"C. Gunter. Programming Language Semantics. MIT Press. 1992."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"C. Heitmeyer, et al. Automated Consistency Checking of Requirement Specification. In ACM Trans. on Software Engg. and Methodology, 1996.","DOI":"10.1145\/234426.234431"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1016\/S0076-6879(96)66024-8","volume":"266","author":"D. G. Higgins","year":"1996","unstructured":"D. G. Higgins, J. D. Thompson, and T. J. Gibson. Using CLUSTAL for multiple sequence alignments. Methods in Enzymology, 266:383\u2013402, 1996.","journal-title":"Methods in Enzymology"},{"key":"7_CR18","series-title":"Lect Notes Comput Sci","volume-title":"Interoperability between Bioinformatics Tools: A logic programming approach","author":"J. R. Iglesias","year":"2001","unstructured":"J. R. Iglesias, G. Gupta, E. Pontelli, D. Ranjan, B. Milligan. Interoperability between Bioinformatics Tools: A logic programming approach. In Proc. Practical Aspects of Declarative Langs, 2001. Springer Verlag LNCS 1990."},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"H. Guo, A. Karshmer, G. Gupta, S. Geiger, C. Weaver. A Framework for Translation of Nemeth Braille Code to LATEX: The MAVIS Project. In Proc. ACM Conf. on Assistive Technologies, pp. 136\u2013143, 1998.","DOI":"10.1145\/274497.274524"},{"key":"7_CR20","unstructured":"L. Liebmann. Extensible Markup Language, XML\u2019s Tower Of Babel. http:\/\/www.internetweek.com\/indepth01\/indepth042401.htm ."},{"issue":"4","key":"7_CR21","doi-asserted-by":"publisher","first-page":"590","DOI":"10.2307\/2413497","volume":"46","author":"D. R. Maddison","year":"1997","unstructured":"David R. Maddison, David L. Swofford, and Wayne P. Maddison. NEXUS: An extensible file format for systematic information. Syst. Biol., 46(4):590\u2013621, 1997.","journal-title":"Syst. Biol."},{"key":"7_CR22","unstructured":"Wayne P. Maddison and David R. Maddison. MacClade: Analysis of phylogeny and character evolution, version 3.07. Sinauer, Sunderland, Massachusetts, 1997."},{"key":"7_CR23","unstructured":"K. Miesenberger, B. St\u00f6ger. Personal Communication."},{"key":"7_CR24","unstructured":"A. Nemeth. The Nemeth Braille Code for Mathematics and Science Notation 1972 Revision (Frankfort KY: American Printing House for the Blind, 1972)"},{"key":"7_CR25","unstructured":"R. A. O\u2019Keefe. The Craft of Prolog. MIT Press. 1990."},{"key":"7_CR26","unstructured":"T. Parr. http:\/\/www.antlr.org ."},{"key":"7_CR27","unstructured":"L. Scadden. Making Mathematics and Science Accessible to Blind Students Through Technology. Proceedings of RESNA\u201996, 1996."},{"key":"7_CR28","unstructured":"D. Schmidt. Denotational Semantics: a Methodology for Language Development. W. C. Brown Publishers, 1986."},{"key":"7_CR29","first-page":"28","volume-title":"CRC Handbook of Computer Science","author":"D. Schmidt","year":"1996","unstructured":"D. Schmidt. Programming language semantics. In CRC Handbook of Computer Science, Allen Tucker, ed., CRC Press, Boca Raton, FL, 1996. Summary version, ACM Computing Surveys 28\u20131 (1996) 265-267."},{"key":"7_CR30","unstructured":"L. Sterling & S. Shapiro. The Art of Prolog. MIT Press,\u2019 94."},{"key":"7_CR31","unstructured":"S. Stepney. High Integrity Compilation. Prentice Hall. 1993."},{"key":"7_CR32","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-61628-4_7","volume-title":"Advanced Functional Programming: Second international School","author":"S. D. Swierstra","year":"1996","unstructured":"S. D. Swierstra and L. Duponcheel. Deterministic, Error Correcting Combinator Parsers. In Advanced Functional Programming: Second international School. LNCS 1129, pages 184\u2013207, Springer Verlag, Berlin, 1996."},{"key":"7_CR33","unstructured":"D. L. Swofford. PAUP: Phylogenetic analysis using parsimony version 3.1.1. Illinois Natural History Survey, Champaign, 1993."}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45587-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T14:00:50Z","timestamp":1737122450000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45587-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12,20]]},"ISBN":["9783540430926","9783540455875"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-45587-6_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001,12,20]]},"assertion":[{"value":"20 December 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}