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-04556647v1

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-05376413v1

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-05372553v1

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-05372420v1

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-05107733v1

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-05085450v1

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-05372319v1

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-05372313v1

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-05372348v1

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-04556721v1

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-04556690v1

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-04556777v1
Deposit thumbnail

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-04513213v1

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-04557201v1

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-04557253v1

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-05374483v1

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-05372560v1

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-05374520v1

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-05374678v1

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-05374699v1

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-05375343v1

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-05374751v1

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-05374774v1

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-05374781v1

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-05372575v1

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-05374799v1

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-05375407v1

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-05374812v1

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-05376227v1

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-05375368v1

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-05375427v1

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-05375003v1

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-05372537v1

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-05375116v1

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-05375440v1

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-05376154v1

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-05375093v1

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-05375374v1

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-05375385v1

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-05375394v1

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-04556693v1

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-04556731v1

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-04556670v1

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-04557241v1

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-04557272v1

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-04557350v1

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-05373633v1