 | 2009 |
|---|
| 21 |       | Richard Dapoigny,
Patrick Barlatier:
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations.
ER 2009: 145-158 |
| 20 |  | Ismaïl Biskri,
Anca Pascu,
Richard Dapoigny,
Florence LePriol:
Special Track on Semantics, Ontologies, and Computational Linguistics.
FLAIRS Conference 2009 |
| 19 | | Richard Dapoigny,
Patrick Barlatier:
Reasoning about Relations with Dependent Types: Application to Context-Aware Applications.
ISMIS 2009: 171-180 |
| 2008 |
|---|
| 18 | | Richard Dapoigny,
Patrick Barlatier:
Causal Reasoning with Contexts Using Dependent Types.
FLAIRS Conference 2008: 107-108 |
| 17 | | Richard Dapoigny,
Patrick Barlatier:
Towards a Conceptual Structure based on Type Theory.
ICCS Supplement 2008: 107-114 |
| 16 | | Patrick Barlatier,
Richard Dapoigny:
A Theorem Prover with Dependent Types for Reasoning about Actions.
STAIRS 2008: 12-23 |
| 15 | | Richard Dapoigny,
Patrick Barlatier:
Vers un modèle formel pour le raisonnement à partir des contextes.
Revue d'Intelligence Artificielle 22(6): 725-755 (2008) |
| 2007 |
|---|
| 14 | | Nacima Mellal,
Richard Dapoigny:
Service Retrieval for Distributed Environment: An Approach Based Service-Ontologies Mapping.
AWIC 2007: 236-241 |
| 13 | | Richard Dapoigny,
Patrick Barlatier:
Goal Reasoning with Context Record Types.
CONTEXT 2007: 164-177 |
| 12 | | Patrick Barlatier,
Richard Dapoigny:
Using Contexts to Prove and Share Situations.
FLAIRS Conference 2007: 448-453 |
| 11 | | Nacima Mellal,
Richard Dapoigny:
Formal Method for Automatic and Semantic Mapping of Distributed Service-Ontologies.
ICSOFT (PL/DPS/KE/MUSE) 2007: 259-263 |
| 2006 |
|---|
| 10 | | Moonis Ali,
Richard Dapoigny:
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
Springer 2006 |
| 9 | | Nacima Mellal,
Richard Dapoigny,
Laurent Foulloy:
Semantic Interoperability between Functional Ontologies.
DB&IS 2006: 277-290 |
| 8 | | Nacima Mellal,
Richard Dapoigny,
Patrick Barlatier,
Laurent Foulloy:
Modeling and Multi-agent Specification of IF-Based Distributed Goal Ontologies.
IEA/AIE 2006: 14-23 |
| 2005 |
|---|
| 7 | | Richard Dapoigny,
Patrick Barlatier,
Eric Benoit,
Laurent Foulloy:
deriving behavior from goal structure for the intelligent control of physical systems.
ICINCO 2005: 11-18 |
| 6 | | Richard Dapoigny,
Patrick Barlatier,
Laurent Foulloy,
Eric Benoit:
Formal Goal Generation for Intelligent Control Systems.
IEA/AIE 2005: 712-721 |
| 5 | | Richard Dapoigny,
Patrick Barlatier,
Nacima Mellal,
Eric Benoit,
Laurent Foulloy:
Inferential Knowledge Sharing with Goal Hierarchies in Distributed Engineering Systems.
IICAI 2005: 590-608 |
| 2004 |
|---|
| 4 | | Richard Dapoigny,
Patrick Barlatier,
Laurent Foulloy,
Eric Benoit:
A Functional and Behavioral Knowledge-based Implementation for Intelligent Sensors/Actuators.
FLAIRS Conference 2004 |
| 2003 |
|---|
| 3 | | Richard Dapoigny,
Eric Benoit,
Laurent Foulloy:
Agent-Based Implementation on Intelligent Instruments.
IEA/AIE 2003: 505-515 |
| 2 | | Richard Dapoigny,
Eric Benoit,
Laurent Foulloy:
Functional Ontology for Intelligent Instruments.
ISMIS 2003: 88-92 |
| 1995 |
|---|
| 1 | | Richard Dapoigny,
Michel Lamure,
Nicolas Nicoloyannis:
Pretopological Transformations of Binary Images: A Parallel Implementation.
Parallel and Distributed Computing and Systems 1995: 288-291 |
