olivier bartheye
- Centre de Recherche de l'École de l'air (CReA)
Publications
Publications
Retour sur un exemple historique en Prolog III : le remplissage d’un rectangle par des carrés de tailles distinctesRevue Ouverte d'Intelligence Artificielle, 2024, Revue Ouverte d'Intelligence Artificielle, Hommage à Alain Colmerauer, Volume 5 (2024) (no. 2-3,), pp. 95-119 |
|
Bernardo Autonomous Emotional Agents Increase Perception of VR StimuliNetwork and Communication Technologies;, 2020, 5 (1), pp.11-25 |
|
Bistability, Nash Equilibria, Relatively Dark Collectives, and Social Physics: Modeling the Social Behavior of TeamsJournal of Enterprise Transformation, 2016, 5 (4), pp.241-274. ⟨10.1080/19488289.2015.1123203⟩ |
Comparing methods of UAV detection and tracking based on low-cost 3D LiDARSPÏE Defense + Security Technical Conferences Automatic - Target Recognition XXXV, Apr 2025, Orlando, France. pp.6, ⟨10.1117/12.3052792⟩ |
|
Improvement of cognitive performance under negative emotions in complex environments utilizing tDCS and Artificial IntelligenceAerospace Medical Association - Annual Scientific Meeting, ASMA, Jun 2025, Atlanta (GA), United States |
|
Enhancing drone abnormal behavior detection using data fusion techniques and dynamic Bayesian network methodsSignal Processing, Sensor/Information Fusion, and Target Recognition XXXIII, Apr 2024, National Harbor, France. pp.14, ⟨10.1117/12.3013718⟩ |
|
Sequential evidential decision making for real‑time drone anomaly detection: a Sim2Real VBS approachSPIE Signal Processing, Sensor/Information Fusion, and Target Recognition XXXIV, Apr 2025, Orlando, France. pp.13, ⟨10.1117/12.3053117⟩ |
|
Real-World Validation of Drone Anomaly Detection Using Evidential NetworksFUSION 2025 28th International Conference on Information Fusion, Jul 2025, Rio de Janeiro, France. pp.1-8, ⟨10.23919/FUSION65864.2025.11124171⟩ |
|
Advancing the Detection of Abnormal Drone Behaviors: A Dynamic Bayesian Network Approach Enhanced by the Belief Function Machine2024 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⟩ |
|
AI in Flight: Advancing Aviation Safety through Real-Time Monitoring of Pilots' Neuropsychological StatesICCAS International Conference on Cognitive Aircraft Systems, ISAE SUPAERO Toulouse, May 2024, Toulouse, France |
|
The Arithmetic of Machine Decision: How to Find the Symmetries of Complete ChaosBi-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 |
|
The Metaloop Paradigm in EducationThe 5th Global Conference on Education and Teaching ( GLOBALET), GlobalKS, Dec 2023, Paris, France |
|
|
|
Abnormal Behavior State-of-the-Art for UAV Detection in Complex EnvironmentsDetection, 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⟩ |
How Does Cognitive Fatigue Influence Alarm Detection in Flight Simulator? Classification of Electrophysiological signatures with Explainable IAICCAS 22 international conference on cognitive aircraft systems, Jun 2022, Toulouse, France. pp.47-51, ⟨10.5220/0000172100003622⟩ |
|
A MetaCognitive Conceptual Continuum.4th Artificial Intelligence and Cloud Computing Conference AICCC, Dec 2021, Kyoto (Japan), Japan |
|
Computational Contexts, Sense and Action : how a Machine can Decide ?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 |
|
Metamodeling NATO Operation Orders: a proof-of-concept to deal with digitalization of the battlefield2019 14th Annual Conference System of Systems Engineering (SoSE), May 2019, Anchorage, France. pp.260-265, ⟨10.1109/SYSOSE.2019.8753885⟩ |
|
Context Classification using Torsion and Weak Negation : some Criteria for Good Computational PropertiesAAAI17 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 |
|
Epistemological qualification of valid action plans for UGVs or UAVs in urban areasAAAI 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 |
|
Risk Management Systems Must Provide Automatic Decisions According to Crisis Computable AlgebraAAAI 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 |
|
Software components for a cyber training platform design to implementationColloque 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 |
|
Algebraic Models of the Self-Orientation Concept for Autonomous SystemsAAAI 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 |
|
A simulation platform and a concrete workbench for unmanned combat engineers in urban warfare environmentsEDA conference Critical Defense Technologies - Exploring Innovation Together 2013,, EDA, Dec 2013, Athènes,, Greece |
|
Crisis Algebras and Tactic Algebras (Decision Support Algebras) must be Computational Algebras1st 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 |
|
Algebraic characterization of self-orientation systems2012 2nd International Conference on Communications, Computing and Control Applications (CCCA), Dec 2012, Marseilles, France. pp.1-6, ⟨10.1109/CCCA.2012.6417920⟩ |
|
A comprehensive study of an algebraic group representation designed for the AI Classical Planning CalculusETAPS’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 |
|
Artificial Intelligence (AI) planning game software architectures are able to model certain very critical military operationsSGW/DWT-Events’12 : Operations Research : the Science of Making Better,, SGW/DWT, Jun 2012, Bonn, Germany |
|
Algebraic Characterization of Planning Arrows inside a Consistent Projective Quaternary StructureACCAT - Applied and Computational Category Theory - ETAPS 11, T. Soboll, Mar 2011, Saarbrücken, Germany |
|
Projective Quaternary Simple Algebraic Groups are able to encode AI Action Planning ConsistencyIIAS’11 Jochen Pfalzgraf Memorial Symposium, Pr G. Lasker, Dr O. Bartheye, Aug 2011, Baden - Baden, Germany |
|
Intégration de services Web traitant les fiches d’anomalies du Simat dans la plateforme WebLab12è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 |
|
From Planning Bicategories and Bilinear Logic towards a Non-commutative Algebraic Varietal Planning Space.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 |
|
Where Abstract Mathematics rescue Consistency Representations by the mean of Projective Algebraic Action Planning GroupsIIAS'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 |
|
|
|
A Real-Time PDDL-based Planning Component for Video GamesFifth Artificial Intelligence and Interactive Digital Entertainment Conference, Stanford University, Oct 2009, Palo Alto, California, France. pp.130-135, ⟨10.1609/aiide.v5i1.12370⟩ |
A planning plug-in for Virtual Battle Space 2 a report from the trenches2009 Spring Simulation Multiconference, ACM/SIGSIM, Mar 2009, San Diego (California), United States |
|
Artiflcial Intelligence Partial Order Planning: a Bicategorical and a Proof-Theoretical FrameworkETAPS 09 - 4th ACCAT Workshop (ACCAT’09), Pr J. Pfalzgraf, Dr Thomas Soboll Department of Computer Sciences, Univ. Salzburg, Mar 2009, York (GB), United Kingdom |
|
Qualification of a Geometrical Phase Space for Partial Order Planning : towards a Unified Theory involving Local Action and ConsistencyInterSymp-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 |
|
Connecting PDDL-based off-the-shelf planners to an arcade gameThe Workshop on AI in Games AIG-08 - ECAI 2008 - 18th European Conference on Artificial Intelligence,, Adi Botea - Carlos Linares Lopez, Jul 2008, Patras, Greece |
|
Planning as a software component : a report from the trenches26th 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 |
|
New results for Arithmetic Constraint Satisfaction Partial Order Planning Prototype24th workshop of the UK Planning and Scheduling Special Interest Group (Plansig 2005), City University, PLANSIG 05, Dec 2005, Londres (Grande Bretagne), United Kingdom |
|
Qweak : An Axiom-Based Arithmetic Constraint Satisfaction Planning Prototype22th workshop of the UK Planning and Scheduling Special Interest Group (Plansig 2003), University of Strathclyde, PLANSIG 2003, Dec 2003, Glasgow (SCOTLAND), United Kingdom |
A Symmetrical Trust Teaming Model,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 |
|
Operational Reasoning’Strikes Back in Aeronautics and SpaceICCAS International Conference on Cognitive Aircraft Systems, Proceeedings, 2024 |
Self-Visualization for the Human-Machine Mind-Body ProblemInterdependent human-machine teams. The path to autonomy, Elsevier, In press |
|
Le défi du codage d’une autonomie décisionnelle dans les systèmes embarquésLes enjeux de l’autonomie des systèmes d’armes létaux, Editions pedone, 2022, ISBN 978-2-233-01019-3 |
|
|
|
Principles of an Accurate Decision and Sense-Making for Virtual MindsEngineering 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⟩ |
Algebraic Modeling of the Causal Break and Representation of the Decision Process in Contextual StructuresComputational Context: The Value, Theory and Application of Context with AI, CRC Press, 2018, 9780429453151. ⟨10.1201/9780429453151⟩ |
|
A PDDL-Based Planning Architecture to Support Arcade Game PlayingAgents 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⟩ |
Conception d’un outil de mise au point de programmes Prolog visant à l’exploration minimale des arbres de recherches1987 |
|
Représentation graphique des orbitales moléculaires utilisant la méthode H.M.O1984 |
Calcul de plans d'actions : des méthodes déductives vers les méthodes algébriquesInformatique [cs]. Université d'Aix Marseille II, 1994. Français. ⟨NNT : ⟩ |