olivier bartheye

50
Documents
Affiliation actuelle
  • Centre de Recherche de l'École de l'air (CReA)
Identifiants chercheurs
Contact

Publications

Publications

Retour sur un exemple historique en Prolog III : le remplissage d’un rectangle par des carrés de tailles distinctes

Guy Alain Narboni , Olivier Bartheye
Revue Ouverte d'Intelligence Artificielle, 2024, Revue Ouverte d'Intelligence Artificielle, Hommage à Alain Colmerauer, Volume 5 (2024) (no. 2-3,), pp. 95-119
Article dans une revue hal-04556647 v1

Bernardo Autonomous Emotional Agents Increase Perception of VR Stimuli

Olivier Bartheye , Erik Geslin , Katy Tcha-Tokey , Salah Keziz , Teerawat Kulsuwan
Network and Communication Technologies;, 2020, 5 (1), pp.11-25
Article dans une revue hal-05376413 v1

Bistability, Nash Equilibria, Relatively Dark Collectives, and Social Physics: Modeling the Social Behavior of Teams

W. Lawless , D. Sofge , L. Chaudron , Olivier Bartheye
Journal of Enterprise Transformation, 2016, 5 (4), pp.241-274. ⟨10.1080/19488289.2015.1123203⟩
Article dans une revue hal-05372553 v1

Improvement of cognitive performance under negative emotions in complex environments utilizing tDCS and Artificial Intelligence

Ludovic Fabre , Tristan Feutren , Valentin Braud , Olivier Bartheye
Aerospace Medical Association - Annual Scientific Meeting, ASMA, Jun 2025, Atlanta (GA), United States
Communication dans un congrès hal-05107733 v1

Comparing methods of UAV detection and tracking based on low-cost 3D LiDAR

Corentin Lanusse-Malhéné , Benjamin Pannetier , Nicolas Rivière , Olivier Bartheye , Anita Schilling et al.
SPÏE Defense + Security Technical Conferences Automatic - Target Recognition XXXV, Apr 2025, Orlando, France. pp.6, ⟨10.1117/12.3052792⟩
Communication dans un congrès hal-05372420 v1

Enhancing drone abnormal behavior detection using data fusion techniques and dynamic Bayesian network methods

Pierre Pathe , Benjamin Pannetier , Olivier Bartheye
Signal Processing, Sensor/Information Fusion, and Target Recognition XXXIII, Apr 2024, National Harbor, France. pp.14, ⟨10.1117/12.3013718⟩
Communication dans un congrès hal-05085450 v1

Sequential evidential decision making for real‑time drone anomaly detection: a Sim2Real VBS approach

Pierre Pathe , Anne Laure Jousselme , Benjamin Pannetier , Olivier Bartheye
SPIE Signal Processing, Sensor/Information Fusion, and Target Recognition XXXIV, Apr 2025, Orlando, France. pp.13, ⟨10.1117/12.3053117⟩
Communication dans un congrès hal-05372319 v1

Real-World Validation of Drone Anomaly Detection Using Evidential Networks

Pierre Pathe , Anne-Laure Jousselme , Benjamin Pannetier , Olivier Bartheye
FUSION 2025 28th International Conference on Information Fusion, Jul 2025, Rio de Janeiro, France. pp.1-8, ⟨10.23919/FUSION65864.2025.11124171⟩
Communication dans un congrès hal-05372313 v1

Advancing the Detection of Abnormal Drone Behaviors: A Dynamic Bayesian Network Approach Enhanced by the Belief Function Machine

Pierre Pathé , Benjamin Pannetier , Olivier Bartheye
2024 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI), Sep 2024, Pilsen, Czech Republic. pp.1-6, ⟨10.1109/MFI62651.2024.10705776⟩
Communication dans un congrès hal-05372348 v1

AI in Flight: Advancing Aviation Safety through Real-Time Monitoring of Pilots' Neuropsychological States

Laure Gicquel , Olivier Bartheye , Ludovic Fabre
ICCAS International Conference on Cognitive Aircraft Systems, ISAE SUPAERO Toulouse, May 2024, Toulouse, France
Communication dans un congrès hal-04556721 v1

The Arithmetic of Machine Decision: How to Find the Symmetries of Complete Chaos

Olivier Bartheye , Laurent Chaudron
Bi-directionality in Human-AI Collaborative Systems AAAI Spring Symposium Series Stanford University, Stanford, CA, USA, March 25-27, 2024, Mar 2024, Palo Alto (Stanford), United States
Communication dans un congrès hal-04556690 v1
Image document

Abnormal Behavior State-of-the-Art for UAV Detection in Complex Environments

Pierre PATHE , Benjamin Pannetier , Bartheye Olivier , Daniel Lieutenant-Colonel Gigan
Detection, Tracking, ID and Defeat of Small UAVs in Complex Environments -- STO-MP-SET-315, NATO - OTAN -- Science & Technology Organization, Oct 2023, Copenhagen, Denmark. ⟨10.14339/STO-MP-SET-315⟩
Communication dans un congrès hal-04513213 v1

The Metaloop Paradigm in Education

Laurent Chaudron , Olivier Bartheye , Arnaud Violland
The 5th Global Conference on Education and Teaching ( GLOBALET), GlobalKS, Dec 2023, Paris, France
Communication dans un congrès hal-04556777 v1

How Does Cognitive Fatigue Influence Alarm Detection in Flight Simulator? Classification of Electrophysiological signatures with Explainable IA

Eva Massé , Olivier Bartheye , Ludovic Fabre
ICCAS 22 international conference on cognitive aircraft systems, Jun 2022, Toulouse, France. pp.47-51, ⟨10.5220/0000172100003622⟩
Communication dans un congrès hal-04557201 v1

A MetaCognitive Conceptual Continuum.

Olivier Bartheye , Laurent M Chaudron , Arnaud Violland , Laura Christon
4th Artificial Intelligence and Cloud Computing Conference AICCC, Dec 2021, Kyoto (Japan), Japan
Communication dans un congrès hal-04557253 v1

Metamodeling NATO Operation Orders: a proof-of-concept to deal with digitalization of the battlefield

Nicolas Belloir , Jeremy Buisson , Olivier Bartheye
2019 14th Annual Conference System of Systems Engineering (SoSE), May 2019, Anchorage, France. pp.260-265, ⟨10.1109/SYSOSE.2019.8753885⟩
Communication dans un congrès hal-05372560 v1

Computational Contexts, Sense and Action : how a Machine can Decide ?

Olivier Bartheye , Laurent Chaudron
AAAI19 Spring Symposia, Stanford University, USA, 2019 - Artificial Intelligence (AI), Autonomous Machines and Human Awareness: User Interventions, Intuition and Mutually Constructed Context, Ranjeev Mittu and Don Sofge (Naval Research Laboratory, {ranjeev.mittu,don.sofge}@nrl.navy.mil); W.F. Lawless (Chair) (Paine College, w.lawless@icloud.com), Mar 2019, Palo Alto, CA, United States
Communication dans un congrès hal-05374483 v1

Context Classification using Torsion and Weak Negation : some Criteria for Good Computational Properties

Olivier Bartheye , Laurent Chaudron
AAAI17 Spring Symposia, Stanford University, USA, 2017 - Computational Context: Why It’s Important, What It Means, and Can It Be Computed?, AAAI17 D. Sofge - R. Mittu - B. Lawless, Mar 2017, Palo Alto (Stanford), United States
Communication dans un congrès hal-05374520 v1

Epistemological qualification of valid action plans for UGVs or UAVs in urban areas

Olivier Bartheye , Laurent Chaudron
AAAI 2016 Symposia - No. 1: AI and the Mitigation of Human Error: Anomalies, Team Metrics and Thermodynamic, AAAI D. Sofge - R. Mittu - B. Lawless, Mar 2016, Palo Alto (Stanford), United States
Communication dans un congrès hal-05374678 v1

Risk Management Systems Must Provide Automatic Decisions According to Crisis Computable Algebra

Olivier Bartheye , Laurent Chaudron
AAAI Spring Symposia 2015 - No. 2: Foundations of Autonomy and Its (Cyber) Threats: From Individuals to Interdependence, D. Sofge - R. Mittu - B. Lawless, Mar 2015, Palo Alto (Stanford), United States
Communication dans un congrès hal-05374699 v1

Software components for a cyber training platform design to implementation

Olivier Bartheye
Colloque L’intégration du Cyber dans la planification des opérations et des missions de la Politique de Sécurité et de Défense Commune de l’Union européenne,, Ecoles Militaires de Saint-Cyr Coëtquidan - Chaire de cyber défense et de cyber sécurité, Dec 2015, Bruxelles, Belgium
Communication dans un congrès hal-05375343 v1

Algebraic Models of the Self-Orientation Concept for Autonomous Systems

Olivier Bartheye , Laurent Chaudron
AAAI Spring Symposia 2015 - No. 2: Foundations of Autonomy and Its (Cyber) Threats: From Individuals to Interdependence, D. Sofge - R. Mittu - B. Lawless, Mar 2015, Palo Alto (Stanford), United States
Communication dans un congrès hal-05374751 v1

A simulation platform and a concrete workbench for unmanned combat engineers in urban warfare environments

Olivier Bartheye
EDA conference Critical Defense Technologies - Exploring Innovation Together 2013,, EDA, Dec 2013, Athènes,, Greece
Communication dans un congrès hal-05374774 v1

Crisis Algebras and Tactic Algebras (Decision Support Algebras) must be Computational Algebras

Olivier Bartheye
1st International Symposium on Mathematical and Computational Modelling in Computer Science, Artificial Intelligence, Robotics and Decision Support Systems, IIAS’13,, IIAS; Pr G. Lasker, Dr O. Bartheye, Jul 2013, Baden-Baden, Allemagne, Germany
Communication dans un congrès hal-05374781 v1

A comprehensive study of an algebraic group representation designed for the AI Classical Planning Calculus

Olivier Bartheye
ETAPS’12 7th Workshop on Applied and Computational Category Theory (ACCAT), Thomas Soboll (Univ. of Salzburg, Austria), Ulrike Golas (Zuse Institute Berlin, Germany), Mar 2012, Tallinn Estonia, Estonia
Communication dans un congrès hal-05374799 v1

Algebraic characterization of self-orientation systems

Olivier Bartheye
2012 2nd International Conference on Communications, Computing and Control Applications (CCCA), Dec 2012, Marseilles, France. pp.1-6, ⟨10.1109/CCCA.2012.6417920⟩
Communication dans un congrès hal-05372575 v1

Artificial Intelligence (AI) planning game software architectures are able to model certain very critical military operations

Olivier Bartheye
SGW/DWT-Events’12 : Operations Research : the Science of Making Better,, SGW/DWT, Jun 2012, Bonn, Germany
Communication dans un congrès hal-05375407 v1

Algebraic Characterization of Planning Arrows inside a Consistent Projective Quaternary Structure

Olivier Bartheye
ACCAT - Applied and Computational Category Theory - ETAPS 11, T. Soboll, Mar 2011, Saarbrücken, Germany
Communication dans un congrès hal-05374812 v1

Projective Quaternary Simple Algebraic Groups are able to encode AI Action Planning Consistency

Olivier Bartheye
IIAS’11 Jochen Pfalzgraf Memorial Symposium, Pr G. Lasker, Dr O. Bartheye, Aug 2011, Baden - Baden, Germany
Communication dans un congrès hal-05376227 v1

Intégration de services Web traitant les fiches d’anomalies du Simat dans la plateforme WebLab

Olivier Bartheye
12ème Conférence Internationale Francophone sur l'Extraction et la Gestion des Connaissances (EGC 2012), Workshop SOS-DLWD'12 : des Sources Ouvertes au Web de Données, Jan 2011, Bordeaux, France
Communication dans un congrès hal-05375368 v1

From Planning Bicategories and Bilinear Logic towards a Non-commutative Algebraic Varietal Planning Space.

Olivier Bartheye
ETAPS 10 European Joint Conferences on Theory and Practice of Software (ETAPS) - ACCAT 10 Applied and Computational Category Theory, J. Pfalzgraf, Mar 2010, Paphos (Cyprus), Cyprus
Communication dans un congrès hal-05375427 v1

Where Abstract Mathematics rescue Consistency Representations by the mean of Projective Algebraic Action Planning Groups

Olivier Bartheye
IIAS'10 4th Symposium on Multi-Agent Systems (MAS), Robotics and Cybernetics : Theory and Practice, Pr G. Lasker IIAS, Pr J. Pfalzgraf (eds) Salzburg University, Aug 2010, Baden - Baden, Germany
Communication dans un congrès hal-05375003 v1

Artiflcial Intelligence Partial Order Planning: a Bicategorical and a Proof-Theoretical Framework

Olivier Bartheye
ETAPS 09 - 4th ACCAT Workshop (ACCAT’09), Pr J. Pfalzgraf, Dr Thomas Soboll Department of Computer Sciences, Univ. Salzburg, Mar 2009, York (GB), United Kingdom
Communication dans un congrès hal-05375440 v1

A planning plug-in for Virtual Battle Space 2 a report from the trenches

Olivier Bartheye , Eric Jacopin
2009 Spring Simulation Multiconference, ACM/SIGSIM, Mar 2009, San Diego (California), United States
Communication dans un congrès hal-05375116 v1

A Real-Time PDDL-based Planning Component for Video Games

Olivier Bartheye , Éric Jacopin
Fifth Artificial Intelligence and Interactive Digital Entertainment Conference, Stanford University, Oct 2009, Palo Alto, California, France. pp.130-135, ⟨10.1609/aiide.v5i1.12370⟩
Communication dans un congrès hal-05372537 v1

Qualification of a Geometrical Phase Space for Partial Order Planning : towards a Unified Theory involving Local Action and Consistency

Olivier Bartheye
InterSymp-2009 21st International Conference on Systems Research, Informatics and Cybernetics - 3rd International Symposium on “Multiagent Systems, Robotics and Cybernetics: Theory and Practice”, International Institute for Advanced Studies (Informatics, Systems Research - Cybernetics - Education); Pr. G. Lasker, Pr J. Pfalzgraf, Aug 2009, Baden - Baden, Germany
Communication dans un congrès hal-05376154 v1

Connecting PDDL-based off-the-shelf planners to an arcade game

Olivier Bartheye , Eric Jacopin
The Workshop on AI in Games AIG-08 - ECAI 2008 - 18th European Conference on Artificial Intelligence,, Adi Botea - Carlos Linares Lopez, Jul 2008, Patras, Greece
Communication dans un congrès hal-05375093 v1

Planning as a software component : a report from the trenches

Olivier Bartheye , Eric Jacopin
26th workshop of the UK Planning and Scheduling Special Interest Group (Plansig 2007), Charles University, Faculty of Mathematics and Physics, PLANSIG 2007, Dec 2007, Prague (CZ), Czech Republic. pp.17--18
Communication dans un congrès hal-05375374 v1

New results for Arithmetic Constraint Satisfaction Partial Order Planning Prototype

Olivier Bartheye , Eric Jacopin
24th workshop of the UK Planning and Scheduling Special Interest Group (Plansig 2005), City University, PLANSIG 05, Dec 2005, Londres (Grande Bretagne), United Kingdom
Communication dans un congrès hal-05375385 v1

Qweak : An Axiom-Based Arithmetic Constraint Satisfaction Planning Prototype

Olivier Bartheye , Eric Jacopin
22th workshop of the UK Planning and Scheduling Special Interest Group (Plansig 2003), University of Strathclyde, PLANSIG 2003, Dec 2003, Glasgow (SCOTLAND), United Kingdom
Communication dans un congrès hal-05375394 v1

Operational Reasoning’Strikes Back in Aeronautics and Space

Laurent Chaudron , Olivier Bartheye , Ludovic Fabre
ICCAS International Conference on Cognitive Aircraft Systems, Proceeedings, 2024
Proceedings/Recueil des communications hal-04556731 v1

A Symmetrical Trust Teaming Model,

Pauline Munoz , Olivier Bartheye , Laurent Chaudron
Bi-directionality in Human-AI Collaborative Systems AAAI Spring Symposium Series Stanford University, Stanford, CA, USA, March 25-27, 2024, Proceedings (AAAI Artificial Intelligence and Interactive Digital Entertainment Conference), 2024
Proceedings/Recueil des communications hal-04556693 v1

Self-Visualization for the Human-Machine Mind-Body Problem

Olivier Bartheye , Laurent Chaudron
Interdependent human-machine teams. The path to autonomy, Elsevier, In press
Chapitre d'ouvrage hal-04556670 v1

Le défi du codage d’une autonomie décisionnelle dans les systèmes embarqués

Olivier Bartheye
Les enjeux de l’autonomie des systèmes d’armes létaux, Editions pedone, 2022, ISBN 978-2-233-01019-3
Chapitre d'ouvrage hal-04557241 v1

Principles of an Accurate Decision and Sense-Making for Virtual Minds

Olivier Bartheye , Laurent M Chaudron
Engineering Artificially Intelligent Systems A Systems Engineering Approach to Realizing Synergistic Capabilities, 13000, Springer International Publishing, 2021, Lecture Notes in Computer Science, 978-3-030-89384-2. ⟨10.1007/978-3-030-89385-9⟩
Chapitre d'ouvrage hal-04557272 v1

Algebraic Modeling of the Causal Break and Representation of the Decision Process in Contextual Structures

Olivier Bartheye , Laurent M Chaudron
Computational Context: The Value, Theory and Application of Context with AI, CRC Press, 2018, 9780429453151. ⟨10.1201/9780429453151⟩
Chapitre d'ouvrage hal-04557350 v1

A PDDL-Based Planning Architecture to Support Arcade Game Playing

Olivier Bartheye , Éric Jacopin
Agents for Games and Simulations, 5920, Springer Berlin Heidelberg, pp.170-189, 2009, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-11198-3_12⟩
Chapitre d'ouvrage istex hal-05373633 v1