Frederic Maris

Orcid: 0000-0002-1084-1669

According to our database1, Frederic Maris authored at least 30 papers between 2008 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Analysis of planning instances without search.
Proceedings of the 17èmes Journées d'Intelligence Artificielle Fondamentale, 2023

2022
A Simple Framework for Cognitive Planning (poster).
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.
Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Isomorphisms Between STRIPS Problems and Sub-Problems.
Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

2021
A lightweight epistemic logic and its application to planning.
Artif. Intell., 2021

A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

A Simple Framework for Cognitive Planning.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Beliefs, Time and Space: A Language for the Yōkai Board Game.
Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020

Lightweight Parallel Multi-Agent Epistemic Planning.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

TouIST: a Friendly Language for Propositional Logic and More.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019
The epistemic gossip problem.
Discret. Math., 2019

Dynamic logic of parallel propositional assignments and its applications to planning.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018
Compact Tree Encodings for Planning as QBF.
Inteligencia Artif., 2018

Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu.
Proceedings of the Journées Francophone Planification, 2018

Temporal Epistemic Gossip Problems.
Proceedings of the Multi-Agent Systems - 16th European Conference, 2018

2016
Simple Epistemic Planning: Generalised Gossiping.
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.
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.
CoRR, 2015

Temporal Constraint Satisfaction Problems and Difference Decision Diagrams: A Compilation Map.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

2014
Monotone Temporal Planning: Tractability, Extensions and Applications.
J. Artif. Intell. Res., 2014

Monotone Temporal Planning: Tractability, Extensions and Applications - (Extended Abstract).
Proceedings of the Principles and Practice of Constraint Programming, 2014

2013
Managing Temporal cycles in Planning Problems Requiring Concurrency.
Comput. Intell., 2013

Relaxation of Temporal Planning Problems.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

2012
Tractable Monotone Temporal Planning.
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.
Rev. d'Intelligence Artif., 2010

Solving Temporally-Cyclic Planning Problems.
Proceedings of the TIME 2010, 2010

Compilation of a High-level Temporal Planning Language into PDDL 2.1.
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).
PhD thesis, 2009

2008
TLP-GP: Solving Temporally-Expressive Planning Problems.
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

TLP-GP: New Results on Temporally-Expressive Planning Benchmarks.
Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008


  Loading...