Back to Results
First PageMeta Content
Predicate logic / Formal languages / Philosophical logic / Lambda calculus / Combinatory logic / First-order logic / Categorial grammar / Function / Quantification / Logic / Mathematical logic / Mathematics


Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions∗ Chita Baral and Juraj Dzifcak Tran Cao Son
Add to Reading List

Document Date: 2008-11-11 15:26:22


Open Document

File Size: 91,03 KB

Share Result on Facebook

City

Cruces / /

Company

Cambridge University Press / X5 / /

Currency

pence / USD / SLL / /

Facility

University of Chicago Press / In building / /

IndustryTerm

intelligent systems / intelligent knowledge based systems / post processing step / prolog applications / question answering systems / computational tools / /

Organization

Cambridge University / The University of Chicago / University of Chicago Press / National Science Foundation / MIT / New Mexico State University / Exceptions∗ Chita Baral and Juraj Dzifcak Tran Cao Son School of Computing and Informatics Arizona State University Tempe / Artificial Copyright Intelligence / Association for the Advancement / /

Person

Frank van Harmelen / Marek / V / Bruce Porter / /

Position

literal head / /

ProgrammingLanguage

Lambda Calculus / Prolog / Controlled Natural Language / /

ProvinceOrState

New Mexico / Arizona / Massachusetts / /

PublishedMedium

Annals of Mathematics / /

Technology

S/N / artificial intelligence / /

URL

http /

SocialTag