M. Gelfond
发表
Olga Kosheleva,
Chitta Baral,
Michael Gelfond,
1998,
J. Log. Program..
Michael Gelfond,
M. Gelfond,
1987,
AAAI.
David W. Etherington,
M. Garey,
D. Loveland,
1993
.
M. Gelfond,
Halina Przymusi,
1991
.
Tran Cao Son,
Michael Gelfond,
Phan Huy Tu,
2005,
AAAI.
M. Gelfond,
A. Morales,
.
Michael Gelfond,
Halina Przymusinska,
H. Przymusinska,
1990
.
M. Gelfond,
2001
.
M. Sridharan,
M. Gelfond,
2016
.
M. Sridharan,
Shiqi Zhang,
M. Gelfond,
2015
.
M. Gelfond,
Daniela Inclezan,
2015
.
Chitta Baral,
Michael Gelfond,
Chitta Baral,
1996
.
Michael Gelfond,
Monica Nogueira,
Marcello Balduccini,
2002
.
Michael Gelfond,
Vladimir Lifschitz,
V. Lifschitz,
1998,
Electron. Trans. Artif. Intell..
M. Gelfond,
Yana Todorova,
2012
.
M. Gelfond,
2009
.
M. Gelfond,
Richard Watson,
2006
.
Michael Gelfond,
Yuanlin Zhang,
Veena S. Mellarkod,
2008
.
Michael Gelfond,
Yulia Kahl,
M. Gelfond,
2014
.
Michael Gelfond,
Yulia Kahl,
M. Gelfond,
2014
.
Knowledge Representation, Reasoning, and the Design of Intelligent Agents: Creating a Knowledge Base
Michael Gelfond,
Yulia Kahl,
M. Gelfond,
2014
.
Michael Gelfond,
Yulia Kahl,
M. Gelfond,
2014
.
Michael Gelfond,
Yulia Kahl,
M. Gelfond,
2014
.
Michael Gelfond,
Yulia Kahl,
M. Gelfond,
2014
.
Michael Gelfond,
Yulia Kahl,
M. Gelfond,
2014
.
Michael Gelfond,
Yulia Kahl,
M. Gelfond,
2014
.
Michael Gelfond,
Yulia Kahl,
M. Gelfond,
2014
.
Michael Gelfond,
Yulia Kahl,
M. Gelfond,
2014
.
Chitta Baral,
M. Gelfond,
Richard Watson,
1999
.
V. Lifschitz,
M. Gelfond,
1998,
Electron. Trans. Artif. Intell..
Gerald Pfeifer,
Michael Gelfond,
Nicola Leone,
1999
.
V. Lifschitz,
M. Gelfond,
1998
.
M. Gelfond,
Daniela Inclezan,
2009
.
Michael Gelfond,
Vladimir Lifschitz,
V. Lifschitz,
1990,
ICLP.
M. Gelfond,
1999
.
J. E. Urban,
M. Gelfond,
D. Cooke,
2000
.
M. Gelfond,
Daniela Inclezan,
2009
.
Michael Gelfond,
Vladimir Lifschitz,
V. Lifschitz,
1992,
JICSLP.
Michael Gelfond,
M. Gelfond,
1988,
NMR.
Miroslaw Truszczynski,
Michael Gelfond,
Vladimir Lifschitz,
1991,
KR.
Chitta Baral,
Michael Gelfond,
Alessandro Provetti,
1997,
J. Log. Program..
Michael Gelfond,
Vladimir Lifschitz,
Arkady Rabinov,
1991,
Automated Reasoning: Essays in Honor of Woody Bledsoe.
Michael Gelfond,
Vladimir Lifschitz,
V. Lifschitz,
1991,
New Generation Computing.
V. Lifschitz,
M. Gelfond,
1988,
ICLP/SLP.
Chitta Baral,
Michael Gelfond,
Chitta Baral,
1997,
J. Log. Program..
Michael Gelfond,
Vladimir Lifschitz,
V. Lifschitz,
1993,
J. Log. Program..
Chitta Baral,
Michael Gelfond,
Chitta Baral,
1993,
IJCAI.
J. Nelson Rushton,
Chitta Baral,
Michael Gelfond,
2004,
Theory and Practice of Logic Programming.
Michael Gelfond,
Nicola Leone,
N. Leone,
2002
.
Michael Gelfond,
Richard Watson,
M. Gelfond,
1998,
Sci. Comput. Program..
Chitta Baral,
Michael Gelfond,
Chitta Baral,
1994,
J. Log. Program..
Michael Gelfond,
Vladimir Lifschitz,
Grigori Schwarz,
1994,
TARK.
Olga Kosheleva,
Chitta Baral,
Michael Gelfond,
1993,
ILPS.
Michael Gelfond,
Halina Przymusinska,
H. Przymusinska,
1993,
LPNMR.
Teodor C. Przymusinski,
Michael Gelfond,
Halina Przymusinska,
1990,
Int. J. Intell. Syst..
Teodor C. Przymusinski,
Michael Gelfond,
Halina Przymusinska,
1989,
Artif. Intell..
Michael Gelfond,
Vladimir Lifschitz,
V. Lifschitz,
1989,
NMR.
Michael Gelfond,
Vladimir Lifschitz,
V. Lifschitz,
1988,
AAAI 1988.
Michael Gelfond,
Halina Przymusinska,
H. Przymusinska,
1986,
Artif. Intell..
Michael Gelfond,
Veena S. Mellarkod,
M. Gelfond,
2008,
FLOPS.
Michael Gelfond,
Monica Nogueira,
Marcello Balduccini,
2006,
Annals of Mathematics and Artificial Intelligence.
Tran Cao Son,
Michael Gelfond,
Phan Huy Tu,
2005,
Artif. Intell..
Michael Gelfond,
Yulia Kahl,
M. Gelfond,
2014
.
Michael Gelfond,
M. Gelfond,
2008,
Handbook of Knowledge Representation.
Alfredo Gabaldon,
Michael Gelfond,
M. Gelfond,
1999,
Annals of Mathematics and Artificial Intelligence.
Michael Gelfond,
M. Gelfond,
2002,
Computational Logic: Logic Programming and Beyond.
Tran Cao Son,
Michael Gelfond,
M. Gelfond,
1997,
LPKR.
Michael Gelfond,
Yuanlin Zhang,
Yuanlin Zhang,
2019,
Artif. Intell..
Michael Gelfond,
Yana Todorova,
M. Gelfond,
2012,
Correct Reasoning.
Michael Gelfond,
Justin Blount,
M. Gelfond,
2012,
Logic Programs, Norms and Action.
Michael Gelfond,
M. Gelfond,
2006,
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering.
Michael Gelfond,
Marcello Balduccini,
M. Gelfond,
2005
.
Michael Gelfond,
Mohan Sridharan,
Shiqi Zhang,
2015,
J. Artif. Intell. Res..
Michael Gelfond,
Nicola Leone,
Esra Erdem,
2016,
AI Mag..
Chitta Baral,
Michael Gelfond,
Chitta Baral,
2000
.
V. Lifschitz,
M. Gelfond,
1998,
Electron. Trans. Artif. Intell..
Yuliya Lierler,
Michael Gelfond,
Daniela Inclezan,
2017,
IWCS.
Michael Gelfond,
Monica Nogueira,
Matthew Barry,
2001,
Answer Set Programming.
Michael Gelfond,
Yuanlin Zhang,
Yuanlin Zhang,
2014,
Theory and Practice of Logic Programming.
Michael Gelfond,
Piero A. Bonatti,
Sabrina Baselice,
2005,
ICLP.
Michael Gelfond,
M. Gelfond,
1994,
Annals of Mathematics and Artificial Intelligence.
Michael Gelfond,
Marcello Balduccini,
M. Gelfond,
2003
.
J. Nelson Rushton,
Daniel E. Cooke,
Michael Gelfond,
2005
.
Michael Gelfond,
Yuanlin Zhang,
Veena S. Mellarkod,
2008,
Annals of Mathematics and Artificial Intelligence.
Michael Gelfond,
Evgenii Balai,
M. Gelfond,
2016,
IJCAI 2016.
Michael Gelfond,
Evgenii Balai,
M. Gelfond,
2016,
IJCAI.
Jorge Lobo,
Michael Gelfond,
Jorge Lobo,
2008,
ICLP.
John P. Gallagher,
Michael Gelfond,
M. Gelfond,
2011
.
Michael Gelfond,
Marcello Balduccini,
Monica Nogueira,
2000
.
Michael Gelfond,
Mohan Sridharan,
Shiqi Zhang,
2014,
ICSR.
Chitta Baral,
Michael Gelfond,
Richard Scherl,
2004
.
Michael Gelfond,
Mohan Sridharan,
M. Sridharan,
2016,
KnowProS@IJCAI.
Tran Cao Son,
Chitta Baral,
Michael Gelfond,
2016,
PRIMA.
Michael Gelfond,
Halina Przymusinska,
H. Przymusinska,
1992,
Fundamenta Informaticae.
Michael Gelfond,
Yuanlin Zhang,
Yuanlin Zhang,
2016,
LPNMR.
M. Gelfond,
Vladimir Lifschitz,
1988,
ICLP/SLP.
Wolfgang Faber,
Michael Gelfond,
Jorge Fandinno,
2021,
Theory Pract. Log. Program..
Michael Gelfond,
M. Gelfond,
1991,
AAAI.
Michael Gelfond,
Daniela Inclezan,
M. Gelfond,
2015,
ArXiv.
Michael Gelfond,
Marcello Balduccini,
M. Gelfond,
2003,
Theory Pract. Log. Program..
M. Gelfond,
Daniela Inclezan,
2022
.
Yuanlin Zhang,
M. Gelfond,
Evgenii Balai,
2019,
Annals of Mathematics and Artificial Intelligence.
Michael Gelfond,
Vladimir Lifschitz,
Sergeǐ Yu. Maslov,
1987
.
Michael Gelfond,
Yuanlin Zhang,
Evgenii Balai,
2013,
ArXiv.
Michael Gelfond,
Daniela Inclezan,
M. Gelfond,
2011,
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.
Michael Gelfond,
Richard Watson,
Sandeep Chintabathina,
2005,
Answer Set Programming.
Chitta Baral,
Michael Gelfond,
Chitta Baral,
2005,
AAAI.
M. Gelfond,
M. Balduccini,
2003,
Theory and Practice of Logic Programming.
M. Gelfond,
2006,
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering.
Chitta Baral,
Michael Gelfond,
Gregory Gelfond,
2005,
AAAI 2005.
John P. Gallagher,
Michael Gelfond,
M. Gelfond,
2011,
Theory and Practice of Logic Programming.
Michael Gelfond,
Marcello Balduccini,
Justin Blount,
2015
.
Michael Gelfond,
Marcello Balduccini,
Justin Lane Blount,
2014,
AAAI Spring Symposia.
Michael Gelfond,
Yuanlin Zhang,
Evgenii Balai,
2013,
LPNMR.
Michael Gelfond,
Daniela Inclezan,
M. Gelfond,
2013,
J. Appl. Non Class. Logics.
Michael Gelfond,
Evgenii Balai,
M. Gelfond,
2017,
ASPOCP@LPNMR.
M. Gelfond,
Yulia Kahl,
2014
.
Michael Gelfond,
Monica Nogueira,
Marcello Balduccini,
2001,
LPNMR.