Planning based on dynamic epistemic logic
Benedikt Löwe, Eric Pacuit, Andreas Witzel, Jan van Eijck, Benedikt Löwe, Eric Pacuit, Andreas Witzel · 2010
In recent years, logicians have become increasingly interested in the interplay of several agents, especially in dynamic settings of epistemic and doxastic nature. Fruitful technical advances have led to deep insights into the epistemic nature of interaction by logicians, and this new direction of logic has quickly gained