Bart Selman
Orcid: 0000-0003-0666-3123Affiliations:
- Cornell University, Ithaca, USA
According to our database1,
Bart Selman
authored at least 189 papers
between 1988 and 2023.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2012, "For contributions to artificial intelligence with applications to automated reasoning and planning.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on imdb.com
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
CoRR, 2023
Proceedings of the International Conference on Machine Learning, 2023
2022
Haptic perception using optoelectronic robotic flesh for embodied artificially intelligent agents.
Sci. Robotics, 2022
Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-based best-first search for Sokoban Planning.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Proceedings of the Handbook of Satisfiability - Second Edition, 2021
Automating crystal-structure phase mapping by combining deep learning with constraint reasoning.
Nat. Mach. Intell., 2021
Automating Crystal-Structure Phase Mapping: Combining Deep Learning with Constraint Reasoning.
CoRR, 2021
Curriculum-Driven Multi-Agent Learning and the Role of Implicit Communication in Teamwork.
CoRR, 2021
2020
CoRR, 2020
Hidden Community Detection on Two-layer Stochastic Models: a Theoretical Prospective.
CoRR, 2020
Hidden Community Detection on Two-Layer Stochastic Models: A Theoretical Perspective.
Proceedings of the Theory and Applications of Models of Computation, 2020
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
Solving Hard AI Planning Instances Using Curriculum-Driven Deep Reinforcement Learning.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
A 20-Year Roadmap for AI Research.
Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020
2019
CoRR, 2019
Commun. ACM, 2019
2018
IEEE Trans. Pattern Anal. Mach. Intell., 2018
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018
2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
2016
Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016
Proceedings of the 33nd International Conference on Machine Learning, 2016
Proceedings of the Martin Davis on Computability, 2016
2015
Letter to the Editor: Research Priorities for Robust and Beneficial Artificial Intelligence: An Open Letter.
AI Mag., 2015
Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem.
Proceedings of the Computational Sustainability, 2015
Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Synthesizing manipulation sequences for under-specified tasks using unrolled Markov Random Fields.
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014
Proceedings of the 31th International Conference on Machine Learning, 2014
Proceedings of the Seconf AAAI Conference on Human Computation and Crowdsourcing, 2014
Proceedings of the Principles and Practice of Constraint Programming, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
Mach. Learn., 2013
Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence, 2013
Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013
Proceedings of the Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5-8, 2013
Proceedings of the IJCAI 2013, 2013
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization.
Proceedings of the 30th International Conference on Machine Learning, 2013
2012
Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, 2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Proceedings of the Advances in Neural Information Processing Systems 25: 26th Annual Conference on Neural Information Processing Systems 2012. Proceedings of a meeting held December 3-6, 2012
Proceedings of the IEEE International Conference on Robotics and Automation, 2012
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
2011
Ann. Oper. Res., 2011
Artif. Intell., 2011
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011
Proceedings of the Advances in Neural Information Processing Systems 24: 25th Annual Conference on Neural Information Processing Systems 2011. Proceedings of a meeting held 12-14 December 2011, 2011
A Flat Histogram Method for Computing the Density of States of Combinatorial Problems.
Proceedings of the IJCAI 2011, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011
Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011
Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011
Proceedings of the Plan, Activity, and Intent Recognition, 2011
2010
Ann. Math. Artif. Intell., 2010
Proceedings of the UAI 2010, 2010
Proceedings of the UAI 2010, 2010
Proceedings of the Theory and Applications of Satisfiability Testing, 2010
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010
Collaborative multiagent Gaussian inference in a dynamic environment using belief propagation.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010
Proceedings of the Abstraction, 2010
2009
Proceedings of the Theory and Applications of Satisfiability Testing, 2009
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Proceedings of the IJCAI 2009, 2009
2008
Proceedings of the Handbook of Knowledge Representation, 2008
Proceedings of the Advances in Neural Information Processing Systems 21, 2008
2007
SIGecom Exch., 2007
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning.
Log. Methods Comput. Sci., 2007
Proceedings of the First International Workshop Workshop "New forms of reasoning for the Semantic Web: scalable, 2007
Proceedings of the Theory and Applications of Satisfiability Testing, 2007
Proceedings of the IJCAI 2007, 2007
Proceedings of the IJCAI 2007, 2007
ExOpaque: A Framework to Explain Opaque Machine Learning Models Using Inductive Logic Programming.
Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Proceedings of the Theory and Applications of Satisfiability Testing, 2006
Proceedings of the Advances in Neural Information Processing Systems 19, 2006
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2006
Proceedings of the Inductive Logic Programming, 16th International Conference, 2006
Proceedings of the Distributed Plan and Schedule Management, 2006
Proceedings of the Proceedings, 2006
2005
J. Autom. Reason., 2005
Artif. Intell., 2005
Proceedings of the Theory and Applications of Satisfiability Testing, 2005
Proceedings of the 7th International Conference on Electronic Commerce, 2005
2004
Proceedings of the Theory and Applications of Satisfiability Testing, 2004
Algorithmic Adventures at the Interface of Computer Science, Statistical Physics, and Combinatorics.
Proceedings of the Principles and Practice of Constraint Programming, 2004
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004
2003
Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 24, 2003
Proceedings of the IJCAI-03, 2003
Proceedings of the Principles and Practice of Constraint Programming, 2003
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003
2002
Proceedings of the Principles and Practice of Constraint Programming, 2002
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002
2001
Electron. Notes Discret. Math., 2001
Electron. Notes Discret. Math., 2001
Proceedings of the UAI '01: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence, 2001
Balance and Filtering in Structured Satisfiable Problems.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
Proceedings of the Principles and Practice of Constraint Programming, 2001
2000
J. Autom. Reason., 2000
Int. J. Artif. Intell. Tools, 2000
Ann. Math. Artif. Intell., 2000
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000
Learning Declarative Control Rules for Constraint-BAsed Planning.
Proceedings of the Seventeenth International Conference on Machine Learning (ICML 2000), Stanford University, Stanford, CA, USA, June 29, 2000
Proceedings of the Principles and Practice of Constraint Programming, 2000
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000
1999
Random Struct. Algorithms, 1999
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence, 1999
Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence, 1999
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999
1998
Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, 1998
Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems.
Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, 1998
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998
1997
Commun. ACM, 1997
Proceedings of the UAI '97: Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence, 1997
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997
1996
Artif. Intell., 1996
Encoding Plans in Propositional Logic.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996
Proceedings of the Satisfiability Problem: Theory and Applications, 1996
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996
1995
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995
1994
Near-Optimal Plans, Tractability, and Reactivity.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994
Domain-Specific Complexity Tradeoffs.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994
1993
Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993
Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993
1992
Planning as Satisfiability.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992
Proceedings of the 10th National Conference on Artificial Intelligence, 1992
Proceedings of the 10th National Conference on Artificial Intelligence, 1992
Proceedings of the 10th National Conference on Artificial Intelligence, 1992
1991
Proceedings of the Processing Declarative Knowledge, 1991
Proceedings of the 9th National Conference on Artificial Intelligence, 1991
Proceedings of the Principles of Semantic Networks, 1991
1990
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990
1989
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989
1988
Proceedings of the Non-Monotonic Reasoning, 1988