HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Eugenia Ternovska

Publications
Propagators and Solvers for the Algebra of Modular Systems
Bart Bogaerts, Eugenia Ternovska and David Mitchell
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
An Algebra of Combined Constraint Solving
Eugenia Ternovska
In:GCAI 2015. Global Conference on Artificial Intelligence
IWIL 2012. The 9th International Workshop on the Implementation of Logics
Konstantin Korovin, Stephan Schulz and Eugenia Ternovska (editors)
EPiC Series in Computing, volume 22
IWIL 2010. The 8th International Workshop on the Implementation of Logics
Geoff Sutcliffe, Stephan Schulz and Eugenia Ternovska (editors)
EPiC Series in Computing, volume 2

Keyphrases

algebra, Answer Set Programming, computational complexity, Knowledge Representation and Reasoning, mathematical foundations, model expansion, modular systems2, multi-language constraint solving, propagators, solvers.

Copyright © 2012-2025 easychair.org. All rights reserved.