Bart Selman
发表
Bart Selman,
Henry A. Kautz,
B. Selman,
1996,
JACM.
Christine A. Shoemaker,
Mark A. Turnquist,
Bart Selman,
2000
.
Bart Selman,
Ioannis A. Vetsikas,
2002
.
Hector J. Levesque,
David G. Mitchell,
Bart Selman,
1992,
AAAI.
Hector J. Levesque,
Bart Selman,
1990,
AAAI.
Bart Selman,
Ryan Williams,
Carla P. Gomes,
2003,
IJCAI.
Thomas Stützle,
Roberto Battiti,
Bart Selman,
2011,
Annals of Mathematics and Artificial Intelligence.
David Maxwell Chickering,
Eric Horvitz,
Bart Selman,
2001,
Electron. Notes Discret. Math..
Bart Selman,
2004,
Artificial Intelligence Review.
Bart Selman,
B. Selman,
1994,
KR.
Bart Selman,
Stefano Ermon,
Ashish Sabharwal,
2013,
UAI.
Bart Selman,
2006,
ILP.
Christian Bessiere,
Bart Selman,
Carla P. Gomes,
2004,
CP.
Bart Selman,
Raghuram Ramanujan,
Ashish Sabharwal,
2010,
UAI 2010.
Bart Selman,
Yi-Cheng Huang,
Yi-Cheng Huang,
2003
.
Henry Kautz,
Bart Selman,
Henry A. Kautz,
1999,
International Joint Conference on Artificial Intelligence.
Bart Selman,
Henry A. Kautz,
B. Selman,
1996,
AAAI/IAAI, Vol. 2.
Jörg Hoffmann,
Bart Selman,
Ashish Sabharwal,
2007,
SAT.
Bart Selman,
John E. Hopcroft,
Brian Kulis,
2003,
KDD '03.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2010,
CP.
Bart Selman,
Henry A. Kautz,
Michael H. Coen,
1994,
CACM.
Bart Selman,
Henry A. Kautz,
Carla P. Gomes,
1998,
AAAI/IAAI.
Bart Selman,
Henry A. Kautz,
Yi-Cheng Huang,
2000,
ICML.
Bart Selman,
Ashish Sabharwal,
Lukas Kroc,
2011,
Ann. Oper. Res..
Rémi Monasson,
Bart Selman,
Riccardo Zecchina,
1999,
Random Struct. Algorithms.
Henry Kautz,
Bart Selman,
Henry A. Kautz,
1993,
International Joint Conference on Artificial Intelligence.
Bart Selman,
B. Selman,
2016
.
Jörg Hoffmann,
Bart Selman,
Carla P. Gomes,
2006,
Log. Methods Comput. Sci..
Bart Selman,
Henry A. Kautz,
B. Selman,
1991,
PDK.
Bart Selman,
2004
.
Hector J. Levesque,
Bart Selman,
H. Levesque,
1989,
IJCAI.
Bart Selman,
Joann J. Ordille,
Michael R. Genesereth,
1995,
IEEE International Conference on Distributed Computing Systems.
Henry Kautz,
Bart Selman,
C. P. Games,
1998,
AAAI 1998.
Bart Selman,
Stefano Ermon,
Alexander Vladimirsky,
2012,
AAMAS.
Bart Selman,
Henry A. Kautz,
B. Selman,
1998,
AIPS.
Bart Selman,
Wei Wei,
Jordan Erenrich,
2004,
AAAI.
Bart Selman,
Henry A. Kautz,
David A. McAllester,
1997,
AAAI/IAAI.
Bart Selman,
Ioannis A. Vetsikas,
B. Selman,
2003,
AAMAS '03.
Bart Selman,
Henry A. Kautz,
B. Selman,
1993,
AAAI.
Bart Selman,
Henry A. Kautz,
2001,
Electron. Notes Discret. Math..
Bart Selman,
Wei Wei,
B. Selman,
2002,
CP.
Bart Selman,
Andrew McCallum,
Aron Culotta,
2007
.
Bart Selman,
B. Selman,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Bart Selman,
Henry A. Kautz,
Ashish Sabharwal,
2021,
Handbook of Satisfiability.
Henry Kautz,
Bart Selman,
Henry A. Kautz,
1995
.
Eric Horvitz,
Rodney A. Brooks,
Tom M. Mitchell,
1996,
AAAI/IAAI, Vol. 2.
Stephen B. Wicker,
Bart Selman,
Xi Xie,
2002
.
Bart Selman,
Ashish Sabharwal,
Ashish Sabharwal,
2011,
Artif. Intell..
Bart Selman,
Xiaojian Wu,
Carla P. Gomes,
2017,
IJCAI.
Jörg Hoffmann,
Bart Selman,
Carla P. Gomes,
2005
.
Bart Selman,
Henry A. Kautz,
Mark E. Stickel,
2001,
Electron. Notes Discret. Math..
Bart Selman,
Marco Schaerf,
Alessandro Previti,
2011,
SAT.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2012,
UAI.
Bart Selman,
Joerg Hoffmann,
2012
.
Hector J. Levesque,
David G. Mitchell,
Bart Selman,
1996,
Artif. Intell..
Bart Selman,
Ashish Sabharwal,
Raghuram Ramanujan,
2010,
ICAPS.
Bart Selman,
Ashish Sabharwal,
Lukas Kroc,
2010,
Abstraction, Reformulation, and Approximation.
Bart Selman,
Stefano Ermon,
Ashish Sabharwal,
2014,
ICML.
Bart Selman,
Ashish Sabharwal,
Carla P. Gomes,
2021,
Handbook of Satisfiability.
Bart Selman,
Ashish Sabharwal,
Carla P. Gomes,
2006,
AAAI.
Bart Selman,
Henry A. Kautz,
Carla P. Gomes,
2000,
Journal of Automated Reasoning.
Bart Selman,
Carla P. Gomes,
2000,
Int. J. Artif. Intell. Tools.
Bart Selman,
Carla P. Gomes,
1997,
UAI.
Bart Selman,
Ashutosh Saxena,
Colin Ponce,
2011,
2012 IEEE International Conference on Robotics and Automation.
Henry Kautz,
David Maxwell Chickering,
Eric Horvitz,
2001,
Conference on Uncertainty in Artificial Intelligence.
Bart Selman,
Ashish Sabharwal,
Lukas Kroc,
2010,
SAT.
Stephen B. Wicker,
Bhaskar Krishnamachari,
Bart Selman,
2000,
CP.
Bart Selman,
Henry A. Kautz,
B. Selman,
1988,
NMR.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2010,
AAMAS.
Henry Kautz,
Bart Selman,
Henry A. Kautz,
1997
.
Bart Selman,
Stefano Ermon,
Ashish Sabharwal,
2013,
ICML.
Rémi Monasson,
Bart Selman,
Riccardo Zecchina,
1999,
Nature.
Bart Selman,
B. Selman,
1993,
Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93).
Bart Selman,
Ashish Sabharwal,
Lukas Kroc,
2009,
SAT.
Bart Selman,
B. Selman,
2004,
CP.
Bart Selman,
Yannet Interian,
Olivier Dubois,
2005,
Journal of Automated Reasoning.
Blai Bonet,
Hector Geffner,
Jörg Hoffmann,
2000,
AI Mag..
Jörg Hoffmann,
Bart Selman,
Ashish Sabharwal,
2007,
IJCAI.
Bart Selman,
Ashutosh Saxena,
Colin Ponce,
2011,
Plan, Activity, and Intent Recognition.
Jörg Hoffmann,
Bart Selman,
Henry A. Kautz,
2007,
IJCAI.
Bart Selman,
B. Selman,
1996,
CSUR.
Bart Selman,
Carlos Ansótegui,
Carla P. Gomes,
2005,
AAAI.
Henry Kautz,
Bart Selman,
Henry A. Kautz,
1994,
AAAI 1994.
Bart Selman,
Jordan Erenrich,
2003,
IJCAI.
Bart Selman,
B. Selman,
1995,
IJCAI.
Bart Selman,
B. Selman,
2000,
Annals of Mathematics and Artificial Intelligence.
Bart Selman,
Yunsong Guo,
2007
.
Bart Selman,
1994,
ECAI.
Nicholas R. Jennings,
Bart Selman,
Ioannis A. Vetsikas,
2007,
IJCAI.
Carmel Domshlak,
Bhaskar Krishnamachari,
Bart Selman,
2005,
Artif. Intell..
Hector J. Levesque,
David G. Mitchell,
Bart Selman,
1992,
AAAI.
Bart Selman,
Stefano Ermon,
Ashish Sabharwal,
2012,
NIPS.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2011,
AAMAS.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2010,
UAI.
Eric Horvitz,
Bart Selman,
Henry A. Kautz,
2016
.
Bart Selman,
Ioannis A. Vetsikas,
2004,
Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..
Hector J. Levesque,
Bart Selman,
H. Levesque,
1996,
Artif. Intell..
Henry Kautz,
Allen E. Milewski,
Bart Selman,
1995
.
Thomas G. Dietterich,
Eric Horvitz,
Francesca Rossi,
2015,
AI Mag..
Bart Selman,
Ashish Sabharwal,
Lukas Kroc,
2007,
UAI.
Bart Selman,
Henry A. Kautz,
Mehul A. Shah,
1997,
AI Mag..
Bart Selman,
Cristopher Moore,
Haixia Jia,
2004,
SAT.
Bart Selman,
Henry A. Kautz,
Mehul A. Shah,
1997,
CACM.
Bart Selman,
Carla P. Gomes,
B. Selman,
1997,
AAAI/IAAI.
Bart Selman,
Marco Schaerf,
Alessandro Previti,
2011,
AI*IA.
Allen E. Milewski,
Bart Selman,
Henry A. Kautz,
1995
.
Bart Selman,
Henry A. Kautz,
Hill,
1993
.
Bart Selman,
Henry A. Kautz,
Al Milewski,
1996,
AAAI/IAAI, Vol. 1.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2012,
Machine Learning.
Bart Selman,
Carla P. Gomes,
1999,
Proceedings 11th International Conference on Tools with Artificial Intelligence.
Bart Selman,
Henry A. Kautz,
B. Selman,
2003,
CP.
Bart Selman,
Henry A. Kautz,
Henry A. Kautz,
1989,
Artif. Intell..
Bart Selman,
Ashish Sabharwal,
Lukas Kroc,
2009,
SAC '09.
Eric Horvitz,
Rodney A. Brooks,
Tom M. Mitchell,
1996,
AAAI 1996.
Bart Selman,
Henry A. Kautz,
Bram Cohen,
1994,
AAAI.
Bart Selman,
Yunsong Guo,
B. Selman,
2007,
19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007).
Bart Selman,
Henry A. Kautz,
David A. McAllester,
1996,
KR.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2012,
ECML/PKDD.
Bart Selman,
Henry A. Kautz,
B. Selman,
1991,
AAAI.
Bart Selman,
Henry A. Kautz,
Michael H. Coen,
1994,
AAAI.
Eric Horvitz,
Bart Selman,
Henry A. Kautz,
2002,
AAAI/IAAI.
Bart Selman,
Henry A. Kautz,
YueYen Jiang,
1996,
Satisfiability Problem: Theory and Applications.
Bart Selman,
Kenneth McAloon,
Carla P. Gomes,
1998,
AIPS.
Bart Selman,
Ashish Sabharwal,
Raghuram Ramanujan,
2010,
UAI.
Hector J. Levesque,
Bart Selman,
1993,
Artif. Intell..
Bart Selman,
Ashutosh Saxena,
Jaeyong Sung,
2013,
2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.
Bart Selman,
Stefano Ermon,
Ashish Sabharwal,
2014,
AAAI.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2011,
IJCAI.
Silvio Savarese,
Bart Selman,
Ashutosh Saxena,
2015,
2016 IEEE International Conference on Robotics and Automation (ICRA).
Bart Selman,
Ashutosh Saxena,
Jaeyong Sung,
2013,
ArXiv.
Bart Selman,
Carla P. Gomes,
B. Selman,
2001,
Artif. Intell..
Henry Kautz,
Bart Selman,
1991
.
Bart Selman,
Richard Ryan Williams,
Carla P. Gomes,
2003
.
Jörg Hoffmann,
Bart Selman,
Ashish Sabharwal,
2007,
New Forms of Reasoning for the Semantic Web.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2011,
IJCAI.
Bart Selman,
Henry A. Kautz,
B. Selman,
1990,
Artif. Intell..
Silvio Savarese,
Bart Selman,
Ashutosh Saxena,
2016,
IEEE Transactions on Pattern Analysis and Machine Intelligence.
Bart Selman,
John Hopcroft,
Brian Kulis,
2004,
Proceedings of the National Academy of Sciences of the United States of America.
Bart Selman,
Henry A. Kautz,
B. Selman,
1999,
IJCAI.
Bart Selman,
Henry A. Kautz,
B. Selman,
1992,
AAAI.
Bart Selman,
Ashish Sabharwal,
Carla P. Gomes,
2006,
NIPS.
Bart Selman,
Willem Jan van Hoeve,
Michele Lombardi,
2007,
AAAI.
Bart Selman,
Ioannis A. Vetsikas,
B. Selman,
2007,
SECO.
Henry Kautz,
Bart Selman,
1992
.
Bart Selman,
2003
.
Bart Selman,
Carlos Ansótegui,
Ashish Sabharwal,
2006,
SAT.
Bart Selman,
Joann J. Ordille,
Michael R. Genesereth,
1995,
Proceedings of 15th International Conference on Distributed Computing Systems.
Bart Selman,
Henry A. Kautz,
Michael Kearns,
1993,
AAAI.
Bart Selman,
Henry A. Kautz,
David A. McAllester,
1997,
IJCAI.
Bart Selman,
Carla P. Gomes,
Nuno Crato,
1997,
CP.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2014,
AAAI.
Yolanda Gil,
Bart Selman,
B. Selman,
2019,
ArXiv.
Bart Selman,
2008,
NIPS 2008.
Bart Selman,
Ioannis A. Vetsikas,
2005,
ICEC '05.
Bart Selman,
Wei Wei,
B. Selman,
2005,
SAT.
Henry Kautz,
Bart Selman,
Henry A. Kautz,
2000
.
Bart Selman,
Henry A. Kautz,
Bram Cohen,
1993,
Cliques, Coloring, and Satisfiability.
Bart Selman,
Ryan Williams,
Yannet Interian,
2006,
ISAIM.
Jörg Hoffmann,
Bart Selman,
Carla P. Gomes,
2005
.
Bart Selman,
Henry A. Kautz,
Ashish Sabharwal,
2008,
Handbook of Knowledge Representation.
Bart Selman,
Henry A. Kautz,
Yi-Cheng Huang,
1999,
AAAI/IAAI.
Bart Selman,
Ashish Sabharwal,
Donald W. Loveland,
2016,
Martin Davis on Computability, Computational Logic, and Mathematical Foundations.
Bart Selman,
Henry A. Kautz,
B. Selman,
1992,
ECAI.
Bart Selman,
Henry A. Kautz,
Christos H. Papadimitriou,
1995,
IJCAI.
Henry Kautz,
Derek Long,
Blai Bonet,
2000
.
Carmel Domshlak,
Bart Selman,
Ramón Béjar,
2009,
IJCAI.
Bart Selman,
Henry A. Kautz,
1994,
AAAI.
Bart Selman,
Raghuram Ramanujan,
2011,
ICAPS.
Bart Selman,
Willem Jan van Hoeve,
Carla P. Gomes,
2006,
AAAI Spring Symposium: Distributed Plan and Schedule Management.
Bart Selman,
B. Selman,
1985
.
Bart Selman,
Stefano Ermon,
Ashish Sabharwal,
2013
.
Bart Selman,
Stefano Ermon,
Carla P. Gomes,
2015,
AAAI Workshop: Computational Sustainability.
Bart Selman,
Ashish Sabharwal,
Willem Jan van Hoeve,
2007,
AAAI.
Bart Selman,
Carla P. Gomes,
B. Selman,
1999,
Proceedings 11th International Conference on Tools with Artificial Intelligence.
Bart Selman,
Stefano Ermon,
Ashish Sabharwal,
2011,
NIPS.
Bart Selman,
Stefano Ermon,
Zhiyuan Li,
2016,
NIPS.
Christian Bessiere,
Bart Selman,
Cèsar Fernández,
2004,
Constraints.
Bart Selman,
Ashish Sabharwal,
Lukas Kroc,
2008,
NIPS.
Bart Selman,
Henry A. Kautz,
B. Selman,
2007,
Discret. Appl. Math..
Bart Selman,
Henry A. Kautz,
Michael Kearns,
1995,
Artif. Intell..
Bart Selman,
Henry A. Kautz,
Carla P. Gomes,
2000,
AAAI/IAAI.
Bart Selman,
Scott Kirkpatrick,
S. Kirkpatrick,
1996,
Artif. Intell..
Bart Selman,
Henry A. Kautz,
Michael H. Coen,
1995
.
Bart Selman,
Hubie Chen,
Carla P. Gomes,
2001,
CP.
Henry Kautz,
Bart Selman,
Henry A. Kautz,
2004
.
Henry Kautz,
Bart Selman,
Henry A. Kautz,
1994,
AAAI 1994.
Bart Selman,
Stefano Ermon,
Ashish Sabharwal,
2013,
NIPS.
Bart Selman,
Eugene C. Freuder,
Matthew L. Ginsberg,
1995,
IJCAI.
Bart Selman,
Henry A. Kautz,
Mark E. Stickel,
2001,
IJCAI.
Bart Selman,
Meinolf Sellmann,
2021,
AI Mag..
Bart Selman,
Ashish Sabharwal,
Carla P. Gomes,
2021
.
Bart Selman,
John E. Hopcroft,
Kun He,
2021,
ArXiv.
Bart Selman,
Daniel D. Lee,
Niko A. Grupen,
2021,
ArXiv.
Bart Selman,
Niko A. Grupen,
Daniel D. Lee,
2021
.
Bart Selman,
Daniel D. Lee,
Niko A. Grupen,
2021,
AAAI.
Bart Selman,
John M. Gregoire,
Dan Guevarra,
2021,
Nature Machine Intelligence.
Bart Selman,
Daniel D. Lee,
Niko A. Grupen,
2021,
ArXiv.
Bart Selman,
Henry A. Kautz,
Ashish Sabharwal,
2021
.
Bhaskar Krishnamachari,
Bart Selman,
Carla Gomes,
2003
.
Bart Selman,
John Hopcroft,
Brian Kulis,
2004
.
Bart Selman,
Bart Selman,
2008
.
Bart Selman,
Wei Wei,
2005
.
Bart Selman,
Xi Xie,
2007
.
Bart Selman,
Ronan Le Bras,
Carla P. Gomes,
2014
.
Henry Kautz,
Bart Selman,
Henry A. Kautz,
2004
.
Bart Selman,
M.,
B. Selman,
1996
.
Bart Selman,
Carla P. Gomes,
2005,
Nature.
Bart Selman,
Carla P. Gomes,
1997
.