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. |