Patrick Barlatier

According to our database, Patrick Barlatier authored at least 27 papers between 2004 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Towards a qualitative representation for specifying natural language.

Richard Dapoigny, Patrick Barlatier

Proceedings of the IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications, 2017

2015

A Coq-Based Axiomatization of Tarski's Mereogeometry.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Spatial Information Theory - 12th International Conference, 2015

2014

Specifying Well-Formed Part-Whole Relations in Coq.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Graph-Based Representation and Reasoning, 2014

Formalizing Context for Domain Ontologies in Coq.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Context in Computing, 2014

2013

Formal foundations for situation awareness based on dependent type theory.

Richard Dapoigny, Patrick Barlatier

Inf. Fusion, 2013

Modeling Ontological Structures with Type Classes in Coq.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Conceptual Structures for STEM Research and Education, 2013

A Typed Approach for Contextualizing the Part-Whole Relation.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Modeling and Using Context, 2013

2012

A type-theoretical approach for ontologies: The case of roles.

Patrick Barlatier, Richard Dapoigny

Appl. Ontology, 2012

2011

Using a Dependently-Typed Language for Expressing Ontologies.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Knowledge Science, Engineering and Management, 2011

2010

Modeling Contexts with Dependent Types.

Richard Dapoigny, Patrick Barlatier

Fundam. Informaticae, 2010

Towards Ontological Correctness of Part-whole Relations with Dependent Types.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Formal Ontology in Information Systems, 2010

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

PhD thesis, 2009

Reasoning about Relations with Dependent Types: Application to Context-Aware Applications.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Foundations of Intelligent Systems, 18th International Symposium, 2009

Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Conceptual Modeling, 2009

2008

Vers un modèle formel pour le raisonnement à partir des contextes.

Richard Dapoigny, Patrick Barlatier

Rev. d'Intelligence Artif., 2008

A Theorem Prover with Dependent Types for Reasoning about Actions.

Patrick Barlatier, Richard Dapoigny

Proceedings of the STAIRS 2008, 2008

Towards a Conceptual Structure based on Type Theory.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Supplementary Proceedings of the 16th International Conference on Conceptual Structures, 2008

Causal Reasoning with Contexts Using Dependent Types.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

2007

Towards a Context Theory for Context-aware systems.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Advances in Ambient Intelligence [best papers from AITamI@IJCAI 2007, 2007

Using Contexts to Prove and Share Situations.

Patrick Barlatier, Richard Dapoigny

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

Goal Reasoning with Context Record Types.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Modeling and Using Context, 2007

2006

Dependent Record Types for Dynamic Context Representation.

Richard Dapoigny, Patrick Barlatier

Proceedings of the Research and Development in Intelligent Systems XXIII, 2006

Modeling and Multi-agent Specification of IF-Based Distributed Goal Ontologies.

Naçima Mellal, Richard Dapoigny, Patrick Barlatier, Laurent Foulloy

Proceedings of the Advances in Applied Artificial Intelligence, 2006

2005

Inferential Knowledge Sharing with Goal Hierarchies in Distributed Engineering Systems.

Richard Dapoigny, Patrick Barlatier, Naçima Mellal, Eric Benoit, Laurent Foulloy

Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

Formal Goal Generation for Intelligent Control Systems.

Richard Dapoigny, Patrick Barlatier, Laurent Foulloy, Eric Benoit

Proceedings of the Innovations in Applied Artificial Intelligence, 2005

deriving behavior from goal structure for the intelligent control of physical systems.

Richard Dapoigny, Patrick Barlatier, Eric Benoit, Laurent Foulloy

Proceedings of the ICINCO 2005, 2005

2004

A Functional and Behavioral Knowledge-based Implementation for Intelligent Sensors/Actuators.

Richard Dapoigny, Patrick Barlatier, Laurent Foulloy, Eric Benoit

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004