Michael Zakharyaschev

发表

Enrico Franconi, Frank Wolter, Alessandro Artale, 2002, JELIA.
Frank Wolter, Ian M. Hodkinson, Michael Zakharyaschev, 2000, Ann. Pure Appl. Log..
Michael Zakharyaschev, M. Zakharyaschev, 1997, Journal of Symbolic Logic.
Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2009, Description Logics.
Diego Calvanese, Michael Zakharyaschev, Guohui Xiao, 2019, TIME.
Carsten Lutz, Frank Wolter, Alessandro Artale, 2007, 14th International Symposium on Temporal Representation and Reasoning (TIME'07).
Frank Wolter, Michael Zakharyaschev, F. Wolter, 2000, ECAI.
Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2010, Artif. Intell..
Stanislav Kikot, Michael Zakharyaschev, Olga Gerasimova, 2019, Description Logic, Theory Combination, and All That.
Michael Zakharyaschev, Alexander V. Chagrov, M. Zakharyaschev, 1991, Stud Logica.
M. de Rijke, Michael Zakharyaschev, Heinrich Wansing, 2001 .
Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov, 2006 .
Philippe Balbiani, Frank Wolter, Michael Zakharyaschev, 2004, Hydrobiologia.
Frank Wolter, Michael Zakharyaschev, Ágnes Kurucz, 2005, Journal of Symbolic Logic.
Michael Zakharyaschev, Roman Kontchakov, M. Zakharyaschev, 2014, Reasoning Web.
Sebastian Rudolph, Riccardo Rosati, Michael Zakharyaschev, 2011, Description Logics.
Michael Zakharyaschev, Roman Kontchakov, Vladislav Ryzhikov, 2013, Description Logics.
Diego Calvanese, Michael Zakharyaschev, Guohui Xiao, 2017, ArXiv.
Michael Zakharyaschev, Guohui Xiao, Roman Kontchakov, 2014, SEMWEB.
Frank Wolter, Michael Zakharyaschev, F. Wolter, 1998, Advances in Modal Logic.
Frank Wolter, Michael Zakharyaschev, Ágnes Kurucz, 2006, Ann. Pure Appl. Log..
Michael Zakharyaschev, Roman Kontchakov, Mariano Rodriguez-Muro, 2013, SEMWEB.
Frank Wolter, Michael Zakharyaschev, Ágnes Kurucz, 2005, We Will Show Them!.
Jean Christoph Jung, Frank Wolter, Michael Zakharyaschev, 2019, Description Logics.
Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2015, Description Logics.
Carsten Lutz, Frank Wolter, Michael Zakharyaschev, 2004, Stud Logica.
Michael Zakharyaschev, Alexander V. Chagrov, M. Zakharyaschev, 1995, J. Log. Comput..
Michael Zakharyaschev, Nenad Krdzavac, Henson Graves, 2013, J. Artif. Intell. Res..
Frank Wolter, Michael Zakharyaschev, F. Wolter, 2003, IJCAI.
Michael Zakharyaschev, Roman Kontchakov, Mariano Rodriguez-Muro, 2013, Description Logics.
Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2012, TOCL.
Yavor Nenov, Michael Zakharyaschev, Roman Kontchakov, 2011, IJCAI.
Frank Wolter, Ian M. Hodkinson, Michael Zakharyaschev, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Michael Zakharyaschev, Alexander V. Chagrov, 1996 .
Frank Wolter, Alessandro Artale, Michael Zakharyaschev, 2013, IJCAI.
Stanislav Kikot, Frank Wolter, Michael Zakharyaschev, 2018, Advances in Modal Logic.
Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2007, Handbook of Spatial Logics.
Stanislav Kikot, Michael Zakharyaschev, Olga Gerasimova, 2020 .
Stanislav Kikot, Michael Zakharyaschev, Vladislav Ryzhikov, 2018, Description Logics.
Michael Zakharyaschev, Roman Kontchakov, 2008, ASWC.
Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2014, CSL-LICS.
Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2017, PODS.
Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2011, RR.
Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2008, Description Logics.
Frank Wolter, Michael Zakharyaschev, Oliver Kutz, 2002, J. Appl. Non Class. Logics.
Frank Wolter, Michael Zakharyaschev, Holger Sturm, 2000, JELIA.
Michael Zakharyaschev, Guohui Xiao, Elem Güzel Kalayci, 2017, J. Artif. Intell. Res..
Michael Zakharyaschev, Alexander V. Chagrov, M. Zakharyaschev, 1993, Journal of Symbolic Logic.
Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2018, OTM Conferences.
Michael Zakharyaschev, Roman Kontchakov, Mariano Rodriguez-Muro, 2013, ORE.
Carsten Lutz, Frank Wolter, Michael Zakharyaschev, 2019, Artif. Intell..
Michael Zakharyaschev, Roman Kontchakov, Ágnes Kurucz, 2005, Bull. Symb. Log..
Anthony G. Cohn, Frank Wolter, Michael Zakharyaschev, 2002, Applied Intelligence.
Michael Fisher, Alexei Lisitsa, Boris Konev, 2006 .
Yavor Nenov, Michael Zakharyaschev, Roman Kontchakov, 2011, TOCL.
Stanislav Kikot, Michael Zakharyaschev, Dmitry Tsarkov, 2013, Description Logics.
Diego Calvanese, Alessandro Artale, Michael Zakharyaschev, 2007, ER.
Frank Wolter, Alessandro Artale, Michael Zakharyaschev, 2014, Description Logics.
Michael Zakharyaschev, Alexander Alekseev, M. Zakharyaschev, 1995, Math. Log. Q..
Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2011, FroCoS.
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.
Diego Calvanese, Michael Zakharyaschev, Guohui Xiao, 2019, Int. J. Appl. Math. Comput. Sci..
Frank Wolter, Michael Zakharyaschev, Ágnes Kurucz, 2002, Studia Logica: An International Journal for Symbolic Logic.
Michael Zakharyaschev, M. Zakharyaschev, 1996, Journal of Symbolic Logic.
Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov, 2007 .
Michael Zakharyaschev, Roman Kontchakov, Ian Pratt-Hartmann, 2014, Artif. Intell..
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, Michael Zakharyaschev, Ágnes Kurucz, 2011, Description Logics.
Frank Wolter, Michael Zakharyaschev, Yasuhito Suzuki, 1997, J. Log. Lang. Inf..
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.
Frank Wolter, Michael Zakharyaschev, F. Wolter, 1999, IJCAI.
Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2011, J. Artif. Intell. Res..
Michael Zakharyaschev, Roman Kontchakov, Mariano Rodriguez-Muro, 2013, Reasoning Web.
Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2007, Description Logics.
Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2019, Description Logics.
Frank Wolter, Michael Zakharyaschev, Agi Kurucz, 2005, We Will Show Them!.
Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2016, J. ACM.
Frank Wolter, Michael Zakharyaschev, Oliver Kutz, 2002 .
Boris Konev, Carsten Lutz, Frank Wolter, 2016, IJCAI.
Frank Wolter, Michael Zakharyaschev, 鈴木 康人, 1997, Journal of Logic, Language and Information.
Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2012, KR.
Michael Zakharyaschev, David Gabelaia, Agi Kurucz, 2004 .
Frank Wolter, Ian M. Hodkinson, Michael Zakharyaschev, 2001, LPAR.
Michael Zakharyaschev, 2011, WoLLIC.
Michael Zakharyaschev, 1994, Notre Dame J. Formal Log..
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.
M. de Rijke, Maarten de Rijke, Michael Zakharyaschev, 1998, Advances in Modal Logic.
Arild Waaler, Michael Zakharyaschev, Roman Kontchakov, 2017, International Semantic Web Conference.
Frank Wolter, Michael Zakharyaschev, Dmitry Tishkovsky, 2007, J. Log. Comput..
Diego Calvanese, Alessandro Artale, Michael Zakharyaschev, 2007, SEBD.
Boris Konev, Frank Wolter, Michael Zakharyaschev, 2011, Description Logics.
Luca Pulina, Michael Zakharyaschev, Roman Kontchakov, 2016, IJCAI.
Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2011, Description Logics.
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 .
Michael Zakharyaschev, 2000, J. Log. Lang. Inf..
Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2017, Description Logics.
Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2010, ER.
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, Alessandro Artale, Michael Zakharyaschev, 2013, Description Logics.
Carsten Lutz, Frank Wolter, Michael Zakharyaschev, 2009, Description Logics.
Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2003, FLAIRS.
Stanislav Kikot, Michael Zakharyaschev, Vladimir V. Podolskii, 2017, KESW.
Michael Zakharyaschev, Vladislav Ryzhikov, Przemyslaw Andrzej Walega, 2020, Reasoning Web.
Frank Wolter, Michael Zakharyaschev, Alexander V. Chagrov, 1996 .
Thomas Schwentick, Georg Gottlob, Stanislav Kikot, 2014, Artif. Intell..
Frank Wolter, Alessandro Artale, Michael Zakharyaschev, 2020, Artif. Intell..
Frank Wolter, Michael Zakharyaschev, F. Wolter, 2007 .
Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2008, LPAR.
Michael Zakharyaschev, M. Zakharyaschev, 1997, Stud Logica.
Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2020, KR.
Frank Wolter, Michael Zakharyaschev, Ullrich Hustadt, 2006, JELIA.
Michael Zakharyaschev, 1987, FCT.
Davide Bresolin, Guido Sciavicco, Emilio Muñoz-Velasco, 2016, ACM Trans. Comput. Log..
Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2010, Description Logics.
Frank Wolter, Michael Zakharyaschev, Oliver Kutz, 2003, TOCL.
Ulrike Sattler, Michael Zakharyaschev, Thomas Schneider, 2009, Description Logics.
Frank Wolter, Michael Zakharyaschev, F. Wolter, 2005, Journal of Symbolic Logic.
Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2016, Artif. Intell..
Michael Zakharyaschev, Guohui Xiao, Roman Kontchakov, 2017, AAAI.
Frank Wolter, Michael Zakharyaschev, Dmitry Tishkovsky, 2005, Description Logics.
Michael Zakharyaschev, Mark Reynolds, 2002 .
Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2014, ArXiv.
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..
Stanislav Kikot, Michael Zakharyaschev, Olga Gerasimova, 2018, Description Logics.
Frank Wolter, Michael Zakharyaschev, Wolfgang Rautenberg, 2006 .
Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2009, FroCoS.
Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2008, KR.
Carsten Lutz, Frank Wolter, Michael Zakharyaschev, 2004, Artif. Intell..
Diego Calvanese, Alessandro Artale, Michael Zakharyaschev, 2009, Description Logics.
Frank Wolter, Alessandro Artale, Michael Zakharyaschev, 2017, TIME.
Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2013, LPAR.
Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2012, ICALP.
Frank Wolter, Michael Zakharyaschev, Dmitry Tishkovsky, 2005, LPAR.
Michael Zakharyaschev, Guohui Xiao, Vladislav Ryzhikov, 2017 .
Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2010, Log. Methods Comput. Sci..
Frank Wolter, Michael Zakharyaschev, Oliver Kutz, 2001, Description Logics.
Michael Zakharyaschev, M. Zakharyaschev, 2007, FroCoS.
Frank Wolter, Michael Zakharyaschev, David Gabelaia, 2004 .
Enrico Franconi, Frank Wolter, Alessandro Artale, 2001, Description Logics.
Stanislav Kikot, Michael Zakharyaschev, Vladimir V. Podolskii, 2017, Description Logics.
Diego Calvanese, Alessandro Artale, Michael Zakharyaschev, 2007, AAAI.
Frank Wolter, Michael Zakharyaschev, Dmitry Tishkovsky, 2006, Advances in Modal Logic.
Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2016, Description Logics.
Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2014, KR.
Michael Zakharyaschev, Guohui Xiao, Elem Güzel Kalayci, 2017, ADBIS.
Philippe Balbiani, Frank Wolter, Michael Zakharyaschev, 1998 .
Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2012, Description Logics.
Frank Wolter, Michael Zakharyaschev, Ágnes Kurucz, 2010, Advances in Modal Logic.
Diego Calvanese, Antonella Poggi, Riccardo Rosati, 2018, IJCAI.
Frank Wolter, Michael Zakharyaschev, F. Wolter, 2008 .
Boris Konev, Frank Wolter, Michael Zakharyaschev, 2006, Advances in Modal Logic.
Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2013, Description Logics.
Michael Zakharyaschev, Mark Reynolds, M. Zakharyaschev, 2001, J. Log. Comput..
Carsten Lutz, Frank Wolter, Michael Zakharyaschev, 2003, Description Logics.
Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2010, AAAI.
Michael Zakharyaschev, 2011, WoLLIC 2011.
Frank Wolter, Michael Zakharyaschev, F. Wolter, 2001, Journal of Symbolic Logic.
Michael Zakharyaschev, Roman Kontchakov, Mariano Rodriguez-Muro, 2013, OWLED.
Luca Pulina, Ulrike Sattler, Frank Wolter, 2009, IJCAI.
Michael Zakharyaschev, Alexander V. Chagrov, A. Chagrov, 1997, Oxford logic guides.
Michael Zakharyaschev, Roman Kontchakov, Ian Pratt-Hartmann, 2010, KR.
Stanislav Kikot, Michael Zakharyaschev, Roman Kontchakov, 2017, Description Logics.
Frank Wolter, Michael Zakharyaschev, F. Wolter, 2002 .
Michael Zakharyaschev, Agi Kurucz, Agi Kurucz, 2002 .
Frank Wolter, Alessandro Artale, Michael Zakharyaschev, 2015, IJCAI.
Carsten Lutz, Frank Wolter, Michael Zakharyaschev, 2002, Stud Logica.
Boris Konev, Carsten Lutz, Frank Wolter, 2015, Description Logics.
Alessandro Artale, Michael Zakharyaschev, Roman Kontchakov, 2015, AAAI.
Carsten Lutz, Frank Wolter, Michael Zakharyaschev, 2001, IJCAR.
Diego Calvanese, Alessandro Artale, Michael Zakharyaschev, 2007, Description Logics.
Enrico Franconi, Frank Wolter, Alessandro Artale, 2001, SEBD.
Michael Zakharyaschev, Alexander V. Chagrov, M. Zakharyaschev, 1992, Stud Logica.
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.
Diego Calvanese, Alessandro Artale, Michael Zakharyaschev, 2009, J. Artif. Intell. Res..
Carsten Lutz, Frank Wolter, Michael Zakharyaschev, 2016, Description Logics.
Michael Zakharyaschev, M. Zakharyaschev, 1992, Journal of Symbolic Logic.
Michael Zakharyaschev, Alexander V. Chagrov, 1990 .
Michael Zakharyaschev, Ágnes Kurucz, M. Zakharyaschev, 2002, Advances in Modal Logic.
Michael Zakharyaschev, Vladislav Ryzhikov, Yury Savateev, 2020, Description Logics.
Diego Calvanese, Alessandro Artale, Michael Zakharyaschev, 2009, Description Logics.
Carsten Lutz, Frank Wolter, Michael Zakharyaschev, 2011, IJCAI.
Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2015, IJCAI.
Frank Wolter, Ian M. Hodkinson, Michael Zakharyaschev, 2004, J. Log. Comput..
Michael Zakharyaschev, Vladislav Ryzhikov, Yury Savateev, 2020, Description Logics.
Michael Zakharyaschev, Vladislav Ryzhikov, Agi Kurucz, 2021, RAMiCS.
Frank Wolter, Alessandro Artale, Michael Zakharyaschev, 2021, ArXiv.
Stanislav Kikot, Michael Zakharyaschev, Vladimir V. Podolskii, 2021, PODS.
Diego Calvanese, Alessandro Artale, Michael Zakharyaschev, 2007 .
Guram Bezhanishvili, Michael Zakharyaschev, M. Zakharyaschev, 1997 .
Frank Wolter, Michael Zakharyaschev, F. Wolter, 2014 .
Michael Zakharyaschev, Roman Kontchakov, 2009 .
Frank Wolter, Michael Zakharyaschev, David Gabelaia, 2004 .
Frank Wolter, Michael Zakharyaschev, Roman Kontchakov, 2009 .
Frank Wolter, Michael Zakharyaschev, Holger Sturm, 2002 .