Patrick Barlatier

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 1

Top Venues

ICCS

COSIT

CONTEXT

Inf. Fusion

University of Savoy, Annecy, France (PHD)

Education History

University of Savoy, Annecy, France

PHD

Publications

Richard Dapoigny, Patrick Barlatier
Towards a qualitative representation for specifying natural language. CIVEMSA (2017)
Richard Dapoigny, Patrick Barlatier
A Coq-Based Axiomatization of Tarski's Mereogeometry. COSIT (2015)
Richard Dapoigny, Patrick Barlatier
Specifying Well-Formed Part-Whole Relations in Coq. ICCS (2014)
Richard Dapoigny, Patrick Barlatier
Modeling Ontological Structures with Type Classes in Coq. ICCS (2013)
Richard Dapoigny, Patrick Barlatier
Formal foundations for situation awareness based on dependent type theory. Inf. Fusion 14 (1) (2013)
Richard Dapoigny, Patrick Barlatier
A Typed Approach for Contextualizing the Part-Whole Relation. CONTEXT (2013)
Patrick Barlatier, Richard Dapoigny
A type-theoretical approach for ontologies: The case of roles. Appl. Ontology 7 (3) (2012)
Richard Dapoigny, Patrick Barlatier
Using a Dependently-Typed Language for Expressing Ontologies. KSEM (2011)
Richard Dapoigny, Patrick Barlatier
Towards Ontological Correctness of Part-whole Relations with Dependent Types. FOIS (2010)
Richard Dapoigny, Patrick Barlatier
Modeling Contexts with Dependent Types. Fundam. Informaticae 104 (4) (2010)
Richard Dapoigny, Patrick Barlatier
Reasoning about Relations with Dependent Types: Application to Context-Aware Applications. ISMIS (2009)
Richard Dapoigny, Patrick Barlatier
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations. ER (2009)
Patrick Barlatier, Richard Dapoigny
A Theorem Prover with Dependent Types for Reasoning about Actions. STAIRS (2008)
Richard Dapoigny, Patrick Barlatier
Causal Reasoning with Contexts Using Dependent Types. FLAIRS Conference (2008)
Richard Dapoigny, Patrick Barlatier
Vers un modèle formel pour le raisonnement à partir des contextes. Rev. d'Intelligence Artif. 22 (6) (2008)
Richard Dapoigny, Patrick Barlatier
Towards a Conceptual Structure based on Type Theory. ICCS Supplement (2008)
Patrick Barlatier, Richard Dapoigny
Using Contexts to Prove and Share Situations. FLAIRS Conference (2007)
Richard Dapoigny, Patrick Barlatier
Towards a Context Theory for Context-aware systems. AITamI@IJCAI (best papers) (2007)
Richard Dapoigny, Patrick Barlatier
Goal Reasoning with Context Record Types. CONTEXT (2007)
Richard Dapoigny, Patrick Barlatier
Dependent Record Types for Dynamic Context Representation. SGAI Conf. (2006)
Nacima Mellal, Richard Dapoigny, Patrick Barlatier, Laurent Foulloy
Modeling and Multi-agent Specification of IF-Based Distributed Goal Ontologies. IEA/AIE (2006)
Richard Dapoigny, Patrick Barlatier, Nacima Mellal, Eric Benoit, Laurent Foulloy
Inferential Knowledge Sharing with Goal Hierarchies in Distributed Engineering Systems. IICAI (2005)
Richard Dapoigny, Patrick Barlatier, Eric Benoit, Laurent Foulloy
deriving behavior from goal structure for the intelligent control of physical systems. ICINCO (2005)
Richard Dapoigny, Patrick Barlatier, Laurent Foulloy, Eric Benoit
Formal Goal Generation for Intelligent Control Systems. IEA/AIE (2005)
Richard Dapoigny, Patrick Barlatier, Laurent Foulloy, Eric Benoit
A Functional and Behavioral Knowledge-based Implementation for Intelligent Sensors/Actuators. FLAIRS Conference (2004)

Patrick Barlatier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Patrick Barlatier