Back to Results
First PageMeta Content
Computational linguistics / Philosophical logic / Predicate logic / Metalogic / First-order logic / Natural language processing / Computational semantics / Mathematical logic / Well-formed formula / Logic / Science / Semantics


Solving Logic Puzzles: From Robust Processing to Precise Semantics Iddo Lev,∗ Bill MacCartney,∗ Christopher D. Manning,∗† and Roger Levy† ∗ Department of Computer Science
Add to Reading List

Document Date: 2004-05-23 19:03:12

Open Document

File Size: 139,51 KB

Share Result on Facebook

Company

Intelligent Tutoring Systems / Wall Street Journal / Stanford NLP Group / MIT Press / URs / Harvard University Press / Penn Treebank / ARCO Publishing / /

Country

United States / /

/

Facility

University of Pennsylvania / /

IndustryTerm

natural language processing systems / systematic search / classic rule-to-rule systems / possible solution / natural language processing / modal operators / computing / /

Organization

National Park Service / Harvard University / University of Pennsylvania / MIT / Department of Defense / Stanford University Stanford / Navy / /

Person

Rui P. Chaves / Christine Clark / Cate / Patrick Blackburn / Johan Bos / Karl Weber / David Warren / Hans Kamp / Daniel Gildea / Marc Light / Marius Pasca / Robin Cooper / Uwe Reyle / Proc / Eric Breck / Fernando Pereira / References Hiyan Alshawi / Steven J. Maiorano / Dan Klein / Kristina Toutanova / Bob Carpenter / Categorial Grammars / Christopher D. Manning / Barwise / Sanda M. Harabagiu / Lynette Hirschman / Paul H. Grice / Roger Levy / Bill MacCartney / /

Position

VP / editor / computerized office assistant / writer / VP modifiers / Carpenter / Cognitive Assistant / /

ProgrammingLanguage

Prolog / Lisp / /

ProvinceOrState

Pennsylvania / California / /

PublishedMedium

the Wall Street Journal / Computational Linguistics / The Unofficial Guide / /

Technology

natural language processing / artificial intelligence / /

URL

http /

SocialTag