Keywords:
Publications of Laure Vieu
2004
| and , 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 |
|
1997
| , Spatial representation and reasoning in artificial intelligence, in: Spatial and temporal reasoning, pages 5-41, Kluwer Academic Publishers, 1997 |