Barbara Morawska

CoRR, 2024

2021

Unification in the Description Logic FL⊥.

[BibT_eX]

[DOI]

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

2020

Unification in FL0 Modulo a Flat TBox.

[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

2016

Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2016

Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2016

2015

Dismatching and Local Disunification in EL.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

Dismatching and Local Disunification in EL (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

Matching with Respect to General Concept Inclusions in the Description Logic EL.

[BibT_eX]

[DOI]

Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014

Matching with Respect to General Concept Inclusions in the Description Logic EL.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

Hybrid Unification in the Description Logic EL.

[BibT_eX]

[DOI]

Oliver Fernandez Gil

Proceedings of the 27th International Workshop on Unification, 2013

Hybrid Unification in the Description Logic.

[BibT_eX]

[DOI]

Oliver Fernandez Gil

Proceedings of the Frontiers of Combining Systems, 2013

Hybrid EL-Unification is NP-complete.

[BibT_eX]

[DOI]

Oliver Fernandez Gil

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

Finding Finite Herbrand Models.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Extending Unification in EL Towards General TBoxes.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

UEL: Unification Solver for EL.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

UEL: Unification Solver for the Description Logic ℇℒ - System Description.

[BibT_eX]

[DOI]

Julian Mendez

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

Recent Advances in Unification for the EL Family.

[BibT_eX]

[DOI]

Proceedings of the UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, 2012

SAT Encoding of Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

A Goal-Oriented Algorithm for Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies.

[BibT_eX]

[DOI]

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

Computing Minimal EL-unifiers is Hard.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 9, 2012

2011

Computing Local Unifiers in the Description Logic EL without the Top Concept.

[BibT_eX]

[DOI]

Proceedings of the 25th International Workshop on Unification, 2011

Unification in the Description Logic EL without the Top Concept.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Unification in the Description Logic EL without the Top Concept.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

Unification in the Description Logic EL

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2010

SAT Encoding of Unification in EL.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2008

Unification in the Description Logic EL is of Type Zero.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Unification, 2008

2007

General E -unification with Eager Variable Elimination and a Nice Cycle Rule.

[BibT_eX]

[DOI]

J. Autom. Reason., 2007

2005

Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories.

[BibT_eX]

[DOI]

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

2003

Completeness of E-Unification with Eager Variable Elimination.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2003

2002

Automatic Decidability.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Basic Syntactic Mutation.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2002

2001

Goal-Directed E-Unification.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001

Complexity of Linear Standard Theories.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2001

Decidability and Complexity of Finitely Closable Linear Equational Theories.

[BibT_eX]

[DOI]