Richard Dapoigny

Richard Dapoigny

Université de Savoie Mont Blanc - Chambéry / France
Others
AD Scientific Index ID: 5044830
person_outline Richard Dapoigny's MOST POPULAR ARTICLES
1-) Formal foundations for situation awareness based on dependent type theory R Dapoigny, P Barlatier Information Fusion 14 (1), 87-107, 2013 312013
2-) Modeling contexts with dependent typesR Dapoigny, P BarlatierFundamenta Informaticae 104 (4), 293-327, 2010232010
3-) A type-theoretical approach for ontologies: The case of rolesP Barlatier, R DapoignyApplied Ontology 7 (3), 311-356, 2012222012
4-) Modeling ontological structures with type classes in CoqR Dapoigny, P BarlatierInternational Conference on Conceptual Structures, 135-152, 2013162013
5-) Towards a context theory for context-aware systemsR Dapoigny, P BarlatierArtificial Intelligence Techniques for Ambient Intelligence, 15, 2007152007