Search Sciweavers | Sciweavers

2272 search results - page 155 / 455

» A Calculus for

128

click to vote

AAAI
2000

176views Intelligent Agents» more AAAI 2000»

Decision-Theoretic, High-Level Agent Programming in the Situation Calculus

15 years 5 months ago

Download www.aaai.org

We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...

Craig Boutilier, Raymond Reiter, Mikhail Soutchans...

claim paper

Read More »

click to vote

AAAI
2000

79views Intelligent Agents» more AAAI 2000»

Open World Planning in the Situation Calculus

15 years 5 months ago

Download www.aaai.org

Alberto Finzi, Fiora Pirri, Raymond Reiter

claim paper

Read More »

123

click to vote

ANLP
2000

86views more ANLP 2000»

Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets

15 years 5 months ago

Download hal.archives-ouvertes.fr

Sylvain Pogodalla

claim paper

Read More »

157

click to vote

ACL
1997

142views Computational Linguistics» more ACL 1997»

Approximating Context-Free Grammars with a Finite-State Calculus

15 years 5 months ago

Download ucrel.lancs.ac.uk

Although adequate models of human language for syntactic analysis and semantic interpretation are of at least contextfree complexity, for applications such as speech processing in...

Edmund Grimley-Evans

claim paper

Read More »

103

click to vote

IWFM
2000

98views Formal Methods» more IWFM 2000»

An Iterator Construct for the Refinement Calculus

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers