Patrick Barlatier

28 papers A 1C 6Misc 5Journal 5Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Coq-based Axiomatization of Tarski's Mereogeometry.
CoRR
Patrick Barlatier, Richard Dapoigny
2017 — conf
Towards a qualitative representation for specifying natural language.
CIVEMSA
Richard Dapoigny, Patrick Barlatier
2015 — conf
A Coq-Based Axiomatization of Tarski's Mereogeometry.
COSIT
Richard Dapoigny, Patrick Barlatier
2014 — ch.
Formalizing Context for Domain Ontologies in Coq.
Context in Computing
Richard Dapoigny, Patrick Barlatier
2014 Misc conf
Specifying Well-Formed Part-Whole Relations in Coq.
ICCS
Richard Dapoigny, Patrick Barlatier
2013 — conf
A Typed Approach for Contextualizing the Part-Whole Relation.
CONTEXT
Richard Dapoigny, Patrick Barlatier
2013 J jnl
Formal foundations for situation awareness based on dependent type theory.
Inf. Fusion
Richard Dapoigny, Patrick Barlatier
2013 Misc conf
Modeling Ontological Structures with Type Classes in Coq.
ICCS
Richard Dapoigny, Patrick Barlatier
2012 J jnl
A type-theoretical approach for ontologies: The case of roles.
Appl. Ontology
Patrick Barlatier, Richard Dapoigny
2011 C conf
Using a Dependently-Typed Language for Expressing Ontologies.
KSEM
Richard Dapoigny, Patrick Barlatier
2010 J jnl
Modeling Contexts with Dependent Types.
Fundam. Informaticae
Richard Dapoigny, Patrick Barlatier
2010 C conf
Towards Ontological Correctness of Part-whole Relations with Dependent Types.
FOIS
Richard Dapoigny, Patrick Barlatier
2009 — —
Conception et implantation d'un modèle de raisonnement sur les contextes basée sur une théorie des types et utilisant une ontologie de domaine.
Patrick Barlatier
2009 C conf
Reasoning about Relations with Dependent Types: Application to Context-Aware Applications.
ISMIS
Richard Dapoigny, Patrick Barlatier
2009 A conf
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations.
ER
Richard Dapoigny, Patrick Barlatier
2008 — conf
A Theorem Prover with Dependent Types for Reasoning about Actions.
STAIRS
Patrick Barlatier, Richard Dapoigny
2008 Misc conf
Causal Reasoning with Contexts Using Dependent Types.
FLAIRS
Richard Dapoigny, Patrick Barlatier
2008 — conf
Towards a Conceptual Structure based on Type Theory.
ICCS Supplement
Richard Dapoigny, Patrick Barlatier
2008 J jnl
Vers un modèle formel pour le raisonnement à partir des contextes.
Rev. d'Intelligence Artif.
Richard Dapoigny, Patrick Barlatier
2007 — conf
Goal Reasoning with Context Record Types.
CONTEXT
Richard Dapoigny, Patrick Barlatier
2007 — conf
Towards a Context Theory for Context-aware systems.
AITamI@IJCAI (best papers)
Richard Dapoigny, Patrick Barlatier
2007 Misc conf
Using Contexts to Prove and Share Situations.
FLAIRS
Patrick Barlatier, Richard Dapoigny
2006 — conf
Dependent Record Types for Dynamic Context Representation.
SGAI Conf.
Richard Dapoigny, Patrick Barlatier
2006 C conf
Modeling and Multi-agent Specification of IF-Based Distributed Goal Ontologies.
IEA/AIE
Naçima Mellal, Richard Dapoigny, Patrick Barlatier, Laurent Foulloy
2005 C conf
Formal Goal Generation for Intelligent Control Systems.
IEA/AIE
Richard Dapoigny, Patrick Barlatier, Laurent Foulloy, Eric Benoit
2005 — conf
Inferential Knowledge Sharing with Goal Hierarchies in Distributed Engineering Systems.
IICAI
Richard Dapoigny, Patrick Barlatier, Naçima Mellal, Eric Benoit, Laurent Foulloy
2005 C conf
deriving behavior from goal structure for the intelligent control of physical systems.
ICINCO
Richard Dapoigny, Patrick Barlatier, Eric Benoit, Laurent Foulloy
2004 Misc conf
A Functional and Behavioral Knowledge-based Implementation for Intelligent Sensors/Actuators.
FLAIRS
Richard Dapoigny, Patrick Barlatier, Laurent Foulloy, Eric Benoit