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]
@inproceedings{GasquetGS14,
title = {Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane},
author = {Olivier Gasquet and Valentin Goranko and François Schwarzentruber},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2615786},
researchr = {https://researchr.org/publication/GasquetGS14},
cites = {0},
citedby = {0},
pages = {325-332},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014},
editor = {Ana L. C. Bazzan and Michael N. Huhns and Alessio Lomuscio and Paul Scerri},
publisher = {IFAAMAS/ACM},
isbn = {978-1-4503-2738-1},
}