- 5
- 2
François Schwarzentruber
7
Documents
Identifiants chercheurs
- francois-schwarzentruber
- 0000-0002-1228-4333
- IdRef : 158488911
Présentation
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
|
Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systemsAutonomous Agents and Multi-Agent Systems, 2016, 30, pp.793-825. ⟨10.1007/s10458-015-9306-4⟩
Article dans une revue
hal-01624691v1
|
|
Agents that look at one anotherLogic Journal of the IGPL, 2013, vol. 21 (n° 3), pp. 438-467. ⟨10.1093/jigpal/jzs052⟩
Article dans une revue
hal-01138505v1
|
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane (IDAS 2014)Information Dynamics in Artificial Societies Workshop (IDAS 2014), SINTELNET, the European network for social intelligence, Aug 2014, Tübingen, Allemagne
Communication dans un congrès
hal-03246605v1
|
|
|
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the planeInternational Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 2014, Paris, France. pp. 325-332
Communication dans un congrès
hal-01113939v1
|
Kripke's Worlds: An introduction to modal logics via tableauxSpringer-Verlag, pp.XV, 198, 2014, Studies in Universal Logic - Series ISSN: 2297-0282, 978-3-7643-8503-3. ⟨10.1007/978-3-7643-8504-0⟩
Ouvrages
hal-03220769v1
|
Coalition games over Kripke semanticsDégremont, Cédric; Keiff, Laurent; Rückert, Helge. Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, College Publications, pp.11-32, 2008, 978-1904987130
Chapitre d'ouvrage
hal-03526733v1
|
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane (Long Version)[Rapport de recherche] IRIT. 2014
Rapport
hal-03220765v1
|