Autor der Publikation

Tableau Development for a Bi-intuitionistic Tense Logic.

, , und . RAMiCS, Volume 8428 von Lecture Notes in Computer Science, Seite 412-428. Springer, (2014)

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

Relations and Kleene Algebras in Computer Science., und . J. Log. Algebraic Methods Program., 76 (1): 1-2 (2008)Deciding Fluted Logic with Resolution.. ARW, Volume 32 von CEUR Workshop Proceedings, CEUR-WS.org, (2000)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)Autodescriptivity: Beware!, , und . Comput. J., 34 (4): 379-381 (1991)Protégé-TS : an OWL ontology term selection tool, und . DL 2020 : Description Logics 2020 Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) Online, September 12th to 14th, 2020, 2663, (2020)E-Unification for Subsystems of S4.. RTA, Volume 1379 von Lecture Notes in Computer Science, Seite 106-120. Springer, (1998)Multi-agent Logics of Dynamic Belief and Knowledge., und . JELIA, Volume 2424 von Lecture Notes in Computer Science, Seite 38-49. Springer, (2002)Querying Guarded Fragments via Resolution., und . CoRR, (2020)On Concept Forgetting in Description Logics with Qualified Number Restrictions., und . Description Logics, Volume 2373 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)Tracking Logical Difference in Industrial-Scale Ontologies., , , , , , und . Description Logics, Volume 2373 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)