Back to Results
First PageMeta Content
Logic / Logic programming / Rules of inference / Unification / Theoretical computer science / Occurs check / Prolog / First-order logic / Resolution / Mathematics / Mathematical logic / Automated theorem proving


Unification: A Multidisciplinary
Add to Reading List

Document Date: 2004-12-06 11:56:54

Open Document

File Size: 2,76 MB

Share Result on Facebook

Company

Cox / Baxter / /

Currency

USD / /

Facility

Carnegie-Mellon University / /

IndustryTerm

online/offline equivalence problems / parallel algorithms / natural language processing-is / nondeterministic algorithm / unification algorithms / particular search path fails / unification algorithm / linear algorithm / natural language processing / search engine / food / /

Organization

Multidisciplinary Survey KEVIN KNIGHT Computer Science Department / Carnegie-Mellon University / Pittsburgh / Association for Computing Machinery / /

Person

Robinson / Kevin Knight foo / KEVIN KNIGHT / /

/

Position

advisor / Guard / Advisors / Natural Language Processing General / /

ProgrammingLanguage

Prolog / /

ProvinceOrState

Pennsylvania / /

PublishedMedium

Machine Learning / /

Technology

unification algorithms / 19651 unification algorithm / linear algorithm / Paterson-Wegman algorithm / natural language processing / artificial intelligence / unification algorithm / nondeterministic algorithm / last algorithm / two unification algorithms / search engine / Machine Learning / 1989 algorithm / /

SocialTag