Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Mark E.
Last name:	Stickel
DBLP:	44/3472
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 49  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Mark E. Stickel. Building Theorem Provers.	Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings 2009	(0)	2009
	Conference paper 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	(0)	2004
	Conference paper Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel. Balance and Filtering in Structured Satisfiable Problems.	Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001 2001	(0)	2001
	Conference paper Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel. Balance and Filtering in Structured Satisfiable Problems (Preliminary Report).	Electronic Notes in Discrete Mathematics 2001, Volume 9	(0)	2001
	Conference paper Vinay K. Chaudhri, Mark E. Stickel, Jérôme Thoméré, Richard J. Waldinger. Using Prior Knowledge: Problems and Solutions.	Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA. 2000	(0)	2000
	Conference paper Hantao Zhang, Mark E. Stickel. Implementing the Davis-Putnam Method.	J. Autom. Reasoning 2000, Volume 24	(0)	2000
	Conference paper Nikolaj Bjørner, Mark E. Stickel, Tomás E. Uribe. A Practical Integration of First-Order Reasoning and Decision Procedures.	Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings 1997	(0)	1997
	Conference paper 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 1997, Volume 0	(0)	1997
	Conference paper Mark E. Stickel. Term Rewriting in Contemporary Resolution Theorem Proving (Abstract).	Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings 1995	(0)	1995
	Conference paper Mark E. Stickel, Hantao Zhang. Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results.	Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings 1995	(0)	1995

Show item 1 to 10 of 49  

Your query returned 49 matches in the database.