Sebastian Reiche

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Behavioral Patterns

First Order Logic

Top Venues

J. Log. Comput.

Arch. Formal Proofs

Publications

Christoph Benzmüller, Sebastian Reiche
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy. J. Log. Comput. 33 (6) (2023)
Sebastian Reiche, Sarel Cohen, Kirill Simonov, Tobias Friedrich
Beyond Following: Augmenting Bot Detection with the Integration of Behavioral Patterns. COMPLEX NETWORKS (1) (2023)
Christoph Benzmüller, Sebastian Reiche
Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy. CoRR (2021)
Christoph Benzmüller, Sebastian Reiche
Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL. Arch. Formal Proofs 2021 (2021)
Sebastian Reiche, Christoph Benzmüller
Public Announcement Logic in HOL. DaLí (2020)
Sebastian Reiche, Christoph Benzmüller
Public Announcement Logic in HOL. CoRR (2020)