Semantics-based filtering: Logic programming’s killer app?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2257, Issue , 2002, Pages 82-100

  Gupta, Gopal ^a   Guo, Hai Feng ^b   Karshmer, Arthur I ^c   Pontelli, Enrico ^d   Iglesias, Juan Raymundo ^d   Ranjan, Desh ^d   Milligan, Brook ^e   Datta, Nayana ^f   El Khatib, Omar ^d   Noamany, Mohammed ^d   Zhou, Xinhong ^g  

^a The University of Texas at Dallas   (United States)

^b USA   (United States)

^c UNIVERSITY OF SOUTH FLORIDA   (United States)

^d New Mexico State University   (United States)

^e NEW MEXICO STATE UNIVERSITY   (United States)

^f SYNOPSYS INC   (United States)

^g Research Group   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; AUDIO SYSTEMS; COMPUTER CIRCUITS; INTEROPERABILITY; LOGIC PROGRAMMING; OBJECT-ORIENTED DATABASES; PROGRAM TRANSLATORS; QUERY LANGUAGES; SEARCH ENGINES; SEMANTICS; SYNTACTICS; TRANSLATION (LANGUAGES); WEBSITES;

DATA REPRESENTATIONS; FORMAL NOTATIONS; FORMAL SEMANTICS; HORN LOGICAL SEMANTICS; OBJECT QUERY LANGUAGES; PHYLOGENETIC INFERENCE; SEMANTIC SPECIFICATION; SOFTWARE SYSTEMS;

FORMAL METHODS;

EID: 84947287423     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45587-6_7     Document Type: Conference Paper

References (36)

1. A. Aho, J. D. Ullman, R. Sethi. Compilers: Principles, Techniques, and Tools. Addison Wesley. 1986. 83, 84
2. S. F. Altschul and B. W. Erickson. Significance of nucleotide sequence alignments. Mol. Biol. Evol., 2:526–538, 1985. 91
3. A. Appel. Modern Compiler Construction in ML: Basic Techniques. 1997. Cambridge University Press. 84
4. W. Chen and D. S. Warren. Tabled Evaluation with Delaying for General Logic Programs, In JACM 43(1):20-74. 86
5. N. Datta. Semantic basis for Interoperability: An approach based on Horn Logic and Denotational Semantics. MS thesis. NMSU. Aug. 2000. 96
6. J. Felsenstein. PHYLIP: Phylogeny inference package, version 3.5c. Distributed by the author, Deparment of Genetics, Univ. Washington, Seattle, 1993. 91
7. J. W. Lloyd. Foundations of Logic Programming. Springer Verlag. 2nd ed. 1987. 86
8. C. Goldfarb, P. Prescod. The XML Handbook. Prentice Hall. 1998. 84, 95
9. http://www.w3.org/Style/XSL.
10. http://www.w3.org/TR/xslt. 84
11. http://www.w3.org/TR/voicexml/ 84
12. G. Gupta. Horn logic denotations and their applications. In The Logic Programming Paradigm: The next 25 years, pages 127–160. Springer Verlag, 1999. 85, 86, 90
13. 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-239. Dec. 1997. 86
14. 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. 98
15. 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-272. 84
16. G. Gupta, X. Zhou. Auotmatically Generating Validating Parsers for XML. Internal Report. U. T. Dallas. 2001. 97
17. H aifeng Guo. Translating Nemeth Math Braille Code to LATEX: A Semantics-based Approach. Master Thesis. New Mexico State Univ, 1999. 90
18. C. Gunter. Programming Language Semantics. MIT Press. 1992. 85
19. C. Heitmeyer, et al. Automated Consistency Checking of Requirement Specification. In ACM Trans. on Software Engg and Methodology, 1996. 98
20. D. G. Higgins, J. D. Thompson, and T. J. Gibson. Using CLUSTAL for multiple sequence alignments. Methods in Enzymology, 266:383–402, 1996. 91
21. 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. 91, 93
22. 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-143, 1998. 90
23. L. Liebmann. Extensible Markup Language, XML’s Tower Of Babel. http://www.internetweek.com/indepth01/indepth042401.htm. 84
24. David R. Maddison, David L. Swofford, and Wayne P. Maddison. NEXUS: An extensible file format for systematic information. Syst. Biol., 46(4):590–621, 1997. 84, 91, 92
25. Wayne P. Maddison and David R. Maddison. MacClade: Analysis of phylogeny and character evolution, version 3.07. Sinauer, Sunderland, Massachusetts, 1997. 91
26. K. Miesenberger, B. Stöger. Personal Communication. 88, 90
27. A. Nemeth. The Nemeth Braille Code for Mathematics and Science Notation 1972 Revision (Frankfort KY: American Printing House for the Blind, 1972) 84, 88, 90
28. R. A. O’Keefe. The Craft of Prolog. MIT Press. 1990. 86
29. T. Parr. http://www.antlr.org. 83, 98
30. L. Scadden. Making Mathematics and Science Accessible to Blind Students Through Technology. Proceedings of RESNA’96, 1996. 88, 90
31. D. Schmidt. Denotational Semantics: A Methodology for Language Development. W. C. Brown Publishers, 1986. 85
32. D. Schmidt. Programming language semantics. In CRC Handbook of Computer Science, Allen Tucker, ed., CRC Press, Boca Raton, FL, 1996. S ummary version, ACM Computing Surveys 28-1 (1996) 265-267. 85
33. L. Sterling and S. Shapiro. The Art of Prolog. MIT Press,’94. 86
34. S. Stepney. High Integrity Compilation. Prentice Hall. 1993. 98
35. S. D. Swierstra and L. Duponcheel. Deterministic, Error Correcting Combinator Parsers. In Advanced Functional Programming: Second international School. LNCS 1129, pages 184-207, Springer Verlag, Berlin, 1996. 98
36. D. L. Swofford. PAUP: Phylogenetic analysis using parsimony version 3.1. 1. I llinois Natural History Survey, Champaign, 1993. 91