Bart Selman

ORCID

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 34

Top Venues

Publications

Dieqiao Feng, Yuanqi Du, Carla P. Gomes, Bart Selman
Weighted Sampling without Replacement for Deep Top-k Classification. ICML (2023)
Niko A. Grupen, Michael Hanlon, Alexis Hao, Daniel D. Lee, Bart Selman
Policy-Value Alignment and Robustness in Search-based Multi-Agent Learning. CoRR (2023)
Dieqiao Feng, Carla P. Gomes, Bart Selman
Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-based best-first search for Sokoban Planning. NeurIPS (2022)
Jose A. Barreiros, Artemis Xu, Sofya Pugach, Narahari Iyengar, Graeme Troxell, Alexander Cornwell, Samantha Hong, Bart Selman, Robert F. Shepherd
Haptic perception using optoelectronic robotic flesh for embodied artificially intelligent agents. Sci. Robotics 7 (67) (2022)
Dieqiao Feng, Carla P. Gomes, Bart Selman
Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-based best-first search for Sokoban Planning. CoRR (2022)
Dieqiao Feng, Carla P. Gomes, Bart Selman
Graph Value Iteration. CoRR (2022)
Niko A. Grupen, Bart Selman, Daniel D. Lee
Cooperative Multi-Agent Fairness and Equivariant Policies. AAAI (2022)
Niko A. Grupen, Daniel D. Lee, Bart Selman
Multi-Agent Curricula and Emergent Implicit Signaling. AAMAS (2022)
Meinolf Sellmann, Bart Selman
Zeitenwende - Turn of Eras. AI Mag. 42 (1) (2021)
Niko A. Grupen, Daniel D. Lee, Bart Selman
Curriculum-Driven Multi-Agent Learning and the Role of Implicit Communication in Teamwork. CoRR (2021)
Dieqiao Feng, Carla P. Gomes, Bart Selman
A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning Instances. CoRR (2021)
Di Chen, Yiwei Bai, Sebastian Ament, Wenting Zhao, Dan Guevarra, Lan Zhou, Bart Selman, R. Bruce van Dover, John M. Gregoire, Carla P. Gomes
Automating crystal-structure phase mapping by combining deep learning with constraint reasoning. Nat. Mach. Intell. 3 (9) (2021)
Di Chen, Yiwei Bai, Sebastian Ament, Wenting Zhao, Dan Guevarra, Lan Zhou, Bart Selman, R. Bruce van Dover, John M. Gregoire, Carla P. Gomes
Automating Crystal-Structure Phase Mapping: Combining Deep Learning with Constraint Reasoning. CoRR (2021)
Niko A. Grupen, Bart Selman, Daniel D. Lee
Fairness for Cooperative Multi-Agent Learning with Equivariant Policies. CoRR (2021)
Xiaodong Xin, Kun He, Jialu Bao, Bart Selman, John E. Hopcroft
Structure Amplification on Multi-layer Stochastic Block Models. CoRR (2021)
Jialu Bao, Kun He, Xiaodong Xin, Bart Selman, John E. Hopcroft
Hidden Community Detection on Two-layer Stochastic Models: a Theoretical Prospective. CoRR (2020)
Jialu Bao, Kun He, Xiaodong Xin, Bart Selman, John E. Hopcroft
Hidden Community Detection on Two-Layer Stochastic Models: A Theoretical Perspective. TAMC (2020)
Dieqiao Feng, Carla P. Gomes, Bart Selman
Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning. IJCAI (2020)
Niko A. Grupen, Daniel D. Lee, Bart Selman
Low-Bandwidth Communication Emerges Naturally in Multi-Agent Learning Systems. CoRR (2020)
Bart Selman
A 20-Year Roadmap for AI Research. ICAART (1) (2020)
Dieqiao Feng, Carla P. Gomes, Bart Selman
Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning. CoRR (2020)
Dieqiao Feng, Carla P. Gomes, Bart Selman
A Novel Automated Curriculum Strategy to Solve Hard Sokoban Planning Instances. NeurIPS (2020)
Carla P. Gomes, Thomas G. Dietterich, Christopher Barrett, Jon Conrad, Bistra Dilkina, Stefano Ermon, Fei Fang, Andrew Farnsworth, Alan Fern, Xiaoli Z. Fern, Daniel Fink, Douglas H. Fisher, Alexander Flecker, Daniel Freund, Angela Fuller, John M. Gregoire, John E. Hopcroft, Steve Kelling, J. Zico Kolter, Warren B. Powell, Nicole D. Sintov, John S. Selker, Bart Selman, Daniel Sheldon, David B. Shmoys, Milind Tambe, Weng-Keen Wong, Christopher Wood, Xiaojian Wu, Yexiang Xue, Amulya Yadav, Abdul-Aziz Yakubu, Mary Lou Zeeman
Computational sustainability: computing for a better world and a sustainable future. Commun. ACM 62 (9) (2019)
Yolanda Gil, Bart Selman
A 20-Year Community Roadmap for Artificial Intelligence Research in the US. CoRR (2019)
Johan Bjorck, Carla P. Gomes, Bart Selman, Kilian Q. Weinberger
Understanding Batch Normalization. NeurIPS (2018)
Johan Bjorck, Carla P. Gomes, Bart Selman
Understanding Batch Normalization. CoRR (2018)
Chenxia Wu, Jiemi Zhang, Ozan Sener, Bart Selman, Silvio Savarese, Ashutosh Saxena
Watch-n-Patch: Unsupervised Learning of Actions and Relations. IEEE Trans. Pattern Anal. Mach. Intell. 40 (2) (2018)
Xiaojian Wu, Yexiang Xue, Bart Selman, Carla P. Gomes
XOR-Sampling for Network Design with Correlated Stochastic Events. IJCAI (2017)
Xiaojian Wu, Yexiang Xue, Bart Selman, Carla P. Gomes
XOR-Sampling for Network Design with Correlated Stochastic Events. CoRR (2017)
Yexiang Xue, Stefano Ermon, Ronan Le Bras, Carla P. Gomes, Bart Selman
Variable Elimination in the Fourier Domain. ICML (2016)
Yexiang Xue, Zhiyuan Li, Stefano Ermon, Carla P. Gomes, Bart Selman
Solving Marginal MAP Problems with NP Oracles and Parity Constraints. CoRR (2016)
Chenxia Wu, Jiemi Zhang, Bart Selman, Silvio Savarese, Ashutosh Saxena
Watch-Bot: Unsupervised learning for reminding humans of forgotten actions. ICRA (2016)
Chenxia Wu, Jiemi Zhang, Ozan Sener, Bart Selman, Silvio Savarese, Ashutosh Saxena
Watch-n-Patch: Unsupervised Learning of Actions and Relations. CoRR (2016)
Yexiang Xue, Zhiyuan Li, Stefano Ermon, Carla P. Gomes, Bart Selman
Solving Marginal MAP Problems with NP Oracles and Parity Constraints. NIPS (2016)
Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert Bruce van Dover
Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery. AAAI (2015)
Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman
Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem. AAAI Workshop: Computational Sustainability (2015)
Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman
Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery. IJCAI (2015)
Stuart J. Russell, Tom Dietterich, Eric Horvitz, Bart Selman, Francesca Rossi, Demis Hassabis, Shane Legg, Mustafa Suleyman, Dileep George, D. Scott Phoenix
Letter to the Editor: Research Priorities for Robust and Beneficial Artificial Intelligence: An Open Letter. AI Mag. 36 (4) (2015)
Yexiang Xue, Stefano Ermon, Ronan LeBras, Carla P. Gomes, Bart Selman
Variable Elimination in Fourier Domain. CoRR (2015)
Chenxia Wu, Jiemi Zhang, Bart Selman, Silvio Savarese, Ashutosh Saxena
Watch-Bot: Unsupervised Learning for Reminding Humans of Forgotten Actions. CoRR (2015)
Ronan Le Bras, Carla P. Gomes, Bart Selman
On the Erdős Discrepancy Problem. CP (2014)
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
Designing Fast Absorbing Markov Chains. AAAI (2014)
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
Low-density Parity Constraints for Hashing-Based Discrete Integration. ICML (2014)
Ronan Le Bras, Yexiang Xue, Richard Bernstein, Carla P. Gomes, Bart Selman
A Human Computation Framework for Boosting Combinatorial Solvers. HCOMP (2014)
Jaeyong Sung, Bart Selman, Ashutosh Saxena
Synthesizing manipulation sequences for under-specified tasks using unrolled Markov Random Fields. IROS (2014)
Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman
Uncovering Hidden Structure through Parallel Problem Decomposition. AAAI (2014)
Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert Bruce van Dover
Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery. CoRR (2014)
Ronan Le Bras, Carla P. Gomes, Bart Selman
On the Erdos Discrepancy Problem. CoRR (2014)
Ronan Le Bras, Richard Bernstein, John M. Gregoire, Santosh K. Suram, Carla P. Gomes, Bart Selman, R. Bruce van Dover
Challenges in Materials Discovery - Synthetic Generator and Real Datasets. AAAI (2014)
Stefano Ermon, Yexiang Xue, Carla P. Gomes, Bart Selman
Learning policies for battery usage optimization in electric vehicles. Mach. Learn. 92 (1) (2013)
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
Optimization With Parity Constraints: From Binary Codes to Discrete Integration. CoRR (2013)
Marcelo Finger, Ronan LeBras, Carla P. Gomes, Bart Selman
Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. SAT (2013)
Jaeyong Sung, Bart Selman, Ashutosh Saxena
Learning Sequences of Controllers for Complex Manipulation Tasks. CoRR (2013)
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization. ICML (2) (2013)
Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering
A Bayesian Approach to Tackling Hard Computational Problems CoRR (2013)
Ronan LeBras, Richard Bernstein, Carla P. Gomes, Bart Selman, R. Bruce van Dover
Crowdsourcing Backdoor Identification for Combinatorial Optimization. IJCAI (2013)
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
Optimization With Parity Constraints: From Binary Codes to Discrete Integration. UAI (2013)
Carla P. Gomes, Bart Selman
Algorithm Portfolio Design: Theory vs. Practice CoRR (2013)
Ronan LeBras, Carla P. Gomes, Bart Selman
Double-Wheel Graphs Are Graceful. IJCAI (2013)
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
Embed and Project: Discrete Sampling with Universal Hashing. NIPS (2013)
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization CoRR (2013)
Raghuram Ramanujan, Ashish Sabharwal, Bart Selman
Understanding Sampling Style Adversarial Search Methods CoRR (2012)
Stefano Ermon, Yexiang Xue, Carla P. Gomes, Bart Selman
Learning Policies for Battery Usage Optimization in Electric Vehicles. ECML/PKDD (2) (2012)
Stefano Ermon, Carla P. Gomes, Bart Selman
Uniform Solution Sampling Using a Constraint Solver As an Oracle CoRR (2012)
Jaeyong Sung, Colin Ponce, Bart Selman, Ashutosh Saxena
Unstructured human activity detection from RGBD images. ICRA (2012)
Stefano Ermon, Ronan LeBras, Carla P. Gomes, Bart Selman, R. Bruce van Dover
SMT-Aided Combinatorial Materials Discovery. SAT (2012)
Ronan LeBras, Carla P. Gomes, Bart Selman
From Streamlined Combinatorial Search to Efficient Constructive Procedures. AAAI (2012)
Stefano Ermon, Carla P. Gomes, Bart Selman, Alexander Vladimirsky
Probabilistic planning with non-linear utility functions and worst-case guarantees. AAMAS (2012)
Lukas Kroc, Ashish Sabharwal, Bart Selman
Survey Propagation Revisited CoRR (2012)
Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman
Playing games against nature: optimal policies for renewable resource allocation CoRR (2012)
Stefano Ermon, Carla P. Gomes, Bart Selman
Uniform Solution Sampling Using a Constraint Solver As an Oracle. UAI (2012)
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
Density Propagation and Improved Bounds on the Partition Function. NIPS (2012)
Stefano Ermon, Carla P. Gomes, Bart Selman
A message passing approach to multiagent gaussian inference for dynamic processes. AAMAS (2011)
Stefano Ermon, Carla P. Gomes, Bart Selman
A Flat Histogram Method for Computing the Density of States of Combinatorial Problems. IJCAI (2011)
Lukas Kroc, Ashish Sabharwal, Bart Selman
Leveraging belief propagation, backtrack search, and statistics for model counting. Ann. Oper. Res. 184 (1) (2011)
Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman
Monte-Carlo Style UCT Search for Boolean Satisfiability. AI*IA (2011)
Jaeyong Sung, Colin Ponce, Bart Selman, Ashutosh Saxena
Human Activity Detection from RGBD Images. Plan, Activity, and Intent Recognition (2011)
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman
Accelerated Adaptive Markov Chain for Partition Function Computation. NIPS (2011)
Ashish Sabharwal, Bart Selman
S. Russell, P. Norvig, Artificial Intelligence: A Modern Approach, Third Edition. Artif. Intell. 175 (5-6) (2011)
Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman
Applying UCT to Boolean Satisfiability. SAT (2011)
Jaeyong Sung, Colin Ponce, Bart Selman, Ashutosh Saxena
Human Activity Detection from RGBD Images CoRR (2011)
Raghuram Ramanujan, Bart Selman
Trade-Offs in Sampling-Based Adversarial Planning. ICAPS (2011)
Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman
Risk-Sensitive Policies for Sustainable Renewable Resource Allocation. IJCAI (2011)
Raghuram Ramanujan, Ashish Sabharwal, Bart Selman
On Adversarial Search Spaces and Sampling-Based Planning. ICAPS (2010)
Stefano Ermon, Jon Conrad, Carla P. Gomes, Bart Selman
Playing games against nature: optimal policies for renewable resource allocation. UAI (2010)
Raghuram Ramanujan, Ashish Sabharwal, Bart Selman
Understanding Sampling Style Adversarial Search Methods. UAI (2010)
Stefano Ermon, Carla P. Gomes, Bart Selman
Collaborative multiagent Gaussian inference in a dynamic environment using belief propagation. AAMAS (2010)
Lukas Kroc, Ashish Sabharwal, Bart Selman
Approximate Inference for Clusters in Solution Spaces. Abstraction, Reformulation, and Approximation (2010)
Roberto Battiti, Bart Selman, Thomas Stützle
Special issue on learning and intelligent optimization. Ann. Math. Artif. Intell. 60 (1-2) (2010)
Lukas Kroc, Ashish Sabharwal, Bart Selman
An Empirical Study of Optimal Noise and Runtime Distributions in Local Search. SAT (2010)
Stefano Ermon, Carla P. Gomes, Bart Selman
Computing the Density of States of Boolean Formulas. CP (2010)
Lukas Kroc, Ashish Sabharwal, Bart Selman
Relaxed DPLL Search for MaxSAT. SAT (2009)
Lukas Kroc, Ashish Sabharwal, Bart Selman
Message-passing and local heuristics as decimation strategies for satisfiability. SAC (2009)
Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman
Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT. IJCAI (2009)
Lukas Kroc, Bart Selman, Ashish Sabharwal
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. ISAIM (2008)
Lukas Kroc, Ashish Sabharwal, Bart Selman
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting. CPAIOR (2008)
Lukas Kroc, Ashish Sabharwal, Bart Selman
Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation. NIPS (2008)
Jörg Hoffmann, Carla P. Gomes, Bart Selman
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning CoRR (2007)
Ioannis A. Vetsikas, Nicholas R. Jennings, Bart Selman
Generating Bayes-Nash Equilibria to Design Autonomous Trading Agents. IJCAI (2007)
Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman
Counting CSP Solutions Using Generalized XOR Constraints. AAAI (2007)

Bart Selman.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bart Selman