Alisa Kovtunova

Theory Pract. Log. Program., 2022

First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2022

Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2022

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2022

Expressivity of Planning with Horn Description Logic Ontologies (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2022

Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning, 2022

In the Head of the Beholder: Comparing Different Proof Representations.

[BibT_eX]

[DOI]

Anna Milena Rothermel

Frederik Wiehr

Proceedings of the Rules and Reasoning, 2022

Logic-Guided Message Generation from Raw Real-Time Sensor Data.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022

On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Classical Planning with Avoid Conditions.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Expressivity of Planning with Horn Description Logic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Temporal Minimal-World Semantics for Sparse ABoxes.

[BibT_eX]

[DOI]

CoRR, 2021

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report).

[BibT_eX]

[DOI]

CoRR, 2021

First-order rewritability of ontology-mediated queries in linear temporal logic.

[BibT_eX]

[DOI]

Artif. Intell., 2021

Making DL-Lite Planning Practical.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD.

[BibT_eX]

[DOI]

Proceedings of the ICMI '21: International Conference on Multimodal Interaction, 2021

Logic-Guided Neural Utterance Generation from Drone Sensory Data (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Making DL-Lite Planning Practical (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

In the Hand of the Beholder: Comparing Interactive Proof Visualizations.

[BibT_eX]

[DOI]

Anna Milena Rothermel

Frederik Wiehr

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report).

[BibT_eX]

[DOI]

CoRR, 2020

Finding Small Proofs for Description Logic Entailments: Theory and Practice.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

In the Eye of the Beholder: Which Proofs are Best?

[BibT_eX]

[DOI]

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), 2020

Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract).

[BibT_eX]

[DOI]

On the Complexity of Finding Good Proofs for Description Logic Entailments.

[BibT_eX]

[DOI]

2019

Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints.

[BibT_eX]

[DOI]

Alessandro Artale

Marco Montali

Wil M. P. van der Aalst

Proceedings of the Business Process Management - 17th International Conference, 2019

2018

Cutting Diamonds: A Temporal Logic with Probabilistic Distributions.

[BibT_eX]

[DOI]

Rafael Peñaloza

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data.

[BibT_eX]

[DOI]

Rafael Peñaloza

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017

Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk).

[BibT_eX]

[DOI]