( en | de | ru )

 

Disambiguation of "Smets, Sonja"

Author of the publication

copydeleteadd this publication to your clipboard
Social Bot Detection as a Temporal Logic Model Checking Problem.

, , and . LORI, volume 13039 of Lecture Notes in Computer Science, page 158-173. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Franz Smets

Anne Smets

Florian Smets

Karl Smets

Rudolf Smets

 

Other publications of authors with the same name

Quantum logic as a dynamic logic., and . Synth., 179 (2): 285-306 (2011)The dynamic turn in quantum logic., and . Synth., 186 (3): 753-773 (2012)A Dynamic-Logical Perspective on Quantum Behavior., and . Stud Logica, 89 (2): 187-211 (2008)A dynamic logic for learning theory., , , , and . J. Log. Algebraic Methods Program., (2019)Thinking About Causation: A Causal Language with Epistemic Operators., , , , and . DaLí, volume 12569 of Lecture Notes in Computer Science, page 17-32. Springer, (2020)Netreason: Reasoning about social networks., , and . J. Log. Comput., 32 (6): 1015-1016 (2022)Correlated Information: A Logic for Multi-Partite Quantum Systems., and . QPL@MFPS, volume 270 of Electronic Notes in Theoretical Computer Science, page 3-14. Elsevier, (2009)Beliefs supported by Arguments., and . CLAR, volume 1811 of CEUR Workshop Proceedings, page 6-11. CEUR-WS.org, (2016)Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes., , , and . LORI, volume 11813 of Lecture Notes in Computer Science, page 214-229. Springer, (2019)Social Bot Detection as a Temporal Logic Model Checking Problem., , and . LORI, volume 13039 of Lecture Notes in Computer Science, page 158-173. Springer, (2021)