Back to Results
First PageMeta Content
Automated theorem proving / Boolean algebra / Logic in computer science / Rules of inference / Implicant / Horn clause / Unit propagation / Resolution / Logic programming / Logic / Mathematical logic / Mathematics


Document Date: 2003-04-29 20:41:47

Open Document

File Size: 772,60 KB

Share Result on Facebook

City

Washington / D.C. / Palo Alto / New York / /

Company

Knowledge Systems Laboratory / XEROX / Cox / Al systems / FOUNDATIONS OF ASSUMPTION-BASED TRUTH MAINTENANCE SYSTEMS / Artificial Intelligence Laboratory / McGraw-Hill / /

Currency

pence / EUR / /

Facility

University of Waterloo / T.C. Bar / Computer Science University of Toronto Toronto / University of Toronto / Stanford University / Canadian Institute / /

Holiday

Assumption / /

IndustryTerm

control search / search example exploits / back-chaining search / search tree / computing / sum-of-products / back-chaining search tree / /

Organization

Department of Computer Science / Canadian Institute for Advanced Reserch / M.I.T / Canadian National Science and Engineering Research Council / Stanford University / Computer Science University of Toronto Toronto / University of Waterloo / University of Toronto / /

Person

Johan de Kleer / Ai / Raymond Reiter / /

Position

.~Vp / Representative / /

ProvinceOrState

California / New York / Ontario / /

SportsLeague

Stanford University / /

Technology

artificial intelligence / /

SocialTag