Ternovska, Eugenia

8 publications

AAAI 2021 Algebra of Modular Systems: Containment and Equivalence Andrei Bulatov, Eugenia Ternovska

AAAI 2020 ElGolog: A High-Level Programming Language with Memory of the Execution History Giuseppe De Giacomo, Yves Lespérance, Eugenia Ternovska

AAAI 2016 SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska

IJCAI 2015 Modular Systems with Preferences Alireza Ensan, Eugenia Ternovska

IJCAI 2009 Declarative Programming of Search Problems with Built-in Arithmetic Eugenia Ternovska, David G. Mitchell

IJCAI 2007 Grounding for Model Expansion in K-Guarded Formulas with Inductive Definitions Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta

AAAI 2005 A Framework for Representing and Solving NP Search Problems David G. Mitchell, Eugenia Ternovska

AAAI 2002 A Model Checker for Verifying ConGolog Programs Leila Kalantari, Eugenia Ternovska