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.

• Type: Conference
• Year: 2004
• Where: LANMR
• Authors: Isabella Cattinelli, Maria Luisa Damiani, Andrea Nucita
• Keywords: Answer Set Programming, Evacuation Plans, LANMR 2004, LANMR 2007, Volcanic Eruptions