Frédéric Maris

24 papers A* 5A 3B 1C 1Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Simple dynamic logic with parallel composition and applications to planning.
J. Log. Comput.
Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey
2025 — conf
Study of the Computational Complexity of the Repair Problem on Simple Temporal Networks with Uncertainty.
JIAF-JFPDA
Frédéric Maris, Aïdin Sumic, Thierry Vidal, Bruno Zanuttini
2024 J jnl
A logical modeling of the Yōkai board game.
AI Commun.
Jorge Fernandez, Dominique Longin, Emiliano Lorini, Frédéric Maris
2024 J jnl
Homomorphisms and Embeddings of STRIPS Planning Models.
Comput. Intell.
Arnaud Lequen, Martin C. Cooper, Frédéric Maris
2024 J jnl
Homomorphisms and Embeddings of STRIPS Planning Models.
CoRR
Arnaud Lequen, Martin C. Cooper, Frédéric Maris
2024 J jnl
Logic-based cognitive planning for conversational agents.
Auton. Agents Multi Agent Syst.
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
2023 — conf
Analysis of planning instances without search.
JIAF
Martin C. Cooper, Arnaud Lequen, Frédéric Maris
2022 — conf
A Simple Framework for Cognitive Planning (poster).
CAKR@IJCAI
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
2022 — conf
An Implemented System for Cognitive Planning.
ICAART (3)
Jorge Fernandez, Dominique Longin, Emiliano Lorini, Frédéric Maris
2022 A conf
Isomorphisms Between STRIPS Problems and Sub-Problems.
CP
Martin C. Cooper, Arnaud Lequen, Frédéric Maris
2021 A* conf
A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition.
KR
Andreas Herzig, Frédéric Maris, Elise Perrotin
2021 A* conf
A Simple Framework for Cognitive Planning.
AAAI
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
2021 J jnl
A lightweight epistemic logic and its application to planning.
Artif. Intell.
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin, Pierre Régnier
2021 — book
Automated Planning with Solvers: Concurrent and Epistemic Aspects.
Frédéric Maris
2020 B conf
Beliefs, Time and Space: A Language for the Yōkai Board Game.
PRIMA
Dominique Longin, Emiliano Lorini, Frédéric Maris
2020 A* conf
Lightweight Parallel Multi-Agent Epistemic Planning.
KR
Martin C. Cooper, Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey
2020 A* conf
TouIST: a Friendly Language for Propositional Logic and More.
IJCAI
Jorge Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier
2019 A* conf
Dynamic logic of parallel propositional assignments and its applications to planning.
IJCAI
Andreas Herzig, Frédéric Maris, Julien Vianey
2019 J jnl
The epistemic gossip problem.
Discret. Math.
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
2018 — conf
Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu.
JFPDA
Frédéric Maris, Maël Valais, Julien Vianey
2018 C conf
Temporal Epistemic Gossip Problems.
EUMAS
Martin C. Cooper, Andreas Herzig, Frédéric Maris, Julien Vianey
2016 A conf
A Simple Account of Multi-Agent Epistemic Planning.
ECAI
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
2016 A conf
Simple Epistemic Planning: Generalised Gossiping.
ECAI
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
2016 J jnl
Simple epistemic planning: generalised gossiping.
CoRR
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier