Dominique Longin — accepted AI-conference papers

2021

A Simple Framework for Cognitive Planning

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

AAAI 2021technical

We present a novel approach to cognitive planning, i.e., an agent's planning aimed at changing the cognitive attitudes of another agent including her beliefs and intentions. We encode the cognitive planning problem in an epistemic logic with a semantics exploiting belief bases. We study a NP-fragmen…

Cited by 11 Source ↗PDF ↗Scholar ↗

2020

TouIST: a Friendly Language for Propositional Logic and More

Jorge Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris +1

IJCAI 2020poster

This work deals with logical formalization and problem solving using automated solvers. We present the automatic translator TouIST that provides a simple language to generate logical formulas from a problem description. Our tool allows us to model many static or dynamic combinatorial problems and to…

Cited by 0 Source ↗PDF ↗Scholar ↗