×

zbMATH — the first resource for mathematics

Baader, Franz

Compute Distance To:
Author ID: baader.franz Recent zbMATH articles by "Baader, Franz"
Published as: Baader, F.; Baader, Franz
External Links: ORCID · dblp
Documents Indexed: 124 Publications since 1986, including 10 Books
Biographic References: 2 Publications

Publications by Year

Citations contained in zbMATH

101 Publications have been cited 1,349 times in 989 Documents Cited by Year
Term rewriting and all that. Zbl 0948.68098
Baader, Franz; Nipkow, Tobias
447
1999
The description logic handbook. Theory, implementation, and applications. Zbl 1058.68107
Baader, Franz (ed.); Calvanese, Diego (ed.); McGuinness, Deborah (ed.); Nardi, Daniele (ed.); Patel-Schneider, Peter (ed.)
229
2003
Unification theory. Zbl 1011.68126
Baader, Franz; Snyder, Wayne
70
2001
The description logic handbook. Theory, implementation, and applications. 2nd ed. Zbl 1132.68055
Baader, Franz (ed.); Calvanese, Diego (ed.); McGuinness, Deborah L. (ed.); Nardi, Daniele (ed.); Patel-Schneider, Peter F. (ed.)
63
2007
An overview of tableau algorithms for description logics. Zbl 0991.03012
Baader, Franz; Sattler, Ulrike
33
2001
Unification of concept terms in description logics. Zbl 0970.68166
Baader, Franz; Narendran, Paliath
25
2001
Unification in the union of disjoint equational theories: Combining decision procedures. Zbl 0851.68055
Baader, Franz; Schulz, Klaus U.
21
1996
Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic. Zbl 0842.68081
Baader, Franz; Hollunder, Bernhard
19
1995
Description logics as ontology languages for the semantic web. Zbl 1098.68705
Baader, Franz; Horrocks, Ian; Sattler, Ulrike
16
2005
Qualifying number restrictions in concept languages. Zbl 0765.68190
Hollunder, Bernhard; Baader, Franz
16
1991
Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. Zbl 0742.68064
Baader, Franz
16
1991
A scheme for integrating concrete domains into concept languages. Zbl 0742.68063
Baader, Franz; Hanschke, Philipp
14
1991
Unification in the union of disjoint equational theories: Combining decision procedures. Zbl 0925.03084
Baader, Franz; Schulz, Klaus U.
13
1992
The theory of idempotent semigroups is of unification type zero. Zbl 0626.68070
Baader, Franz
13
1986
Unification in a description logic with transitive closure of roles. Zbl 1275.68134
Baader, Franz; Küsters, Ralf
12
2001
Unification in modal and description logics. Zbl 1258.03018
Baader, Franz; Ghilardi, Silvio
11
2011
Unification in the description logic EL. Zbl 1214.68379
Baader, Franz; Morawska, Barbara
10
2010
Axiom pinpointing in general tableaux. Zbl 1191.68645
Baader, Franz; Peñaloza, Rafael
10
2010
The instance problem and the most specific concept in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics. Zbl 1274.68450
Baader, Franz
10
2003
An introduction to description logic. Zbl 1373.68002
Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli
9
2017
On the undecidability of fuzzy description logics with GCIs and product t-norm. Zbl 1348.68236
Baader, Franz; Peñaloza, Rafael
9
2011
Automata-based axiom pinpointing. Zbl 1213.68589
Baader, Franz; Peñaloza, Rafael
8
2010
Deciding the word problem in the union of equational theories. Zbl 1049.03032
Baader, Franz; Tinelli, Cesare
8
2002
Cardinality restrictions on concepts. Zbl 0907.68181
Baader, Franz; Buchheit, Martin; Hollunder, Bernhard
8
1996
Using automata theory for characterizing the semantics of terminological cycles. Zbl 0891.68111
Baader, Franz
8
1996
A multi-dimensional terminological knowledge representation language. Zbl 0845.68098
Baader, Franz; Ohlbach, Hans Jürgen
8
1995
Unification in commutative theories, Hilbert’s basis theorem, and Gröbner bases. Zbl 0791.68146
Baader, Franz
8
1993
Unification in commutative theories. Zbl 0689.68039
Baader, Franz
8
1989
Query and predicate emptiness in ontology-based data access. Zbl 1357.68226
Baader, Franz; Bienvenu, Meghyn; Lutz, Carsten; Wolter, Frank
7
2016
LTL over description logic axioms. Zbl 1351.68260
Baader, Franz; Ghilardi, Silvio; Lutz, Carsten
7
2012
The description logic handbook. Theory, implementation, and applications. Reprint of the 2007 hardback ed. Zbl 1191.68652
Baader, Franz (ed.); Calvanese, Diego (ed.); McGuinness, Deborah L. (ed.); Nardi, Daniele (ed.); Patel-Schneider, Peter F. (ed.)
7
2010
Connecting many-sorted theories. Zbl 1136.03012
Baader, Franz; Ghilardi, Silvio
7
2007
Combination techniques and decision problems for disunification. Zbl 0873.68188
Baader, Franz; Schulz, Klaus U.
7
1995
On the expressivity of feature logics with negation, functional uncertainty, and sort equations. Zbl 0788.68131
Baader, Franz; Bürckert, Hans-Jürgen; Nebel, Bernhard; Nutt, Werner; Smolka, Gert
7
1993
Unification in varieties of idempotent semigroups. Zbl 0624.20039
Baader, Franz
7
1987
Automata can show PSpace results for description logics. Zbl 1149.68073
Baader, Franz; Hladik, Jan; Peñaloza, Rafael
6
2008
Computing the least common subsumer w.r.t. a background terminology. Zbl 1122.68117
Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin
6
2007
Fusions of description logics and abstract description systems. Zbl 0995.03025
Baader, F.; Lutz, C.; Sturm, H.; Wolter, F.
6
2002
The inverse method implements the automata approach for modal satisfiability. Zbl 0988.03021
Baader, Franz; Tobies, Stephan
6
2001
Matching in description logics. Zbl 0940.03036
Baader, Franz; Küsters, Ralf; Borgida, Alex; McGuinness, Deborah L.
6
1999
Combination of constraint solvers for free and quasi-free structures. Zbl 0895.68019
Baader, Franz; Schulz, Klaus U.
6
1998
Unification in commutative idempotent monoids. Zbl 0658.68108
Baader, Franz; Büttner, Wolfram
6
1988
Unification in the description logic \(\mathcal{EL}\). Zbl 1242.68300
Baader, Franz; Morawska, Barbara
5
2009
Combination problems for commutative/monoidal theories or how algebra can help in equational unification. Zbl 0853.03008
Baader, Franz; Nutt, Werner
5
1996
SAT encoding of unification in \(\mathcal{EL}\). Zbl 1306.68181
Baader, Franz; Morawska, Barbara
4
2010
Description logics. Zbl 1254.68245
Baader, Franz
4
2009
Applying formal concept analysis to description logics. Zbl 1197.68076
Baader, Franz; Sertkaya, Baris
4
2004
From tableaux to automata for description logics. Zbl 1273.03095
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank
4
2003
Combining constraint solving. Zbl 0976.03515
Baader, Franz; Schulz, Klaus U.
4
2001
Deciding the word problem in the union of equational theories sharing constructors. Zbl 0976.03051
Baader, Franz; Tinelli, Cesare
4
1999
On the complexity of Boolean unification. Zbl 1338.68092
Baader, Franz
4
1998
A formal definition for the expressive power of terminological knowledge representation languages. Zbl 0844.68109
Baader, Franz
4
1996
General \(A\)- and \(AX\)-unification via optimized combination procedures. Zbl 0925.03059
Baader, Franz; Schulz, Klaus U.
4
1993
Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor. Zbl 1358.68272
Baader, Franz; Binh, Nguyen Thanh; Borgwardt, Stefan; Morawska, Barbara
3
2016
Approximate unification in the description logic \(\mathcal {FL}_0\). Zbl 06658152
Baader, Franz; Marantidis, Pavlos; Okhotin, Alexander
3
2016
Adding threshold concepts to the description logic \(\mathcal{EL}\). Zbl 06688806
Baader, Franz; Brewka, Gerhard; Fernández Gil, Oliver
3
2015
On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions. Zbl 1318.03034
Baader, Franz; Borgwardt, Stefan; Peñaloza, Rafael
3
2015
On language equations with one-sided concatenation. Zbl 1359.68155
Baader, Franz; Okhotin, Alexander
3
2013
SAT encoding of unification in \(\mathcal{ELH}_{{R}^+}\) w.r.t. cycle-restricted ontologies. Zbl 1358.68280
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
3
2012
Using causal relationships to deal with the ramification problem in action formalisms based on description logics. Zbl 1306.68180
Baader, Franz; Lippmann, Marcel; Liu, Hongkai
3
2010
Putting ABox updates into action. Zbl 1193.68233
Drescher, Conrad; Liu, Hongkai; Baader, Franz; Guhlemann, Steffen; Petersohn, Uwe; Steinke, Peter; Thielscher, Michael
3
2009
Runtime verification using a temporal description logic. Zbl 1193.68160
Baader, Franz; Bauer, Andreas; Lippmann, Marcel
3
2009
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Zbl 1098.03048
Baader, Franz; Ghilardi, Silvio; Tinelli, Cesare
3
2006
Tableau algorithms for description logics. Zbl 0963.03015
Baader, Franz; Sattler, Ulrike
3
2000
Expressive number restrictions in description logics. Zbl 0940.03035
Baader, Franz; Sattler, Ulrike
3
1999
Unification theory. Zbl 0970.68148
Baader, Franz; Schulz, Klaus U.
3
1998
Metric temporal description logics with interval-rigid names. Zbl 06821627
Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana; Thost, Veronika
2
2017
A new description logic with set constraints and cardinality constraints on role successors. Zbl 06821626
Baader, Franz
2
2017
Dismatching and local disunification in \(\mathcal {EL}\). Zbl 1366.68274
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
2
2015
Temporalizing ontology-based data access. Zbl 1381.68075
Baader, Franz; Borgwardt, Stefan; Lippmann, Marcel
2
2013
Automata-based axiom pinpointing. Zbl 1165.68497
Baader, Franz; Peñaloza, Rafael
2
2008
A finite basis for the set of \(\mathcal{EL}\)-implications holding in a finite model. Zbl 1132.68056
Baader, Franz; Distel, Felix
2
2008
Axiom pinpointing in general tableaux. Zbl 1132.68675
Baader, Franz; Peñaloza, Rafael
2
2007
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Zbl 1126.03302
Baader, Franz; Ghilardi, Silvio; Tinelli, Cesare
2
2004
Computing the least common subsumer w.r.t. a background terminology. Zbl 1111.68664
Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin
2
2004
Computing the least common subsumer in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics. Zbl 1274.68451
Baader, Franz
2
2003
From tableaux to automata for description logics. Zbl 1038.03033
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank
2
2003
Combining decision procedures for positive theories sharing constructors. Zbl 1045.03013
Baader, Franz; Tinelli, Cesare
2
2002
On the problem of computing small representations of least common subsumers. Zbl 1015.68547
Baader, Franz; Turhan, Anni-Yasmin
2
2002
Building and structuring description logic knowledge bases using least common subsumers and concept analysis. Zbl 0973.68228
Baader, Franz; Molitor, Ralf
2
2000
Logic-based knowledge representation. Zbl 0956.68537
Baader, Franz
2
1999
Frontiers of combining systems. First international workshop, Munich, Germany, March 26–29, 1996. Zbl 0885.00046
Baader, Franz (ed.); Schulz, Klaus U. (ed.)
2
1996
Counting strategies for the probabilistic description logic \(\mathcal{ALC}^\mathsf{ME}\) under the principle of maximum entropy. Zbl 07169122
Wilhelm, Marco; Kern-Isberner, Gabriele; Ecke, Andreas; Baader, Franz
1
2019
Matching in the description logic \(\mathcal{FL}_0\) with respect to general TBoxes. Zbl 1415.68216
Baader, Franz; Fernández Gil, Oliver; Marantidis, Pavlos
1
2018
Extending the description logic \(\tau\mathcal{EL}(\deg)\) with acyclic TBoxes. Zbl 1403.68251
Baader, Franz; Fernández Gil, Oliver
1
2016
Hybrid unification in the description logic \(\mathcal{EL}\). Zbl 1398.68499
Baader, Franz; Fernández Gil, Oliver; Morawska, Barbara
1
2013
Verification of Golog programs over description logic actions. Zbl 1398.68568
Baader, Franz; Zarrieß, Benjamin
1
2013
Computing minimal \({\mathcal E}{\mathcal L}\)-unifiers is hard. Zbl 1290.68113
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
1
2012
UEL: unification solver for the description logic \(\mathcal{EL}\) – system description. Zbl 1358.68281
Baader, Franz; Mendez, Julian; Morawska, Barbara
1
2012
Solving language equations and disequations with applications to disunification in description logics and monadic set constraints. Zbl 1352.68124
Baader, Franz; Okhotin, Alexander
1
2012
Unification in the description logic \(\mathcal{EL}\) without the top concept. Zbl 1341.68205
Baader, Franz; Binh, Nguyen Thanh; Borgwardt, Stefan; Morawska, Barbara
1
2011
Verifying properties of infinite sequences of description logic actions. Zbl 1211.68394
Baader, Franz; Liu, Hongkai; Mehdi, Anees Ul
1
2010
Exploring finite models in the description logic \({\mathcal {EL}}_{\text{gfp}}\). Zbl 1248.68467
Baader, Franz; Distel, Felix
1
2009
Usability issues in description logic knowledge base completion. Zbl 1248.68472
Baader, Franz; Sertkaya, Barış
1
2009
Term rewriting and applications. 18th international conference, RTA 2007, Paris, France, June 26–28, 2007. Proceedings. Zbl 1121.68001
Baader, Franz (ed.)
1
2007
Nonstandard inferences in description logics: the story so far. Zbl 1165.68496
Baader, Franz; Küsters, Ralf
1
2006
A graph-theoretic generalization of the least common subsumer and the most specific concept in the description logic \(\mathcal{EL}\). Zbl 1112.68407
Baader, Franz
1
2004
Description logics with aggregates and concrete domains. Zbl 1066.68123
Baader, Franz; Sattler, Ulrike
1
2003
Automated deduction – CADE-19. 19th international conference on automated deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings. Zbl 1026.00022
Baader, Franz (ed.)
1
2003
Combining equational theories sharing non-collapse-free constructors. Zbl 0962.03037
Baader, Franz; Tinelli, Cesare
1
2000
Counting strategies for the probabilistic description logic \(\mathcal{ALC}^\mathsf{ME}\) under the principle of maximum entropy. Zbl 07169122
Wilhelm, Marco; Kern-Isberner, Gabriele; Ecke, Andreas; Baader, Franz
1
2019
Matching in the description logic \(\mathcal{FL}_0\) with respect to general TBoxes. Zbl 1415.68216
Baader, Franz; Fernández Gil, Oliver; Marantidis, Pavlos
1
2018
An introduction to description logic. Zbl 1373.68002
Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli
9
2017
Metric temporal description logics with interval-rigid names. Zbl 06821627
Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana; Thost, Veronika
2
2017
A new description logic with set constraints and cardinality constraints on role successors. Zbl 06821626
Baader, Franz
2
2017
Query and predicate emptiness in ontology-based data access. Zbl 1357.68226
Baader, Franz; Bienvenu, Meghyn; Lutz, Carsten; Wolter, Frank
7
2016
Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor. Zbl 1358.68272
Baader, Franz; Binh, Nguyen Thanh; Borgwardt, Stefan; Morawska, Barbara
3
2016
Approximate unification in the description logic \(\mathcal {FL}_0\). Zbl 06658152
Baader, Franz; Marantidis, Pavlos; Okhotin, Alexander
3
2016
Extending the description logic \(\tau\mathcal{EL}(\deg)\) with acyclic TBoxes. Zbl 1403.68251
Baader, Franz; Fernández Gil, Oliver
1
2016
Adding threshold concepts to the description logic \(\mathcal{EL}\). Zbl 06688806
Baader, Franz; Brewka, Gerhard; Fernández Gil, Oliver
3
2015
On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions. Zbl 1318.03034
Baader, Franz; Borgwardt, Stefan; Peñaloza, Rafael
3
2015
Dismatching and local disunification in \(\mathcal {EL}\). Zbl 1366.68274
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
2
2015
On language equations with one-sided concatenation. Zbl 1359.68155
Baader, Franz; Okhotin, Alexander
3
2013
Temporalizing ontology-based data access. Zbl 1381.68075
Baader, Franz; Borgwardt, Stefan; Lippmann, Marcel
2
2013
Hybrid unification in the description logic \(\mathcal{EL}\). Zbl 1398.68499
Baader, Franz; Fernández Gil, Oliver; Morawska, Barbara
1
2013
Verification of Golog programs over description logic actions. Zbl 1398.68568
Baader, Franz; Zarrieß, Benjamin
1
2013
LTL over description logic axioms. Zbl 1351.68260
Baader, Franz; Ghilardi, Silvio; Lutz, Carsten
7
2012
SAT encoding of unification in \(\mathcal{ELH}_{{R}^+}\) w.r.t. cycle-restricted ontologies. Zbl 1358.68280
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
3
2012
Computing minimal \({\mathcal E}{\mathcal L}\)-unifiers is hard. Zbl 1290.68113
Baader, Franz; Borgwardt, Stefan; Morawska, Barbara
1
2012
UEL: unification solver for the description logic \(\mathcal{EL}\) – system description. Zbl 1358.68281
Baader, Franz; Mendez, Julian; Morawska, Barbara
1
2012
Solving language equations and disequations with applications to disunification in description logics and monadic set constraints. Zbl 1352.68124
Baader, Franz; Okhotin, Alexander
1
2012
Unification in modal and description logics. Zbl 1258.03018
Baader, Franz; Ghilardi, Silvio
11
2011
On the undecidability of fuzzy description logics with GCIs and product t-norm. Zbl 1348.68236
Baader, Franz; Peñaloza, Rafael
9
2011
Unification in the description logic \(\mathcal{EL}\) without the top concept. Zbl 1341.68205
Baader, Franz; Binh, Nguyen Thanh; Borgwardt, Stefan; Morawska, Barbara
1
2011
Unification in the description logic EL. Zbl 1214.68379
Baader, Franz; Morawska, Barbara
10
2010
Axiom pinpointing in general tableaux. Zbl 1191.68645
Baader, Franz; Peñaloza, Rafael
10
2010
Automata-based axiom pinpointing. Zbl 1213.68589
Baader, Franz; Peñaloza, Rafael
8
2010
The description logic handbook. Theory, implementation, and applications. Reprint of the 2007 hardback ed. Zbl 1191.68652
Baader, Franz (ed.); Calvanese, Diego (ed.); McGuinness, Deborah L. (ed.); Nardi, Daniele (ed.); Patel-Schneider, Peter F. (ed.)
7
2010
SAT encoding of unification in \(\mathcal{EL}\). Zbl 1306.68181
Baader, Franz; Morawska, Barbara
4
2010
Using causal relationships to deal with the ramification problem in action formalisms based on description logics. Zbl 1306.68180
Baader, Franz; Lippmann, Marcel; Liu, Hongkai
3
2010
Verifying properties of infinite sequences of description logic actions. Zbl 1211.68394
Baader, Franz; Liu, Hongkai; Mehdi, Anees Ul
1
2010
Unification in the description logic \(\mathcal{EL}\). Zbl 1242.68300
Baader, Franz; Morawska, Barbara
5
2009
Description logics. Zbl 1254.68245
Baader, Franz
4
2009
Putting ABox updates into action. Zbl 1193.68233
Drescher, Conrad; Liu, Hongkai; Baader, Franz; Guhlemann, Steffen; Petersohn, Uwe; Steinke, Peter; Thielscher, Michael
3
2009
Runtime verification using a temporal description logic. Zbl 1193.68160
Baader, Franz; Bauer, Andreas; Lippmann, Marcel
3
2009
Exploring finite models in the description logic \({\mathcal {EL}}_{\text{gfp}}\). Zbl 1248.68467
Baader, Franz; Distel, Felix
1
2009
Usability issues in description logic knowledge base completion. Zbl 1248.68472
Baader, Franz; Sertkaya, Barış
1
2009
Automata can show PSpace results for description logics. Zbl 1149.68073
Baader, Franz; Hladik, Jan; Peñaloza, Rafael
6
2008
Automata-based axiom pinpointing. Zbl 1165.68497
Baader, Franz; Peñaloza, Rafael
2
2008
A finite basis for the set of \(\mathcal{EL}\)-implications holding in a finite model. Zbl 1132.68056
Baader, Franz; Distel, Felix
2
2008
The description logic handbook. Theory, implementation, and applications. 2nd ed. Zbl 1132.68055
Baader, Franz (ed.); Calvanese, Diego (ed.); McGuinness, Deborah L. (ed.); Nardi, Daniele (ed.); Patel-Schneider, Peter F. (ed.)
63
2007
Connecting many-sorted theories. Zbl 1136.03012
Baader, Franz; Ghilardi, Silvio
7
2007
Computing the least common subsumer w.r.t. a background terminology. Zbl 1122.68117
Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin
6
2007
Axiom pinpointing in general tableaux. Zbl 1132.68675
Baader, Franz; Peñaloza, Rafael
2
2007
Term rewriting and applications. 18th international conference, RTA 2007, Paris, France, June 26–28, 2007. Proceedings. Zbl 1121.68001
Baader, Franz (ed.)
1
2007
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Zbl 1098.03048
Baader, Franz; Ghilardi, Silvio; Tinelli, Cesare
3
2006
Nonstandard inferences in description logics: the story so far. Zbl 1165.68496
Baader, Franz; Küsters, Ralf
1
2006
Description logics as ontology languages for the semantic web. Zbl 1098.68705
Baader, Franz; Horrocks, Ian; Sattler, Ulrike
16
2005
Applying formal concept analysis to description logics. Zbl 1197.68076
Baader, Franz; Sertkaya, Baris
4
2004
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Zbl 1126.03302
Baader, Franz; Ghilardi, Silvio; Tinelli, Cesare
2
2004
Computing the least common subsumer w.r.t. a background terminology. Zbl 1111.68664
Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin
2
2004
A graph-theoretic generalization of the least common subsumer and the most specific concept in the description logic \(\mathcal{EL}\). Zbl 1112.68407
Baader, Franz
1
2004
The description logic handbook. Theory, implementation, and applications. Zbl 1058.68107
Baader, Franz (ed.); Calvanese, Diego (ed.); McGuinness, Deborah (ed.); Nardi, Daniele (ed.); Patel-Schneider, Peter (ed.)
229
2003
The instance problem and the most specific concept in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics. Zbl 1274.68450
Baader, Franz
10
2003
From tableaux to automata for description logics. Zbl 1273.03095
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank
4
2003
Computing the least common subsumer in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics. Zbl 1274.68451
Baader, Franz
2
2003
From tableaux to automata for description logics. Zbl 1038.03033
Baader, Franz; Hladik, Jan; Lutz, Carsten; Wolter, Frank
2
2003
Description logics with aggregates and concrete domains. Zbl 1066.68123
Baader, Franz; Sattler, Ulrike
1
2003
Automated deduction – CADE-19. 19th international conference on automated deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings. Zbl 1026.00022
Baader, Franz (ed.)
1
2003
Deciding the word problem in the union of equational theories. Zbl 1049.03032
Baader, Franz; Tinelli, Cesare
8
2002
Fusions of description logics and abstract description systems. Zbl 0995.03025
Baader, F.; Lutz, C.; Sturm, H.; Wolter, F.
6
2002
Combining decision procedures for positive theories sharing constructors. Zbl 1045.03013
Baader, Franz; Tinelli, Cesare
2
2002
On the problem of computing small representations of least common subsumers. Zbl 1015.68547
Baader, Franz; Turhan, Anni-Yasmin
2
2002
Unification theory. Zbl 1011.68126
Baader, Franz; Snyder, Wayne
70
2001
An overview of tableau algorithms for description logics. Zbl 0991.03012
Baader, Franz; Sattler, Ulrike
33
2001
Unification of concept terms in description logics. Zbl 0970.68166
Baader, Franz; Narendran, Paliath
25
2001
Unification in a description logic with transitive closure of roles. Zbl 1275.68134
Baader, Franz; Küsters, Ralf
12
2001
The inverse method implements the automata approach for modal satisfiability. Zbl 0988.03021
Baader, Franz; Tobies, Stephan
6
2001
Combining constraint solving. Zbl 0976.03515
Baader, Franz; Schulz, Klaus U.
4
2001
Tableau algorithms for description logics. Zbl 0963.03015
Baader, Franz; Sattler, Ulrike
3
2000
Building and structuring description logic knowledge bases using least common subsumers and concept analysis. Zbl 0973.68228
Baader, Franz; Molitor, Ralf
2
2000
Combining equational theories sharing non-collapse-free constructors. Zbl 0962.03037
Baader, Franz; Tinelli, Cesare
1
2000
Term rewriting and all that. Zbl 0948.68098
Baader, Franz; Nipkow, Tobias
447
1999
Matching in description logics. Zbl 0940.03036
Baader, Franz; Küsters, Ralf; Borgida, Alex; McGuinness, Deborah L.
6
1999
Deciding the word problem in the union of equational theories sharing constructors. Zbl 0976.03051
Baader, Franz; Tinelli, Cesare
4
1999
Expressive number restrictions in description logics. Zbl 0940.03035
Baader, Franz; Sattler, Ulrike
3
1999
Logic-based knowledge representation. Zbl 0956.68537
Baader, Franz
2
1999
Combination of constraint solvers for free and quasi-free structures. Zbl 0895.68019
Baader, Franz; Schulz, Klaus U.
6
1998
On the complexity of Boolean unification. Zbl 1338.68092
Baader, Franz
4
1998
Unification theory. Zbl 0970.68148
Baader, Franz; Schulz, Klaus U.
3
1998
Unification in the union of disjoint equational theories: Combining decision procedures. Zbl 0851.68055
Baader, Franz; Schulz, Klaus U.
21
1996
Cardinality restrictions on concepts. Zbl 0907.68181
Baader, Franz; Buchheit, Martin; Hollunder, Bernhard
8
1996
Using automata theory for characterizing the semantics of terminological cycles. Zbl 0891.68111
Baader, Franz
8
1996
Combination problems for commutative/monoidal theories or how algebra can help in equational unification. Zbl 0853.03008
Baader, Franz; Nutt, Werner
5
1996
A formal definition for the expressive power of terminological knowledge representation languages. Zbl 0844.68109
Baader, Franz
4
1996
Frontiers of combining systems. First international workshop, Munich, Germany, March 26–29, 1996. Zbl 0885.00046
Baader, Franz (ed.); Schulz, Klaus U. (ed.)
2
1996
Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic. Zbl 0842.68081
Baader, Franz; Hollunder, Bernhard
19
1995
A multi-dimensional terminological knowledge representation language. Zbl 0845.68098
Baader, Franz; Ohlbach, Hans Jürgen
8
1995
Combination techniques and decision problems for disunification. Zbl 0873.68188
Baader, Franz; Schulz, Klaus U.
7
1995
Unification in commutative theories, Hilbert’s basis theorem, and Gröbner bases. Zbl 0791.68146
Baader, Franz
8
1993
On the expressivity of feature logics with negation, functional uncertainty, and sort equations. Zbl 0788.68131
Baader, Franz; Bürckert, Hans-Jürgen; Nebel, Bernhard; Nutt, Werner; Smolka, Gert
7
1993
General \(A\)- and \(AX\)-unification via optimized combination procedures. Zbl 0925.03059
Baader, Franz; Schulz, Klaus U.
4
1993
Unification in the union of disjoint equational theories: Combining decision procedures. Zbl 0925.03084
Baader, Franz; Schulz, Klaus U.
13
1992
Qualifying number restrictions in concept languages. Zbl 0765.68190
Hollunder, Bernhard; Baader, Franz
16
1991
Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. Zbl 0742.68064
Baader, Franz
16
1991
A scheme for integrating concrete domains into concept languages. Zbl 0742.68063
Baader, Franz; Hanschke, Philipp
14
1991
Unification in commutative theories. Zbl 0689.68039
Baader, Franz
8
1989
Unification in commutative idempotent monoids. Zbl 0658.68108
Baader, Franz; Büttner, Wolfram
6
1988
A note on unification type zero. Zbl 0636.68030
Baader, Franz
1
1988
Unification in varieties of idempotent semigroups. Zbl 0624.20039
Baader, Franz
7
1987
...and 1 more Documents
all top 5

Cited by 1,307 Authors

32 Baader, Franz
20 Middeldorp, Aart
18 Peñaloza, Rafael
16 Straccia, Umberto
15 Lutz, Carsten
15 Meseguer Guaita, José
14 Alpuente, María
14 Ayala-Rincón, Mauricio
14 Calvanese, Diego
13 Fernández, Maribel
13 Lucas, Salvador
13 Wolter, Frank
12 Bobillo, Fernando
12 Eiter, Thomas
12 Giesl, Jürgen
12 Horrocks, Ian
12 Nishida, Naoki
12 Thiemann, René
12 Vidal, Germán
12 Zakharyaschev, Michael Viktorovich
11 Escobar, Santiago
11 Ghilardi, Silvio
10 Borgwardt, Stefan
10 Godoy, Guillem
10 Motik, Boris
10 Schmidt-Schauß, Manfred
10 Zankl, Harald
9 Jiang, Yuncheng
9 Moser, Georg
9 Narendran, Paliath
9 Okhotin, Alexander
9 Rybakov, Vladimir Vladimirovich
9 Tinelli, Cesare
8 De Giacomo, Giuseppe
8 Nguyen, Linh Anh
8 Ringeissen, Christophe
8 Sakai, Masahiko
8 Sattler, Ulrike
8 Zantema, Hans
7 Rusinowitch, Michaël
7 Ryzhikov, Vladislav
7 Vágvölgyi, Sándor
6 Artale, Alessandro
6 Bonatti, Piero Andrea
6 d’Amato, Claudia
6 Demri, Stéphane P.
6 Falaschi, Moreno
6 Fanizzi, Nicola
6 Felgenhauer, Bertram
6 Gao, Xing
6 Guiraud, Yves
6 Guo, Li
6 Kirchner, Claude
6 Leite, João
6 Lugiez, Denis
6 Ortiz, Magdalena
6 Sternagel, Christian
6 van de Pol, Jan Cornelis
5 Antoy, Sergio
5 Ballis, Demis
5 Barrett, Clark W.
5 Cain, Alan J.
5 Cuenca Grau, Bernardo
5 Cavalcanti de Moura, Flávio Leonardo
5 Echenim, Mnacho
5 Gabbay, Murdoch James
5 Giraudo, Samuele
5 Goré, Rajeev Prabhakar
5 Gottlob, Georg
5 Gramlich, Bernhard
5 Hirokawa, Nao
5 Kamareddine, Fairouz D.
5 Kesner, Delia
5 Kirchner, Hélène
5 Lenzerini, Maurizio
5 Lukasiewicz, Thomas
5 Malbos, Philippe
5 Morawska, Barbara
5 Pan, Jeff Z.
5 Peltier, Nicolas
5 Qi, Guilin
5 Schneider-Kamp, Peter
5 Slota, Martin
5 Smolka, Gert
5 Tang, Yong
5 Turhan, Anni-Yasmin
5 Varzinczak, Ivan Jóse
5 Waldmann, Uwe
5 Wang, Ju
5 Wang, Kewen
4 Alves, Sandra
4 Avanzini, Martin
4 Baumgartner, Peter
4 Britz, Katarina
4 Chen, Qimai
4 Creus, Carles
4 Esposito, Floriana
4 Fontaine, Pascal
4 Fuhs, Carsten
4 Gascón, Adrià
...and 1,207 more Authors
all top 5

Cited in 110 Serials

83 Theoretical Computer Science
81 Journal of Automated Reasoning
53 Artificial Intelligence
53 Information and Computation
34 Journal of Symbolic Computation
32 Annals of Mathematics and Artificial Intelligence
26 International Journal of Approximate Reasoning
18 Information Processing Letters
18 Annals of Pure and Applied Logic
18 Journal of Applied Logic
17 Theory and Practice of Logic Programming
17 Journal of Logical and Algebraic Methods in Programming
14 Fuzzy Sets and Systems
14 MSCS. Mathematical Structures in Computer Science
14 Journal of Applied Non-Classical Logics
14 Logical Methods in Computer Science
13 Information Sciences
13 The Journal of Symbolic Logic
10 ACM Transactions on Computational Logic
9 Journal of Computer and System Sciences
9 Applicable Algebra in Engineering, Communication and Computing
9 The Journal of Logic and Algebraic Programming
8 Studia Logica
7 Journal of Functional Programming
6 Journal of Algebra
6 New Generation Computing
6 International Journal of Algebra and Computation
5 Formal Aspects of Computing
5 Journal of Logic, Language and Information
4 Journal of Pure and Applied Algebra
4 Formal Methods in System Design
4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
4 Sibirskie Èlektronnye Matematicheskie Izvestiya
4 Logica Universalis
4 International Journal of Semantic Computing
3 Acta Informatica
3 Computers & Mathematics with Applications
3 Discrete Applied Mathematics
3 Discrete Mathematics
3 Journal of Philosophical Logic
3 Notre Dame Journal of Formal Logic
3 Semigroup Forum
3 Synthese
3 Advances in Applied Mathematics
3 Science of Computer Programming
3 International Journal of Foundations of Computer Science
3 Theory of Computing Systems
3 Journal of Algebra and its Applications
2 International Journal of General Systems
2 Algebra Universalis
2 Archive for Mathematical Logic
2 Cybernetics and Systems Analysis
2 Higher-Order and Symbolic Computation
2 International Journal of Applied Mathematics and Computer Science
2 RAIRO. Theoretical Informatics and Applications
2 Lobachevskii Journal of Mathematics
2 Journal of Machine Learning Research (JMLR)
2 Mathematics in Computer Science
2 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika
1 Advances in Mathematics
1 Applied Mathematics and Computation
1 Journal of Combinatorial Theory. Series A
1 Mathematische Zeitschrift
1 Programming and Computer Software
1 SIAM Journal on Computing
1 Siberian Mathematical Journal
1 Topology and its Applications
1 European Journal of Combinatorics
1 Order
1 Journal of Computer Science and Technology
1 International Journal of Intelligent Systems
1 Mathematical and Computer Modelling
1 Annals of Operations Research
1 Machine Learning
1 International Journal of Computer Mathematics
1 Distributed Computing
1 Journal of Mathematical Sciences (New York)
1 Journal of Lie Theory
1 Theory and Applications of Categories
1 Sbornik: Mathematics
1 Computational & Mathematical Organization Theory
1 Séminaire Lotharingien de Combinatoire
1 Soft Computing
1 Journal of the ACM
1 Data Mining and Knowledge Discovery
1 Algebraic & Geometric Topology
1 Journal of the Australian Mathematical Society
1 Journal of Systems Science and Complexity
1 Journal of Applied Mathematics
1 EURASIP Journal on Applied Signal Processing
1 Computer Languages, Systems & Structures
1 Computational Intelligence
1 Journal of Multiple-Valued Logic and Soft Computing
1 Journal of Discrete Algorithms
1 Science in China. Series F
1 Frontiers of Mathematics in China
1 International Journal of Information Technology & Decision Making
1 Tbilisi Mathematical Journal
1 The Review of Symbolic Logic
1 Algorithms
...and 10 more Serials

Citations by Year