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

ThisarticledescribesourimplementationinAnswerSetPro- gramming 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 sim- plified yet realistic model of how lava flows, and apply it to altitude data from the Etna volcano.