Barbara Morawska

43 papers A* 3A 5B 4Misc 1Journal 5Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Around Unification in FL DL Slawomir Kost, Barbara Morawska
2025	J	`jnl`	FILO - automated unification in ℱℒ CoRR Barbara Morawska, Dariusz Marzec, Slawomir Kost, Michal Henne
2025	—	`conf`	FILO: Unification Solver for FL_0 (Extended Abstract). DL Barbara Morawska, Dariusz Marzec, Slawomir Kost, Michal Henne
2025	A*	`conf`	Solving Unification in the Description Logic FL_bottom. KR Barbara Morawska, Dariusz Marzec
2021	—	`conf`	Unification in the Description Logic FL⊥. Description Logics Barbara Morawska
2020	—	`conf`	Unification in FL0 Modulo a Flat TBox. Description Logics Barbara Morawska
2016	J	`jnl`	Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor. Notre Dame J. Formal Log. Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska
2016	J	`jnl`	Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification. Log. Methods Comput. Sci. Franz Baader, Stefan Borgwardt, Barbara Morawska
2015	—	`conf`	Dismatching and Local Disunification in EL (Extended Abstract). Description Logics Franz Baader, Stefan Borgwardt, Barbara Morawska
2015	—	`conf`	Dismatching and Local Disunification in EL. RTA Franz Baader, Stefan Borgwardt, Barbara Morawska
2014	Misc	`conf`	Matching with Respect to General Concept Inclusions in the Description Logic KI Franz Baader, Barbara Morawska
2014	—	`conf`	Matching with Respect to General Concept Inclusions in the Description Logic EL. Description Logics Franz Baader, Barbara Morawska
2014	—	`conf`	Matching with respect to general concept inclusions in the Description Logic EL. UNIF Franz Baader, Barbara Morawska
2013	—	`ed.`	27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013 UNIF@RTA/TLCA Konstantin Korovin, Barbara Morawska
2013	—	`conf`	Hybrid EL-Unification is NP-complete. Description Logics Franz Baader, Oliver Fernandez Gil, Barbara Morawska
2013	—	`conf`	Hybrid Unification in the Description Logic EL. UNIF@RTA/TLCA Franz Baader, Oliver Fernandez Gil, Barbara Morawska
2013	—	`conf`	Hybrid Unification in the Description Logic. FroCos Franz Baader, Oliver Fernandez Gil, Barbara Morawska
2012	—	`conf`	A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. Description Logics Franz Baader, Stefan Borgwardt, Barbara Morawska
2012	—	`conf`	A Goal-Oriented Algorithm for Unification in ℇℒℋ Australasian Conference on Artificial Intelligence Franz Baader, Stefan Borgwardt, Barbara Morawska
2012	B	`conf`	Computing Minimal EL-unifiers is Hard. Advances in Modal Logic Franz Baader, Stefan Borgwardt, Barbara Morawska
2012	A*	`conf`	Extending Unification in EL Towards General TBoxes. KR Franz Baader, Stefan Borgwardt, Barbara Morawska
2012	B	`conf`	Finding Finite Herbrand Models. LPAR Stefan Borgwardt, Barbara Morawska
2012	—	`conf`	Recent Advances in Unification for the EL Family. UNIF Franz Baader, Stefan Borgwardt, Barbara Morawska
2012	A	`conf`	SAT Encoding of Unification in ℇℒℋ IJCAR Franz Baader, Stefan Borgwardt, Barbara Morawska
2012	—	`conf`	UEL: Unification Solver for EL. Description Logics Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska
2012	A	`conf`	UEL: Unification Solver for the Description Logic ℇℒ - System Description. IJCAR Franz Baader, Julian Mendez, Barbara Morawska
2011	—	`conf`	Computing Local Unifiers in the Description Logic EL without the Top Concept. UNIF Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
2011	—	`ed.`	Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011. UNIF Franz Baader, Barbara Morawska, Jan Otop
2011	A	`conf`	Unification in the Description Logic CADE Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska
2011	—	`conf`	Unification in the Description Logic EL without the Top Concept. Description Logics Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska
2010	—	`conf`	SAT Encoding of Unification in LPAR (Yogyakarta) Franz Baader, Barbara Morawska
2010	J	`jnl`	Unification in the Description Logic EL Log. Methods Comput. Sci. Franz Baader, Barbara Morawska
2009	—	`conf`	Unification in the Description Logic EL. Description Logics Franz Baader, Barbara Morawska
2009	—	`conf`	Unification in the Description Logic EL. RTA Franz Baader, Barbara Morawska
2008	—	`conf`	Unification in the Description Logic EL is of Type Zero. UNIF Franz Baader, Barbara Morawska
2007	J	`jnl`	General J. Autom. Reason. Barbara Morawska
2005	—	`conf`	Faster RTA Christopher Lynch, Barbara Morawska
2003	B	`conf`	Completeness of E-Unification with Eager Variable Elimination. LPAR Barbara Morawska
2002	A*	`conf`	Automatic Decidability. LICS Christopher Lynch, Barbara Morawska
2002	A	`conf`	Basic Syntactic Mutation. CADE Christopher Lynch, Barbara Morawska
2001	B	`conf`	Complexity of Linear Standard Theories. LPAR Christopher Lynch, Barbara Morawska
2001	A	`conf`	Decidability and Complexity of Finitely Closable Linear Equational Theories. IJCAR Christopher Lynch, Barbara Morawska
2001	—	`conf`	Goal-Directed E-Unification. RTA Christopher Lynch, Barbara Morawska