Toward a geometry for common sense: A semantics and a complete axiomatization for mereotopology, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995. ,
GEOLIS: a logical information system for geographical data, Int. Conf. Spatial Analysis and GEOmatics -SAGEO, 2006. ,
DOI : 10.3166/geo.17.371-390
URL : https://hal.archives-ouvertes.fr/inria-00187048
Qualitative spatial representation and reasoning techniques, KI '97: Proceedings of the 21st Annual German Conference on Artificial Intelligence, 1997. ,
DOI : 10.1007/3540634932_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.5832
Introduction to logical information systems, Information Processing & Management, vol.40, issue.3, 2004. ,
DOI : 10.1016/S0306-4573(03)00018-9
Formal Concept Analysis: Mathematical Foundations, 1997. ,
Fundamentals of Spatial Information Systems, 1992. ,
Design and comparison of lattices of topological relations based on galois lattice theory, Eight International Conference on Principles of Knowledge Representation and Reasoning -KR'2002, 2002. ,
URL : https://hal.archives-ouvertes.fr/inria-00100740
Inventaire et caractérisation des espèces de rongeurs sahélo-soudaniens, 2007. ,
A logic file system, Usenix Annual Technical Conference, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00071929
Information Access through Conceptual Structures and GIS, American Society for Information Science Conference (ASIS'98, 1998. ,
Visual spatial query languages: A semantics using description logic, Diagrammatic Representation and Reasoning, 2000. ,