Author:Eugenia Ternovska
 Keyphrasesalgebra, Answer Set Programming, computational complexity, Knowledge Representation and Reasoning, mathematical foundations, model expansion, modular systems2, multi-language constraint solving, propagators, solvers.  | 

