F. Baader
发表
F. Baader,
Wayne Snyder,
1999
.
Franz Baader,
F. Baader,
1990,
AAAI.
Cesare Tinelli,
Franz Baader,
C. Tinelli,
2002,
RTA.
F. Baader,
U. Sattler,
1998
.
Cesare Tinelli,
Franz Baader,
Silvio Ghilardi,
2004,
IJCAR.
C. Tinelli,
F. Baader,
1996
.
Franz Baader,
Carsten Lutz,
Boontawee Suntisrivaraporn,
2006,
IJCAR.
F. Baader,
B. Hollunder,
1990
.
Deborah L. McGuinness,
Alexander Borgida,
Franz Baader,
1998,
Description Logics.
Franz Baader,
Ulrike Sattler,
F. Baader,
1996,
KR.
F. Baader,
Marco Wilhelm,
Andreas Ecke,
2019
.
P. Narendran,
F. Baader,
Paliath Narendrany,
2007
.
Giuseppe De Giacomo,
B. Parsia,
I. Horrocks,
2006
.
F. Baader,
B. Hollunder,
2005
.
P. Narendran,
F. Baader,
1998
.
F. Baader,
1996
.
F. Baader,
1999
.
F. Baader,
1999
.
A. Bauer,
F. Baader,
A. Tiu,
2008
.
F. Baader,
1995
.
B. Nebel,
F. Baader,
B. Hollunder,
2005
.
F. Baader,
S. Ghilardi,
U. Sattler,
2008
.
F. Baader,
J. Hladik,
2007
.
Wolfram Burgard,
Olivier Buffet,
Christian Balkenius,
2007,
IJCAI.
F. Baader,
2005
.
F. Baader,
Hongkai Liu,
Anees Mehdi,
2009
.
F. Baader,
2009
.
F. Baader,
Pavlos Marantidis,
Antoine Mottet,
2018
.
F. Baader,
Barbara Morawska,
N. Binh,
2011
.
F. Baader,
2019
.
F. Baader,
R. Peñaloza,
2007
.
F. Baader,
C. Lutz,
F. Wolter,
2019
.
Diego Calvanese,
Peter F. Patel-Schneider,
Deborah L. McGuinness,
2007
.
F. Baader,
M. Lippmann,
2014
.
F. Baader,
Jakub Rydval,
2022,
Journal of Automated Reasoning.
F. Baader,
B. Sertkaya,
2019
.
F. Baader,
C. Lutz,
B. Suntisrivaraporn,
2019
.
F. Baader,
A. Okhotin,
Pavlos Marantidis,
2016
.
F. Baader,
A. Okhotin,
Pavlos Marantidis,
2016
.
F. Baader,
Pavlos Marantidis,
2017
.
I. Horrocks,
F. Baader,
U. Sattler,
2008
.
Ralf Küsters,
Franz Baader,
F. Baader,
2000,
KR.
F. Baader,
Barbara Morawska,
N. Binh,
2011
.
Ralf Küsters,
Franz Baader,
F. Baader,
2002,
Description Logics.
F. Baader,
Hongkai Liu,
Anees Mehdi,
2009
.
F. Baader,
Betreuender Hochschullehrer,
R. P. Nyssen,
2015
.
M. Thielscher,
F. Baader,
C. Drescher,
2009
.
P. Patel-Schneider,
F. Baader,
M. Lenzerini,
1994
.
F. Baader,
A. Okhotin,
2006
.
F. Baader,
Clément Théron,
2019
.
F. Baader,
P. Koopmann,
Raimund Dachselt,
2022,
IJCAR.
F. Baader,
P. Koopmann,
Stefan Borgwardt,
2021,
CADE.
Ralf Küsters,
Franz Baader,
F. Baader,
2006
.
F. Baader,
2003,
IJCAI.
F. Baader,
Anni-Yasmin Turhan,
P. Koopmann,
2021,
Theory Pract. Log. Program..
Ian Horrocks,
Franz Baader,
Carsten Lutz,
2017
.
Ian Horrocks,
Franz Baader,
Carsten Lutz,
2017
.
Ian Horrocks,
Franz Baader,
Carsten Lutz,
2017
.
F. Baader,
Jakub Rydval,
2020
.
Ian Horrocks,
Franz Baader,
Carsten Lutz,
2017
.
D. Kapur,
F. Baader,
2022,
Journal of Automated Reasoning.
F. Baader,
Pierre Ludmann,
2016
.
F. Baader,
Barbara Morawska,
S. Borgwardt,
2011
.
F. Baader,
Francesco Kriegel,
R. Peñaloza,
2020
.
F. Baader,
Francesco Kriegel,
Adrian Nuradiansyah,
2020
.
C. Tinelli,
F. Baader,
S. Ghilardi,
2019
.
F. Baader,
O. Gil,
2022
.
F. Baader,
O. Gil,
Maryam Rostamigiv,
2021,
Description Logics.
Diego Calvanese,
Peter F. Patel-Schneider,
Deborah L. McGuinness,
2003
.
F. Baader,
R. Molitor,
1999,
Description Logics.
F. Baader,
K. Schulz,
2019
.
Boris Motik,
Franz Baader,
Carsten Lutz,
2008,
Description Logics.
Werner Nutt,
Franz Baader,
Manfred A. Jeusfeld,
1995,
KRDB.
F. Baader,
Benjamin Zarrieß,
2013
.
F. Baader,
Anni-Yasmin Turhan,
P. Koopmann,
2022,
Description Logics.
F. Baader,
R. Peñaloza,
Stefan Borgwardt,
2015,
J. Philos. Log..
R. Molitor,
F. Baader,
F. Baader,
2022
.
F. Baader,
Pierre Ludmann,
2015
.
F. Baader,
Stefan Borgwardt,
Alisa Kovtunova,
2021
.
Diego Calvanese,
Peter F. Patel-Schneider,
Deborah L. McGuinness,
2003,
Description Logic Handbook.
Franz Baader,
Stefan Borgwardt,
Marcel Lippmann,
2017,
IJCAI.
Franz Baader,
Michael Schroeder,
Yue Ma,
2013,
OWLED.
Franz Baader,
Benjamin Zarrieß,
F. Baader,
2013,
FroCos.
Dongmo Zhang,
Michael Thielscher,
Franz Baader,
2007
.
Franz Baader,
Ulrike Sattler,
Carsten Lutz,
2005,
Description Logics.
Franz Baader,
Ulrike Sattler,
Carsten Lutz,
2005,
WWW 2005.
Tobias Nipkow,
Franz Baader,
T. Nipkow,
1998
.
Diego Calvanese,
Peter F. Patel-Schneider,
Deborah L. McGuinness,
2007
.
F. Baader,
2016
.
Franz Baader,
Ralf Molitor,
F. Baader,
2000,
ICCS.
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)
pdf
Franz Baader,
Patrick Koopmann,
Stefan Borgwardt,
2020,
LPAR.
Rafael Peñaloza,
Franz Baader,
F. Baader,
2011,
FroCoS.
Rafael Peñaloza,
Franz Baader,
F. Baader,
2011,
2011 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2011).
Rafael Peñaloza,
Franz Baader,
Jan Hladik,
2008,
LATA.
Franz Baader,
Silvio Ghilardi,
F. Baader,
2011,
Log. J. IGPL.
Franz Baader,
F. Baader,
1989,
RTA.
Franz Baader,
F. Baader,
1999,
Artificial Intelligence Today.
Werner Nutt,
Bernhard Nebel,
Gert Smolka,
1993,
J. Log. Lang. Inf..
Werner Nutt,
Bernhard Nebel,
Gert Smolka,
1990
.
Bernhard Nebel,
Franz Baader,
Enrico Franconi,
1992,
KR.
Franz Baader,
F. Baader,
1989,
J. Symb. Comput..
Franz Baader,
F. Baader,
1989,
Category Theory and Computer Science.
Cesare Tinelli,
Franz Baader,
C. Tinelli,
1997,
CADE.
Franz Baader,
F. Baader,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Franz Baader,
Oliver Fernández Gil,
F. Baader,
2016
.
Werner Nutt,
Franz Baader,
Manfred A. Jeusfeld,
1995
.
Franz Baader,
Oliver Fernandez Gil,
Pavlos Marantidis,
2017,
LATA.
Alexander Okhotin,
Franz Baader,
Pavlos Marantidis,
2016,
JELIA.
Franz Baader,
Carsten Lutz,
F. Baader,
2007,
Handbook of Modal Logic.
Bernhard Ganter,
Franz Baader,
Ulrike Sattler,
2007,
IJCAI.
Franz Baader,
Anni-Yasmin Turhan,
Baris Sertkaya,
2004,
Description Logics.
Franz Baader,
Bernhard Hollunder,
F. Baader,
1991,
KR.
Werner Nutt,
Maurizio Lenzerini,
Peter F. Patel-Schneider,
1994
.
Franz Baader,
Baris Sertkaya,
F. Baader,
2009,
ICFCA.
Werner Nutt,
Bernhard Nebel,
Franz Baader,
1991,
Description Logics.
Michael Thielscher,
Franz Baader,
Uwe Petersohn,
2009,
FroCoS.
Gabriele Kern-Isberner,
Franz Baader,
Andreas Ecke,
2019,
FroCos.
F. Baader,
Marco Wilhelm,
Gabriele,
2019,
JELIA.
Ian Horrocks,
Franz Baader,
Ulrike Sattler,
2022
.
Franz Baader,
Carsten Lutz,
Sebastian Brandt,
2005,
IJCAI.
Franz Baader,
Philipp Hanschke,
F. Baader,
1992,
GWAI.
Franz Baader,
Philipp Hanschke,
F. Baader,
1991,
IJCAI.
Franz Baader,
Andreas Bauer,
Marcel Lippmann,
2009,
FroCoS.
Franz Baader,
Bernhard Hollunder,
F. Baader,
1995,
Journal of Automated Reasoning.
Franz Baader,
Bernhard Hollunder,
F. Baader,
1993,
IJCAI.
Werner Nutt,
Franz Baader,
F. Baader,
2003,
Description Logic Handbook.
Franz Baader,
Patrick Koopmann,
Stefan Borgwardt,
2017,
Description Logics.
Franz Baader,
F. Baader,
1996,
J. Log. Comput..
Franz Baader,
Anni-Yasmin Turhan,
Patrick Koopmann,
2020,
KI - Künstliche Intelligenz.
Ian Horrocks,
Franz Baader,
Ulrike Sattler,
2017
.
Franz Baader,
Stefan Borgwardt,
Marcel Lippmann,
2015,
Australasian Conference on Artificial Intelligence.
Franz Baader,
Stefan Borgwardt,
Marcel Lippmann,
2015,
J. Web Semant..
Franz Baader,
Stefan Borgwardt,
Marcel Lippmann,
2013,
CADE.
Ralf Küsters,
Franz Baader,
Frank Wolter,
2003,
Description Logic Handbook.
Franz Baader,
F. Baader,
2011,
Informatik-Spektrum.
Franz Baader,
Anni-Yasmin Turhan,
Patrick Koopmann,
2021,
Theory Pract. Log. Program..
Franz Baader,
Oliver Fernandez Gil,
Maximilian Pensel,
2018,
Description Logics.
Franz Baader,
Pavlos Marantidis,
Maximilian Pensel,
2018,
WWW.
Franz Baader,
Carsten Lutz,
Frank Wolter,
2011,
J. Artif. Intell. Res..
Franz Baader,
Jan Hladik,
Carsten Lutz,
2003,
Fundam. Informaticae.
Paliath Narendran,
Franz Baader,
P. Narendran,
2001,
Description Logics.
Deborah L. McGuinness,
Alexander Borgida,
Ralf Küsters,
1999,
J. Log. Comput..
Ralf Küsters,
Franz Baader,
F. Baader,
1998,
KI.
Franz Baader,
Armin Laux,
F. Baader,
1995,
IJCAI.
Franz Baader,
Hans Jürgen Ohlbach,
Hans Juürgen Ohlbach,
1993,
IJCAI.
F. Baader,
Anni-Yasmin Turhan,
P. Koopmann,
2021
.
F. Baader,
2005
.
Franz Baader,
Bernhard Hollunder,
F. Baader,
1995,
Journal of Automated Reasoning.
Franz Baader,
Bernhard Hollunder,
F. Baader,
1992,
ECAI Workshop on Knowledge Representation and Reasoning.
Franz Baader,
Patrick Koopmann,
Stefan Borgwardt,
2021,
Description Logics.
Franz Baader,
Raimund Dachselt,
Patrick Koopmann,
2020,
Description Logics.
Franz Baader,
Patrick Koopmann,
Stefan Borgwardt,
2020,
Description Logics.
Ralf Küsters,
Franz Baader,
Ralf Molitor,
1999,
IJCAI.
Franz Baader,
Ulrike Sattler,
F. Baader,
1996,
Description Logics.
Bernhard Nebel,
Franz Baader,
Enrico Franconi,
1994,
Applied Intelligence.
F. Baader,
1995
.
Franz Baader,
F. Baader,
1996,
Annals of Mathematics and Artificial Intelligence.
Franz Baader,
Carsten Lutz,
Boontawee Suntisrivaraporn,
2006,
Description Logics.
Franz Baader,
Carsten Lutz,
Manfred Theißen,
2005,
Description Logics.
Franz Baader,
Stephan Tobies,
F. Baader,
2001,
IJCAR.
Rafael Peñaloza,
Franz Baader,
Jan Hladik,
2007,
Description Logics.
Franz Baader,
Stefan Schulz,
Boontawee Suntisrivaraporn,
2007,
MedInfo.
Peter Baumgartner,
Alfredo Gabaldon,
Kevin Lee,
2009,
TABLEAUX.
Franz Baader,
Stefan Schulz,
Boontawee Suntisrivaraporn,
2009,
Int. J. Medical Informatics.
Franz Baader,
Ralf Molitor,
Stephan Tobies,
1998
.
Rafael Peñaloza,
Franz Baader,
Francesco Kriegel,
2018,
ArXiv.
Rafael Peñaloza,
Franz Baader,
F. Baader,
2007,
TABLEAUX.
Rafael Peñaloza,
Franz Baader,
Boontawee Suntisrivaraporn,
2007,
Description Logics.
F. Baader,
P. Koopmann,
R. Dachselt,
2023,
Computer Graphics Forum.
Franz Baader,
Michael Schroeder,
Yue Ma,
2015,
J. Biomed. Semant..
Franz Baader,
Boontawee Suntisrivaraporn,
F. Baader,
2008,
KR-MED.
Franz Baader,
Gerhard Brewka,
Oliver Fernandez Gil,
2015,
Description Logics.
Franz Baader,
Carsten Lutz,
Silvio Ghilardi,
2008,
TOCL.
Rafael Peñaloza,
Franz Baader,
Francesco Kriegel,
2018,
Description Logics.
Gerhard Fettweis,
Christel Baier,
Wolfgang Lehner,
2018,
IEEE Transactions on Multi-Scale Computing Systems.
Franz Baader,
Felix Distel,
F. Baader,
2008,
ICFCA.
Franz Baader,
Baris Sertkaya,
F. Baader,
2004,
ICFCA.
Franz Baader,
Silvio Ghilardi,
F. Baader,
2005,
Journal of Symbolic Logic.
Cesare Tinelli,
Franz Baader,
C. Tinelli,
1998,
Inf. Comput..
F. Baader,
Francesco Kriegel,
P. Koopmann,
2022,
Description Logics.
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
pdf
Sebastian Rudolph,
Franz Baader,
Bartosz Bednarczyk,
2020,
ECAI.
Franz Baader,
Filippo De Bortoli,
F. Baader,
2019,
FroCos.
Franz Baader,
Andreas Ecke,
F. Baader,
2017,
GCAI.
Franz Baader,
Bernhard Hollunder,
Martin Buchheit,
1994,
KI.
Kent A. Spackman,
Franz Baader,
Stefan Schulz,
2007,
AIME.
Werner Nutt,
Franz Baader,
Manfred A. Jeusfeld,
1994
.
Franz Baader,
Andreas Ecke,
F. Baader,
2016,
LATA.
Alexander Okhotin,
Franz Baader,
Pavlos Marantidis,
2019,
Mathematical Structures in Computer Science.
Franz Baader,
Stefan Borgwardt,
Barbara Morawska,
2016,
Log. Methods Comput. Sci..
Franz Baader,
Stefan Borgwardt,
Barbara Morawska,
2012,
IJCAR.
Franz Baader,
Barbara Morawska,
F. Baader,
2009,
Description Logics.
Franz Baader,
Stefan Borgwardt,
Barbara Morawska,
2015,
RTA.
Franz Baader,
Oliver Fernandez Gil,
Barbara Morawska,
2013,
UNIF@RTA/TLCA.
Franz Baader,
Stefan Borgwardt,
Barbara Morawska,
2012,
Description Logics.
Rafael Peñaloza,
Franz Baader,
Martin Knechtel,
2012,
J. Web Semant..
Franz Baader,
Jakub Rydval,
F. Baader,
2021,
JELIA.
Franz Baader,
Carsten Lutz,
Frank Wolter,
2016,
J. Artif. Intell. Res..
Franz Baader,
Stefan Borgwardt,
Marcel Lippmann,
2015
.
Franz Baader,
Carsten Lutz,
Frank Wolter,
2010,
KR.
Franz Baader,
Bernhard Hollunder,
F. Baader,
1991,
SGAR.
Ian Horrocks,
Franz Baader,
Ulrike Sattler,
2005,
Mechanizing Mathematical Reasoning.
Gerhard Fettweis,
Christel Baier,
Wolfgang Lehner,
2016
.
Franz Baader,
Patrick Koopmann,
Francesco Kriegel,
2021,
CADE.
D. McGuinness,
D. Nardi,
P. Patel-Schneider,
2003
.
Franz Baader,
F. Baader,
2019,
SIAP.
F. Baader,
Pavlos Marantidis,
O. Gil,
2017,
LATA.
F. Baader,
A. Okhotin,
Pavlos Marantidis,
2016
.
F. Baader,
A. Okhotin,
Pavlos Marantidis,
2016
.
F. Baader,
C. Lutz,
F. Wolter,
2011,
Journal of Artificial Intelligence Research.
Franz Baader,
Silvio Ghilardi,
F. Baader,
2005,
FroCoS.
Franz Baader,
Carsten Lutz,
Anni-Yasmin Turhan,
2010,
KI - Künstliche Intelligenz.
F. Baader,
C. Lutz,
F. Wolter,
2011,
J. Artif. Intell. Res..
D. McGuinness,
D. Nardi,
P. Patel-Schneider,
2007
.
D. McGuinness,
F. Baader,
Ralf Küsters,
1999,
J. Log. Comput..
Franz Baader,
Ulrike Sattler,
F. Baader,
2001,
Stud Logica.
F. Baader,
Pavlos Marantidis,
A. Okhotin,
2016,
JELIA.
Franz Baader,
Klaus U. Schulz,
F. Baader,
1998,
Theor. Comput. Sci..
Franz Baader,
F. Baader,
2000,
TABLEAUX.
Franz Baader,
Sergio Tessaris,
Ulrike Sattler,
2006,
OWLED.
Cesare Tinelli,
Franz Baader,
C. Tinelli,
2000,
FroCoS.
Franz Baader,
Klaus U. Schulz,
F. Baader,
2001,
CCL.
F. Baader,
U. Sattler,
Ian Horrocks,
2004,
Handbook on Ontologies.
Karl Schlechta,
Franz Baader,
F. Baader,
1993,
ECSQARU.
Werner Nutt,
Maurizio Lenzerini,
Peter F. Patel-Schneider,
1994
.
Franz Baader,
Walter Forkel,
Stefan Borgwardt,
2018,
WWW.
Alexander Okhotin,
Franz Baader,
F. Baader,
2013,
Fundam. Informaticae.
D. McGuinness,
D. Nardi,
P. Patel-Schneider,
2003
.
Werner Nutt,
Franz Baader,
Manfred A. Jeusfeld,
1997,
SGMD.
Werner Nutt,
Franz Baader,
Manfred A. Jeusfeld,
1997,
SIGMOD 1997.
Franz Baader,
Ulrike Sattler,
F. Baader,
1999,
J. Log. Comput..
F. Baader,
W. Nutt,
B. Hollunder,
1990
.
Franz Baader,
Anees Mehdi,
Hongkai Liu,
2010,
ECAI.
F. Baader,
C. Lutz,
F. Wolter,
2004
.
Franz Baader,
Deepak Kapur,
D. Kapur,
2020,
IJCAR.
Franz Baader,
Klaus U. Schulz,
F. Baader,
1992,
CADE.
F. Baader,
1990,
IWWERT.
Franz Baader,
F. Baader,
2003,
Lecture Notes in Computer Science.
Franz Baader,
F. Baader,
2003,
Description Logics.
Franz Baader,
Bernhard Hollunder,
F. Baader,
1991,
PDK.
Franz Baader,
Klaus U. Schulz,
F. Baader,
1995,
CP.
Franz Baader,
Klaus U. Schulz,
F. Baader,
1995,
RTA.
F. Baader,
Stefan Borgwardt,
M. Lippmann,
2015,
Australasian Conference on Artificial Intelligence.
Ian Horrocks,
Franz Baader,
Ulrike Sattler,
2002,
Künstliche Intell..