Underwater archaeological 3D surveys validation within the removed sets framework

Authors:
Julien Hué;Mariette Sérayet;Pierre Drap;Odile Papini;Eric Würbel
Affiliations:
CRIL, CNRS, Université d'Artois, Lens Cedex, France;LSIS, CNRS, Université de la Méditerranée, ESIL, Marseille Cedex 9 France;LSIS, CNRS, Université de la Méditerranée, ESIL, Marseille Cedex 9 France;LSIS, CNRS, Université de la Méditerranée, ESIL, Marseille Cedex 9 France;LSIS, CNRS, Université du Sud Toulon-Var, La Garde Cedex, France
Venue:
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Year:
2011

Citing 10
Cited 0

A complete revision function in propositional calculus

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Combining Knowledge Bases Consisting of First Order Theories

ISMIS '91 Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems
Combining answer set programming with description logics for the Semantic Web

Artificial Intelligence
Removed Sets Fusion: Performing Off The Shelf

Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A First Order Forward Chaining Approach for Answer Set Computing

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Preferred subtheories: an extended logical framework for default reasoning

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Revision of partially ordered information: axiomatization, semantics and iteration

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
An answer set programming encoding of Prioritized Removed Sets Revision: application to GIS

Applied Intelligence
Clasp: a conflict-driven answer set solver

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Extending Removed Sets Revision to partially preordered belief bases

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents the results of the VENUS european project aimed at providing scientific methodologies and technological tools for the virtual exploration of deep water archaeological sites. We focused on underwater archaeological 3D surveys validation problem. This paper shows how the validation problem has been tackled within the Removed Sets framework, according to Removed Sets Fusion (RSF) and to the Partially Preordered Removed Sets Inconsistency Handling (PPRSIH). Both approaches have been implemented thanks to ASP and the good behaviour of the Removed Sets operations is presented through an experimental study on two underwater archaeological sites.