Richard Dapoigny

According to our database, Richard Dapoigny authored at least 38 papers between 1995 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Detection and localization of underground networks by fusion of electromagnetic signal and GPR images.

Meriem Hafsi, Philippe Bolon, Richard Dapoigny

Proceedings of the Thirteenth International Conference on Quality Control by Artificial Vision, 2017

Towards a qualitative representation for specifying natural language.

Richard Dapoigny, Patrick Barlatier

Proceedings of the IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications, 2017

2015

Toward a Type-Theoretical Approach for an Ontologically-Based Detection of Underground Networks.

Meriem Hafsi, Richard Dapoigny, Philippe Bolon

Proceedings of the Knowledge Science, Engineering and Management, 2015

A Coq-Based Axiomatization of Tarski's Mereogeometry.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Spatial Information Theory - 12th International Conference, 2015

2014

Specifying Well-Formed Part-Whole Relations in Coq.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Graph-Based Representation and Reasoning, 2014

Formalizing Context for Domain Ontologies in Coq.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Context in Computing, 2014

2013

Formal foundations for situation awareness based on dependent type theory.

Richard Dapoigny, Patrick Barlatier

Inf. Fusion, 2013

Modeling Ontological Structures with Type Classes in Coq.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Conceptual Structures for STEM Research and Education, 2013

A Typed Approach for Contextualizing the Part-Whole Relation.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Modeling and Using Context, 2013

2012

A type-theoretical approach for ontologies: The case of roles.

Patrick Barlatier, Richard Dapoigny

Appl. Ontology, 2012

Enhancing Publication Description with Resources Metadata.

Christian Cote, Richard Dapoigny, Caroline Wintergerst

Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

2011

Using a Dependently-Typed Language for Expressing Ontologies.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Knowledge Science, Engineering and Management, 2011

2010

Modeling Contexts with Dependent Types.

Richard Dapoigny, Patrick Barlatier

Fundam. Informaticae, 2010

Towards Ontological Correctness of Part-whole Relations with Dependent Types.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Formal Ontology in Information Systems, 2010

2009

Reasoning about Relations with Dependent Types: Application to Context-Aware Applications.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Foundations of Intelligent Systems, 18th International Symposium, 2009

Special Track on Semantics, Ontologies, and Computational Linguistics.

Ismaïl Biskri, Anca Pascu, Richard Dapoigny, Florence Le Priol

Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Conceptual Modeling, 2009

2008

Formal Method for Aligning Goal Ontologies.

Naçima Mellal, Richard Dapoigny, Laurent Foulloy

Proceedings of the Intelligent Techniques and Tools for Novel System Architectures, 2008

Vers un modèle formel pour le raisonnement à partir des contextes.

Richard Dapoigny, Patrick Barlatier

Rev. d'Intelligence Artif., 2008

A Theorem Prover with Dependent Types for Reasoning about Actions.

Patrick Barlatier, Richard Dapoigny

Proceedings of the STAIRS 2008, 2008

Towards a Conceptual Structure based on Type Theory.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Supplementary Proceedings of the 16th International Conference on Conceptual Structures, 2008

Causal Reasoning with Contexts Using Dependent Types.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

2007

Towards a Context Theory for Context-aware systems.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Advances in Ambient Intelligence [best papers from AITamI@IJCAI 2007, 2007

Formal Method for Automatic and Semantic Mapping of Distributed Service-Ontologies.

Naçima Mellal, Richard Dapoigny

Proceedings of the ICSOFT 2007, 2007

Using Contexts to Prove and Share Situations.

Patrick Barlatier, Richard Dapoigny

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

Goal Reasoning with Context Record Types.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Modeling and Using Context, 2007

Service Retrieval for Distributed Environment: An Approach Based Service-Ontologies Mapping.

Naçima Mellal, Richard Dapoigny

Proceedings of the Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic Web Intelligence Conference - AWIC 2007, Fontainebleau, France, June 25, 2007

2006

Dependent Record Types for Dynamic Context Representation.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Research and Development in Intelligent Systems XXIII, 2006

Modeling and Multi-agent Specification of IF-Based Distributed Goal Ontologies.

Naçima Mellal, Richard Dapoigny, Patrick Barlatier, Laurent Foulloy

Proceedings of the Advances in Applied Artificial Intelligence, 2006

Semantic Interoperability between Functional Ontologies.

Naçima Mellal, Richard Dapoigny, Laurent Foulloy

Proceedings of the Databases and Information Systems IV, 2006

2005

Inferential Knowledge Sharing with Goal Hierarchies in Distributed Engineering Systems.

Richard Dapoigny, Patrick Barlatier, Naçima Mellal, Eric Benoit, Laurent Foulloy

Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

Formal Goal Generation for Intelligent Control Systems.

Richard Dapoigny, Patrick Barlatier, Laurent Foulloy, Eric Benoit

Proceedings of the Innovations in Applied Artificial Intelligence, 2005

deriving behavior from goal structure for the intelligent control of physical systems.

Richard Dapoigny, Patrick Barlatier, Eric Benoit, Laurent Foulloy

Proceedings of the ICINCO 2005, 2005

2004

A Functional and Behavioral Knowledge-based Implementation for Intelligent Sensors/Actuators.

Richard Dapoigny, Patrick Barlatier, Laurent Foulloy, Eric Benoit

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

2003

Functional Ontology for Intelligent Instruments.

Richard Dapoigny, Eric Benoit, Laurent Foulloy

Proceedings of the Foundations of Intelligent Systems, 14th International Symposium, 2003

Agent-Based Implementation on Intelligent Instruments.

Richard Dapoigny, Eric Benoit, Laurent Foulloy

Proceedings of the Developments in Applied Artificial Intelligence, 2003

2001

Fuzzy-based intelligent sensors: modeling, design, application.

Eric Benoit, Richard Dapoigny, Laurent Foulloy

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

1995

Pretopological Transformations of Binary Images: A Parallel Implementation.

Richard Dapoigny, Michel Lamure, Nicolas Nicoloyannis

Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995