Mabry Tyson

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
9	EE	Jerry 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
8	EE	Douglas 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
6	EE	Douglas 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
5	EE	Jerry R. Hobbs, Douglas E. Appelt, John Bear, Mabry Tyson: Robust Processing of Real-World Natural-Language Texts. ANLP 1992: 186-192
4	EE	Douglas 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
3	EE	Jerry 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

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