Search Sciweavers | Sciweavers

2981 search results - page 2 / 597

» Answer Set Planning

click to vote

LANMR
2004

103views Logical Reasoning» more LANMR 2004»

Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming

13 years 9 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...

Isabella Cattinelli, Maria Luisa Damiani, Andrea N...

claim paper

Read More »

click to vote

CORR
2002
Springer

106views Education» more CORR 2002»

Domain-Dependent Knowledge in Answer Set Planning

13 years 7 months ago

Download ii.fmph.uniba.sk

In this paper we consider three di erent kinds of domain dependent control knowledge (temporal, procedural and HTN-based) that are useful in planning. Our approach is declarative ...

Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila ...

claim paper

Read More »

click to vote

ENGL
2007

116views more ENGL 2007»

Evacuation Planning using Answer Set Programming: An initial approach

13 years 7 months ago

Download www.engineeringletters.com

—This paper describes a methodology based on Answer Set Programming (ASP) to work with incomplete geographic data. Source geographic data which describes a risk zone is translate...

Claudia Zepeda, David Sol

claim paper

Read More »

click to vote

ICLP
1999
Springer

109views Automated Reasoning» more ICLP 1999»

Answer Set Planning

13 years 12 months ago

Download www.cs.nmsu.edu

Vladimir Lifschitz

claim paper

Read More »