Ana Ozaki

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Eviction and Reception for Description Logic Ontologies (Extended Abstract).

[BibT_eX]

[DOI]

Jandson S. Ribeiro

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Finite Based Contraction and Expansion via Models.

[BibT_eX]

[DOI]

Jandson S. Ribeiro

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Finding Common Ground for Incoherent Horn Expressions.

[BibT_eX]

[DOI]

CoRR, 2022

On the Effectiveness of Knowledge Graph Embeddings: a Rule Mining Approach.

[BibT_eX]

[DOI]

Johanna Jøsang

CoRR, 2022

First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications.

[BibT_eX]

[DOI]

CoRR, 2022

Learning Zero Noise Extrapolation for Deterministic Quantum Circuits.

[BibT_eX]

[DOI]

Philip Turk

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2022

Extracting Rules from Neural Networks with Partial Interpretations.

[BibT_eX]

[DOI]

Proceedings of the 2022 Northern Lights Deep Learning Workshop, 2022

Reasoning in Non-normal Modal Description Logics.

[BibT_eX]

[DOI]

Tiziano Dalmonte

Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), 2022

Reasoning in Knowledge Graphs (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the International Research School in Artificial Intelligence in Bergen, 2022

2021

On Free Description Logics with Definite Descriptions.

[BibT_eX]

[DOI]

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

Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract).

[BibT_eX]

[DOI]

Sabiha Tahrat

Germán Alejandro Braun

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

Revising Ontologies via Models: The ALC-formula Case.

[BibT_eX]

[DOI]

Jandson S. Ribeiro

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

Geometric Models for (Temporally) Attributed Description Logics.

[BibT_eX]

[DOI]

Camille Bourgaux

Jeff Z. Pan

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

Mining EL⊥ Bases with Adaptable Role Depth (Extended Abstract).

[BibT_eX]

[DOI]

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

Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Exact Learning: On the Boundary between Horn and CNF.

[BibT_eX]

[DOI]

Montserrat Hermo

ACM Trans. Comput. Theory, 2020

Metric Temporal Description Logics with Interval-Rigid Names.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2020

Learning Description Logic Ontologies: Five Approaches. Where Do They Stand?

[BibT_eX]

[DOI]

Künstliche Intell., 2020

Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations.

[BibT_eX]

[DOI]

Ullrich Hustadt

Clare Dixon

J. Autom. Reason., 2020

Automated Reasoning in Temporal DL-Lite.

[BibT_eX]

[DOI]

Sabiha Tahrat

Germán Alejandro Braun

Marco Gario

CoRR, 2020

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals.

[BibT_eX]

[DOI]

CoRR, 2020

On the Complexity of Learning Description Logic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 2020

Finite vs. Infinite Traces in Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

On the Learnability of Possibilistic Theories.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Provenance for the Description Logic ELHr.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Automated Reasoning in Temporal DL-Lite (Extended Abstract).

[BibT_eX]

[DOI]

Sabiha Tahrat

Germán Alejandro Braun

Marco Gario

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

Learning Query Inseparable ELH Ontologies (Extended Abstract).

[BibT_eX]

[DOI]

Provenance for the Description Logic ELHr (Extended Abstract).

[BibT_eX]

[DOI]

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract).

[BibT_eX]

[DOI]

Learning Query Inseparable εℒℋ Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Learning Query Inseparable ELH Ontologies.

[BibT_eX]

[DOI]

CoRR, 2019

Enriching Ontology-based Data Access with Provenance (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2019

Learning Ontologies with Epistemic Reasoning: The EL Case.

[BibT_eX]

[DOI]

CoRR, 2019

Learning Ontologies with Epistemic Reasoning: The <i>E\!L</i> Case.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Enriching Ontology-based Data Access with Provenance.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Do You Need Infinite Time?.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Learning Ontologies with Epistemic Reasoning: The EL Case (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

On Non-normal Modal Description Logics.

[BibT_eX]

[DOI]

Tiziano Dalmonte

Proceedings of the 32nd International Workshop on Description Logics, 2019

Querying Attributed DL-Lite Ontologies Using Provenance Semirings (Extended Abstract).

[BibT_eX]

[DOI]

Camille Bourgaux

Proceedings of the 32nd International Workshop on Description Logics, 2019

Temporal DL-Lite over Finite Traces (Preliminary Results).

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Temporally Attributed Description Logics.

[BibT_eX]

[DOI]

Markus Krötzsch

Sebastian Rudolph

Proceedings of the Description Logic, Theory Combination, and All That, 2019

Querying Attributed DL-Lite Ontologies Using Provenance Semirings.

[BibT_eX]

[DOI]

Camille Bourgaux

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Exact learning of multivalued dependency formulas.

[BibT_eX]

[DOI]

Montserrat Hermo

Theor. Comput. Sci., 2018

Consequence-Based Axiom Pinpointing.

[BibT_eX]

[DOI]

Mario Ricardo Cruz Duarte

Rafael Peñaloza

Proceedings of the Scalable Uncertainty Management - 12th International Conference, 2018

ExactLearner: A Tool for Exact Learning of EL Ontologies.

[BibT_eX]

[DOI]

Boris Konev

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

Attributed Description Logics: Reasoning on Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Preserving Constraints with the Stable Chase.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Database Theory, 2018

Provenance in Ontology-based Data Access.

[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

Happy Ever After: Temporally Attributed Description Logics.

[BibT_eX]

[DOI]

Mario Ricardo Cruz Duarte

Markus Krötzsch

Sebastian Rudolph

Exact Learning of EL Ontologies.

[BibT_eX]

[DOI]

Boris Konev