Search Sciweavers | Sciweavers

4595 search results - page 111 / 919

» Reasoning about Plans

159

click to vote

LPAR
1999
Springer

81views Automated Reasoning» more LPAR 1999»

Proofs About Lists Using Ellipsis

15 years 10 months ago

Download www.inf.ed.ac.uk

In this paper we explore the use of ellipsis in proofs about lists. We present a higher-order formulation of elliptic formulae, and describe its implementation in the λClam proof ...

Alan Bundy, Julian Richardson

claim paper

Read More »

click to vote

IEAAIE
2005
Springer

93views Artificial Intelligence» more IEAAIE 2005»

A Meta-level Architecture for Strategic Reasoning in Naval Planning

15 years 12 months ago

Download www.few.vu.nl

Mark Hoogendoorn, Catholijn M. Jonker, Peter-Paul ...

claim paper

Read More »

120

click to vote

CLIMA
2008

87views Intelligent Agents» more CLIMA 2008»

Bounded-Resource Reasoning as (Strong or Classical) Planning

15 years 7 months ago

Download www.upf.edu

Alexandre Albore, Natasha Alechina, Piergiorgio Be...

claim paper

Read More »

119

click to vote

AAAI
1998

112views Intelligent Agents» more AAAI 1998»

Controlling Communication in Distributed Planning Using Irrelevance Reasoning

15 years 7 months ago

Download www.aaai.org

Michael Wolverton, Marie desJardins

claim paper

Read More »

click to vote

COLING
1992

75views Computational Linguistics» more COLING 1992»

Integrating Qualitative Reasoning And Text Planning To Generate Casual Explanations

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers