Logical Formalization of Concurrent Actions for Multi-Agent Systems. - Mikhail Soutchanski; Eugenia Ternovskaia (ECAI Workshop on Agent Theories, Architectures, and Languages, 1994)

Interval Situation Calculus. - Eugenia Ternovskaia (KI, 1994)

Inductive Definability and the Situation Calculus. - Eugenia Ternovskaia (Transactions and Change in Logic Databases, 1998)

Automata Theory for Reasoning About Actions. - Eugenia Ternovskaia (IJCAI, 1999)

ID-logic and the Ramification Problem for the Situation Calculus. - Eugenia Ternovskaia (ECAI, 2000)

A Model Checker for Verifying ConGolog Programs. - Leila Kalantari; Eugenia Ternovska (AAAI/IAAI, 2002)

The situation calculus: decidability and an approach based on the logic for non-monotone inductive definitions. - Eugenia Ternovska (2002)

A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. - Marc Denecker; Eugenia Ternovska (LPNMR, 2004)

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

Reducing Inductive Definitions to Propositional Satisfiability. - Nikolay Pelov; Eugenia Ternovska (ICLP, 2005)

A Logic for Non-Monotone Inductive Definitions - Marc Denecker; Eugenia Ternovska (CoRR, 2005)

Constructing Camin-Sokal Phylogenies Via Answer Set Programming. - Jonathan Kavanagh; David G. Mitchell; Eugenia Ternovska; Ján Manuch; Xiaohong Zhao; Arvind Gupta (LPAR, 2006)

Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. - Murray Patterson; Yongmei Liu 001; Eugenia Ternovska; Arvind Gupta (IJCAI, 2007)

Inductive situation calculus. - Marc Denecker; Eugenia Ternovska (Artif. Intell., 2007)

Model Checking Abstract State Machines with Answer Set Programming. - Calvin Kai Fan Tang; Eugenia Ternovska (Fundam. Informaticae, 2007)

Expressive power and abstraction in Essence. - David G. Mitchell; Eugenia Ternovska (Constraints An Int. J., 2008)

A logic of nonmonotone inductive definitions. - Marc Denecker; Eugenia Ternovska (ACM Trans. Comput. Log., 2008)

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

Speed-Up Techniques for Negation in Grounding. - Amir Aavani; Shahab Tasharrofi; Gulay Ünel; Eugenia Ternovska; David G. Mitchell (LPAR (Dakar), 2010)

On the Complexity of Model Expansion. - Antonina Kolokolova; Yongmei Liu 001; David G. Mitchell; Eugenia Ternovska (LPAR (Yogyakarta), 2010)

PBINT, A Logic for Modelling Search Problems Involving Arithmetic. - Shahab Tasharrofi; Eugenia Ternovska (LPAR (Yogyakarta), 2010)

Grounding Formulas with Complex Terms. - Amir Aavani; Xiongnan (Newman) Wu; Eugenia Ternovska; David G. Mitchell (Canadian AI, 2011)

A Semantic Account for Modularity in Multi-language Modelling of Search Problems. - Shahab Tasharrofi; Eugenia Ternovska (FroCoS, 2011)

Solving Modular Model Expansion: Case Studies. - Shahab Tasharrofi; Xiongnan (Newman) Wu; Eugenia Ternovska (INAP/WLP, 2011)

Solving Modular Model Expansion Tasks - Shahab Tasharrofi; Xiongnan (Newman) Wu; Eugenia Ternovska (CoRR, 2011)

Modular Representation of a Business Process Planner. - Shahab Tasharrofi; Eugenia Ternovska (KiBP@KR, 2012)

Enfragmo: A System for Modelling and Solving Search Problems with Logic. - Amir Aavani; Xiongnan (Newman) Wu; Shahab Tasharrofi; Eugenia Ternovska; David G. Mitchell (LPAR, 2012)

New Encoding for Translating Pseudo-Boolean Constraints into SAT. - Amir Aavani; David G. Mitchell; Eugenia Ternovska (SARA, 2013)

Problem Solving with the Enfragmo System. - Amir Aavani; Eugenia Ternovska; David G. Mitchell (Theory Pract. Log. Program., 2013)

Generalized Multi-Context Systems. - Shahab Tasharrofi; Eugenia Ternovska (KR, 2014)

Three Semantics for Modular Systems. - Shahab Tasharrofi; Eugenia Ternovska (CoRR, 2014)

Towards a Preference Formalism for Modular Systems. - Alireza Ensan; Eugenia Ternovska (AAAI Spring Symposia, 2015)

An Algebra of Combined Constraint Solving. - Eugenia Ternovska (GCAI, 2015)

Modular Systems with Preferences. - Alireza Ensan; Eugenia Ternovska (IJCAI, 2015)

Clause-Learning for Modular Systems. - David G. Mitchell; Eugenia Ternovska (LPNMR, 2015)

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

How to Speed Up CUDA-WSat-PcL by 5x. - Heng Liu; Arrvindh Shriraman; Evgenia Ternovska (CANDAR, 2016)

Lifted Relational Algebra with Recursion and Connections to Modal Logic. - Eugenia Ternovska (CoRR, 2016)

Recent Progress on the Algebra of Modular Systems. - Eugenia Ternovska (AMW, 2017)

Propagators and Solvers for the Algebra of Modular Systems. - Bart Bogaerts 001; Eugenia Ternovska; David G. Mitchell (LPAR, 2017)

A Semantic Approach to Combining Preference Formalisms. - Alireza Ensan; Eugenia Ternovska (FLAP, 2017)

A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems. - Alireza Ensan; Eugenia Ternovska; Heng Liu (PRUV@IJCAR, 2018)

A Language-Independent Framework for Reasoning About Preferences for Declarative Problem Solving. - Alireza Ensan; Eugenia Ternovska (FroCos, 2019)

An Algebra of Modular Systems: Static and Dynamic Perspectives. - Eugenia Ternovska (FroCos, 2019)

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

Non-terminating processes in the situation calculus. - Giuseppe De Giacomo; Eugenia Ternovska; Ray Reiter (Ann. Math. Artif. Intell., 2020)

Algebra of Modular Systems: Containment and Equivalence. - Andrei Bulatov 001; Eugenia Ternovska (AAAI, 2021)

Towards Capturing PTIME with no Counting Construct (but with a Choice Operator). - Eugenia Ternovska (CoRR, 2021)

Promise Algebra: An Algebraic Model of Non-Deterministic Computations. - Eugenia Ternovska (CoRR, 2023)

Inputs, Outputs, and Composition in the Logic of Information Flows. - Heba Aamer; Bart Bogaerts 001; Dimitri Surinx; Eugenia Ternovska; Jan Van den Bussche (ACM Trans. Comput. Log., 2023)

Executable First-Order Queries in the Logic of Information Flows. - Heba Aamer; Bart Bogaerts 001; Dimitri Surinx; Eugenia Ternovska; Jan Van den Bussche (Log. Methods Comput. Sci., 2024)