Samuel Bucheli

According to our database, Samuel Bucheli authored at least 9 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Temporal Justification Logic.

Samuel Bucheli, Meghdad Ghari, Thomas Studer

Proceedings of the Ninth Workshop on Methods for Modalities, 2017

2015

Some Notes on Temporal Justification Logic.

Samuel Bucheli

CoRR, 2015

From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles.

Samuel Bucheli, Daniel Kroening, Ruben Martins, Ashutosh Natraj

Proceedings of the Towards Autonomous Robotic Systems - 16th Annual Conference, 2015

2014

Realizing public announcements by justifications.

Samuel Bucheli, Roman Kuznets, Thomas Studer

J. Comput. Syst. Sci., 2014

2011

Justifications for common knowledge.

Samuel Bucheli, Roman Kuznets, Thomas Studer

J. Appl. Non Class. Logics, 2011

Partial Realization in Dynamic Justification Logic.

Samuel Bucheli, Roman Kuznets, Thomas Studer

Proceedings of the Logic, Language, Information and Computation, 2011

Decidability for Justification Logics Revisited.

Samuel Bucheli, Roman Kuznets, Thomas Studer

Proceedings of the Logic, Language, and Computation, 2011

2010

Explicit Evidence Systems with Common Knowledge

Samuel Bucheli, Roman Kuznets, Thomas Studer

CoRR, 2010

2009

Two Ways to Common Knowledge.

Samuel Bucheli, Roman Kuznets, Thomas Studer

Proceedings of the 6th Workshop on Methods for Modalities, 2009