Rina Dechter

From MaRDI portal


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Biography of Judea Pearl by Stuart J. Russell
Probabilistic and Causal Inference
2023-04-04Paper
Turing Award Lecture
Probabilistic and Causal Inference
2023-04-04Paper
Interview by Martin Ford
Probabilistic and Causal Inference
2023-04-04Paper
An Interview with Ron Wassertein on How The Book of Why Transforms Statistics
Probabilistic and Causal Inference
2023-04-04Paper
Selected Annotated Bibliography by Judea Pearl
Probabilistic and Causal Inference
2023-04-04Paper
Uncovering trees in constraint networks
Artificial Intelligence
2022-09-27Paper
Default reasoning using classical logic
Artificial Intelligence
2022-09-23Paper
Structure-driven algorithms for truth maintenance
Artificial Intelligence
2022-09-22Paper
Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms, Second Edition
Synthesis Lectures on Artificial Intelligence and Machine Learning
2019-03-28Paper
AND/OR search for marginal MAP
Journal of Artificial Intelligence Research
2019-01-18Paper
Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs
Constraints
2018-03-22Paper
AND/OR branch-and-bound on a computational grid
Journal of Artificial Intelligence Research
2017-10-24Paper
Weighted heuristic anytime search: new schemes for optimization over graphical models
Annals of Mathematics and Artificial Intelligence
2017-03-06Paper
Searching for the \(m\) best solutions in graphical models
The Journal of Artificial Intelligence Research (JAIR)
2016-04-19Paper
Mini-buckets: a general scheme for bounded inference
Journal of the ACM
2015-12-07Paper
Bucket elimination: a unifying framework for processing hard and soft constraints
Constraints
2015-06-15Paper
Reasoning with probabilistic and deterministic graphical models. Exact algorithms
Synthesis Lectures on Artificial Intelligence and Machine Learning
2014-05-15Paper
Importance sampling-based estimation over AND/OR search spaces for graphical models
Artificial Intelligence
2012-11-15Paper
Anytime AND/OR depth-first search for combinatorial optimization
AI Communications
2012-10-25Paper
SampleSearch: importance sampling in presence of determinism
Artificial Intelligence
2011-06-17Paper
scientific article; zbMATH DE number 5885078 (Why is no real title available?)
 
2011-05-06Paper
Active tuples-based scheme for bounding posterior beliefs
Journal of Artificial Intelligence Research
2010-11-10Paper
Join-graph propagation algorithms
Journal of Artificial Intelligence Research
2010-05-31Paper
Evaluating the impact of AND/OR search on 0-1 integer linear programming
Constraints
2010-03-02Paper
AND/OR branch-and-bound search for combinatorial optimization in graphical models
Artificial Intelligence
2009-12-21Paper
Memory intensive AND/OR search for combinatorial optimization in graphical models
Artificial Intelligence
2009-12-21Paper
Mixed deterministic and probabilistic networks
Annals of Mathematics and Artificial Intelligence
2009-09-18Paper
Robust Solutions in Unstable Optimization Problems
Lecture Notes in Computer Science
2009-08-06Paper
AND/OR search spaces for graphical models
Artificial Intelligence
2009-07-09Paper
scientific article; zbMATH DE number 5547867 (Why is no real title available?)
 
2009-04-28Paper
AND/OR multi-valued decision diagrams (AOMDDs) for graphical models
 
2009-04-28Paper
Best-First AND/OR Search for 0/1 Integer Programming
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
2009-03-10Paper
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science
2008-09-09Paper
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science
2008-09-09Paper
Compiling Constraint Networks into AND/OR Multi-valued Decision Diagrams (AOMDDs)
Principles and Practice of Constraint Programming - CP 2006
2008-09-09Paper
AND/OR Multi-valued Decision Diagrams for Constraint Optimization
Principles and Practice of Constraint Programming – CP 2007
2008-09-02Paper
AND/OR Multi-valued Decision Diagrams for Constraint Networks
Concurrency, Graphs and Models
2008-06-19Paper
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science
2007-11-07Paper
Unifying tree decompositions for reasoning in graphical models
Artificial Intelligence
2007-10-23Paper
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Lecture Notes in Computer Science
2007-04-30Paper
scientific article; zbMATH DE number 2084716 (Why is no real title available?)
 
2004-08-09Paper
Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
Constraints
2004-03-15Paper
Processing disjunctions in temporal constraint networks
Artificial Intelligence
2003-08-28Paper
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
2002-07-15Paper
Heuristic search in artificial intelligence
Artificial Intelligence
2002-07-14Paper
Resolution versus search: Two strategies for SAT
 
2001-10-21Paper
Resolution versus search: Two strategies for SAT
Journal of Automated Reasoning
2001-09-03Paper
A general scheme for automatic generation of search heuristics from specification \(dependencies^{*}\)
Artificial Intelligence
2001-08-20Paper
Topological parameters for time-space tradeoff
Artificial Intelligence
2001-08-20Paper
Experimental evaluation of preprocessing algorithms for constraint satisfaction problems
Artificial Intelligence
2000-08-14Paper
Maintenance scheduling problems as benchmarks for constraint algorithms
Annals of Mathematics and Artificial Intelligence
2000-06-07Paper
Bucket elimination: A unifying framework for reasoning
Artificial Intelligence
2000-06-04Paper
scientific article; zbMATH DE number 1452706 (Why is no real title available?)
Chicago Journal of Theoretical Computer Science
2000-05-29Paper
scientific article; zbMATH DE number 1222282 (Why is no real title available?)
 
1999-04-19Paper
Local and global relational consistency
Theoretical Computer Science
1998-07-23Paper
scientific article; zbMATH DE number 861619 (Why is no real title available?)
 
1998-05-10Paper
On computing minimal models
Annals of Mathematics and Artificial Intelligence
1998-03-04Paper
Constraint tightness and looseness versus local and global consistency
Journal of the ACM
1998-02-17Paper
On the minimality and global consistency of row-convex constraint networks
Journal of the ACM
1998-01-28Paper
Propositional semantics for disjunctive logic programs
Annals of Mathematics and Artificial Intelligence
1996-10-20Paper
Structure identification in relational data
Artificial Intelligence
1993-04-01Paper
On the Greedy Solution of Ordering Problems
ORSA Journal on Computing
1993-01-16Paper
From local to global consistency
Artificial Intelligence
1992-09-27Paper
scientific article; zbMATH DE number 67481 (Why is no real title available?)
 
1992-09-27Paper
scientific article; zbMATH DE number 67622 (Why is no real title available?)
 
1992-09-27Paper
scientific article; zbMATH DE number 67865 (Why is no real title available?)
 
1992-09-27Paper
Temporal constraint networks
Artificial Intelligence
1992-06-28Paper
Decomposing a relation into a tree of binary relations
Journal of Computer and System Sciences
1990-01-01Paper
scientific article; zbMATH DE number 4166937 (Why is no real title available?)
 
1989-01-01Paper
Tree clustering for constraint networks
Artificial Intelligence
1989-01-01Paper
scientific article; zbMATH DE number 4162307 (Why is no real title available?)
 
1989-01-01Paper
Network-based heuristics for constraint-satisfaction problems
Artificial Intelligence
1988-01-01Paper
scientific article; zbMATH DE number 4112072 (Why is no real title available?)
 
1988-01-01Paper
Generalized best-first search strategies and the optimality of A*
Journal of the ACM
1985-01-01Paper
Probabilistic analysis of the complexity of A*
Artificial Intelligence
1980-01-01Paper


Research outcomes over time


This page was built for person: Rina Dechter