Richard Dapoigny

Richard Dapoigny, Patrick Barlatier: Formal foundations for situation awareness based on dependent type theory. Information Fusion 14(1): 87-107 (2013)

Richard Dapoigny, Patrick Barlatier: Modeling Ontological Structures with Type Classes in Coq. ICCS 2013: 135-152

Patrick Barlatier, Richard Dapoigny: A type-theoretical approach for ontologies: The case of roles. Applied Ontology 7(3): 311-356 (2012)

Christian Cote, Richard Dapoigny, Caroline Wintergerst: Enhancing Publication Description with Resources Metadata. FLAIRS Conference 2012

Richard Dapoigny, Patrick Barlatier: Using a Dependently-Typed Language for Expressing Ontologies. KSEM 2011: 257-268

Richard Dapoigny, Patrick Barlatier: Modeling Contexts with Dependent Types. Fundam. Inform. 104(4): 293-327 (2010)

Richard Dapoigny, Patrick Barlatier: Towards Ontological Correctness of Part-whole Relations with Dependent Types. FOIS 2010: 45-58

Richard Dapoigny, Patrick Barlatier: Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations. ER 2009: 145-158

Ismaïl Biskri, Anca Pascu, Richard Dapoigny, Florence Le Priol: Special Track on Semantics, Ontologies, and Computational Linguistics. FLAIRS Conference 2009

Richard Dapoigny, Patrick Barlatier: Reasoning about Relations with Dependent Types: Application to Context-Aware Applications. ISMIS 2009: 171-180

Richard Dapoigny, Patrick Barlatier: Vers un modèle formel pour le raisonnement à partir des contextes. Revue d'Intelligence Artificielle 22(6): 725-755 (2008)

Richard Dapoigny, Patrick Barlatier: Causal Reasoning with Contexts Using Dependent Types. FLAIRS Conference 2008: 107-108

Richard Dapoigny, Patrick Barlatier: Towards a Conceptual Structure based on Type Theory. ICCS Supplement 2008: 107-114

Patrick Barlatier, Richard Dapoigny: A Theorem Prover with Dependent Types for Reasoning about Actions. STAIRS 2008: 12-23

Nacima Mellal, Richard Dapoigny: Service Retrieval for Distributed Environment: An Approach Based Service-Ontologies Mapping. AWIC 2007: 236-241

Richard Dapoigny, Patrick Barlatier: Goal Reasoning with Context Record Types. CONTEXT 2007: 164-177

Patrick Barlatier, Richard Dapoigny: Using Contexts to Prove and Share Situations. FLAIRS Conference 2007: 448-453

Nacima Mellal, Richard Dapoigny: Formal Method for Automatic and Semantic Mapping of Distributed Service-Ontologies. ICSOFT (PL/DPS/KE/MUSE) 2007: 259-263

Nacima Mellal, Richard Dapoigny, Laurent Foulloy: Semantic Interoperability between Functional Ontologies. DB&IS 2006: 277-290

Nacima Mellal, Richard Dapoigny, Patrick Barlatier, Laurent Foulloy: Modeling and Multi-agent Specification of IF-Based Distributed Goal Ontologies. IEA/AIE 2006: 14-23

Moonis Ali, Richard Dapoigny (Eds.): Advances in Applied Artificial Intelligence, 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006, Proceedings. Lecture Notes in Computer Science 4031, Springer 2006, isbn 3-540-35453-0

Richard Dapoigny, Patrick Barlatier, Eric Benoit, Laurent Foulloy: deriving behavior from goal structure for the intelligent control of physical systems. ICINCO 2005: 11-18

Richard Dapoigny, Patrick Barlatier, Laurent Foulloy, Eric Benoit: Formal Goal Generation for Intelligent Control Systems. IEA/AIE 2005: 712-721

Richard Dapoigny, Patrick Barlatier, Nacima Mellal, Eric Benoit, Laurent Foulloy: Inferential Knowledge Sharing with Goal Hierarchies in Distributed Engineering Systems. IICAI 2005: 590-608

Richard Dapoigny, Patrick Barlatier, Laurent Foulloy, Eric Benoit: A Functional and Behavioral Knowledge-based Implementation for Intelligent Sensors/Actuators. FLAIRS Conference 2004: 122-127

Richard Dapoigny, Eric Benoit, Laurent Foulloy: Agent-Based Implementation on Intelligent Instruments. IEA/AIE 2003: 505-515

Richard Dapoigny, Eric Benoit, Laurent Foulloy: Functional Ontology for Intelligent Instruments. ISMIS 2003: 88-92

Eric Benoit, Richard Dapoigny, Laurent Foulloy: Fuzzy-based intelligent sensors: modeling, design, application. ETFA (2) 2001: 401-407

Richard Dapoigny, Michel Lamure, Nicolas Nicoloyannis: Pretopological Transformations of Binary Images: A Parallel Implementation. Parallel and Distributed Computing and Systems 1995: 288-291