Decomposable negation normal form
Journal of the ACM (JACM)
Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A differential approach to inference in Bayesian networks
Journal of the ACM (JACM)
Using weighted MAX-SAT engines to solve MPE
Eighteenth national conference on Artificial intelligence
Complexity of probabilistic reasoning in directed-path singly-connected Bayes networks
Artificial Intelligence
Case-factor diagrams for structured probabilistic modeling
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
AND/OR search spaces for graphical models
Artificial Intelligence
Case-factor diagrams for structured probabilistic modeling
Journal of Computer and System Sciences
On probabilistic inference by weighted model counting
Artificial Intelligence
Approximate algorithms for credal networks with binary variables
International Journal of Approximate Reasoning
RC_Link: Genetic linkage analysis using Bayesian networks
International Journal of Approximate Reasoning
An Intrusion Plan Recognition Algorithm Based on Max-1-Connected Causal Networks
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007
Best-First AND/OR Search for 0/1 Integer Programming
CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
AND/OR Multi-valued Decision Diagrams for Constraint Networks
Concurrency, Graphs and Models
Exploiting Decomposition in Constraint Optimization Problems
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
A comparison of two approaches for solving unconstrained influence diagrams
International Journal of Approximate Reasoning
Mixed deterministic and probabilistic networks
Annals of Mathematics and Artificial Intelligence
An edge deletion semantics for belief propagation and its practical impact on approximation quality
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Memory intensive branch-and-bound search for graphical models
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Exploiting tree decomposition and soft local consistency in weighted CSP
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
AND/OR Branch-and-Bound search for combinatorial optimization in graphical models
Artificial Intelligence
Memory intensive AND/OR search for combinatorial optimization in graphical models
Artificial Intelligence
Performing Bayesian inference by weighted model counting
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Best-first search for treewidth
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Macroscopic models of clique tree growth for Bayesian networks
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Complexity results and approximation strategies for MAP explanations
Journal of Artificial Intelligence Research
An algebraic graphical model for decision with uncertainties, feasibilities, and utilities
Journal of Artificial Intelligence Research
Probabilistic planning via heuristic forward search and weighted model counting
Journal of Artificial Intelligence Research
AND/OR multi-valued decision diagrams (AOMDDs) for graphical models
Journal of Artificial Intelligence Research
Solving #SAT and Bayesian inference with backtracking search
Journal of Artificial Intelligence Research
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
MB-DPOP: a new memory-bounded algorithm for distributed optimization
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Factored planning using decomposition trees
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A comparison of time-space schemes for graphical models
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Compiling Bayesian networks by symbolic probability calculation based on zero-suppressed BDDs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Optimal time-space tradeoff in probabilistic inference
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A structure-based variable ordering heuristic for SAT
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Compiling Bayesian networks with local structure
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Methods for constructing balanced elimination trees and other recursive decompositions
International Journal of Approximate Reasoning
Exploiting decomposition on constraint problems with high tree-width
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Russian Doll search with tree decomposition
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Combining breadth-first and depth-first strategies in searching for treewidth
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Dynamic management of heuristics for solving structured CSPs
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Structural relaxations by variable renaming and their compilation for solving MinCostSAT
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
The independent choice logic and beyond
Probabilistic inductive logic programming
Scalable formula decomposition for propositional satisfiability
Proceedings of the Third C* Conference on Computer Science and Software Engineering
Understanding the scalability of Bayesian network inference using clique tree growth curves
Artificial Intelligence
Communications of the ACM
Join-graph propagation algorithms
Journal of Artificial Intelligence Research
Probabilistic model-based diagnosis: an electrical power system case study
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
On the structure of elimination trees for Bayesian network inference
MICAI'10 Proceedings of the 9th Mexican international conference on Artificial intelligence conference on Advances in soft computing: Part II
Journal of Automated Reasoning
Algorithms and complexity results for persuasive argumentation
Artificial Intelligence
Marginalization without summation: exploiting determinism in factor algebra
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
MAP complexity results and approximation methods
UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
Any-space probabilistic inference
UAI'00 Proceedings of the Sixteenth conference on Uncertainty in artificial intelligence
Approximating MAP using local search
UAI'01 Proceedings of the Seventeenth conference on Uncertainty in artificial intelligence
Compiling constraint networks into AND/OR multi-valued decision diagrams (AOMDDs)
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
New advances in inference by recursive conditioning
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Value elimination: bayesian inference via backtracking search
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Solving MAP exactly using systematic search
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Conditioning graphs: practical structures for inference in bayesian networks
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Review: learning bayesian networks: Approaches and issues
The Knowledge Engineering Review
AND/OR branch-and-bound search for pure 0/1 integer linear programming problems
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Exploiting dynamic independence in a static conditioning graph
AI'06 Proceedings of the 19th international conference on Advances in Artificial Intelligence: Canadian Society for Computational Studies of Intelligence
Relax, compensate and then recover
JSAI-isAI'10 Proceedings of the 2010 international conference on New Frontiers in Artificial Intelligence
Importance sampling-based estimation over AND/OR search spaces for graphical models
Artificial Intelligence
Efficient indexing methods for recursive decompositions of Bayesian networks
International Journal of Approximate Reasoning
Anytime AND/OR depth-first search for combinatorial optimization
AI Communications - The Symposium on Combinatorial Search
Exploiting the probability of observation for efficient bayesian network inference
Canadian AI'12 Proceedings of the 25th Canadian conference on Advances in Artificial Intelligence
Decomposition and tractability in qualitative spatial and temporal reasoning
Artificial Intelligence
Parameterized complexity results for exact bayesian network structure learning
Journal of Artificial Intelligence Research
Probabilistic reasoning with undefined properties in ontologically-based belief networks
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
The inclusion-exclusion rule and its application to the junction tree algorithm
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Software health management with Bayesian networks
Innovations in Systems and Software Engineering
| Hi-index | 0.02 |