olivier bartheye
50
Documents
Affiliation actuelle
- Centre de Recherche de l'École de l'air (CReA)
Identifiants chercheurs
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
Article dans une revue
hal-04556647
v1
|
|
Bernardo Autonomous Emotional Agents Increase Perception of VR StimuliNetwork 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 TeamsJournal 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 IntelligenceAerospace 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 LiDARSPÏ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 methodsSignal 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 approachSPIE 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 NetworksFUSION 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 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⟩
Communication dans un congrès
hal-05372348
v1
|
|
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
Communication dans un congrès
hal-04556721
v1
|
|
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
Communication dans un congrès
hal-04556690
v1
|
|
|
|
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⟩
Communication dans un congrès
hal-04513213
v1
|
The Metaloop Paradigm in EducationThe 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 IAICCAS 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.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 battlefield2019 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 ?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 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
Communication dans un congrès
hal-05374520
v1
|
|
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
Communication dans un congrès
hal-05374678
v1
|
|
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
Communication dans un congrès
hal-05374699
v1
|
|
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
Communication dans un congrès
hal-05375343
v1
|
|
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
Communication dans un congrès
hal-05374751
v1
|
|
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
Communication dans un congrès
hal-05374774
v1
|
|
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
Communication dans un congrès
hal-05374781
v1
|
|
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
Communication dans un congrès
hal-05374799
v1
|
|
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⟩
Communication dans un congrès
hal-05372575
v1
|
|
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
Communication dans un congrès
hal-05375407
v1
|
|
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
Communication dans un congrès
hal-05374812
v1
|
|
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
Communication dans un congrès
hal-05376227
v1
|
|
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
Communication dans un congrès
hal-05375368
v1
|
|
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
Communication dans un congrès
hal-05375427
v1
|
|
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
Communication dans un congrès
hal-05375003
v1
|
|
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
Communication dans un congrès
hal-05375440
v1
|
|
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
Communication dans un congrès
hal-05375116
v1
|
|
|
|
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⟩
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 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
Communication dans un congrès
hal-05376154
v1
|
|
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
Communication dans un congrès
hal-05375093
v1
|
|
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
Communication dans un congrès
hal-05375374
v1
|
|
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
Communication dans un congrès
hal-05375385
v1
|
|
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
Communication dans un congrès
hal-05375394
v1
|
Operational Reasoning’Strikes Back in Aeronautics and SpaceICCAS International Conference on Cognitive Aircraft Systems, Proceeedings, 2024
Proceedings/Recueil des communications
hal-04556731
v1
|
|
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
Proceedings/Recueil des communications
hal-04556693
v1
|
Self-Visualization for the Human-Machine Mind-Body ProblemInterdependent 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ésLes 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 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⟩
Chapitre d'ouvrage
hal-04557272
v1
|
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⟩
Chapitre d'ouvrage
hal-04557350
v1
|
|
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⟩
Chapitre d'ouvrage
istex
hal-05373633
v1
|
Conception d’un outil de mise au point de programmes Prolog visant à l’exploration minimale des arbres de recherches1987
Autre publication scientifique
hal-05374440
v1
|
|
Représentation graphique des orbitales moléculaires utilisant la méthode H.M.O1984
Autre publication scientifique
hal-05374447
v1
|
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 : ⟩
Thèse
tel-05374430
v1
|
Chargement...
Chargement...