Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming.
Isabella CattinelliMaria Luisa DamianiAndrea NucitaPublished in: LA-NMR (2004)
Keyphrases
- answer set programming
- geographical information systems
- spatial reasoning
- logic programs
- logic programming
- answer sets
- spatial data
- spatial databases
- spatial relations
- remote sensing
- geospatial data
- stable model semantics
- formal theory
- answer set programs
- geographic information systems
- temporal reasoning
- machine learning
- remote sensing images
- knowledge representation
- database
- multispectral
- information visualization
- stable models
- metadata
- databases