Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/civemsa/DapoignyB17
AU - Dapoigny, Richard
AU - Barlatier, Patrick
TI - Towards a qualitative representation for specifying natural language.
BT - IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications, CIVEMSA 2017, Annecy, France, June 26-28, 2017
SP - 42
EP - 47
PY - 2017//
DO - 10.1109/CIVEMSA.2017.7995299
UR - https://doi.org/10.1109/CIVEMSA.2017.7995299
ER -
TY - CPAPER
ID - DBLP:conf/qcav/HafsiBD17
AU - Hafsi, Meriem
AU - Bolon, Philippe
AU - Dapoigny, Richard
TI - Detection and localization of underground networks by fusion of electromagnetic signal and GPR images.
BT - Thirteenth International Conference on Quality Control by Artificial Vision, QCAV 2017, Tokyo, Japan, May 14, 2017
SP - 1033803
PY - 2017//
DO - 10.1117/12.2266946
UR - https://doi.org/10.1117/12.2266946
ER -
TY - CPAPER
ID - DBLP:conf/cosit/DapoignyB15
AU - Dapoigny, Richard
AU - Barlatier, Patrick
TI - A Coq-Based Axiomatization of Tarski's Mereogeometry.
BT - Spatial Information Theory - 12th International Conference, COSIT 2015, Santa Fe, NM, USA, October 12-16, 2015, Proceedings
SP - 108
EP - 129
PY - 2015//
DO - 10.1007/978-3-319-23374-1_6
UR - https://doi.org/10.1007/978-3-319-23374-1_6
ER -
TY - CPAPER
ID - DBLP:conf/ksem/HafsiDB15
AU - Hafsi, Meriem
AU - Dapoigny, Richard
AU - Bolon, Philippe
TI - Toward a Type-Theoretical Approach for an Ontologically-Based Detection of Underground Networks.
BT - Knowledge Science, Engineering and Management - 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings
SP - 90
EP - 101
PY - 2015//
DO - 10.1007/978-3-319-25159-2_8
UR - https://doi.org/10.1007/978-3-319-25159-2_8
ER -
TY - CPAPER
ID - DBLP:conf/iccs/DapoignyB14
AU - Dapoigny, Richard
AU - Barlatier, Patrick
TI - Specifying Well-Formed Part-Whole Relations in Coq.
BT - Graph-Based Representation and Reasoning - 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings
SP - 159
EP - 173
PY - 2014//
DO - 10.1007/978-3-319-08389-6_14
UR - https://doi.org/10.1007/978-3-319-08389-6_14
ER -
TY - CHAP
ID - DBLP:books/sp/14/DapoignyB14
AU - Dapoigny, Richard
AU - Barlatier, Patrick
TI - Formalizing Context for Domain Ontologies in Coq.
BT - Context in Computing - A Cross-Disciplinary Approach for Modeling the Real World
SP - 437
EP - 454
PY - 2014//
DO - 10.1007/978-1-4939-1887-4_27
UR - https://doi.org/10.1007/978-1-4939-1887-4_27
ER -
TY - JOUR
ID - DBLP:journals/inffus/DapoignyB13
AU - Dapoigny, Richard
AU - Barlatier, Patrick
TI - Formal foundations for situation awareness based on dependent type theory.
JO - Inf. Fusion
VL - 14
IS - 1
SP - 87
EP - 107
PY - 2013//
DO - 10.1016/J.INFFUS.2012.02.006
UR - https://doi.org/10.1016/j.inffus.2012.02.006
ER -
TY - CPAPER
ID - DBLP:conf/context/DapoignyB13
AU - Dapoigny, Richard
AU - Barlatier, Patrick
TI - A Typed Approach for Contextualizing the Part-Whole Relation.
BT - Modeling and Using Context - 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings
SP - 1
EP - 14
PY - 2013//
DO - 10.1007/978-3-642-40972-1_1
UR - https://doi.org/10.1007/978-3-642-40972-1_1
ER -
TY - CPAPER
ID - DBLP:conf/iccs/DapoignyB13
AU - Dapoigny, Richard
AU - Barlatier, Patrick
TI - Modeling Ontological Structures with Type Classes in Coq.
BT - Conceptual Structures for STEM Research and Education, 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings
SP - 135
EP - 152
PY - 2013//
DO - 10.1007/978-3-642-35786-2_11
UR - https://doi.org/10.1007/978-3-642-35786-2_11
ER -
TY - CONF
ID - DBLP:conf/context/2013
ED - Brézillon, Patrick
ED - Blackburn, Patrick
ED - Dapoigny, Richard
TI - Modeling and Using Context - 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings
T3 - Lecture Notes in Computer Science
VL - 8175
PY - 2013//
PB - Springer
DO - 10.1007/978-3-642-40972-1
UR - https://doi.org/10.1007/978-3-642-40972-1
SN - ISBN 978-3-642-40971-4
ER -
TY - JOUR
ID - DBLP:journals/ao/BarlatierD12
AU - Barlatier, Patrick
AU - Dapoigny, Richard
TI - A type-theoretical approach for ontologies: The case of roles.
JO - Appl. Ontology
VL - 7
IS - 3
SP - 311
EP - 356
PY - 2012//
DO - 10.3233/AO-2012-0113
UR - https://doi.org/10.3233/AO-2012-0113
ER -
TY - CPAPER
ID - DBLP:conf/flairs/CoteDW12
AU - Cote, Christian
AU - Dapoigny, Richard
AU - Wintergerst, Caroline
TI - Enhancing Publication Description with Resources Metadata.
BT - Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, Marco Island, Florida, USA, May 23-25, 2012
PY - 2012//
UR - http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS12/paper/view/4391
ER -
TY - CPAPER
ID - DBLP:conf/ksem/DapoignyB11
AU - Dapoigny, Richard
AU - Barlatier, Patrick
TI - Using a Dependently-Typed Language for Expressing Ontologies.
BT - Knowledge Science, Engineering and Management - 5th International Conference, KSEM 2011, Irvine, CA, USA, December 12-14, 2011. Proceedings
SP - 257
EP - 268
PY - 2011//
DO - 10.1007/978-3-642-25975-3_23
UR - https://doi.org/10.1007/978-3-642-25975-3_23
ER -
TY - JOUR
ID - DBLP:journals/fuin/DapoignyB10
AU - Dapoigny, Richard
AU - Barlatier, Patrick
TI - Modeling Contexts with Dependent Types.
JO - Fundam. Informaticae
VL - 104
IS - 4
SP - 293
EP - 327
PY - 2010//
DO - 10.3233/FI-2010-351
UR - https://doi.org/10.3233/FI-2010-351
ER -
TY - CPAPER
ID - DBLP:conf/fois/DapoignyB10
AU - Dapoigny, Richard
AU - Barlatier, Patrick
TI - Towards Ontological Correctness of Part-whole Relations with Dependent Types.
BT - Formal Ontology in Information Systems, Proceedings of the Sixth International Conference, FOIS 2010, Toronto, Canada, May 11-14, 2010
SP - 45
EP - 58
PY - 2010//
DO - 10.3233/978-1-60750-535-8-45
UR - https://doi.org/10.3233/978-1-60750-535-8-45
ER -
TY - CPAPER
ID - DBLP:conf/er/DapoignyB09
AU - Dapoigny, Richard
AU - Barlatier, Patrick
TI - Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations.
BT - Conceptual Modeling - ER 2009, 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings
SP - 145
EP - 158
PY - 2009//
DO - 10.1007/978-3-642-04840-1_13
UR - https://doi.org/10.1007/978-3-642-04840-1_13
ER -
TY - CPAPER
ID - DBLP:conf/flairs/BiskriPDL09
AU - Biskri, Ismaïl
AU - Pascu, Anca
AU - Dapoigny, Richard
AU - Priol, Florence Le
TI - Special Track on Semantics, Ontologies, and Computational Linguistics.
BT - Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, May 19-21, 2009, Sanibel Island, Florida, USA
PY - 2009//
UR - http://aaai.org/ocs/index.php/FLAIRS/2009/paper/view/678
ER -
TY - CPAPER
ID - DBLP:conf/ismis/DapoignyB09
AU - Dapoigny, Richard
AU - Barlatier, Patrick
TI - Reasoning about Relations with Dependent Types: Application to Context-Aware Applications.
BT - Foundations of Intelligent Systems, 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009. Proceedings
SP - 171
EP - 180
PY - 2009//
DO - 10.1007/978-3-642-04125-9_20
UR - https://doi.org/10.1007/978-3-642-04125-9_20
ER -
TY - JOUR
ID - DBLP:journals/ria/DapoignyB08
AU - Dapoigny, Richard
AU - Barlatier, Patrick
TI - Vers un modèle formel pour le raisonnement à partir des contextes.
JO - Rev. d'Intelligence Artif.
VL - 22
IS - 6
SP - 725
EP - 755
PY - 2008//
DO - 10.3166/RIA.22.725-755
UR - https://doi.org/10.3166/ria.22.725-755
ER -
TY - CPAPER
ID - DBLP:conf/flairs/DapoignyB08
AU - Dapoigny, Richard
AU - Barlatier, Patrick
TI - Causal Reasoning with Contexts Using Dependent Types.
BT - Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 15-17, 2008, Coconut Grove, Florida, USA
SP - 107
EP - 108
PY - 2008//
UR - http://www.aaai.org/Library/FLAIRS/2008/flairs08-029.php
ER -
TY - CPAPER
ID - DBLP:conf/iccs/DapoignyB08
AU - Dapoigny, Richard
AU - Barlatier, Patrick
TI - Towards a Conceptual Structure based on Type Theory.
BT - Supplementary Proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, Toulouse, France, July 7-11, 2008
SP - 107
EP - 114
PY - 2008//
UR - https://ceur-ws.org/Vol-354/p63.pdf
ER -
TY - CPAPER
ID - DBLP:conf/stairs/BarlatierD08
AU - Barlatier, Patrick
AU - Dapoigny, Richard
TI - A Theorem Prover with Dependent Types for Reasoning about Actions.
BT - STAIRS 2008 - Proceedings of the Fourth Starting AI Researchers' Symposium, Patras, Greece, 21-25 July, 2008
SP - 12
EP - 23
PY - 2008//
DO - 10.3233/978-1-58603-893-9-12
UR - https://doi.org/10.3233/978-1-58603-893-9-12
ER -
TY - CHAP
ID - DBLP:series/sci/MellalDF08
AU - Mellal, Naçima
AU - Dapoigny, Richard
AU - Foulloy, Laurent
TI - Formal Method for Aligning Goal Ontologies.
BT - Intelligent Techniques and Tools for Novel System Architectures
SP - 279
EP - 289
PY - 2008//
DO - 10.1007/978-3-540-77623-9_16
UR - https://doi.org/10.1007/978-3-540-77623-9_16
ER -
TY - CPAPER
ID - DBLP:conf/awic/MellalD07
AU - Mellal, Naçima
AU - Dapoigny, Richard
TI - Service Retrieval for Distributed Environment: An Approach Based Service-Ontologies Mapping.
BT - Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic Web Intelligence Conference - AWIC 2007, Fontainebleau, France, June 25 - 27, 2007
SP - 236
EP - 241
PY - 2007//
DO - 10.1007/978-3-540-72575-6_38
UR - https://doi.org/10.1007/978-3-540-72575-6_38
ER -
TY - CPAPER
ID - DBLP:conf/context/DapoignyB07
AU - Dapoigny, Richard
AU - Barlatier, Patrick
TI - Goal Reasoning with Context Record Types.
BT - Modeling and Using Context, 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings
SP - 164
EP - 177
PY - 2007//
DO - 10.1007/978-3-540-74255-5_13
UR - https://doi.org/10.1007/978-3-540-74255-5_13
ER -
TY - CPAPER
ID - DBLP:conf/flairs/BarlatierD07
AU - Barlatier, Patrick
AU - Dapoigny, Richard
TI - Using Contexts to Prove and Share Situations.
BT - Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, May 7-9, 2007, Key West, Florida, USA.
SP - 448
EP - 453
PY - 2007//
UR - http://www.aaai.org/Library/FLAIRS/2007/flairs07-089.php
ER -
TY - CPAPER
ID - DBLP:conf/icsoft/MellalD07
AU - Mellal, Naçima
AU - Dapoigny, Richard
TI - Formal Method for Automatic and Semantic Mapping of Distributed Service-Ontologies.
BT - ICSOFT 2007, Proceedings of the Second International Conference on Software and Data Technologies, Volume PL/DPS/KE/MUSE, Barcelona, Spain, July 22-25, 2007
SP - 259
EP - 263
PY - 2007//
ER -
TY - CPAPER
ID - DBLP:conf/ijcai/DapoignyB07
AU - Dapoigny, Richard
AU - Barlatier, Patrick
TI - Towards a Context Theory for Context-aware systems.
BT - Advances in Ambient Intelligence [best papers from AITamI@IJCAI 2007, Hyderabad, India, January 2007].
SP - 36
EP - 55
PY - 2007//
UR - http://www.booksonline.iospress.nl/Content/View.aspx?piid=7296
ER -
TY - CPAPER
ID - DBLP:conf/balt/MellalDF06
AU - Mellal, Naçima
AU - Dapoigny, Richard
AU - Foulloy, Laurent
TI - Semantic Interoperability between Functional Ontologies.
BT - Databases and Information Systems IV - Selected Papers from the Seventh International Baltic Conference, DB&IS 2006, July 3-6, 2006, Vilnius, Lithuania
SP - 277
EP - 290
PY - 2006//
UR - http://www.booksonline.iospress.nl/Content/View.aspx?piid=5445
ER -
TY - CPAPER
ID - DBLP:conf/ieaaie/MellalDBF06
AU - Mellal, Naçima
AU - Dapoigny, Richard
AU - Barlatier, Patrick
AU - Foulloy, Laurent
TI - Modeling and Multi-agent Specification of IF-Based Distributed Goal Ontologies.
BT - 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
SP - 14
EP - 23
PY - 2006//
DO - 10.1007/11779568_4
UR - https://doi.org/10.1007/11779568_4
ER -
TY - CPAPER
ID - DBLP:conf/sgai/DapoignyB06
AU - Dapoigny, Richard
AU - Barlatier, Patrick
TI - Dependent Record Types for Dynamic Context Representation.
BT - Research and Development in Intelligent Systems XXIII, Proceedings of AI-2006, the Twenty-sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, UK, 11-13 December, 2006
SP - 203
EP - 216
PY - 2006//
DO - 10.1007/978-1-84628-663-6_15
UR - https://doi.org/10.1007/978-1-84628-663-6_15
ER -
TY - CONF
ID - DBLP:conf/ieaaie/2006
ED - Ali, Moonis
ED - Dapoigny, Richard
TI - 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
T3 - Lecture Notes in Computer Science
VL - 4031
PY - 2006//
PB - Springer
DO - 10.1007/11779568
UR - https://doi.org/10.1007/11779568
SN - ISBN 3-540-35453-0
ER -
TY - CPAPER
ID - DBLP:conf/icinco/DapoignyBBF05
AU - Dapoigny, Richard
AU - Barlatier, Patrick
AU - Benoit, Eric
AU - Foulloy, Laurent
TI - deriving behavior from goal structure for the intelligent control of physical systems.
BT - ICINCO 2005, Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics, Barcelona, Spain, September 14-17, 2005, 4 Volumes / CD
SP - 11
EP - 18
PY - 2005//
ER -
TY - CPAPER
ID - DBLP:conf/ieaaie/DapoignyBFB05
AU - Dapoigny, Richard
AU - Barlatier, Patrick
AU - Foulloy, Laurent
AU - Benoit, Eric
TI - Formal Goal Generation for Intelligent Control Systems.
BT - Innovations in Applied Artificial Intelligence, 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005, Proceedings
SP - 712
EP - 721
PY - 2005//
DO - 10.1007/11504894_99
UR - https://doi.org/10.1007/11504894_99
ER -
TY - CPAPER
ID - DBLP:conf/iicai/DapoignyBMBF05
AU - Dapoigny, Richard
AU - Barlatier, Patrick
AU - Mellal, Naçima
AU - Benoit, Eric
AU - Foulloy, Laurent
TI - Inferential Knowledge Sharing with Goal Hierarchies in Distributed Engineering Systems.
BT - Proceedings of the 2nd Indian International Conference on Artificial Intelligence, Pune, India, December 20-22, 2005
SP - 590
EP - 608
PY - 2005//
ER -
TY - CPAPER
ID - DBLP:conf/flairs/DapoignyBFB04
AU - Dapoigny, Richard
AU - Barlatier, Patrick
AU - Foulloy, Laurent
AU - Benoit, Eric
TI - A Functional and Behavioral Knowledge-based Implementation for Intelligent Sensors/Actuators.
BT - Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, Miami Beach, Florida, USA
SP - 122
EP - 127
PY - 2004//
UR - http://www.aaai.org/Library/FLAIRS/2004/flairs04-025.php
ER -
TY - CPAPER
ID - DBLP:conf/ieaaie/DapoignyBF03
AU - Dapoigny, Richard
AU - Benoit, Eric
AU - Foulloy, Laurent
TI - Agent-Based Implementation on Intelligent Instruments.
BT - Developments in Applied Artificial Intelligence, 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings
SP - 505
EP - 515
PY - 2003//
DO - 10.1007/3-540-45034-3_51
UR - https://doi.org/10.1007/3-540-45034-3_51
ER -
TY - CPAPER
ID - DBLP:conf/ismis/DapoignyBF03
AU - Dapoigny, Richard
AU - Benoit, Eric
AU - Foulloy, Laurent
TI - Functional Ontology for Intelligent Instruments.
BT - Foundations of Intelligent Systems, 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings
SP - 88
EP - 92
PY - 2003//
DO - 10.1007/978-3-540-39592-8_13
UR - https://doi.org/10.1007/978-3-540-39592-8_13
ER -
TY - CPAPER
ID - DBLP:conf/etfa/BenoitDF01
AU - Benoit, Eric
AU - Dapoigny, Richard
AU - Foulloy, Laurent
TI - Fuzzy-based intelligent sensors: modeling, design, application.
BT - Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2001, October 15-18, 2001, Antibes/Juan les Pins, France - Volume 2
SP - 401
EP - 407
PY - 2001//
DO - 10.1109/ETFA.2001.997712
UR - https://doi.org/10.1109/ETFA.2001.997712
ER -
TY - CPAPER
ID - DBLP:conf/pdpcs/DapoignyLN95
AU - Dapoigny, Richard
AU - Lamure, Michel
AU - Nicoloyannis, Nicolas
TI - Pretopological Transformations of Binary Images: A Parallel Implementation.
BT - Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, Washington, D.C., USA, October 19-21, 1995
SP - 288
EP - 291
PY - 1995//
ER -
