Compilation @ ANITI Chairs
contact : fargier [at] irit [dot] fr
Knowledge compilation is a family of approaches for addressing the intractability of a number ofdifficult problems (beyond NP). An problem instace is "compiled" (pre processed, typically transformed into an instance of another language) in an off-line phase in order to support the perninent requests in polytime.
The aim of the ANITI KC project is to develop and experiments compilation models and algorithms for the on line optimization of problems dealing with preferences and/or uncertainties, be the uncertainty/preference model quantitative (e.g. GAI nets, Bayesian nets, Temporal CSPs) or qualitative (e.g. CP nets, logical approaches, point and interval algebra). Our domain of application include temporal planning problems and configuration problems.
Keywords: Approximate compilation, hererogenous KC maps, ML compilation maps