Richard Dapoigny

42 papers A* 1A 1C 10Misc 8Journal 5Unranked 14

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