Search Sciweavers | Sciweavers

200 search results - page 17 / 40

» The Intensional Lambda Calculus

AAAI
2008

162views Intelligent Agents» more AAAI 2008»

Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions

14 years 5 days ago

Download www.public.asu.edu

One way to solve the knowledge acquisition bottleneck is to have ways to translate natural language sentences and discourses to a formal knowledge representation language, especia...

Chitta Baral, Juraj Dzifcak, Tran Cao Son

claim paper

Read More »

click to vote

ICALP
2009
Springer

124views Programming Languages» more ICALP 2009»

On Constructor Rewrite Systems and the Lambda-Calculus

14 years 10 months ago

Download www.cs.unibo.it

Ugo Dal Lago, Simone Martini

claim paper

Read More »

click to vote

WOLLIC
2009
Springer

136views Artificial Intelligence» more WOLLIC 2009»

Recognizability in the Simply Typed Lambda-Calculus

14 years 4 months ago

Download www.labri.fr

Abstract. We deﬁne a notion of recognizable sets of simply typed λterms that extends the notion of recognizable sets of strings or trees. This deﬁnition is based on ﬁnite mo...

Sylvain Salvati

claim paper

Read More »

click to vote

CSL
2009
Springer

103views Automated Reasoning» more CSL 2009»

A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References

14 years 4 months ago