olivier bartheye

Identifiants chercheurs

IdHAL :

olivier-bartheye

ORCID :

0000-0002-0294-4895

Publications

Article dans une revue (3)

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

Communication dans un congrès (37)

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 Schillinget 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
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, Saarbrü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

Proceedings/Recueil des communications (2)

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

Chapitre d'ouvrage (5)

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

Autre publication scientifique (2)

Conception d’un outil de mise au point de programmes Prolog visant à l’exploration minimale des arbres de recherches Olivier Bartheye 1987 Autre publication scientifique hal-05374440v1
Représentation graphique des orbitales moléculaires utilisant la méthode H.M.O Olivier Bartheye 1984 Autre publication scientifique hal-05374447v1

Thèse (1)

Calcul de plans d'actions : des méthodes déductives vers les méthodes algébriques Olivier Bartheye Informatique [cs]. Université d'Aix Marseille II, 1994. Français. ⟨NNT : ⟩ Thèse tel-05374430v1