Open AccessBig Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane
Author(s) -
Olivier Gasquet,
Valentin Goranko,
François Schwarzentruber
Publication year - 2014
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , semantics (computer science) , epistemic modal logic , satisfiability , theoretical computer science , model checking , extension (predicate logic) , artificial intelligence , description logic , programming language , algorithm , multimodal logic