About me

I am a computer science (CS) researcher at ENSTA - LabSTICC UMR-6285 (Brest, FR), working on "Multi-agent coordination algorithms and behavioral simulation".

Prior to this, I held a lecturer position in CS at École Navale (Brest, 2022–2023) and conducted postdoctoral research at several prestigious institutions: ONERA (Toulouse), LIRMM UMR-5506 (Montpellier), and LIS UMR-7020 (Marseille), where I was actively involved in both research and teaching activities.

I obtained a Ph.D. in Logic-Based Artificial Intelligence from Aix-Marseille Université, supervised by Professors Pierre Siegel and Andrei Doncescu. I also hold a M.Sc. in Electrical and Automation Engineering from ENSEEIHT (Toulouse).

Research

My research lies at the intersection of symbolic Artificial Intelligence and formal reasoning, with a strong emphasis on Multi-Agent Systems (MAS) and their logical foundations. I specialy focus in Knowledge Representation & Reasoning, grounded in logic programming (a paradigm of declarative programming), non-monotonic reasoning, and paraconsistent logics. These formalisms enable agents to reason in the presence of incomplete, inconsistent, or evolving information, a common challenge in real-world MAS scenarios.

In addition to my research, I contribute to the academic community through peer review activities:

Journal Reviewer:

Volunteer Conference Reviewer:

Publications

Journal
International Conference
National Conference
Preprint/Other

ORONER: An Ontology for Representing interOrganizational Networks Resilience. A building block towards adaptive network reconfiguration

Marisnel Olivares Amaro, Mohamed Ayoub Laouni, José-Luis Vilchis Medina, Éric Saux
Knowledge-Based Systems, 333, pp. 115001

Un cadre paraconsistant pour l'évaluation de similarité dans les bases de connaissances

José-Luis Vilchis Medina
Journées d'Intelligence Artificielle Fondamentale (JIAF)

Dynamic Swarming Autonomous Underwater Vehicles through Behavioral Rules using Declarative Programming

José-Luis Vilchis Medina, Benoit Zerr
OCEANS

Teaching

Lectures taught at ENSTA-Bretagne

Laboratory Session Robotic Operating System (ROS) 2A / 36h
Laboratory Session Embedded linux (Docker) 2A / 4h

Projects

AID-TECTONIC (2022-2025)

Research project conducted at École Navale/IREnav in collaboration with Lab-STICC, focusing on UAV navigation in GPS-denied environments. The purpose of this research project is to propose an alternative operational positioning system for a UAV based on video images. This approach will be based on the embedding of knowledge (environmental, mission planning) which will evaluate errors in the positioning of the UAV and decide in real-time on the progression of the mission to adapt its navigation trajectory according to the information from image analysis, sensor data from sensors (altimeter, IMU, etc.), weather conditions, etc.

AID-COMAI (2022-2025)

Research project conducted at École Navale/IREnav. Study of human-AI collaboration conditions within complex naval socio-technical systems, particularly trust mechanisms between human operators and autonomous agents (surface and underwater drones) in real mission scenarios. The project combines organizational resilience and multi-agent approaches to analyze and improve human-autonomous system interaction in high-stakes maritime environments.

SNAM project - Brittany region (2022-2023)

Research project conducted at École Navale/IREnav. Implementation of AI techniques (multi-agent systems, multi-criteria optimization) for real-time optimal energy management aboard hybrid ships. Development of advanced control strategies to optimize energy flows according to mission profiles and operational constraints, contributing to the reduction of maritime transport's carbon footprint through intelligent energy distribution.

Presentations

Un cadre paraconsistant pour l'évaluation de similarité dans les bases de connaissances
Conference JIAF | Dijon, France | July 2025
Dynamic Swarming Autonomous Underwater Vehicles through Behavioral Rules using Declarative Programming
Conference OCEANS | Brest, France | June 2025

Miscellaneous

📝 When writing...

A curated list of tools for professional and academic writing, editing, typesetting, and publishing.

🚧 When coding...

Tools and environments for logical programming, system design, and development workflows.

  • Primary Language (Logic/Theorem Proving): SWI-Prolog.
  • Other Languages: Python, C/C++, HTML/CSS, Bash.
  • Version Control & Collaboration: Git, GitHub, GitLab.
  • Containerization & Orchestration: Docker, Kubernetes.

When using Freeware tools...

A selection of open-source and lightweight tools for various tasks.

  • PDF Manipulation: Briss (cropping), PDF Mod (reorder/merge).
  • Graphics & Visual: Pinta (image editing), Peek (GIF screen recording).
  • Scheduling: When2Meet (group coordination).
  • Knowledge Organization: Freeplane (mind mapping).