Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Querying Guarded Fragments via Resolution., und . CoRR, (2020)A bi-intuitionistic modal logic: Foundations and automation., , und . J. Log. Algebraic Methods Program., 85 (4): 500-519 (2016)Autodescriptivity: Beware!, , und . Comput. J., 34 (4): 379-381 (1991)Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments., und . J. Autom. Reason., 67 (4): 39 (Dezember 2023)Relations and Kleene Algebras in Computer Science., und . J. Log. Algebraic Methods Program., 76 (1): 1-2 (2008)Multi-agent Logics of Dynamic Belief and Knowledge., und . JELIA, Volume 2424 von Lecture Notes in Computer Science, Seite 38-49. Springer, (2002)A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME., und . SOQE, Volume 2013 von CEUR Workshop Proceedings, Seite 21-26. CEUR-WS.org, (2017)Deciding Fluted Logic with Resolution.. ARW, Volume 32 von CEUR Workshop Proceedings, CEUR-WS.org, (2000)E-Unification for Subsystems of S4.. RTA, Volume 1379 von Lecture Notes in Computer Science, Seite 106-120. Springer, (1998)Signature-Based Abduction for Expressive Description Logics - Technical Report., , , und . CoRR, (2020)