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.
Reasoning about Lava effusion: from Geographical Information Systems to Answer Set Programming.
NUCITA, ANDREA
2004-01-01
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
