M. Kifer
发表
Michael Kifer,
Eliezer L. Lozinskii,
E. L. Lozinskii,
1986,
ICDT.
Zahir Tari,
Ozalp Babaoglu,
John Mylopoulos,
2018,
Lecture Notes in Computer Science.
Michael Kifer,
Won Kim,
Yehoshua Sagiv,
1992,
SIGMOD '92.
Michael Kifer,
Arthur J. Bernstein,
Philip M. Lewis,
2005
.
A. Polleres,
M. Kifer,
H. Lausen,
2005
.
E. L. Lozinskii,
M. Kifer,
1986
.
Benjamin N. Grosof,
B. Grosof,
M. Kifer,
2005
.
Michael Kifer,
Martín Rezk,
M. Kifer,
2012,
Journal on Data Semantics.
M. Kifer,
Guizhen Yang,
2002
.
Hendrik Decker,
Michael Kifer,
Andrei Voronkov,
1996
.
M. Kifer,
Hui Wan,
2009
.
Michael Kifer,
Scott A. Smolka,
M. Kifer,
2007
.
Maria E. Orlowska,
Steffen Staab,
Ian Horrocks,
2005
.
John Mylopoulos,
Larry Kerschberg,
Ronald Morrison,
1989
.
M. Kifer,
I. Ramakrishnan,
H. Davulcu,
2003
.
Michael Kifer,
David Scott Warren,
Weidong Chen,
1989,
NACLP.
Michael Kifer,
James C. Wu,
M. Kifer,
1989,
PODS.
Michael Kifer,
Arthur J. Bernstein,
Philip M. Lewis,
2005
.
Ian Horrocks,
Diego Calvanese,
Fangzhen Lin,
2017,
Reasoning Web.
Ian Horrocks,
Diego Calvanese,
Fangzhen Lin,
2017
.
Gerd Wagner,
Ian Horrocks,
Stefan Decker,
2003,
IEEE Intelligent Systems.
Gerd Wagner,
Michael Kifer,
Benjamin N. Grosof,
2005,
Rule Languages for Interoperability.
Michael Kifer,
Claude Delobel,
Y. Masunaga,
1991
.
J. Thatcher,
H. Kirchner,
J. Meseguer,
1993
.
M. Kifer,
P. Fodor,
Yuheng Wang,
2022,
Electronic Proceedings in Theoretical Computer Science.
V. S. Subrahmanian,
Michael Kifer,
M. Kifer,
1989,
NACLP.
Burkhard Freitag,
Michael Kifer,
Andrei Voronkov,
1996
.
I. V. Ramakrishnan,
Saikat Mukherjee,
Michael Kifer,
2004,
International ACM SIGACCESS Conference on Computers and Accessibility.
I. V. Ramakrishnan,
Michael Kifer,
Hasan Davulcu,
2000,
PODS '00.
Michael Kifer,
Anthony J. Bonner,
M. Kifer,
1998,
Logics for Databases and Information Systems.
Michael Kifer,
M. Kifer,
1995,
DOOD.
Michael Kifer,
Anthony J. Bonner,
M. Kifer,
1994,
Theor. Comput. Sci..
Michael Kifer,
Anthony J. Bonner,
M. Kifer,
1994,
ICTL.
Michael Kifer,
Mariano P. Consens,
Anthony J. Bonner,
1993,
DBPL.
Michael Kifer,
Anthony J. Bonner,
M. Kifer,
1993,
ICLP.
Michael Kifer,
Anthony J. Bonner,
M. Kifer,
1993
.
Andrea Calì,
Georg Gottlob,
Michael Kifer,
2008,
Description Logics.
Michael Kifer,
Ai Li,
M. Kifer,
1988,
ICDT.
M. Kifer,
Martín Rezk,
2012,
Journal on Data Semantics.
Michael Kifer,
Anthony J. Bonner,
M. Kifer,
1996,
Transactions and Change in Logic Databases.
Michael Kifer,
Anthony J. Bonner,
M. Kifer,
1996,
Transactions and Change in Logic Databases.
Michael Kifer,
Paul Fodor,
Tiantian Gao,
2018,
2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI).
Michael Kifer,
Eliezer L. Lozinskii,
E. L. Lozinskii,
1992,
Journal of Automated Reasoning.
Michael Kifer,
Eliezer L. Lozinskii,
E. L. Lozinskii,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Michael Kifer,
M. Kifer,
1990
.
Michael Kifer,
James Wu,
M. Kifer,
1993,
J. Comput. Syst. Sci..
Michael Kifer,
Georg Lausen,
M. Kifer,
1989,
SIGMOD '89.
Michael Kifer,
Axel Polleres,
Holger Lausen,
2004
.
Michael Kifer,
Reza Basseda,
M. Kifer,
2015,
RR.
V. S. Subrahmanian,
Michael Kifer,
M. Kifer,
1992,
J. Log. Program..
Michael Kifer,
Guizhen Yang,
M. Kifer,
2000,
Computational Logic.
Michael Kifer,
Georg Lausen,
James Wu,
1995,
JACM.
Michael Kifer,
Benjamin N. Grosof,
Mike Dean,
2010,
RuleML Challenge.
Michael Kifer,
Guizhen Yang,
M. Kifer,
2003,
RuleML.
Michael Kifer,
Martín Rezk,
M. Kifer,
2011,
RR.
Michael Kifer,
Hui Wan,
Paul Fodor,
2009,
WWW '09.
Michael Kifer,
Vinay K. Chaudhri,
Guizhen Yang,
2006,
PODS '06.
Michael Kifer,
M. Kifer,
1998,
JACM.
Michael Kifer,
Weidong Chen,
M. Kifer,
1995,
ICDT.
Michael Kifer,
James Wu,
M. Kifer,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Michael Kifer,
James Wu,
M. Kifer,
1989,
PODS '89.
Michael Kifer,
Guizhen Yang,
M. Kifer,
2002,
OTM.
Michael Kifer,
David Scott Warren,
Weidong Chen,
1993,
J. Log. Program..
Michael Kifer,
M. Kifer,
1995,
Journal of Intelligent Information Systems.
Michael Kifer,
Katsumi Tanaka,
Michael L. Brodie,
1990
.
M. Kifer,
I. Savga,
M. Kifer,
2004
.
Michael Kifer,
Harold Boley,
M. Kifer,
2009
.
Michael Kifer,
Paul Fodor,
Tiantian Gao,
2019,
Theory and Practice of Logic Programming.
Michael Kifer,
M. Kifer,
2005,
Reasoning Web.
Catriel Beeri,
Michael Kifer,
M. Kifer,
1986,
TODS.
Michael Kifer,
Axel Polleres,
Paula-Lavinia Patranjan,
2007,
Reasoning Web.
Andrea Calì,
Michael Kifer,
M. Kifer,
2006,
VLDB.
Jos de Bruijn,
Dieter Fensel,
Michael Kifer,
2005,
RuleML.
Michael Kifer,
Guizhen Yang,
Chang Zhao,
2003,
OTM.
Michael Kifer,
Guizhen Yang,
M. Kifer,
2002,
OTM.
Michael Kifer,
M. Kifer,
2005,
Rule Languages for Interoperability.
Dieter Fensel,
Michael Kifer,
Axel Polleres,
2004,
SWS@ISWC.
Michael Kifer,
Guizhen Yang,
M. Kifer,
2003,
J. Data Semant..
Saikat Mukherjee,
Michael Kifer,
Hasan Davulcu,
2003,
Logics for Emerging Applications of Databases.
Michael Kifer,
Harold Boley,
M. Kifer,
2013
.
Michael Kifer,
Mira Balaban,
Igal Khitron,
2020,
J. Object Technol..
Michael Kifer,
Arthur J. Bernstein,
Philip M. Lewis,
2001
.
Michael Kifer,
Dumitru Roman,
M. Kifer,
2018,
Semantic Web.
Michael Kifer,
Enrico Franconi,
M. Kifer,
1999,
CEUR Workshop Proceedings.
I. V. Ramakrishnan,
Michael Kifer,
Guizhen Yang,
2003,
CIKM '03.
Michael Kifer,
M. Kifer,
2008,
RuleML.
Michael Kifer,
Eliezer L. Lozinskii,
E. L. Lozinskii,
1988,
IEEE Trans. Software Eng..
Abraham Silberschatz,
Michael Kifer,
Raghu Ramakrishnan,
1988,
PODS '88.
Michael Kifer,
M. Kifer,
1988,
JCDKB.
Martin Gogolla,
Michael Kifer,
Mira Balaban,
2016,
OCL@MoDELS.
Andrea Calì,
Georg Gottlob,
Thomas Lukasiewicz,
2010,
AAAI.
I. V. Ramakrishnan,
Michael Kifer,
Hasan Davulcu,
2004,
WWW Alt. '04.
I. V. Ramakrishnan,
Michael Kifer,
Hasan Davulcu,
2002
.
Michael Kifer,
Marcelo Arenas,
Leopoldo E. Bertossi,
2000,
Computational Logic.
Michael Kifer,
M. Kifer,
2014,
Encyclopedia of Social Network Analysis and Mining.
I. V. Ramakrishnan,
Michael Kifer,
Hasan Davulcu,
1999,
SIGMOD '99.
Michael Kifer,
Paul Fodor,
Tiantian Gao,
2018,
OTM Conferences.
Michael Kifer,
Mira Balaban,
M. Kifer,
2011,
MODELS'11.
M. Kifer,
P. Fodor,
Hui Wan,
2009,
WWW '09.
M. Kifer,
Harold Boley,
2009
.
Michael Kifer,
Scott A. Smolka,
M. Kifer,
2007
.
Michael Kifer,
Scott A. Smolka,
M. Kifer,
2007
.
Michael Kifer,
Scott A. Smolka,
M. Kifer,
2007
.
Michael Kifer,
Scott A. Smolka,
M. Kifer,
2007
.
Michael Kifer,
Scott A. Smolka,
M. Kifer,
2007
.
Michael Kifer,
Scott A. Smolka,
M. Kifer,
2007
.
Krishnaprasad Thirunarayan,
Michael Kifer,
David Scott Warren,
1989,
IJCAI.
John Mylopoulos,
Stefano Spaccapietra,
Mohand-Said Hacid,
2007,
Journal on Data Semantics IX.
Krishnaprasad Thirunarayan,
Michael Kifer,
M. Kifer,
1993,
Artif. Intell..
M. Kifer,
Senlin Liang Paul Fodor Hui Wan Michael Kifer,
Hui Wan,
2022
.
M. Kifer,
M. Kifer,
1989,
ACM SIGMOD Conference.
Michael Kifer,
Senlin Liang,
M. Kifer,
2013,
PADL.
Michael Kifer,
M. Kifer,
2005,
LPNMR.
M. Kifer,
Harold Boley,
2009
.
Michael Kifer,
Martín Rezk,
M. Kifer,
2012,
FoIKS.
Michael Kifer,
Eliezer L. Lozinskii,
E. L. Lozinskii,
1990,
TODS.
Michael Kifer,
Juliana Freire,
David Scott Warren,
2003
.