Frederic Maris

According to our database, Frederic Maris authored at least 33 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Homomorphisms and Embeddings of STRIPS Planning Models.

Arnaud Lequen, Martin C. Cooper, Frédéric Maris

Comput. Intell., December, 2024

Logic-based cognitive planning for conversational agents.

Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris

Auton. Agents Multi Agent Syst., June, 2024

A logical modeling of the Yōkai board game.

Jorge Fernandez, Dominique Longin, Emiliano Lorini, Frédéric Maris

AI Commun., 2024

2023

Analysis of planning instances without search.

Martin C. Cooper, Arnaud Lequen, Frédéric Maris

Proceedings of the 17èmes Journées d'Intelligence Artificielle Fondamentale, 2023

2022

A Simple Framework for Cognitive Planning (poster).

Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris

Proceedings of the Workshop on Cognitive Aspects of Knowledge Representation co-located with the 31st international join conference on artificial intelligence (IJCAI-ECAI 2022), 2022

An Implemented System for Cognitive Planning.

Jorge Fernandez, Dominique Longin, Emiliano Lorini, Frédéric Maris

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Isomorphisms Between STRIPS Problems and Sub-Problems.

Martin C. Cooper, Arnaud Lequen, Frédéric Maris

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

2021

A lightweight epistemic logic and its application to planning.

Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin, Pierre Régnier

Artif. Intell., 2021

A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition.

Andreas Herzig, Frédéric Maris, Elise Perrotin

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

A Simple Framework for Cognitive Planning.

Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Beliefs, Time and Space: A Language for the Yōkai Board Game.

Dominique Longin, Emiliano Lorini, Frédéric Maris

Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020

Lightweight Parallel Multi-Agent Epistemic Planning.

Martin C. Cooper, Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

TouIST: a Friendly Language for Propositional Logic and More.

Jorge Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019

The epistemic gossip problem.

Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier

Discret. Math., 2019

Dynamic logic of parallel propositional assignments and its applications to planning.

Andreas Herzig, Frédéric Maris, Julien Vianey

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

Compact Tree Encodings for Planning as QBF.

Olivier Gasquet, Dominique Longin, Frederic Maris, Pierre Régnier, Maël Valais

Inteligencia Artif., 2018

Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu.

Frédéric Maris, Maël Valais, Julien Vianey

Proceedings of the Journées Francophone Planification, 2018

Temporal Epistemic Gossip Problems.

Martin C. Cooper, Andreas Herzig, Frédéric Maris, Julien Vianey

Proceedings of the Multi-Agent Systems - 16th European Conference, 2018

2016

Simple Epistemic Planning: Generalised Gossiping.

Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

A Simple Account of Multi-Agent Epistemic Planning.

Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Twist your logic with TouIST.

Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frederic Maris, Maël Valais

CoRR, 2015

Temporal Constraint Satisfaction Problems and Difference Decision Diagrams: A Compilation Map.

Hélène Fargier, Frederic Maris, Vincent Roger

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

2014

Monotone Temporal Planning: Tractability, Extensions and Applications.

Martin C. Cooper, Frederic Maris, Pierre Régnier

J. Artif. Intell. Res., 2014

Monotone Temporal Planning: Tractability, Extensions and Applications - (Extended Abstract).

Martin C. Cooper, Frederic Maris, Pierre Régnier

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Managing Temporal cycles in Planning Problems Requiring Concurrency.

Martin C. Cooper, Frederic Maris, Pierre Régnier

Comput. Intell., 2013

Relaxation of Temporal Planning Problems.

Martin C. Cooper, Frederic Maris, Pierre Régnier

Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

2012

Tractable Monotone Temporal Planning.

Martin C. Cooper, Frederic Maris, Pierre Régnier

Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

2010

Planification temporellement expressive TLP-GP, un planificateur pour la résolution de problèmes temporellement expressifs.

Frederic Maris, Pierre Régnier

Rev. d'Intelligence Artif., 2010

Solving Temporally-Cyclic Planning Problems.

Martin C. Cooper, Frederic Maris, Pierre Régnier

Proceedings of the TIME 2010, 2010

Compilation of a High-level Temporal Planning Language into PDDL 2.1.

Martin C. Cooper, Frederic Maris, Pierre Régnier

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

2009

Planification SAT et Planification Temporellement Expressive. Les Systèmes TSP et TLP-GP. (SAT Planning and Temporally Expressive Planning. The TSP and TLP-GP systems).

Frederic Maris

PhD thesis, 2009

2008

TLP-GP: Solving Temporally-Expressive Planning Problems.

Frederic Maris, Pierre Régnier

Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

TLP-GP: New Results on Temporally-Expressive Planning Benchmarks.

Frederic Maris, Pierre Régnier

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008