Frédéric Maris

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 20

Top Topics

Strips Planning

Epistemic Logic

Top Venues

Publications

Arnaud Lequen, Martin C. Cooper, Frédéric Maris
Homomorphisms and Embeddings of STRIPS Planning Models. CoRR (2024)
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
Logic-based cognitive planning for conversational agents. Auton. Agents Multi Agent Syst. 38 (1) (2024)
Jorge Fernandez, Dominique Longin, Emiliano Lorini, Frédéric Maris
A logical modeling of the Yōkai board game. AI Commun. 37 (3) (2024)
Martin C. Cooper, Arnaud Lequen, Frédéric Maris
Analysis of planning instances without search. JIAF (2023)
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
A Simple Framework for Cognitive Planning (poster). CAKR@IJCAI (2022)
Martin C. Cooper, Arnaud Lequen, Frédéric Maris
Isomorphisms Between STRIPS Problems and Sub-Problems. CP (2022)
Jorge Fernandez, Dominique Longin, Emiliano Lorini, Frédéric Maris
An Implemented System for Cognitive Planning. ICAART (3) (2022)
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin, Pierre Régnier
A lightweight epistemic logic and its application to planning. Artif. Intell. 298 (2021)
Andreas Herzig, Frédéric Maris, Elise Perrotin
A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition. KR (2021)
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
A Simple Framework for Cognitive Planning. AAAI (2021)
Jorge Luis Fernandez Davila, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier
TouIST: a Friendly Language for Propositional Logic and More. IJCAI (2020)
Dominique Longin, Emiliano Lorini, Frédéric Maris
Beliefs, Time and Space: A Language for the Yōkai Board Game. PRIMA (2020)
Martin C. Cooper, Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey
Lightweight Parallel Multi-Agent Epistemic Planning. KR (2020)
Andreas Herzig, Frédéric Maris, Julien Vianey
Dynamic logic of parallel propositional assignments and its applications to planning. IJCAI (2019)
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
The epistemic gossip problem. Discret. Math. 342 (3) (2019)
Martin C. Cooper, Andreas Herzig, Frédéric Maris, Julien Vianey
Temporal Epistemic Gossip Problems. EUMAS (2018)
Frédéric Maris, Maël Valais, Julien Vianey
Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu. JFPDA (2018)
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
Simple epistemic planning: generalised gossiping. CoRR (2016)
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
Simple Epistemic Planning: Generalised Gossiping. ECAI (2016)
Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
A Simple Account of Multi-Agent Epistemic Planning. ECAI (2016)