Rina Dechter
Affiliations:- University of California, Irvine, USA
According to our database1,
Rina Dechter
authored at least 215 papers
between 1980 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2013, "For contributions to the algorithmic foundations of automated reasoning with constraint-based and probabilistic information.".
Timeline
1980
1985
1990
1995
2000
2005
2010
2015
2020
0
5
10
15
1
1
1
3
3
1
2
3
2
3
2
2
2
1
3
1
3
1
3
3
5
2
2
2
1
2
2
1
1
1
1
2
1
3
4
2
4
6
3
6
3
8
2
4
4
5
9
9
8
7
7
5
3
2
2
3
2
3
8
4
5
1
2
3
2
2
2
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on viaf.org
-
on id.loc.gov
-
on d-nb.info
-
on ics.uci.edu
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2024
2023
Boosting AND/OR-based computational protein design: dynamic heuristics and generalizable UFO.
Proceedings of the Uncertainty in Artificial Intelligence, 2023
2022
Proceedings of the Uncertainty in Artificial Intelligence, 2022
Proceedings of the Uncertainty in Artificial Intelligence, 2022
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2022
2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Proceedings of the Thirteenth International Symposium on Combinatorial Search, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
2019
Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms, Second Edition
Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01583-0, 2019
Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, 2019
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019
Interleave Variational Optimization with Monte Carlo Sampling: A Tale of Two Approximate Inference Paradigms.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
J. Comput. Syst. Sci., 2018
Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs.
Constraints An Int. J., 2018
Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, 2018
Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, 2018
Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
Generalized Dual Decomposition for Bounding Maximum Expected Utility of Influence Diagrams with Perfect Recall.
Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
J. Artif. Intell. Res., 2017
Weighted heuristic anytime search: new schemes for optimization over graphical models.
Ann. Math. Artif. Intell., 2017
Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 2017
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Applying Search Based Probabilistic Inference Algorithms to Probabilistic Conformant Planning: Preliminary Results.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2016
Limited Discrepancy AND/OR Search and Its Application to Optimization Tasks in Graphical Models.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
On the Impact of Subproblem Orderings on Anytime AND/OR Best-First Search for Lower Bounds.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Empowering Mini-Bucket in Anytime Heuristic Search with Look-Ahead: Preliminary Evaluation.
Proceedings of the Eighth Annual Symposium on Combinatorial Search, 2015
Proceedings of the Eighth Annual Symposium on Combinatorial Search, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
2014
Proceedings of the Thirtieth Conference on Uncertainty in Artificial Intelligence, 2014
Proceedings of the Seventh Annual Symposium on Combinatorial Search, 2014
Beyond Static Mini-Bucket: Towards Integrating with Iterative Cost-Shifting Based Dynamic Heuristics.
Proceedings of the Seventh Annual Symposium on Combinatorial Search, 2014
Proceedings of the Seventh Annual Symposium on Combinatorial Search, 2014
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014
Anytime AND/OR Depth-First Search for Combinatorial Optimization - (Extended Abstract).
Proceedings of the Principles and Practice of Constraint Programming, 2014
Proceedings of the Principles and Practice of Constraint Programming, 2014
Proceedings of the Statistical Relational Artificial Intelligence, 2014
2013
Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01566-3, 2013
CoRR, 2013
A system for exact and approximate genetic linkage analysis of SNP data in large pedigrees.
Bioinform., 2013
Proceedings of the IJCAI 2013, 2013
2012
Proceedings of the Twenty-Second Conference on Uncertainty in Artificial Intelligence (2006)
CoRR, 2012
Artif. Intell., 2012
A Case Study in Complexity Estimation: Towards Parallel Branch-and-Bound over Graphical Models.
Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, 2012
Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, 2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
2011
Finding Most Likely Haplotypes in General Pedigrees Through Parallel Search with Dynamic Load Balancing.
Proceedings of the Biocomputing 2011: Proceedings of the Pacific Symposium, 2011
Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2011
Pushing the Power of Stochastic Greedy Ordering Schemes for Inference in Graphical Models.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
2010
Proceedings of the Thirteenth International Conference on Artificial Intelligence and Statistics, 2010
J. Artif. Intell. Res., 2010
Constraints An Int. J., 2010
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2010
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Artif. Intell., 2009
Artif. Intell., 2009
2008
J. Artif. Intell. Res., 2008
Proceedings of the UAI 2008, 2008
Proceedings of the Sixth UAI Bayesian Modelling Applications Workshop Helsinki, 2008
Proceedings of the ECAI 2008, 2008
Proceedings of the Recent Advances in Constraints, 2008
Refined Bounds for Instance-Based Search Complexity of Counting and Other #P Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2008
Proceedings of the Principles and Practice of Constraint Programming, 2008
Proceedings of the Concurrency, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Proceedings of the Eleventh International Conference on Artificial Intelligence and Statistics, 2007
Proceedings of the UAI 2007, 2007
Proceedings of the UAI 2007, 2007
Proceedings of the UAI 2007, 2007
Proceedings of the IJCAI 2007, 2007
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007
Proceedings of the Principles and Practice of Constraint Programming, 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 Handbook of Constraint Programming, 2006
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
Improving Bound Propagation.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2006
Proceedings of the Principles and Practice of Constraint Programming, 2006
Proceedings of the Principles and Practice of Constraint Programming, 2006
Proceedings of the Proceedings, 2006
Proceedings of the Proceedings, 2006
2005
Proceedings of the UAI '05, 2005
Proceedings of the UAI '05, 2005
Approximate Inference Algorithms for Hybrid Bayesian Networks with Discrete Constraints.
Proceedings of the UAI '05, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the Principles and Practice of Constraint Programming, 2005
Proceedings of the Principles and Practice of Constraint Programming, 2005
2004
Proceedings of the UAI '04, 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2004
Proceedings of the Principles and Practice of Constraint Programming, 2004
Proceedings of the Principles and Practice of Constraint Programming, 2004
2003
Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems.
Constraints An Int. J., 2003
Proceedings of the UAI '03, 2003
Proceedings of the UAI '03, 2003
Proceedings of the UAI '03, 2003
Proceedings of the Ninth International Workshop on Artificial Intelligence and Statistics, 2003
Proceedings of the Advances in Artificial Intelligence, 2003
2002
Artif. Intell., 2002
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002
2001
A general scheme for automatic generation of search heuristics from specification dependencies.
Artif. Intell., 2001
Proceedings of the UAI '01: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence, 2001
Proceedings of the Principles and Practice of Constraint Programming, 2001
2000
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000
An Implementation of the Combinatorial Auction Problem in ECL<sup>i</sup>PS<sup>e</sup>.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000
1999
Chic. J. Theor. Comput. Sci., 1999
Ann. Math. Artif. Intell., 1999
Proceedings of the UAI '99: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Stockholm, Sweden, July 30, 1999
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
Proceedings of the Seventh International Workshop on Artificial Intelligence and Statistics, 1999
1998
Proceedings of the UAI '98: Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence, 1998
Optimizing with Constraints: A Case Study in Scheduling Maintenance of Electric Power Units.
Proceedings of the Principles and Practice of Constraint Programming, 1998
Proceedings of the Learning in Graphical Models, 1998
1997
Proceedings of the UAI '97: Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence, 1997
Proceedings of the 1997 ACM symposium on Applied Computing, 1997
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997
1996
ACM Comput. Surv., 1996
Proceedings of the UAI '96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996
An evaluation of structural parameters for probabilistic reasoning: Results on benchmark circuits.
Proceedings of the UAI '96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996
Proceedings of the UAI '96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996
Proceedings of the UAI '96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996
Proceedings of the Third International Workshop on Temporal Representation and Reasoning, 1996
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996
1995
J. ACM, 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 Fourteenth International Joint Conference on Artificial Intelligence, 1995
1994
Ann. Math. Artif. Intell., 1994
Experimental Evaluation of Preprocessing Algorithms for Constraint Satisfaction Problems.
Artif. Intell., 1994
Directional Resolution: The Davis-Putnam Procedure, Revisited.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994
Constraint Tightness versus Global Consistency.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 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
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993
1992
Propositional Sematics for Disjunctive Logic Programs.
Proceedings of the Logic Programming, 1992
Proceedings of the 10th National Conference on Artificial Intelligence, 1992
1991
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991
Proceedings of the 9th National Conference on Artificial Intelligence, 1991
1990
Enhancement Schemes for Constraint Processing: Backjumping, Learning, and Cutset Decomposition.
Artif. Intell., 1990
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990
1989
Experimental Evaluation of Preprocessing Techniques in Constraint Satisfaction Problems.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989
Proceedings of the Second Annual Workshop on Computational Learning Theory, 1989
1988
Proceedings of the 7th National Conference on Artificial Intelligence, 1988
Proceedings of the 7th National Conference on Artificial Intelligence, 1988
1987
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987
1986
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986
1985
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985
1983
Proceedings of the National Conference on Artificial Intelligence, 1983
1980