Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane
暂无分享,去创建一个
Valentin Goranko | François Schwarzentruber | Olivier Gasquet | V. Goranko | François Schwarzentruber | O. Gasquet
[1] Jesús García,et al. Agent-based Coordination of Cameras , 2005, Int. J. Comput. Sci. Appl..
[2] John H. Reif,et al. The complexity of elementary algebra and geometry , 1984, STOC '84.
[3] Bernhard Beckert,et al. Dynamic Logic , 2007, The KeY Approach.
[4] Carsten Lutz,et al. Complexity and succinctness of public announcement logic , 2006, AAMAS '06.
[5] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[6] Richard Spencer-Smith,et al. Modal Logic , 2007 .
[7] Yde Venema,et al. Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.
[8] François Schwarzentruber. Seeing, Knowledge and Common Knowledge , 2011, LORI.
[9] A. Tarski. A Decision Method for Elementary Algebra and Geometry , 2023 .
[10] Barteld Kooi,et al. Dynamic Epistemic Logic , 2013 .
[11] Miguel A. Patricio,et al. Multi-camera and Multi-modal Sensor Fusion, an Architecture Overview , 2010, DCAI.
[12] Michael Sipser,et al. Introduction to the Theory of Computation , 1996, SIGA.
[13] Philippe Balbiani,et al. Agents that look at one another , 2013, Log. J. IGPL.
[14] Jelle Gerbrandy,et al. Dynamic epistemic logic , 1998 .
[15] John F. Canny,et al. Some algebraic and geometric computations in PSPACE , 1988, STOC '88.