dblp.uni-trier.dewww.uni-trier.de

Mabry Tyson Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2004
11 Richard J. Waldinger, Douglas E. Appelt, Jennifer L. Dungan, John Fry, Jerry R. Hobbs, David J. Israel, Peter Jarvis, David L. Martin, Susanne Riehemann, Mark E. Stickel, Mabry Tyson: Deductive Question Answering from Multiple Resources. New Directions in Question Answering 2004: 253-262
2003
10 Karen L. Myers, Peter Jarvis, Mabry Tyson, Michael Wolverton: A Mixed-initiative Framework for Robust Plan Sketching. ICAPS 2003: 256-266
1997
9EEJerry R. Hobbs, Douglas E. Appelt, John Bear, David J. Israel, Megumi Kameyama, Mark E. Stickel, Mabry Tyson: FASTUS: A Cascaded Finite-State Transducer for Extracting Information from Natural-Language Text CoRR cmp-lg/9705013: (1997)
1995
8EEDouglas E. Appelt, Jerry R. Hobbs, John Bear, David J. Israel, Megumi Kameyama, David L. Martin, Karen L. Myers, Mabry Tyson: SRI International FASTUS system: MUC-6 test results and analysis. MUC 1995: 237-248
1993
7 Douglas E. Appelt, Jerry R. Hobbs, John Bear, David J. Israel, Mabry Tyson: FASTUS: A Finite-state Processor for Information Extraction from Real-world Text. IJCAI 1993: 1172-1178
6EEDouglas E. Appelt, Jerry R. Hobbs, John Bear, David J. Israel, Megumi Kameyama, Mabry Tyson: SRI: description of the JV-FASTUS system used for MUC-5. MUC 1993: 221-235
1992
5EEJerry R. Hobbs, Douglas E. Appelt, John Bear, Mabry Tyson: Robust Processing of Real-World Natural-Language Texts. ANLP 1992: 186-192
4EEDouglas E. Appelt, John Bear, Jerry R. Hobbs, David J. Israel, Mabry Tyson: SRI International FASTUS system: MUC-4 test results and analysis. MUC 1992: 143-147
3EEJerry R. Hobbs, Douglas E. Appelt, Mabry Tyson, John Bear, David J. Israel: SRI International: description of the FASTUS system used for MUC-4. MUC 1992: 268-275
1985
2 Mark E. Stickel, Mabry Tyson: An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction. IJCAI 1985: 1073-1075
1982
1 Mabry Tyson: Proof Methods in an Agenda-Based Natural-Deduction Theorem Prover. AAAI 1982: 225-228

Coauthor Index

1Douglas E. Appelt [3] [4] [5] [6] [7] [8] [9] [11]
2John Bear [3] [4] [5] [6] [7] [8] [9]
3Jennifer L. Dungan [11]
4John Fry [11]
5Jerry R. Hobbs [3] [4] [5] [6] [7] [8] [9] [11]
6David J. Israel [3] [4] [6] [7] [8] [9] [11]
7Peter Jarvis [10] [11]
8Megumi Kameyama [6] [8] [9]
9David L. Martin [8] [11]
10Karen L. Myers [8] [10]
11Susanne Riehemann [11]
12Mark E. Stickel [2] [9] [11]
13Richard J. Waldinger [11]
14Michael Wolverton [10]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)