Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane

Olivier Gasquet, Valentin Goranko, François Schwarzentruber. Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane. In Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio, Paul Scerri, editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014. pages 325-332, IFAAMAS/ACM, 2014. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.