2 papers
cs.AI2016
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…
cs.CY2015
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…