Publications HAL de DAPOIGNY du labo/EPI LISTIC

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
https://hal.science/hal-04470647/file/2319p.pdf 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
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
https://hal.science/hal-01850086/file/RD_PB_CIVEMSAv3.pdf 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
https://hal.science/hal-01684125/file/AV100-48.pdf 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
https://hal.science/hal-01384950/file/version_final_az.pdf 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
https://hal.science/hal-00724281/file/CIS04.pdf 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
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
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
https://hal.science/hal-00377912/file/etfa2001_Benoit_Fuzzy-Based_Intelligent_Sensors.pdf BibTex