Design of a solver for multi-agent epistemic planning

10.4204/EPTCS.306.54

http://hdl.handle.net/11390/1170494

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85074771735

http://published.eptcs.org/

open access