Patrick Barlatier

28 papers A 1C 6Misc 5Journal 5Unranked 9

Year	Rank	Type	Title / 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