| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Richard Dapoigny, Patrick Barlatier |
Using a Dependently-Typed Language for Expressing Ontologies.  |
KSEM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Dapoigny, Patrick Barlatier |
Modeling Contexts with Dependent Types. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Dapoigny, Patrick Barlatier |
Towards Ontological Correctness of Part-whole Relations with Dependent Types. |
FOIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Dapoigny, Patrick Barlatier |
Reasoning about Relations with Dependent Types: Application to Context-Aware Applications. |
ISMIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Dapoigny, Patrick Barlatier |
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations. |
ER |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Dapoigny, Patrick Barlatier |
Vers un modèle formel pour le raisonnement à partir des contextes. |
Revue d'Intelligence Artificielle |
2008 |
DBLP BibTeX RDF |
|
| 1 | Patrick Barlatier, Richard Dapoigny |
A Theorem Prover with Dependent Types for Reasoning about Actions. |
STAIRS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Dapoigny, Patrick Barlatier |
Causal Reasoning with Contexts Using Dependent Types. |
FLAIRS Conference |
2008 |
DBLP BibTeX RDF |
|
| 1 | Richard Dapoigny, Patrick Barlatier |
Towards a Conceptual Structure based on Type Theory. |
ICCS Supplement |
2008 |
DBLP BibTeX RDF |
|
| 1 | Richard Dapoigny, Patrick Barlatier |
Goal Reasoning with Context Record Types. |
CONTEXT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Barlatier, Richard Dapoigny |
Using Contexts to Prove and Share Situations. |
FLAIRS Conference |
2007 |
DBLP BibTeX RDF |
|
| 1 | Nacima Mellal, Richard Dapoigny, Patrick Barlatier, Laurent Foulloy |
Modeling and Multi-agent Specification of IF-Based Distributed Goal Ontologies. |
IEA/AIE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Dapoigny, Patrick Barlatier, Nacima Mellal, Eric Benoit, Laurent Foulloy |
Inferential Knowledge Sharing with Goal Hierarchies in Distributed Engineering Systems. |
IICAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Richard Dapoigny, Patrick Barlatier, Laurent Foulloy, Eric Benoit |
Formal Goal Generation for Intelligent Control Systems. |
IEA/AIE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Dapoigny, Patrick Barlatier, Eric Benoit, Laurent Foulloy |
deriving behavior from goal structure for the intelligent control of physical systems. |
ICINCO |
2005 |
DBLP BibTeX RDF |
|
| 1 | Richard Dapoigny, Patrick Barlatier, Laurent Foulloy, Eric Benoit |
A Functional and Behavioral Knowledge-based Implementation for Intelligent Sensors/Actuators. |
FLAIRS Conference |
2004 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")