Keywords:
Publications of Laure Vieu
2004
Specification of Ontologies in CASL, in: Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), pages 140-150, IOS Press; Amsterdam; http://www.iospress.nl, 2004 | and ,
|
1997
Spatial representation and reasoning in artificial intelligence, in: Spatial and temporal reasoning, pages 5-41, Kluwer Academic Publishers, 1997 | ,