( en | de | ru )

 

Disambiguierung von "Kovtunova, Alisa"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.

, , , , , 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.

Alisa Schäfer

Alisa Fuchs

Alisa Solovyeva

Alisa Jonson

Alisa Kongthon

 

Weitere Publikationen von Autoren mit dem selben Namen

Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)., , , , , und . CoRR, (2022)Classical Planning with Avoid Conditions., , , und . AAAI, Seite 9944-9952. AAAI Press, (2022)In the Head of the Beholder: Comparing Different Proof Representations., , , , , , und . RuleML+RR, Volume 13752 von Lecture Notes in Computer Science, Seite 211-226. Springer, (2022)Logic-Guided Message Generation from Raw Real-Time Sensor Data., , , , , und . LREC, Seite 6899-6908. European Language Resources Association, (2022)Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)., , , , und . CoRR, (2023)Combining Proofs for Description Logic and Concrete Domain Reasoning., , , , und . RuleML+RR, Volume 14244 von Lecture Notes in Computer Science, Seite 54-69. Springer, (2023)Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)., , , , und . CoRR, (2020)First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic., , , , , und . CoRR, (2020)Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report)., , , und . CoRR, (2022)Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models., , , und . RuleML+RR, Volume 13752 von Lecture Notes in Computer Science, Seite 167-182. Springer, (2022)