Samuel Bucheli

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 1

Top Topics

Classical Logic

Agent Programming

Aerial Vehicles

Top Venues

J. Comput. Syst. Sci.

Publications

Samuel Bucheli, Meghdad Ghari, Thomas Studer
Temporal Justification Logic. M4M@ICLA (2017)
Samuel Bucheli
Some Notes on Temporal Justification Logic. CoRR (2015)
Samuel Bucheli, Daniel Kroening, Ruben Martins, Ashutosh Natraj
From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles. TAROS (2015)
Samuel Bucheli, Roman Kuznets, Thomas Studer
Realizing public announcements by justifications. J. Comput. Syst. Sci. 80 (6) (2014)
Samuel Bucheli, Roman Kuznets, Thomas Studer
Justifications for common knowledge. J. Appl. Non Class. Logics 21 (1) (2011)
Samuel Bucheli, Roman Kuznets, Thomas Studer
Decidability for Justification Logics Revisited. TbiLLC (2011)
Samuel Bucheli, Roman Kuznets, Thomas Studer
Partial Realization in Dynamic Justification Logic. WoLLIC (2011)
Samuel Bucheli, Roman Kuznets, Thomas Studer
Two Ways to Common Knowledge. Electron. Notes Theor. Comput. Sci. 262 (2010)
Samuel Bucheli, Roman Kuznets, Thomas Studer
Explicit Evidence Systems with Common Knowledge CoRR (2010)