PUBLICATIONS

Refereed Conference/Workshop Papers

Sunil Issar, A Speech Interface for Forms on WWW, In Proceedings of the 5th European Conference on Speech Communication and Technology, September 1997

Sunil Issar, Language Models for New Spoken Language Applications, In Proceedings of the International Conference on Speech and Linguistic Processing, October 1996

Wayne Ward and Sunil Issar, A Class Based Language Model for Speech Recognition, In Proceedings of 1996 International Conference on Acoustics, Speech & Signal Processing, IEEE, April 1996

Sunil Issar and Wayne Ward, Unanswerable Queries in a Spontaneous Speech Task, In Proceedings of 1994 International Conference on Acoustics, Speech & Signal Processing, IEEE, April 1994

Wayne Ward and Sunil Issar, Integrating Semantic Constraints into the SPHINX-II Recognition Search, In Proceedings of 1994 International Conference on Acoustics, Speech & Signal Processing, IEEE, April 1994

Wayne Ward and Sunil Issar, Recent Improvements in the CMU Spoken Language Understanding System, In Proceedings of the ARPA Workshop on Human Language Technology, March 1994

Sunil Issar and Wayne Ward, CMU's Robust Spoken Language Understanding System, In Proceedings of the 3rd European Conference on Speech Communication and Technology, September 1993

Sunil Issar, Path-Focused Duplication: A Search Procedure for General Matings, In Proceedings of AAAI-90 National Conference on Artificial Intelligence, July 1990.

Refereed Journal Papers

Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning and Hongwei Xi, TPS: A Theorem Proving System for Classical Type Theory, Journal of Automated Reasoning

Unrefereed Conference/Workshop Papers

Wayne Ward and Sunil Issar, The CMU ATIS System, In Proceedings of the ARPA Workshop on Spoken Language Technology, Jan 1995.

Sunil Issar and Wayne Ward, Flexible Parsing: CMU's Approach to Spoken Language Understanding, In Proceedings of the ARPA Workshop on Spoken Language Technology, March 1994.

Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning and Hongwei Xi, TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory, In Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Lecture Notes in Computer Science 780, Springer-Verlag, 1994, pp 366-370

Ward, W., Issar, S. Huang, X., Hon, H., Hwang, M., Young, S., Matessa, M., Liu, F., Stern, R., Speech Understanding In Open Tasks, In Proceedings of the Fifth DARPA Workshop on Speech and Natural Language, February 1992.

Peter B. Andrews, Sunil Issar, Dan Nesmith and Frank Pfenning, The TPS Theorem Proving System, In 10th International Conference on Automated Deduction, M. E. Stickel (ed.), July 1990.

Peter B. Andrews, Sunil Issar, Daniel Nesmith and Frank Pfenning, The TPS Theorem Proving System, In 9th International Conference on Automated Deduction, Ewing Lusk and Ross Overbeek (ed.), 1988.

Peter B. Andrews, Frank Pfenning, Sunil Issar and C.P.Klapper, The TPS Theorem Proving System, In 8th International Conference on Automated Deduction, Jorg Siekmann (ed.), 1986.