== Graphical Model Algorithms at UC Irvine ==

'''''Check out the [[REES]] package and our other [[Software]].'''''

Welcome to ''!GraphModAlg@UCI'', the home page of [[http://www.ics.uci.edu/~dechter/|Prof. Dechter's]] group in the Bren School of [[http://www.ics.uci.edu/|ICS]] at [[http://www.uci.edu/|UC Irvine]]. Our research centers on computational aspects of automated reasoning and knowledge representation including search, constraint processing and probabilistic reasoning. 

===== Software =====
This web page serves as a platform to make our algorithms and their implementations available to interested researchers. Feel free to have a look at the current list of available [[Software]]. Some of our algorithms have recently been evaluated in the [[http://graphmod.ics.uci.edu/uai08/Evaluation/Report|UAI'08 probabilistic inference evaluation]].

We also provide a number of example problem instances in our [[Repository]].

===== Research overview =====
The [[Research_group|reasoning group's]] research headed by [[http://www.ics.uci.edu/~dechter/|Prof. Dechter]] is in the field of automated reasoning in Artificial Intelligence, focusing on Graphical Models. Graph-based models (e.g., Bayesian and constraint networks, influence diagrams and Markov decision processes) have become a central paradigm for knowledge representation and reasoning  in Artificial Intelligence and general computer science.

These models are used in numerous applications in industrial and engineering tasks, such as scheduling, planning, diagnosis and prediction, design, and hardware and software verification.  These reasoning problems can be stated as the formal tasks of  constraint satisfaction and satisfiability, combinatorial optimization and probabilistic inference.