2023
Article dans une revue
- titre
- A Monadic Second-Order Version of Tarski’s Geometry of Solids
- auteur
- Patrick Barlatier, Richard Dapoigny
- article
- Logic and Logical Philosophy, 2023, 33 (1), pp.55-99. ⟨10.12775/LLP.2023.019⟩
- Accès au texte intégral et bibtex
-
- titre
- A Monadic Second-Order Version of Tarski's Geometry of Solids
- auteur
- Patrick Barlatier, Richard Dapoigny
- article
- Logic and Logical Philosophy, In press
- Accès au bibtex
-
2017
Communication dans un congrès
- titre
- Towards a qualitative representation for specifying natural language
- auteur
- Richard Dapoigny, Patrick Barlatier
- article
- 2017 IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications (CIVEMSA), Jun 2017, Annecy, France. ⟨10.1109/CIVEMSA.2017.7995299⟩
- Accès au texte intégral et bibtex
-
- titre
- Detection and Localization of Underground Networks by Fusion of Electromagnetic Signal and GPR Images
- auteur
- Meriem Hafsi, Philippe Bolon, Richard Dapoigny
- article
- 13th International Conference on Quality Control by Artificial Vision 2017, May 2017, Tokyo, Japan
- Accès au texte intégral et bibtex
-
2016
Communication dans un congrès
- titre
- Détection automatique de canalisations enterrées par raisonnement sur des ontologies de domaine alimentées par des connaissances issues de mesures vibro- acoustiques
- auteur
- Meriem Hafsi, Richard Dapoigny, Philippe Bolon
- article
- 6èmes Journées Francophones sur les Ontologies JFO 2016, Oct 2016, Bordeaux, France
- Accès au texte intégral et bibtex
-
2015
Communication dans un congrès
- titre
- Toward a Type-Theoretical Approach for an Ontologically-Based Detection of Underground Networks
- auteur
- Meriem Hafsi, Richard Dapoigny, Philippe Bolon
- article
- Knowledge Science, Engineering and Management, Oct 2015, Chongqing, China. pp.90-101, ⟨10.1007/978-3-319-25159-2⟩
- Accès au bibtex
-
- titre
- A Coq-based Implementation of Tarski's Mereogeometry
- auteur
- Richard Dapoigny, Patrick Barlatier
- article
- COSIT'2015 - 12th International Conference on Spatial Information Theory, Oct 2015, Santa Fe, United States. pp.108-129, ⟨10.1007/978-3-319-23374-1_6⟩
- Accès au bibtex
-
2013
Article dans une revue
- titre
- Formal Foundations for Situation Awareness based on Dependent Type Theory
- auteur
- Richard Dapoigny, Patrick Barlatier
- article
- Information Fusion, 2013, 14 (1), pp. 87-107. ⟨10.1016/j.inffus.2012.02.006⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- Modeling Ontological Structures with Type Classes in Coq
- auteur
- Richard Dapoigny, Patrick Barlatier
- article
- ICCS 2013 (IOS Press), Jan 2013, Mumbai, India
- Accès au bibtex
-
2012
Article dans une revue
- titre
- A Type-theoretical approach for ontologies: the case of roles
- auteur
- Patrick Barlatier, Richard Dapoigny
- article
- Applied Ontology, 2012, 7 (3), pp.311-356. ⟨10.3233/AO-2012-0113⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- Enhancing Publication Description with Resources Metadata
- auteur
- Christian Cote, Richard Dapoigny, Caroline Wintergerst
- article
- The 25th International Florida Artificial Intelligence Research Society Conference.FLAIRS-25, May 2012, United States. pp.277-282
- Accès au bibtex
-
2011
Communication dans un congrès
- titre
- Using a dependently-typed language for Expressing ontologies
- auteur
- Richard Dapoigny, Patrick Barlatier
- article
- KSEM'2011, Dec 2011, Los Angeles, United States. pp.257-268, ⟨10.1007/978-3-642-25975-3⟩
- Accès au bibtex
-
2010
Article dans une revue
- titre
- Modeling Contexts with Dependent Types
- auteur
- Richard Dapoigny, Patrick Barlatier
- article
- Fundamenta Mathematicae, 2010, 104 (4), pp. 293-327. ⟨10.3233/FI-2010-351⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- Towards Ontological Correctness of Part-whole Relations with Dependent Types
- auteur
- Richard Dapoigny, Patrick Barlatier
- article
- Proceedings of the Sixth international Conference on Formal ontology in information Systems (FOIS 2010), May 2010, Toronto, Canada. pp. 45-58
- Accès au bibtex
-
2009
Communication dans un congrès
- titre
- Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations
- auteur
- Richard Dapoigny, Patrick Barlatier
- article
- 28th International Conference on Conceptual Modeling (ER'2009), Nov 2009, Brazil. pp.145-158, ⟨10.1007/978-3-642-04840-1_13⟩
- Accès au bibtex
-
- titre
- Reasoning about Relations with Dependent Types: Application to Context-Aware Applications
- auteur
- Richard Dapoigny, Patrick Barlatier
- article
- ISMIS 2009, Sep 2009, Prague, Czech Republic. pp.171-180, ⟨10.1007/978-3-642-04125-9_20⟩
- Accès au bibtex
-
2008
Article dans une revue
- titre
- Vers un modèle formel pour le raisonnement à partir des contextes
- auteur
- Richard Dapoigny, Barlatier Patrick
- article
- Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2008, 22 (6), pp.697-723. ⟨10.3166/ria.22.725-755⟩
- Accès au bibtex
-
2007
Chapitre d'ouvrage
- titre
- Towards a Context Theory for Context-aware systems, Advances in Ambient Intelligence
- auteur
- Richard Dapoigny, Patrick Barlatier
- article
- J.C. Augusto and D. Shapiro. Frontiers in Artificial Intelligence and Applications, IOS Press The Netherlands, pp.36-55, 2007
- Accès au bibtex
-
- titre
- Deriving behavior from goal structure for the intelligent control of physical systems
- auteur
- Richard Dapoigny, Patrick Barlatier
- article
- J.Filipe, J.L. Ferrier, J.A. Cetto and M. Carvalho. Informatics in Control, Automation and Robotics II, Springer, pp.51-58, 2007
- Accès au bibtex
-
2006
Communication dans un congrès
- titre
- The Fusion Process of Goal Ontologies using Intelligent Agents in Distributed Systerns
- auteur
- Nacima Mellal, Richard Dapoigny, Laurent Foulloy
- article
- 2006 3rd International IEEE Conference Intelligent Systems, Sep 2006, London, France. pp.42-47, ⟨10.1109/IS.2006.348391⟩
- Accès au bibtex
-
Chapitre d'ouvrage
- titre
- Modeling and Multi-agent Specification of IF-Based Distributed Goal Ontologies
- auteur
- Nacima Mellal, Richard Dapoigny, Patrick Barlatier, Laurent Foulloy
- article
- Advances in Applied Artificial Intelligence, Lecture Notes in Computer Science (4031), Springer, pp.14-23, 2006, ⟨10.1007/11779568_4⟩
- Accès au bibtex
-
- titre
- Semantic Interoperability between Functional Ontologies
- auteur
- Nacima Mellal, Richard Dapoigny, Laurent Foulloy
- article
- Databases and Information Systems {IV} - Selected Papers from the Seventh International Baltic Conference, DB{\&}IS 2006, July 3-6, 2006, Vilnius, Lithuania, 155, IOS Press, pp.277-290, 2006, Frontiers in Artificial Intelligence and Applications, 978-1-58603-715-4
- Accès au bibtex
-
2004
Communication dans un congrès
- titre
- Service integration in distributed control systems: an approach based on fusion of mereologies
- auteur
- Richard Dapoigny, Nacima Mellal, Eric Benoit, Laurent Foulloy
- article
- IEEE Conf. on Cybernetics and Intelligent Systems, Dec 2004, Singapour, Singapore. pp.1282-1287, ⟨10.1109/ICCIS.2004.1460776⟩
- Accès au texte intégral et bibtex
-
2003
Communication dans un congrès
- titre
- An ontology-based graphical tool for intelligent instruments
- auteur
- R. Dapoigny, P. Barlatier, E. Benoit, Laurent Foulloy
- article
- CIMSA'03. 2003 IEEE International Symposium on Computational Intelligence for Measurement Systems and Applications, Jul 2003, Lugano, Italy. pp.150-155, ⟨10.1109/CIMSA.2003.1227219⟩
- Accès au bibtex
-
Chapitre d'ouvrage
- titre
- Agent-Based Implementation on Intelligent Instruments
- auteur
- Richard Dapoigny, Eric Benoit, Laurent Foulloy
- article
- 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 2718, Springer Berlin Heidelberg, pp.505-515, 2003, Lecture Notes in Computer Science, ⟨10.1007/3-540-45034-3_51⟩
- Accès au bibtex
-
2001
Communication dans un congrès
- titre
- Fuzzy-Based Intelligent Sensors: Modeling, Design, Application
- auteur
- Eric Benoit, Richard Dapoigny, Laurent Foulloy
- article
- 8th IEEE Int. Conf. on Emerging Technologies and Factory Automation, Oct 2001, Juan les Pins, France. pp.401-407, ⟨10.1109/ETFA.2001.997712⟩
- Accès au texte intégral et bibtex
-