Author of the publication

Isomorphisms Between STRIPS Problems and Sub-Problems.

, , and . CP, volume 235 of LIPIcs, page 13:1-13:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Isomorphisms Between STRIPS Problems and Sub-Problems., , and . CP, volume 235 of LIPIcs, page 13:1-13:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Temporal Epistemic Gossip Problems., , , and . EUMAS, volume 11450 of Lecture Notes in Computer Science, page 1-14. Springer, (2018)Beliefs, Time and Space: A Language for the Yōkai Board Game., , and . PRIMA, volume 12568 of Lecture Notes in Computer Science, page 386-393. Springer, (2020)A lightweight epistemic logic and its application to planning., , , , , and . Artif. Intell., (2021)An Implemented System for Cognitive Planning., , , and . ICAART (3), page 492-499. SCITEPRESS, (2022)A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition., , and . KR, page 676-680. (2021)Logic-based cognitive planning for conversational agents., , , and . Auton. Agents Multi Agent Syst., 38 (1): 20 (June 2024)Dynamic logic of parallel propositional assignments and its applications to planning., , and . IJCAI, page 5576-5582. ijcai.org, (2019)TouIST: a Friendly Language for Propositional Logic and More., , , , , , and . IJCAI, page 5240-5242. ijcai.org, (2020)Demo.Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu., , and . JFPDA, HAL, (2018)