Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming.
Isabella Cattinelli, Maria Luisa Damiani, Andrea Nucita · Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano) · 2004
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.