Frank Wolter
发表
Boris Konev,
Carsten Lutz,
Dirk Walther,
2008,
OWL: Experiences and Directions.
Enrico Franconi,
Frank Wolter,
Alessandro Artale,
2002,
JELIA.
Frank Wolter,
Ian M. Hodkinson,
Michael Zakharyaschev,
2000,
Ann. Pure Appl. Log..
Frank Wolter,
F. Wolter,
1996,
Advances in Modal Logic.
Franz Baader,
Ulrike Sattler,
Carsten Lutz,
2005,
Description Logics.
Carsten Lutz,
Frank Wolter,
Cristina Feier,
2018,
Description Logics.
Carsten Lutz,
Frank Wolter,
Cristina Feier,
2018,
IJCAI.
Carsten Lutz,
Frank Wolter,
Alessandro Artale,
2007,
14th International Symposium on Temporal Representation and Reasoning (TIME'07).
Marcus Kracht,
Frank Wolter,
M. Kracht,
1991,
Journal of Symbolic Logic.
Frank Wolter,
Michael Zakharyaschev,
F. Wolter,
2000,
ECAI.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2010,
Artif. Intell..
Heinz Focke,
Frank Wolter,
Klaus Mueller,
2002
.
Boris Konev,
Carsten Lutz,
Dirk Walther,
2008,
ECAI.
Frank Wolter,
Martin Leucker,
2005,
CIT.
Philippe Balbiani,
Frank Wolter,
Michael Zakharyaschev,
2004,
Hydrobiologia.
Frank Wolter,
Michael Zakharyaschev,
Ágnes Kurucz,
2005,
Journal of Symbolic Logic.
Carsten Lutz,
Frank Wolter,
Inanç Seylan,
2012,
Description Logics.
Frank Wolter,
F. Wolter,
1997,
Journal of Symbolic Logic.
Boris Konev,
Carsten Lutz,
Dirk Walther,
2008,
Description Logics.
Carsten Lutz,
Frank Wolter,
Maja Milicic Brandt,
2006,
JELIA.
Carsten Lutz,
Frank Wolter,
Johannes Marti,
2020,
Description Logics.
Frank Wolter,
Michael Zakharyaschev,
F. Wolter,
1998,
Advances in Modal Logic.
Cesare Tinelli,
Ulrike Sattler,
Carsten Lutz,
2019,
Description Logic, Theory Combination, and All That.
Frank Wolter,
Michael Zakharyaschev,
Ágnes Kurucz,
2006,
Ann. Pure Appl. Log..
Frank Wolter,
Karl-Peter Fritz,
Daniel Benz,
2008
.
Frank Wolter,
Michael Zakharyaschev,
Ágnes Kurucz,
2005,
We Will Show Them!.
Jean Christoph Jung,
Frank Wolter,
Michael Zakharyaschev,
2019,
Description Logics.
Michael Wooldridge,
Frank Wolter,
M. Wooldridge,
2010
.
Boris Konev,
Carsten Lutz,
Dirk Walther,
2009,
Modular Ontologies.
Frank Wolter,
André Hernich,
Julio Lemos,
2017,
AAAI.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2004,
Stud Logica.
Frank Wolter,
Michael Zakharyaschev,
F. Wolter,
2003,
IJCAI.
Carsten Lutz,
Frank Wolter,
2009,
WoLLIC.
Frank Wolter,
Roman Kontchakov,
Agi Kurucz,
2007
.
Frank Wolter,
F. Wolter,
1996,
Notre Dame J. Formal Log..
Frank Wolter,
Ian M. Hodkinson,
Michael Zakharyaschev,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Carsten Lutz,
Frank Wolter,
C. Lutz,
2011,
IJCAI.
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2013,
IJCAI.
M. de Rijke,
Maarten de Rijke,
Frank Wolter,
2002,
Advances in Modal Logic.
Frank Wolter,
2012,
Stud Logica.
Stanislav Kikot,
Frank Wolter,
Michael Zakharyaschev,
2018,
Advances in Modal Logic.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2007,
Handbook of Spatial Logics.
Frank Wolter,
Holger Sturm,
F. Wolter,
2001,
J. Philos. Log..
Carsten Lutz,
Frank Wolter,
Piero A. Bonatti,
2006,
KR 2006.
Frank Wolter,
Alessandro Artale,
Andrea Mazzullo,
2020,
Description Logics.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2008,
Description Logics.
Frank Wolter,
Michael Zakharyaschev,
F. Wolter,
2006,
TOCL.
Frank Wolter,
Patrick Blackburn,
J.F.A.K. van Benthem,
2007,
Studies in logic and practical reasoning.
Carsten Lutz,
Frank Wolter,
André Hernich,
2015,
Description Logics.
Frank Wolter,
Michael Zakharyaschev,
Oliver Kutz,
2002,
J. Appl. Non Class. Logics.
Frank Wolter,
Michael Zakharyaschev,
Holger Sturm,
2000,
JELIA.
Michael Thielscher,
Frank Wolter,
Francesca Toni,
2018
.
Franz Baader,
Carsten Lutz,
Frank Wolter,
2009,
Description Logics.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2019,
Artif. Intell..
Frank Wolter,
F. Wolter,
1996,
Math. Log. Q..
Anthony G. Cohn,
Frank Wolter,
Michael Zakharyaschev,
2002,
Applied Intelligence.
Michael Fisher,
Alexei Lisitsa,
Boris Konev,
2006
.
Carsten Lutz,
Frank Wolter,
Piero A. Bonatti,
2015,
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation.
Carsten Lutz,
Frank Wolter,
C. Lutz,
2015,
ICDT.
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2014,
Description Logics.
Carsten Lutz,
Frank Wolter,
David Toman,
2009,
IJCAI.
Boris Konev,
Carsten Lutz,
Frank Wolter,
2016,
RW.
Frank Wolter,
F. Wolter,
1977
.
Frank Wolter,
Michael Zakharyaschev,
1999,
Fundam. Informaticae.
Boris Konev,
Frank Wolter,
Michael Zakharyaschev,
2005,
CADE.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2008,
Advances in Modal Logic.
Carsten Lutz,
Frank Wolter,
André Hernich,
2018,
Description Logics.
Frank Wolter,
Michael Zakharyaschev,
Ágnes Kurucz,
2002,
Studia Logica: An International Journal for Symbolic Logic.
Carsten Lutz,
Frank Wolter,
C. Lutz,
2006,
Log. Methods Comput. Sci..
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2003,
Description Logics.
Stanislav Kikot,
Frank Wolter,
Michael Zakharyaschev,
2017,
The Journal of Symbolic Logic.
Frank Wolter,
Ian M. Hodkinson,
Michael Zakharyaschev,
2002,
Proceedings Ninth International Symposium on Temporal Representation and Reasoning.
Frank Wolter,
Tadeusz Litak,
2005,
Stud Logica.
Carsten Lutz,
Frank Wolter,
Peter Hansen,
2014,
Description Logics.
Frank Wolter,
F. Wolter,
2002
.
Frank Wolter,
Michael Zakharyaschev,
Ágnes Kurucz,
2011,
Description Logics.
Frank Wolter,
Michael Zakharyaschev,
Yasuhito Suzuki,
1997,
J. Log. Lang. Inf..
Boris Konev,
Carsten Lutz,
Frank Wolter,
2013,
Description Logics.
Jean Christoph Jung,
Carsten Lutz,
Frank Wolter,
2020,
KR.
Robert Piro,
Carsten Lutz,
Frank Wolter,
2010,
Description Logics.
Boris Konev,
Dirk Walther,
Frank Wolter,
2009,
Description Logics.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2014,
Description Logics.
Boris Konev,
Frank Wolter,
Michael Zakharyaschev,
2006,
Studia Logica: An International Journal for Symbolic Logic.
Boris Konev,
Frank Wolter,
Michael Zakharyaschev,
2011,
AAAI.
Carsten Lutz,
Frank Wolter,
Silvio Ghilardi,
2006,
KR.
Frank Wolter,
Michael Zakharyaschev,
F. Wolter,
1999,
IJCAI.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2011,
J. Artif. Intell. Res..
Michael Wooldridge,
Carsten Lutz,
Dirk Walther,
2006,
J. Log. Comput..
Carsten Lutz,
Frank Wolter,
David Toman,
2012,
SSWS+HPCSW@ISWC.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2007,
Description Logics.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2019,
Description Logics.
Boris Konev,
Carsten Lutz,
Frank Wolter,
2010,
KR.
Boris Konev,
Dirk Walther,
Frank Wolter,
2009,
IJCAI.
Jean Christoph Jung,
Carsten Lutz,
Frank Wolter,
2019,
Description Logics.
Frank Wolter,
Michael Zakharyaschev,
Agi Kurucz,
2005,
We Will Show Them!.
Frank Wolter,
F. Wolter,
1994,
J. Log. Comput..
Frank Wolter,
Michael Zakharyaschev,
Oliver Kutz,
2002
.
Carsten Lutz,
Frank Wolter,
C. Lutz,
2007,
CADE.
Carsten Lutz,
Frank Wolter,
André Hernich,
2017,
PODS.
Jean Christoph Jung,
Carsten Lutz,
Frank Wolter,
2017,
ICALP.
Boris Konev,
Carsten Lutz,
Frank Wolter,
2016,
IJCAI.
Carsten Lutz,
Frank Wolter,
C. Lutz,
2010,
J. Symb. Comput..
Frank Wolter,
Maria Cotorogea,
Wolfgang Roesner,
2015,
2015 IEEE 27th International Symposium on Power Semiconductor Devices & IC's (ISPSD).
Frank Wolter,
Michael Zakharyaschev,
鈴木 康人,
1997,
Journal of Logic, Language and Information.
Frank Wolter,
Patrick Blackburn,
Johan F. A. K. van Benthem,
2006
.
Jean Christoph Jung,
Carsten Lutz,
Frank Wolter,
2020,
AAAI.
Carsten Lutz,
Frank Wolter,
Anneke Bötcher,
2018,
Description Logics.
Yevgeny Kazakov,
Frank Wolter,
Domenico Lembo,
2012,
Description Logics.
Frank Wolter,
Ian M. Hodkinson,
Michael Zakharyaschev,
2001,
LPAR.
Frank Wolter,
2013
.
Carsten Lutz,
Frank Wolter,
C. Lutz,
2012,
Description Logics.
Franz Baader,
Ulrike Sattler,
Carsten Lutz,
2005,
WWW 2005.
Frank Wolter,
F. Wolter,
2011,
Time.
Frank Wolter,
F. Wolter,
1997,
Ann. Pure Appl. Log..
Ulrike Sattler,
Carsten Lutz,
Frank Wolter,
2001,
CSL.
Frank Wolter,
Michael Zakharyaschev,
F. Wolter,
2000,
International Conference on Principles of Knowledge Representation and Reasoning.
Frank Wolter,
Michael Zakharyaschev,
Nobu-Yuki Suzuki,
2000,
JELIA.
Carsten Lutz,
Dirk Walther,
Frank Wolter,
2007,
Inf. Comput..
Boris Konev,
Frank Wolter,
2007,
FroCoS.
Frank Wolter,
Michael Zakharyaschev,
Dmitry Tishkovsky,
2007,
J. Log. Comput..
Robert Piro,
Carsten Lutz,
Frank Wolter,
2010,
European Conference on Artificial Intelligence.
Frank Wolter,
Fabio Papacchini,
2018,
Description Logics.
Boris Konev,
Frank Wolter,
Michael Zakharyaschev,
2011,
Description Logics.
Boris Konev,
Dirk Walther,
Frank Wolter,
2012,
J. Artif. Intell. Res..
Carsten Lutz,
Frank Wolter,
André Hernich,
2018,
IJCAI.
Boris Konev,
Frank Wolter,
Michel Ludwig,
2012,
IJCAR.
Boris Konev,
Frank Wolter,
William Gatens,
2013,
WoMO.
Frank Wolter,
Michael Zakharyaschev,
F. Wolter,
1998,
International Conference on Principles of Knowledge Representation and Reasoning.
Jean Christoph Jung,
Frank Wolter,
Michael Zakharyaschev,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Frank Wolter,
Michael Zakharyaschev,
F. Wolter,
1998
.
Boris Konev,
Dirk Walther,
Frank Wolter,
2012
.
Boris Konev,
Frank Wolter,
Ana Ozaki,
2015,
Description Logics.
Carsten Lutz,
Frank Wolter,
C. Lutz,
2016,
Log. Methods Comput. Sci..
Frank Wolter,
F. Wolter,
2000,
Stud Logica.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2003
.
Frank Wolter,
Heinz Kueck,
Andre Buelau,
2014
.
Sebastian Bauer,
Frank Wolter,
Michael Zakharyaschev,
2004
.
Frank Wolter,
Ian M. Hodkinson,
Michael Zakharyaschev,
2003,
10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..
Frank Wolter,
Michael Zakharyaschev,
2002,
Ann. Pure Appl. Log..
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2008,
2008 15th International Symposium on Temporal Representation and Reasoning.
Frank Wolter,
F. Wolter,
1998,
J. Philos. Log..
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2013,
Description Logics.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2009,
Description Logics.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2003,
FLAIRS.
Carsten Lutz,
Frank Wolter,
André Hernich,
2020,
ACM Trans. Comput. Log..
Carsten Lutz,
Dirk Walther,
Frank Wolter,
2007,
IJCAI.
Frank Wolter,
Michael Zakharyaschev,
Alexander V. Chagrov,
1996
.
Frank Wolter,
Leszek Gasieniec,
F. Wolter,
2013
.
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2020,
Artif. Intell..
Frank Wolter,
F. Wolter,
1994,
Stud Logica.
Frank Wolter,
Michael Zakharyaschev,
F. Wolter,
2007
.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2008,
LPAR.
Boris Konev,
Carsten Lutz,
Dirk Walther,
2013,
Artif. Intell..
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2020,
KR.
Frank Wolter,
Michael Zakharyaschev,
Ullrich Hustadt,
2006,
JELIA.
Carsten Lutz,
Frank Wolter,
Inanç Seylan,
2013,
IJCAI.
Frank Wolter,
Michael Zakharyaschev,
Oliver Kutz,
2003,
TOCL.
Frank Wolter,
André Hernich,
Julio Lemos,
2016,
Description Logics.
Frank Wolter,
Michael Zakharyaschev,
F. Wolter,
2005,
Journal of Symbolic Logic.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2016,
Artif. Intell..
Frank Wolter,
Michael Zakharyaschev,
Dmitry Tishkovsky,
2005,
Description Logics.
Carsten Lutz,
Frank Wolter,
Anneke Bötcher,
2019,
IJCAI.
Franz Baader,
Carsten Lutz,
Frank Wolter,
2010,
KR.
Jean Christoph Jung,
Frank Wolter,
Alessandro Artale,
2020,
ACM Transactions on Computational Logic.
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract)
pdf
Jean Christoph Jung,
Carsten Lutz,
Frank Wolter,
2020,
Description Logics.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2010,
KR.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2006,
Advances in Modal Logic.
Frank Wolter,
Michael Zakharyaschev,
Mikhail Sheremet,
2010,
Ann. Pure Appl. Log..
Carsten Lutz,
Frank Wolter,
André Hernich,
2018
.
Carsten Lutz,
Dirk Walther,
Frank Wolter,
2005,
12th International Symposium on Temporal Representation and Reasoning (TIME'05).
Prudence W. H. Wong,
Frank Wolter,
Leszek Gasieniec,
1987,
Lecture Notes in Computer Science.
Frank Wolter,
Michael Zakharyaschev,
Wolfgang Rautenberg,
2006
.
Carsten Lutz,
Frank Wolter,
Maja Milicic Brandt,
2011,
Artif. Intell..
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2008,
KR.
Carsten Lutz,
Frank Wolter,
Meghyn Bienvenu,
2016,
Description Logics.
Carsten Lutz,
Frank Wolter,
Inanç Seylan,
2015,
IJCAI.
Robert Piro,
Carsten Lutz,
Frank Wolter,
2010,
ECAI 2010.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2004,
Artif. Intell..
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2017,
TIME.
Frank Wolter,
Leszek Gąsieniec,
F. Wolter,
2013
.
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract)
pdf
Jean Christoph Jung,
Frank Wolter,
Alessandro Artale,
2020,
Description Logics.
Carsten Lutz,
Frank Wolter,
Balder ten Cate,
2014,
ACM Trans. Database Syst..
Frank Wolter,
Michael Zakharyaschev,
Dmitry Tishkovsky,
2005,
LPAR.
Franz Baader,
Carsten Lutz,
Frank Wolter,
2000,
Description Logics.
Ian Horrocks,
Ulrike Sattler,
Frank Wolter,
2005,
Description Logics.
Philippe Balbiani,
Frank Wolter,
Nobu-Yuki Suzuki,
2002
.
Ulrike Sattler,
Carsten Lutz,
Frank Wolter,
2001,
Description Logics.
Carsten Lutz,
Frank Wolter,
Meghyn Bienvenu,
2012,
KR.
Cesare Tinelli,
Carsten Lutz,
Frank Wolter,
2019,
Lecture Notes in Computer Science.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2010,
Log. Methods Comput. Sci..
Frank Wolter,
Michael Zakharyaschev,
Oliver Kutz,
2001,
Description Logics.
Frank Wolter,
Michael Zakharyaschev,
David Gabelaia,
2004
.
Enrico Franconi,
Frank Wolter,
Alessandro Artale,
2001,
Description Logics.
Frank Wolter,
2011,
CSL.
All finitely axiomatizable subframe logics containing the provability logic CSM
$_{0}$ are decidable
Frank Wolter,
1998,
Arch. Math. Log..
Frank Wolter,
Peter Janssen,
Kiran Govindswamy,
2005
.
Frank Wolter,
Michael Zakharyaschev,
Dmitry Tishkovsky,
2006,
Advances in Modal Logic.
Franz Baader,
Carsten Lutz,
Frank Wolter,
2011,
J. Artif. Intell. Res..
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2014,
KR.
Carsten Lutz,
Frank Wolter,
Inanç Seylan,
2012,
KR.
Hans Tompits,
Thomas Eiter,
Frank Wolter,
2010
.
Frank Wolter,
F. Wolter,
1997,
Stud Logica.
Philippe Balbiani,
Frank Wolter,
Michael Zakharyaschev,
1998
.
Carsten Lutz,
Frank Wolter,
David Toman,
2008,
OWLED.
Robert Piro,
Carsten Lutz,
Frank Wolter,
2011,
IJCAI.
Carsten Lutz,
Frank Wolter,
Peter Hansen,
2015,
IJCAI.
Jean Christoph Jung,
Frank Wolter,
2020,
ArXiv.
Frank Wolter,
Michael Zakharyaschev,
Ágnes Kurucz,
2010,
Advances in Modal Logic.
Carsten Lutz,
Frank Wolter,
Inanç Seylan,
2019,
Log. Methods Comput. Sci..
Frank Wolter,
F. Wolter,
2016,
LATA.
Boris Konev,
Dirk Walther,
Frank Wolter,
2008,
IJCAR.
Frank Wolter,
Michael Zakharyaschev,
F. Wolter,
2008
.
Boris Konev,
Frank Wolter,
Michael Zakharyaschev,
2006,
Advances in Modal Logic.
Frank Wolter,
Holger Sturm,
F. Wolter,
2000
.
Marcus Kracht,
Frank Wolter,
M. Kracht,
1999,
Journal of Symbolic Logic.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2003,
Description Logics.
Frank Wolter,
Michael Zakharyaschev,
F. Wolter,
2001,
Journal of Symbolic Logic.
Carsten Lutz,
Frank Wolter,
Meghyn Bienvenu,
2012,
Description Logics.
Luca Pulina,
Ulrike Sattler,
Frank Wolter,
2009,
IJCAI.
Vasant Honavar,
Bernardo Cuenca Grau,
Frank Wolter,
2008,
WoMO.
Frank Wolter,
Michael Zakharyaschev,
F. Wolter,
2002
.
Frank Wolter,
Benno Bock,
Christian Scherf,
2012
.
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2015,
IJCAI.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2002,
Stud Logica.
Carsten Lutz,
Frank Wolter,
Meghyn Bienvenu,
2013,
IJCAI.
Boris Konev,
Carsten Lutz,
Frank Wolter,
2015,
Description Logics.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2001,
IJCAR.
Ralf Küsters,
Franz Baader,
Frank Wolter,
2003,
Description Logic Handbook.
Enrico Franconi,
Frank Wolter,
Alessandro Artale,
2001,
SEBD.
Franz Baader,
Jan Hladik,
Carsten Lutz,
2003,
Fundam. Informaticae.
Frank Wolter,
Michael Zakharyaschev,
Mark Reynolds,
2005
.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2016,
IJCAI.
Frank Wolter,
Michael Zakharyaschev,
F. Wolter,
2007,
Handbook of Modal Logic.
Boris Konev,
Frank Wolter,
Ana Ozaki,
2016,
AAAI.
Carsten Lutz,
Frank Wolter,
Piero A. Bonatti,
2009,
J. Artif. Intell. Res..
Frank Wolter,
F. Wolter,
1995,
Journal of Symbolic Logic.
Frank Wolter,
F. Wolter,
1996,
Math. Log. Q..
Carsten Lutz,
Frank Wolter,
Silvio Ghilardi,
2006,
International Conference on Principles of Knowledge Representation and Reasoning.
Franz Baader,
Carsten Lutz,
Frank Wolter,
2016,
J. Artif. Intell. Res..
Carsten Lutz,
Frank Wolter,
Piero A. Bonatti,
2006,
KR.
Carsten Lutz,
Frank Wolter,
Maja Milicic Brandt,
2006,
Description Logics.
Boris Konev,
Frank Wolter,
William Gatens,
2014,
Description Logics.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2016,
Description Logics.
Frank Wolter,
Christoph Steffens,
Georg Eisele,
2020
.
Carsten Lutz,
Frank Wolter,
Johannes Marti,
2020,
ArXiv.
Frank Wolter,
2000,
J. Log. Comput..
Carsten Lutz,
Frank Wolter,
Maja Milicic Brandt,
2006,
KR.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2011,
IJCAI.
Marcus Kracht,
Frank Wolter,
M. Kracht,
1997,
Stud Logica.
Boris Konev,
Carsten Lutz,
Frank Wolter,
2014,
KR.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2015,
IJCAI.
Frank Wolter,
Ian M. Hodkinson,
Michael Zakharyaschev,
2004,
J. Log. Comput..
Carsten Lutz,
Frank Wolter,
Leif Sabellek,
2021,
KR.
Jean Christoph Jung,
Frank Wolter,
F. Wolter,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Boris Konev,
Frank Wolter,
Marie Fortin,
2021,
Description Logics.
Frank Wolter,
Alessandro Artale,
Michael Zakharyaschev,
2021,
ArXiv.
Jean Christoph Jung,
Frank Wolter,
Alessandro Artale,
2021,
AAAI.
Frank Wolter,
F. Wolter,
2021,
SOQE@KR.
Jean Christoph Jung,
Carsten Lutz,
Frank Wolter,
2021,
KR.
Carsten Lutz,
Frank Wolter,
Leif Sabellek,
2021,
Description Logics.
Boris Konev,
Frank Wolter,
Michel Ludwig,
.
Frank Wolter,
Michael Zakharyaschev,
F. Wolter,
2014
.
Frank Wolter,
F. Wolter,
1997
.
Frank Wolter,
F. Wolter,
1999
.
Carsten Lutz,
Frank Wolter,
Balder ten Cate,
2014,
ACM Trans. Database Syst..
Frank Wolter,
Michael Zakharyaschev,
David Gabelaia,
2004
.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2009
.
Frank Wolter,
Michael Zakharyaschev,
Holger Sturm,
2002
.