Tractable multiagent planning for epistemic goals

@inproceedings{Hoek2002TractableMP,
  title={Tractable multiagent planning for epistemic goals},
  author={Wiebe van der Hoek and Michael Wooldridge},
  booktitle={AAMAS},
  year={2002}
}
An epistemic goal is a goal about the knowledge possessed by an agent or group of agents. In this paper, we address the problem of how plans might be developed for a group of agents to cooperate to bring about such a goal. We present a novel approach to this problem, in which the problem is formulated as one of model checking in Alternating Temporal Epistemic Logic (ATEL). After introducing this logic, we present a model checking algorithm for it, and show that the model checking problem for… CONTINUE READING
Highly Influential
This paper has highly influenced 19 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 215 citations. REVIEW CITATIONS
135 Citations
3 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 135 extracted citations

216 Citations

0102030'02'05'09'13'17
Citations per Year
Semantic Scholar estimates that this publication has 216 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-3 of 3 references

Similar Papers

Loading similar papers…