| 2008 |
|---|
| 11 | | Richard Dapoigny,
Patrick Barlatier:
Causal Reasoning with Contexts Using Dependent Types.
FLAIRS Conference 2008: 107-108 |
| 10 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
