Publications :: Search

Show author

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

Author information
First name:	Richard J.
Last name:	Waldinger
DBLP:	48/1801
Rating:	(not rated yet)
Bookmark:

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

Show item 1 to 25 of 54  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Daniel G. Bobrow, Cleo Condoravdi, Kyle Richardson, Richard J. Waldinger, Amar Das. Deducing answers to english questions from structured data.	Proceedings of the 2011 International Conference on Intelligent User Interfaces, February 13-16, 2011, Palo Alto, CA, USA 2011	(0)	2011
	Conference paper Kyle Richardson, Daniel G. Bobrow, Cleo Condoravdi, Richard J. Waldinger, Amar Das. English Access to Structured Data.	Proceedings of the 5th IEEE International Conference on Semantic Computing (ICSC 2011), Palo Alto, CA, USA, September 18-21, 2011 2011	(0)	2011
	Conference paper Richard J. Waldinger, Daniel G. Bobrow, Cleo Condoravdi, Kyle Richardson, Amar Das. Accessing Structured Health Information through English Queries and Automatic Deduction.	AI and Health Communication, Papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-01, Stanford, California, USA, March 21-23, 2011 2011	(0)	2011
	Conference paper Richard J. Waldinger. Whatever Happened to Deductive Question Answering?	Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings 2007	(0)	2007
	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 Richard J. Waldinger, Peter Jarvis, Jennifer L. Dungan. Program Synthesis for Multi-agent Question Answering.	Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday 2003	(0)	2003
	Conference paper Kenneth Baclawski, Mieczyslaw M. Kokar, Richard J. Waldinger, Paul A. Kogut. Consistency Checking of Semantic Web Ontologies.	The Semantic Web - ISWC 2002, First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings 2002	(0)	2002
	Conference paper Grit Denker, Jerry R. Hobbs, David L. Martin, Srini Narayanan, Richard J. Waldinger. Accessing Information and Services on the DAML-Enabled Web.	SemWeb 2001	(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 Richard J. Waldinger. Web Agents Cooperating Deductively.	Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers 2001	(0)	2000
	Conference paper Barbara Starr, Vinay K. Chaudhri, Adam Farquhar, Richard J. Waldinger. Knowledge-Intensive Query Processing.	Proceedings of the 5th International Workshop on Knowledge Represenation Meets Databases (KRDB '98): Innovative Application Programming and Query Interfaces, Seattle, Washington, USA, May 31, 1998 1998	(0)	1998
	Conference paper Zohar Manna, Massimo Paltrinieri, Richard J. Waldinger. A Temporal Plan Theory.	WOCFAI 1995	(0)	1995
	Conference paper Mark E. Stickel, Richard J. Waldinger, Michael R. Lowry, Thomas Pressburger, Ian Underwood. Deductive Composition of Astronomical Software from Subroutine Libraries.	Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings 1994	(0)	1994
	Conference paper Hugh McGuire, Zohar Manna, Richard J. Waldinger. Annotation-Based Deduction in Temporal Logic.	Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings 1994	(0)	1994
	Conference paper Zohar Manna, Richard J. Waldinger. The Special-Relation Rules are Incomplete.	Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings 1992	(0)	1992
	Conference paper Richard J. Waldinger, Mark E. Stickel. Proving Properties of Rule-Based Systems.	International Journal of Software Engineering and Knowledge Engineering 1992, Volume 2	(0)	1992
	Conference paper Zohar Manna, Richard J. Waldinger. Fundamentals of Deductive Program Synthesis.	IEEE Trans. Software Eng. 1992, Volume 18	(0)	1992
	Conference paper Gerd Große, Richard J. Waldinger. Towards a Theory of Simultaneous Actions.	European Workshop on Planning, EWSP '91, Sankt Augustin, FRG, March 18-19, 1991, Proceedings 1991	(0)	1991
	Conference paper Richard J. Waldinger. Tutorial on Program-Synthetic Deduction.	10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings 1990	(0)	1990
	Conference paper Xiaolei Qian, Richard J. Waldinger. A Transaction Logic for Database Specification.	Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, June 1-3, 1988. 1988	(0)	1988
	Conference paper Zohar Manna, Richard J. Waldinger. The Deductive Synthesis of Imperative LISP Programs.	AAAI 1987	(0)	1987
	Conference paper Zohar Manna, Richard J. Waldinger. How to Clear a Block: A Theory of Plans.	J. Autom. Reasoning 1987, Volume 3	(0)	1987
	Conference paper Zohar Manna, Richard J. Waldinger. The Origin of a Binary-Search Paradigm.	Sci. Comput. Program. 1987, Volume 9	(0)	1987
	Conference paper Yonathan Malachi, Zohar Manna, Richard J. Waldinger. TABLOG: A New Approach To Logic Programming.	Logic Programming: Functions, Relations, and Equations 1986	(0)	1986
	Conference paper Zohar Manna, Richard J. Waldinger. How to Clear a Block: Plan Formation in Situational Logic.	8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings 1986	(0)	1986

Show item 1 to 25 of 54  

Your query returned 54 matches in the database.