 | 2011 |
|---|
| 16 |       | Richard Dapoigny,
Patrick Barlatier:
Using a Dependently-Typed Language for Expressing Ontologies.
KSEM 2011: 257-268 |
| 2010 |
|---|
| 15 | | Richard Dapoigny,
Patrick Barlatier:
Towards Ontological Correctness of Part-whole Relations with Dependent Types.
FOIS 2010: 45-58 |
| 14 | | Richard Dapoigny,
Patrick Barlatier:
Modeling Contexts with Dependent Types.
Fundam. Inform. 104(4): 293-327 (2010) |
| 2009 |
|---|
| 13 | | Richard Dapoigny,
Patrick Barlatier:
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations.
ER 2009: 145-158 |
| 12 | | Richard Dapoigny,
Patrick Barlatier:
Reasoning about Relations with Dependent Types: Application to Context-Aware Applications.
ISMIS 2009: 171-180 |
| 2008 |
|---|
| 11 |  | Richard Dapoigny,
Patrick Barlatier:
Causal Reasoning with Contexts Using Dependent Types.
FLAIRS Conference 2008: 107-108 |
| 10 | | Richard Dapoigny,
Patrick Barlatier:
Towards a Conceptual Structure based on Type Theory.
ICCS Supplement 2008: 107-114 |
| 9 | | Patrick Barlatier,
Richard Dapoigny:
A Theorem Prover with Dependent Types for Reasoning about Actions.
STAIRS 2008: 12-23 |
| 8 | | 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 |
|---|
| 7 | | Richard Dapoigny,
Patrick Barlatier:
Goal Reasoning with Context Record Types.
CONTEXT 2007: 164-177 |
| 6 | | Patrick Barlatier,
Richard Dapoigny:
Using Contexts to Prove and Share Situations.
FLAIRS Conference 2007: 448-453 |
| 2006 |
|---|
| 5 | | 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 |
|---|
| 4 | | Richard Dapoigny,
Patrick Barlatier,
Eric Benoit,
Laurent Foulloy:
deriving behavior from goal structure for the intelligent control of physical systems.
ICINCO 2005: 11-18 |
| 3 | | Richard Dapoigny,
Patrick Barlatier,
Laurent Foulloy,
Eric Benoit:
Formal Goal Generation for Intelligent Control Systems.
IEA/AIE 2005: 712-721 |
| 2 | | 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 |
|---|
| 1 | | Richard Dapoigny,
Patrick Barlatier,
Laurent Foulloy,
Eric Benoit:
A Functional and Behavioral Knowledge-based Implementation for Intelligent Sensors/Actuators.
FLAIRS Conference 2004 |
Data released under the ODC-BY 1.0 license — See also our legal information page