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.
Titolo: | Reasoning about Lava effusion: from Geographical Information Systems to Answer Set Programming. |
Autori: | |
Data di pubblicazione: | 2004 |
Serie: | |
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. |
Handle: | http://hdl.handle.net/11570/1908761 |
ISBN: | 0000000000 |
Appare nelle tipologie: | 14.d.3 Contributi in extenso in Atti di convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.