Back to Results
First PageMeta Content
Formal methods / Computability theory / Models of computation / Tuple / Type theory / Lambda calculus / Combinatory logic / HO / Categorial grammar / Mathematics / Theoretical computer science / Mathematical notation


Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation Chitta Baral Juraj Dzifcak
Add to Reading List

Document Date: 2011-08-17 20:58:29


Open Document

File Size: 298,91 KB

Share Result on Facebook

City

Oxford / /

Company

Dell / Cambridge University Press / MIT Press / Ge / /

Country

United Kingdom / /

Currency

pence / /

/

Event

Product Issues / Product Recall / /

Facility

Arizona State University / /

IndustryTerm

metal / start processing / natural language translation algorithm / Online learning / actual puzzle solution / overall learning algorithm / trivial semantic solutions / natural language processing tools / natural language processing / possible solutions / correct solution / pre-processing / learning algorithm / inverse lambda calculus algorithm / /

MarketIndex

DATA / /

NaturalFeature

Donna dale / /

Organization

Cambridge University / Chitta Baral Juraj Dzifcak School of Computing / IN V / Arizona State University / MIT / Artificial Copyright Intelligence / Association for the Advancement / School of Computing / /

Person

Jm / Lukta / Hanson / Marek / V / Barbie Wyre / /

Position

vp / Prime Minister / head of disjunctive rules / /

Product

F-measure 86.87 Table / /

PublishedMedium

Computational Linguistics / /

Technology

functional programming / learning algorithm / inverse lambda calculus algorithm / natural language processing / S/N / artificial intelligence / overall learning algorithm / machine learning / natural language translation algorithm / /

URL

http /

SocialTag