Sciweavers

Share
LANMR
2004

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

9 years 9 months ago
Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming
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 in the validation of evacuation plans. To demonstrate the feasibility of such approach, we adopt a simplified yet realistic model of how lava flows, and apply it to altitude data from the Etna volcano.
Isabella Cattinelli, Maria Luisa Damiani, Andrea N
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2004
Where LANMR
Authors Isabella Cattinelli, Maria Luisa Damiani, Andrea Nucita
Comments (0)
books