The role of commutativity in constraint propagation algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Mini-buckets: A general scheme for bounded inference
Journal of the ACM (JACM)
A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning
Soft-Ware 2002 Proceedings of the First International Conference on Computing in an Imperfect World
Interpolation Theorems for Nonmonotonic Reasoning Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
New Search Heuristics for Max-CSP
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Boosting Search with Variable Elimination
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
A General Scheme for Multiple Lower Bound Computation in Constraint Optimization
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
A Relational Constraint Solver for Model-Based Engineering
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Opportunistic Specialization in Russian Doll Search
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Generating random solutions for constraint satisfaction problems
Eighteenth national conference on Artificial intelligence
Context-specific multiagent coordination and planning with factored MDPs
Eighteenth national conference on Artificial intelligence
Incrementally solving functional constraints
Eighteenth national conference on Artificial intelligence
Exact Bayesian Structure Discovery in Bayesian Networks
The Journal of Machine Learning Research
Interestingness of frequent itemsets using Bayesian networks as background knowledge
Proceedings of the tenth ACM SIGKDD international conference on Knowledge discovery and data mining
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
A complete anytime algorithm for treewidth
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Unifying tree decompositions for reasoning in graphical models
Artificial Intelligence
Computational aspects of Bayesian partition models
ICML '05 Proceedings of the 22nd international conference on Machine learning
Coarticulation: an approach for generating concurrent plans in Markov decision processes
ICML '05 Proceedings of the 22nd international conference on Machine learning
Space Complexity of Estimation of Distribution Algorithms
Evolutionary Computation
A logic of soft constraints based on partially ordered preferences
Journal of Heuristics
Bucket elimination for multiobjective optimization problems
Journal of Heuristics
Optimal 2-constraint satisfaction via sum-product algorithms
Information Processing Letters
A constraint solver for model-based engineering
AI Communications
Sequential inference with reliable observations: learning to construct force-dynamic models
Artificial Intelligence
AND/OR search spaces for graphical models
Artificial Intelligence
Visualizing SAT Instances and Runs of the DPLL Algorithm
Journal of Automated Reasoning
A logical approach to efficient Max-SAT solving
Artificial Intelligence
Semiring induced valuation algebras: Exact and approximate local computation algorithms
Artificial Intelligence
Probabilistic logic with independence
International Journal of Approximate Reasoning
Using the Simulated Annealing Algorithm for Multiagent Decision Making
RoboCup 2006: Robot Soccer World Cup X
AND/OR Multi-valued Decision Diagrams for Constraint Networks
Concurrency, Graphs and Models
Scalable pattern mining with Bayesian networks as background knowledge
Data Mining and Knowledge Discovery
Efficient Algorithms for Functional Constraints
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A Logical Approach to Constraint Satisfaction
Complexity of Constraints
Practical solution techniques for first-order MDPs
Artificial Intelligence
Factored value iteration converges
Acta Cybernetica
Factored temporal difference learning in the new ties environment
Acta Cybernetica
Constraint-based dynamic programming for decentralized POMDPs with structured interactions
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Solving connected row convex constraints by variable elimination
Artificial Intelligence
Return of the JTMS: Preferences Orchestrate Conflict Learning and Solution Synthesis
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Decision with uncertainties, feasibilities, and utilities: towards a unified algebraic framework
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Mixed deterministic and probabilistic networks
Annals of Mathematics and Artificial Intelligence
An anytime scheme for bounding posterior beliefs
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
MPE and partial inversion in lifted probabilistic variable elimination
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
Inference rules for high-order consistency in weighted CSP
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Adaptive traitor tracing with Bayesian networks
IAAI'07 Proceedings of the 19th national conference on Innovative applications of artificial intelligence - Volume 2
Diagnosing faults in electrical power systems of spacecraft and aircraft
IAAI'08 Proceedings of the 20th national conference on Innovative applications of artificial intelligence - Volume 3
Lifted probabilistic inference with counting formulas
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Efficient solution algorithms for factored MDPs
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Cutset sampling for Bayesian networks
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
Journal of Artificial Intelligence Research
Learning partially observable deterministic action models
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
Constraint satisfaction, databases, and logic
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Solving weighted constraint satisfaction problems with memetic/exact hybrid algorithms
Journal of Artificial Intelligence Research
Max-norm projections for factored MDPs
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Efficient stochastic local search for MPE solving
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Resolution in Max-SAT and its relation to local consistency in weighted CSPs
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
AND/OR branch-and-bound for graphical models
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Decision diagrams for the computation of semiring valuations
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A simple-transition model for relational sequences
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Concurrent hierarchical reinforcement learning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Learning partially observable deterministic action models
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A covering problem for hypercubes
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Unifying tree decompositions for reasoning in graphical models
Artificial Intelligence
Methods for constructing balanced elimination trees and other recursive decompositions
International Journal of Approximate Reasoning
Event-detecting multi-agent MDPs: complexity and constant-factor approximation
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
Expert Systems with Applications: An International Journal
Optimal 2-constraint satisfaction via sum--product algorithms
Information Processing Letters
Variational upper bounds for probabilistic phylogenetic models
RECOMB'07 Proceedings of the 11th annual international conference on Research in computational molecular biology
Cycle-cutset sampling for Bayesian networks
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial 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
Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination
Artificial Intelligence
Optimizing inference in Bayesian networks and semiring valuation algebras
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Exploiting problem decomposition in multi-objective constraint optimization
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
CLP(BN): constraint logic programming for probabilistic knowledge
Probabilistic inductive logic programming
Understanding the scalability of Bayesian network inference using clique tree growth curves
Artificial Intelligence
Point-based backup for decentralized POMDPs: complexity and new algorithms
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
The Necessity of Bounded Treewidth for Efficient Inference in Bayesian Networks
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Interactive cost configuration over decision diagrams
Journal of Artificial Intelligence Research
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
Towards parallel non serial dynamic programming for solving hard weighted CSP
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Cluster Tree Elimination for Distributed Constraint Optimization with Quality Guarantees
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
SampleSearch: Importance sampling in presence of determinism
Artificial Intelligence
Journal of Automated Reasoning
Active tuples-based scheme for bounding posterior beliefs
Journal of Artificial Intelligence Research
Decision making with multiple objectives using GAI networks
Artificial Intelligence
Solving functional constraints by variable substitution
Theory and Practice of Logic Programming
Multi-dimensional classification with Bayesian networks
International Journal of Approximate Reasoning
Algorithms and complexity results for persuasive argumentation
Artificial Intelligence
Generic solution construction in valuation-based systems
Canadian AI'11 Proceedings of the 24th Canadian conference on Advances in 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
Database foundations for scalable RDF processing
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
On mini-buckets and the min-fill elimination ordering
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Patterns discovery for efficient structured probabilistic inference
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Policy iteration for factored MDPs
UAI'00 Proceedings of the Sixteenth conference on Uncertainty in artificial intelligence
Hybrid processing of beliefs and constraints
UAI'01 Proceedings of the Seventeenth conference on Uncertainty in artificial intelligence
Journal of Computer and System Sciences
A multi-level memetic/exact hybrid algorithm for the still life problem
PPSN'06 Proceedings of the 9th international conference on Parallel Problem Solving from Nature
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
Mini-bucket elimination with bucket propagation
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Value elimination: bayesian inference via backtracking search
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
An empirical study of w-cutset sampling for bayesian networks
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Systematic vs. non-systematic algorithms for solving the MPE task
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
Incorporating inference into evolutionary algorithms for Max-CSP
HM'06 Proceedings of the Third international conference on Hybrid Metaheuristics
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
A CSP search algorithm with reduced branching factor
CSCLP'05 Proceedings of the 2005 Joint ERCIM/CoLogNET international conference on Constraint Solving and Constraint Logic Programming
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
A memetic algorithm with bucket elimination for the still life problem
EvoCOP'06 Proceedings of the 6th European conference on Evolutionary Computation in Combinatorial Optimization
Structured probabilistic inference
International Journal of Approximate Reasoning
Stochastic dominance in stochastic DCOPs for risk-sensitive applications
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Bucket and mini-bucket schemes for m best solutions over graphical models
GKR'11 Proceedings of the Second international conference on Graph Structures for Knowledge Representation and Reasoning
Solving limited memory influence diagrams
Journal of Artificial Intelligence Research
Implementing conformiq Qtronic
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Resolution procedures for multiple-valued optimization
Information Sciences: an International Journal
Representing and solving finite-domain constraint problems using systems of polynomials
Annals of Mathematics and Artificial Intelligence
Parameterized complexity results for exact bayesian network structure learning
Journal of Artificial Intelligence Research
On the tree structure used by lazy propagation for inference in bayesian networks
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
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
Distributed reasoning for multiagent simple temporal problems
Journal of Artificial Intelligence Research
Hi-index | 0.00 |