Olivier Gasquet
Papers
3
Total Citations
23
H-Index
2
About
Olivier Gasquet is a leading figure in the field of spatial and epistemic logic, renowned for his pioneering work on how agents reason about knowledge and observation in geometric environments. His primary research areas include formal logic, multi-agent systems, and the intersection of knowledge representation with spatial reasoning. Gasquet’s most significant contributions center on the development of "Big Brother Logic," a novel framework that models how agents equipped with surveillance cameras in the plane can observe their surroundings and reason about each other’s observational abilities. His 2016 paper on this topic, with 11 citations, and his 2015 follow-up, with 10 citations, are foundational works that bridge visual perception and epistemic logic, enabling sophisticated analysis of stationary multi-agent systems. Additionally, his 2010 exploration of "Knowledge in Lineland" (2 citations) extends these ideas to one-dimensional spaces, offering concrete insights into how agents with limited perspectives acquire and share knowledge. Gasquet’s work is notable for its rigorous logical modeling and its practical implications for robotics, surveillance, and distributed systems, making him a key contributor to the formal understanding of situated knowledge and visual reasoning in multi-agent contexts.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3Knowledge in Lineland (Extended Abstract)2 citations · 2010