( en | de | ru )

 

Disambiguierung von "Schmidt, Renate A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Signature-Based Abduction for Expressive Description Logics - Technical Report.

, , , und . CoRR, (2020)

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.

Renate Schmidt

Renate Schmidt

Renate Schmidt

Renate Schmidt

Renate Schmidt

 

Weitere Publikationen von Autoren mit dem selben Namen

Signature-Based Abduction for Expressive Description Logics - Technical Report., , , und . CoRR, (2020)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)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)Multi-agent Logics of Dynamic Belief and Knowledge., und . JELIA, Volume 2424 von Lecture Notes in Computer Science, Seite 38-49. Springer, (2002)Relations and Kleene Algebras in Computer Science., und . J. Log. Algebraic Methods Program., 76 (1): 1-2 (2008)Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments., und . J. Autom. Reason., 67 (4): 39 (Dezember 2023)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)