Search the dblp DataBase

Publications of Author

1. Richard Dapoigny, Patrick Barlatier, Laurent Foulloy, Eric Benoit
   A Functional and Behavioral Knowledge-based Implementation for Intelligent Sensors/Actuators. [Citation Graph (0, 0)][DBLP]
   FLAIRS Conference, 2004, pp:- [Conf]
   
2. Richard Dapoigny, Patrick Barlatier, Eric Benoit, Laurent Foulloy
   deriving behavior from goal structure for the intelligent control of physical systems. [Citation Graph (0, 0)][DBLP]
   ICINCO, 2005, pp:11-18 [Conf]
   
3. Richard Dapoigny, Patrick Barlatier, Laurent Foulloy, Eric Benoit
   Formal Goal Generation for Intelligent Control Systems. [Citation Graph (0, 0)][DBLP]
   IEA/AIE, 2005, pp:712-721 [Conf]
   
4. Nacima Mellal, Richard Dapoigny, Patrick Barlatier, Laurent Foulloy
   Modeling and Multi-agent Specification of IF-Based Distributed Goal Ontologies. [Citation Graph (0, 0)][DBLP]
   IEA/AIE, 2006, pp:14-23 [Conf]
   
5. Richard Dapoigny, Patrick Barlatier, Nacima Mellal, Eric Benoit, Laurent Foulloy
   Inferential Knowledge Sharing with Goal Hierarchies in Distributed Engineering Systems. [Citation Graph (0, 0)][DBLP]
   IICAI, 2005, pp:590-608 [Conf]
   
6. Richard Dapoigny, Patrick Barlatier
   Goal Reasoning with Context Record Types. [Citation Graph (0, 0)][DBLP]
   CONTEXT, 2007, pp:164-177 [Conf]
   
7. Patrick Barlatier, Richard Dapoigny
   Using Contexts to Prove and Share Situations. [Citation Graph (0, 0)][DBLP]
   FLAIRS Conference, 2007, pp:448-453 [Conf]
   
8. 
   Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations. [Citation Graph (, )][DBLP]
   
   
9. 
   Causal Reasoning with Contexts Using Dependent Types. [Citation Graph (, )][DBLP]
   
   
10. 
    Towards Ontological Correctness of Part-whole Relations with Dependent Types. [Citation Graph (, )][DBLP]
    
    
11. 
    Towards a Conceptual Structure based on Type Theory. [Citation Graph (, )][DBLP]
    
    
12. 
    Reasoning about Relations with Dependent Types: Application to Context-Aware Applications. [Citation Graph (, )][DBLP]
    
    
13. 
    A Theorem Prover with Dependent Types for Reasoning about Actions. [Citation Graph (, )][DBLP]