Richard Dapoigny

Publication Activity (10 Years)

Years Active: 1995-2017
Publications (10 Years): 2

Top Topics

Decision Level Fusion

Complete Axiomatization

Natural Language

Top Venues

Publications

Meriem Hafsi, Philippe Bolon, Richard Dapoigny
Detection and localization of underground networks by fusion of electromagnetic signal and GPR images. QCAV (2017)
Richard Dapoigny, Patrick Barlatier
Towards a qualitative representation for specifying natural language. CIVEMSA (2017)
Meriem Hafsi, Richard Dapoigny, Philippe Bolon
Toward a Type-Theoretical Approach for an Ontologically-Based Detection of Underground Networks. KSEM (2015)
Richard Dapoigny, Patrick Barlatier
A Coq-Based Axiomatization of Tarski's Mereogeometry. COSIT (2015)
Richard Dapoigny, Patrick Barlatier
Specifying Well-Formed Part-Whole Relations in Coq. ICCS (2014)
Richard Dapoigny, Patrick Barlatier
Modeling Ontological Structures with Type Classes in Coq. ICCS (2013)
Richard Dapoigny, Patrick Barlatier
Formal foundations for situation awareness based on dependent type theory. Inf. Fusion 14 (1) (2013)
Richard Dapoigny, Patrick Barlatier
A Typed Approach for Contextualizing the Part-Whole Relation. CONTEXT (2013)
Christian Cote, Richard Dapoigny, Caroline Wintergerst
Enhancing Publication Description with Resources Metadata. FLAIRS Conference (2012)
Patrick Barlatier, Richard Dapoigny
A type-theoretical approach for ontologies: The case of roles. Appl. Ontology 7 (3) (2012)
Richard Dapoigny, Patrick Barlatier
Using a Dependently-Typed Language for Expressing Ontologies. KSEM (2011)
Richard Dapoigny, Patrick Barlatier
Towards Ontological Correctness of Part-whole Relations with Dependent Types. FOIS (2010)
Richard Dapoigny, Patrick Barlatier
Modeling Contexts with Dependent Types. Fundam. Informaticae 104 (4) (2010)
Richard Dapoigny, Patrick Barlatier
Reasoning about Relations with Dependent Types: Application to Context-Aware Applications. ISMIS (2009)
Richard Dapoigny, Patrick Barlatier
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations. ER (2009)
Ismaïl Biskri, Anca Pascu, Richard Dapoigny, Florence Le Priol
Special Track on Semantics, Ontologies, and Computational Linguistics. FLAIRS Conference (2009)
Patrick Barlatier, Richard Dapoigny
A Theorem Prover with Dependent Types for Reasoning about Actions. STAIRS (2008)
Richard Dapoigny, Patrick Barlatier
Causal Reasoning with Contexts Using Dependent Types. FLAIRS Conference (2008)
Richard Dapoigny, Patrick Barlatier
Vers un modèle formel pour le raisonnement à partir des contextes. Rev. d'Intelligence Artif. 22 (6) (2008)
Richard Dapoigny, Patrick Barlatier
Towards a Conceptual Structure based on Type Theory. ICCS Supplement (2008)
Patrick Barlatier, Richard Dapoigny
Using Contexts to Prove and Share Situations. FLAIRS Conference (2007)
Nacima Mellal, Richard Dapoigny
Service Retrieval for Distributed Environment: An Approach Based Service-Ontologies Mapping. AWIC (2007)
Richard Dapoigny, Patrick Barlatier
Towards a Context Theory for Context-aware systems. AITamI@IJCAI (best papers) (2007)
Nacima Mellal, Richard Dapoigny
Formal Method for Automatic and Semantic Mapping of Distributed Service-Ontologies. ICSOFT (PL/DPS/KE/MUSE) (2007)
Richard Dapoigny, Patrick Barlatier
Goal Reasoning with Context Record Types. CONTEXT (2007)
Nacima Mellal, Richard Dapoigny, Laurent Foulloy
Semantic Interoperability between Functional Ontologies. DB&IS (2006)
Richard Dapoigny, Patrick Barlatier
Dependent Record Types for Dynamic Context Representation. SGAI Conf. (2006)
Nacima Mellal, Richard Dapoigny, Patrick Barlatier, Laurent Foulloy
Modeling and Multi-agent Specification of IF-Based Distributed Goal Ontologies. IEA/AIE (2006)
Richard Dapoigny, Patrick Barlatier, Nacima Mellal, Eric Benoit, Laurent Foulloy
Inferential Knowledge Sharing with Goal Hierarchies in Distributed Engineering Systems. IICAI (2005)
Richard Dapoigny, Patrick Barlatier, Eric Benoit, Laurent Foulloy
deriving behavior from goal structure for the intelligent control of physical systems. ICINCO (2005)
Richard Dapoigny, Patrick Barlatier, Laurent Foulloy, Eric Benoit
Formal Goal Generation for Intelligent Control Systems. IEA/AIE (2005)
Richard Dapoigny, Patrick Barlatier, Laurent Foulloy, Eric Benoit
A Functional and Behavioral Knowledge-based Implementation for Intelligent Sensors/Actuators. FLAIRS Conference (2004)
Richard Dapoigny, Eric Benoit, Laurent Foulloy
Agent-Based Implementation on Intelligent Instruments. IEA/AIE (2003)
Richard Dapoigny, Eric Benoit, Laurent Foulloy
Functional Ontology for Intelligent Instruments. ISMIS (2003)
Eric Benoit, Richard Dapoigny, Laurent Foulloy
Fuzzy-based intelligent sensors: modeling, design, application. ETFA (2) (2001)
Richard Dapoigny, Michel Lamure, Nicolas Nicoloyannis
Pretopological Transformations of Binary Images: A Parallel Implementation. Parallel and Distributed Computing and Systems (1995)