B. Selman

发表

R. Ramanujan, Ashish Sabharwal, B. Selman, 2011 .
Bart Selman, Henry A. Kautz, David A. McAllester, 1997, AAAI/IAAI.
Bart Selman, Henry A. Kautz, David A. McAllester, 1996, KR.
Bart Selman, Henry A. Kautz, Bram Cohen, 1994, AAAI.
Bart Selman, Henry A. Kautz, B. Selman, 1996, JACM.
Bart Selman, Ashish Sabharwal, Carla P. Gomes, 2006, AAAI.
H. Levesque, B. Selman, D. Mitchell, 1995 .
Hector J. Levesque, Bart Selman, H. Levesque, 1996, Artif. Intell..
Bart Selman, Henry A. Kautz, Mark E. Stickel, 2001, Electron. Notes Discret. Math..
Bart Selman, Henry A. Kautz, B. Selman, 1991, AAAI.
Bart Selman, Wei Wei, Jordan Erenrich, 2004, AAAI.
Bart Selman, Henry A. Kautz, Carla P. Gomes, 2000, Journal of Automated Reasoning.
Bart Selman, Henry A. Kautz, B. Selman, 1990, Artif. Intell..
S Kirkpatrick, B Selman, S. Kirkpatrick, 1994, Science.
R. Zecchina, R. Monasson, B. Selman, 2001 .
Hector J. Levesque, David G. Mitchell, Bart Selman, 1992, AAAI.
Bart Selman, B. Selman, 1994, KR.
Bart Selman, Henry A. Kautz, Mehul A. Shah, 1997, CACM.
B. Selman, CommunicationHenry Kautz, Al MilewskiAT, 1996 .
Eric Horvitz, Rodney A. Brooks, Tom M. Mitchell, 1996, AAAI/IAAI, Vol. 2.
Bart Selman, Ashutosh Saxena, Colin Ponce, 2011, Plan, Activity, and Intent Recognition.
Hector J. Levesque, David G. Mitchell, Bart Selman, 1992, AAAI.
Bart Selman, Henry A. Kautz, B. Selman, 1993, AAAI.
Bart Selman, Ashutosh Saxena, Colin Ponce, 2011, 2012 IEEE International Conference on Robotics and Automation.
Henry A. Kautz, B. Selman, 1996 .
Bart Selman, Carla P. Gomes, B. Selman, 1997, AAAI/IAAI.
S. Kirkpatrick, R. Zecchina, R. Monasson, 1996 .
Carla P. Gomes, Bart Selman, Johan Bjorck, 2018, NeurIPS.
Bart Selman, Henry A. Kautz, David A. McAllester, 1997, IJCAI.
Eric Horvitz, Rodney A. Brooks, Tom M. Mitchell, 1996, AAAI 1996.
Thomas G. Dietterich, Steve Kelling, Warren B. Powell, 2011, AI Mag..
Bart Selman, Henry A. Kautz, B. Selman, 1996, AAAI/IAAI, Vol. 2.
Bart Selman, Henry A. Kautz, Bram Cohen, 1993, Cliques, Coloring, and Satisfiability.
Bart Selman, Henry A. Kautz, Michael Kearns, 1995, Artif. Intell..
B. Selman, C. Gomes, 2002, Science.
Bart Selman, Carla P. Gomes, B. Selman, 2001, Artif. Intell..
B. Selman, C. Gomes, 2006 .
B. Selman, J. Gregoire, C. Gomes, 2019, MRS Bulletin.
B. Selman, Ryan Williams, Y. Interian, 2006 .
Bart Selman, Henry A. Kautz, B. Selman, 1999, IJCAI.
Henry A. Kautz, B. Selman, 1992 .
Henry A. Kautz, B. Selman, 1999 .
Henry A. Kautz, B. Selman, 1992 .
Bart Selman, Ashish Sabharwal, Ashish Sabharwal, 2011, Artif. Intell..
Henry A. Kautz, David A. McAllester, B. Selman, 2007 .
B. Selman, 2007 .
Bart Selman, B. Selman, 1996, CSUR.
Henry Kautz, Bart Selman, Henry A. Kautz, 1997 .
Henry Kautz, Bart Selman, Henry A. Kautz, 1993, International Joint Conference on Artificial Intelligence.
Henry Kautz, Bart Selman, Henry A. Kautz, 1994, AAAI 1994.
Henry A. Kautz, Ashish Sabharwal, B. Selman, 2022 .
Henry Kautz, Bart Selman, Henry A. Kautz, 2004 .
Henry A. Kautz, B. Selman, 1999 .
C. Domshlak, B. Selman, C. Gomes, 2003, IJCAI.
Henry Kautz, David Maxwell Chickering, Eric Horvitz, 2001, Conference on Uncertainty in Artificial Intelligence.
R. Shepherd, B. Selman, Jose A. Barreiros, 2022, Science Robotics.
Bart Selman, M., B. Selman, 1996 .
Henry Kautz, Derek Long, Blai Bonet, 2000 .
Eric Horvitz, Bart Selman, Henry A. Kautz, 2016 .
Bart Selman, Joann J. Ordille, Michael R. Genesereth, 1995, Proceedings of 15th International Conference on Distributed Computing Systems.
Bart Selman, Joann J. Ordille, Michael R. Genesereth, 1995, IEEE International Conference on Distributed Computing Systems.
Henry Kautz, Bart Selman, Henry A. Kautz, 1994, AAAI 1994.
S. Kirkpatrick, R. Zecchina, R. Monasson, 1999, Random Struct. Algorithms.
B. Selman, C. Gomes, Dieqiao Feng, 2022, 2209.09608.
Henry Kautz, Bart Selman, Henry A. Kautz, 1999, International Joint Conference on Artificial Intelligence.
R. Zecchina, R. Monasson, B. Selman, 1902, Theoretical Computer Science.
Allen E. Milewski, Bart Selman, Henry A. Kautz, 1995 .
Rémi Monasson, Bart Selman, Riccardo Zecchina, 1999, Nature.
Niko A. Grupen, Daniel D. Lee, B. Selman, 2021, AAMAS.
Bart Selman, Daniel D. Lee, Niko A. Grupen, 2021, AAAI.
Bart Selman, Daniel D. Lee, Niko A. Grupen, 2021, ArXiv.
Daniel D. Lee, Bart Selman, Niko A. Grupen, 2020, ArXiv.
Bart Selman, Stefano Ermon, Carla P. Gomes, 2010, UAI.
Bart Selman, Henry A. Kautz, Michael H. Coen, 1994, CACM.
Carla P. Gomes, Bart Selman, Dieqiao Feng, 2021, NeurIPS.
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, Henry A. Kautz, 1989, Artif. Intell..
Bart Selman, John M. Gregoire, Dan Guevarra, 2021, Nature Machine Intelligence.
Bart Selman, Yunsong Guo, B. Selman, 2007, 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007).
Bart Selman, Ryan Williams, Carla P. Gomes, 2003, IJCAI.
Bart Selman, Henry A. Kautz, Yi-Cheng Huang, 2000, ICML.
Henry Kautz, Bart Selman, Henry A. Kautz, 2000 .
Bart Selman, Henry A. Kautz, Yi-Cheng Huang, 1999, AAAI/IAAI.
Christian Bessiere, Bart Selman, Cèsar Fernández, 2004, Constraints.
Bart Selman, Eugene C. Freuder, Matthew L. Ginsberg, 1995, IJCAI.
Bart Selman, Ashish Sabharwal, Lukas Kroc, 2011, Ann. Oper. Res..
Ashish Sabharwal, Lukas Kroc, Bart Selman, 2008, ISAIM.
David Maxwell Chickering, Eric Horvitz, Bart Selman, 2001, Electron. Notes Discret. Math..
Bart Selman, Stefano Ermon, Alexander Vladimirsky, 2012, AAMAS.
Blai Bonet, Hector Geffner, Jörg Hoffmann, 2000, AI Mag..
Jörg Hoffmann, Bart Selman, Carla P. Gomes, 2006, Log. Methods Comput. Sci..
Bart Selman, B. Selman, 2000, Annals of Mathematics and Artificial Intelligence.
Stephen B. Wicker, Bart Selman, Xi Xie, 2002 .
Bart Selman, Carla P. Gomes, B. Selman, 1999, Proceedings 11th International Conference on Tools with Artificial Intelligence.
Bart Selman, Henry A. Kautz, Carla P. Gomes, 1998, AAAI/IAAI.
Bart Selman, Carla P. Gomes, Nuno Crato, 1997, CP.
Bart Selman, John E. Hopcroft, Brian Kulis, 2003, KDD '03.
Bart Selman, Henry A. Kautz, Michael H. Coen, 1994, AAAI.
Henry Kautz, Bart Selman, Henry A. Kautz, 1995 .
Bart Selman, Ashish Sabharwal, Carla P. Gomes, 2021, Handbook of Satisfiability.
Bart Selman, Henry A. Kautz, B. Selman, 1988, NMR.
Bart Selman, Willem Jan van Hoeve, Carla P. Gomes, 2006, AAAI Spring Symposium: Distributed Plan and Schedule Management.
Bart Selman, Henry A. Kautz, Mehul A. Shah, 1997, AI Mag..
Bart Selman, Henry A. Kautz, B. Selman, 1992, ECAI.
Jörg Hoffmann, Bart Selman, Ashish Sabharwal, 2007, IJCAI.
Bart Selman, Henry A. Kautz, B. Selman, 2007, Discret. Appl. Math..
Ronan Le Bras, Marcelo Finger, Carla P. Gomes, 2013, SAT.
Bart Selman, Ashish Sabharwal, Raghuram Ramanujan, 2010, ICAPS.
Bart Selman, Ashish Sabharwal, Donald W. Loveland, 2016, Martin Davis on Computability, Computational Logic, and Mathematical Foundations.
Bart Selman, Henry A. Kautz, Ashish Sabharwal, 2008, Handbook of Knowledge Representation.
Nicholas R. Jennings, Bart Selman, Ioannis A. Vetsikas, 2007, IJCAI.
Bart Selman, Ioannis A. Vetsikas, B. Selman, 2007, SECO.
Bart Selman, Stefano Ermon, Ashish Sabharwal, 2014, AAAI.
Bart Selman, John Hopcroft, Brian Kulis, 2004 .
Bart Selman, Henry A. Kautz, Al Milewski, 1996, AAAI/IAAI, Vol. 1.
Hector J. Levesque, David G. Mitchell, Bart Selman, 1996, Artif. Intell..
Bart Selman, Stefano Ermon, Carla P. Gomes, 2012, Machine Learning.
Bart Selman, Hubie Chen, Carla P. Gomes, 2001, CP.
Eric Horvitz, Bart Selman, Henry A. Kautz, 2002, AAAI/IAAI.
Bart Selman, Henry A. Kautz, Michael Kearns, 1993, AAAI.
Bart Selman, Scott Kirkpatrick, S. Kirkpatrick, 1996, Artif. Intell..
Ronan Le Bras, Carla P. Gomes, Yexiang Xue, 2014, HCOMP.
Ronan Le Bras, Carla P. Gomes, Bart Selman, 2013, IJCAI.
Bart Selman, Ashish Sabharwal, Carla P. Gomes, 2006, NIPS.
Bart Selman, B. Selman, 2008, Nature.
Bart Selman, Stefano Ermon, Carla P. Gomes, 2012, UAI.
Bart Selman, Ronan Le Bras, Carla P. Gomes, 2014 .
Bart Selman, Carlos Ansótegui, Carla P. Gomes, 2005, AAAI.
Stefano Ermon, Ronan Le Bras, Carla P. Gomes, 2015, ICML.
Silvio Savarese, Bart Selman, Ashutosh Saxena, 2016, IEEE Transactions on Pattern Analysis and Machine Intelligence.
Silvio Savarese, Bart Selman, Ashutosh Saxena, 2015, 2016 IEEE International Conference on Robotics and Automation (ICRA).
Bart Selman, Henry A. Kautz, Ashish Sabharwal, 2021, Handbook of Satisfiability.
Bart Selman, Stefano Ermon, Ashish Sabharwal, 2013 .
Bart Selman, Stefano Ermon, Ashish Sabharwal, 2012, NIPS.
Bart Selman, Stefano Ermon, Carla P. Gomes, 2011, IJCAI.
Bart Selman, Ashutosh Saxena, Jaeyong Sung, 2013, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.
Bart Selman, Ashutosh Saxena, Jaeyong Sung, 2013, ArXiv.
Bart Selman, Stefano Ermon, Ashish Sabharwal, 2014, ICML.
Bart Selman, Ioannis A. Vetsikas, B. Selman, 2003, AAMAS '03.
Henry A. Kautz, Ashish Sabharwal, B. Selman, 2008, Handbook of Knowledge Representation.
Bart Selman, Henry A. Kautz, B. Selman, 1991, PDK.
Hector J. Levesque, Bart Selman, H. Levesque, 1989, IJCAI.
Bart Selman, B. Selman, 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Henry A. Kautz, David A. McAllester, B. Selman, 1997, IJCAI.
Bart Selman, Yannet Interian, Olivier Dubois, 2005, Journal of Automated Reasoning.
Henry Kautz, Bart Selman, Henry A. Kautz, 2004 .
Henry A. Kautz, Ashish Sabharwal, B. Selman, 2022 .
B. Selman, Yuanqi Du, Dieqiao Feng, 2023, ICML.
Jörg Hoffmann, Bart Selman, Henry A. Kautz, 2007, IJCAI.
Bart Selman, Henry A. Kautz, Carla P. Gomes, 2000, AAAI/IAAI.
Bart Selman, Henry A. Kautz, Christos H. Papadimitriou, 1995, IJCAI.
Bart Selman, Henry A. Kautz, B. Selman, 1992, AAAI.
Bart Selman, Henry A. Kautz, YueYen Jiang, 1996, Satisfiability Problem: Theory and Applications.
Henry A. Kautz, Hill, T. Bell, 1994, AAAI 1994.
Bart Selman, Wei Wei, B. Selman, 2005, SAT.
Bart Selman, Wei Wei, B. Selman, 2002, CP.
Bart Selman, Henry A. Kautz, Mark E. Stickel, 2001, IJCAI.
Stefano Ermon, Ronan Le Bras, Carla P. Gomes, 2012, SAT.