Concepedia

Samuel Bucheli

SB

Statistics

Publications

5

Citations

143

H-Index

5

Active since

2010

Affiliations

University of Bern(Current)

Samuel Bucheli is an author at University of Bern specializing in communication, automated reasoning, and engineering.

Top concepts

EngineeringCommunicationAutomated ReasoningSemanticsPersuasionEpistemologyFormal MethodsFormal VerificationInformation ManagementKnowledge Representation

Publications per year

2010–2014

5

Publications

5

Justifications for common knowledge

Samuel Bucheli, Roman Kuznets, Thomas Studer · Journal of Applied Non-Classical Logics · 2011 · 61 citations

Explicit Evidence Systems with Common Knowledge

Samuel Bucheli, Roman Kuznets, Thomas Studer · arXiv (Cornell University) · 2010 · 37 citations · Full text

Non-classical Logic, Knowledge Representation, Engineering +15

Justified belief change

Bryan Renne, Samuel Bucheli, Roman Kuznets et al. · Data Archiving and Networked Services (DANS) · 2010 · 17 citations

Reasoning, Engineering, Justified Belief Change +15

Realizing public announcements by justifications

Samuel Bucheli, Roman Kuznets, Thomas Studer · Journal of Computer and System Sciences · 2014 · 16 citations

Management, Public Announcements, Public Sphere +7

Two Ways to Common Knowledge

Samuel Bucheli, Roman Kuznets, Thomas Studer · Electronic Notes in Theoretical Computer Science · 2010 · 12 citations · Full text

Engineering, Collective Knowledge, Verification +22

1–5 of 5