From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Combining Proofs for Description Logic and Concrete Domain Reasoning.

C. Alrabbaa, F. Baader, S. Borgwardt, P. Koopmann, и A. Kovtunova. RuleML+RR, том 14244 из Lecture Notes in Computer Science, стр. 54-69. Springer, (2023)

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.

Alisa Schäfer

Alisa Fuchs

Alisa Solovyeva

Alisa Jonson

Alisa Kongthon

Другие публикации лиц с тем же именем

Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report).C. Alrabbaa, F. Baader, S. Borgwardt, P. Koopmann, и A. Kovtunova. CoRR, (2020)First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter, и M. Zakharyaschev. CoRR, (2020)Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report).C. Alrabbaa, S. Borgwardt, P. Koopmann, и A. Kovtunova. CoRR, (2022)Cutting Diamonds: A Temporal Logic with Probabilistic Distributions.A. Kovtunova, и R. Peñaloza. KR, стр. 561-570. AAAI Press, (2018)Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models.C. Alrabbaa, S. Borgwardt, P. Koopmann, и A. Kovtunova. RuleML+RR, том 13752 из Lecture Notes in Computer Science, стр. 167-182. Springer, (2022)Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints.A. Artale, A. Kovtunova, M. Montali, и W. van der Aalst. BPM, том 11675 из Lecture Notes in Computer Science, стр. 139-156. Springer, (2019)First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter, и M. Zakharyaschev. CoRR, (2021)Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD.F. Wiehr, A. Hirsch, L. Schmitz, N. Knieriemen, A. Krüger, A. Kovtunova, S. Borgwardt, E. Chang, V. Demberg, M. Steinmetz и 1 other автор(ы). ICMI, стр. 308-317. ACM, (2021)Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures.C. Alrabbaa, F. Baader, S. Borgwardt, P. Koopmann, и A. Kovtunova. CADE, том 12699 из Lecture Notes in Computer Science, стр. 291-308. Springer, (2021)Expressivity of Planning with Horn Description Logic Ontologies.S. Borgwardt, J. Hoffmann, A. Kovtunova, M. Krötzsch, B. Nebel, и M. Steinmetz. AAAI, стр. 5503-5511. AAAI Press, (2022)

BibSonomy

Disambiguation