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.
2004
0000000000
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11570/1908761
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact