Barbara Morawska

	2012
17		Franz Baader, Stefan Borgwardt, Barbara Morawska: A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. Description Logics 2012
16		Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska: UEL: Unification Solver for EL. Description Logics 2012
15		Stefan Borgwardt, Barbara Morawska: Finding Finite Herbrand Models. LPAR 2012: 138-152
	2011
14		Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska: Unification in the Description Logic EL without the Top Concept. CADE 2011: 70-84
13		Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska: Unification in the Description Logic EL without the Top Concept. Description Logics 2011
	2010
12		Franz Baader, Barbara Morawska: SAT Encoding of Unification in EL. LPAR (Yogyakarta) 2010: 97-111
11		Franz Baader, Barbara Morawska: Unification in the Description Logic EL Logical Methods in Computer Science 6(3): (2010)
	2009
10		Franz Baader, Barbara Morawska: Unification in the Description Logic EL. Description Logics 2009
9		Franz Baader, Barbara Morawska: Unification in the Description Logic EL. RTA 2009: 350-364
	2007
8		Barbara Morawska: General E -unification with Eager Variable Elimination and a Nice Cycle Rule. J. Autom. Reasoning 39(1): 77-106 (2007)
	2005
7		Christopher Lynch, Barbara Morawska: Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories. RTA 2005: 90-104
	2003
6		Barbara Morawska: Completeness of E-Unification with Eager Variable Elimination. LPAR 2003: 198-212
	2002
5		Christopher Lynch, Barbara Morawska: Basic Syntactic Mutation. CADE 2002: 471-485
4		Christopher Lynch, Barbara Morawska: Automatic Decidability. LICS 2002: 7-
	2001
3		Christopher Lynch, Barbara Morawska: Decidability and Complexity of Finitely Closable Linear Equational Theories. IJCAR 2001: 499-513
2		Christopher Lynch, Barbara Morawska: Complexity of Linear Standard Theories. LPAR 2001: 186-200
1		Christopher Lynch, Barbara Morawska: Goal-Directed E-Unification. RTA 2001: 231-245

Coauthor Index

1	Franz Baader	[9] [10] [11] [12] [13] [14] [16] [17]
2	Nguyen Thanh Binh	[13] [14]
3	Stefan Borgwardt	[13] [14] [15] [16] [17]
4	Christopher Lynch	[1] [2] [3] [4] [5] [7]
5	Julian Mendez	[16]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page