( en | de | ru )

 

Disambiguation of "Kovtunova, Alisa"

Author of the publication

copydeleteadd this publication to your clipboard
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract).

, , , , and . Description Logics, volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)

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. You can also use the button next to the name to display some publications already assigned to the person.

Alisa Schäfer

Alisa Fuchs

Alisa Solovyeva

Alisa Kongthon

Alisa Jonson

 

Other publications of authors with the same name

Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)., , , , and . CoRR, (2020)First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic., , , , , and . CoRR, (2020)Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints., , , and . BPM, volume 11675 of Lecture Notes in Computer Science, page 139-156. Springer, (2019)Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models., , , and . RuleML+RR, volume 13752 of Lecture Notes in Computer Science, page 167-182. Springer, (2022)Cutting Diamonds: A Temporal Logic with Probabilistic Distributions., and . KR, page 561-570. AAAI Press, (2018)Classical Planning with Avoid Conditions., , , and . AAAI, page 9944-9952. AAAI Press, (2022)Logic-Guided Message Generation from Raw Real-Time Sensor Data., , , , , and . LREC, page 6899-6908. European Language Resources Association, (2022)In the Head of the Beholder: Comparing Different Proof Representations., , , , , , and . RuleML+RR, volume 13752 of Lecture Notes in Computer Science, page 211-226. Springer, (2022)Combining Proofs for Description Logic and Concrete Domain Reasoning., , , , and . RuleML+RR, volume 14244 of Lecture Notes in Computer Science, page 54-69. Springer, (2023)Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources., , , , and . (August 2023)