14 citations · 14 across the 3 of their papers we have counts for
3 papers
Homomorphisms and Embeddings of STRIPS Planning Models
Arnaud Lequen, Martin C. Cooper, Frédéric Maris
Determining whether two STRIPS planning instances are isomorphic is the simplest form of comparison between planning instances. It is also a particular case of the problem concerne…
Simple epistemic planning: generalised gossiping
Martin C. Cooper, Andreas Herzig, Faustine Maffre +2
The gossip problem, in which information (known as secrets) must be shared among a certain number of agents using the minimum number of calls, is of interest in the conception of c…
Twist your logic with TouIST
Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet +4
SAT provers are powerful tools for solving real-sized logic problems, but using them requires solid programming knowledge and may be seen w.r.t.\ logic like assembly language w.r.t…