Eugenia Ternovska

56 papers A* 10A 1B 8Journal 18Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	When Does Naïve Evaluation Work for Datalog? RuleML+RR Heng Liu, Eugenia Ternovska
2024	J	`jnl`	Executable First-Order Queries in the Logic of Information Flows. Log. Methods Comput. Sci. Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
2023	J	`jnl`	Inputs, Outputs, and Composition in the Logic of Information Flows. ACM Trans. Comput. Log. Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
2023	J	`jnl`	Promise Algebra: An Algebraic Model of Non-Deterministic Computations. CoRR Eugenia Ternovska
2022	J	`jnl`	Executable First-Order Queries in the Logic of Information Flows. CoRR Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
2022	J	`jnl`	Inputs, Outputs, and Composition in the Logic of Information Flows. CoRR Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
2021	A*	`conf`	Algebra of Modular Systems: Containment and Equivalence. AAAI Andrei Bulatov, Eugenia Ternovska
2021	J	`jnl`	Towards Capturing PTIME with no Counting Construct (but with a Choice Operator). CoRR Eugenia Ternovska
2020	A*	`conf`	ElGolog: A High-Level Programming Language with Memory of the Execution History. AAAI Giuseppe De Giacomo, Yves Lespérance, Eugenia Ternovska
2020	A	`conf`	Executable First-Order Queries in the Logic of Information Flows. ICDT Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
2020	A*	`conf`	Inputs, Outputs, and Composition in the Logic of Information Flows. KR Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
2020	J	`jnl`	Non-terminating processes in the situation calculus. Ann. Math. Artif. Intell. Giuseppe De Giacomo, Eugenia Ternovska, Ray Reiter
2019	—	`conf`	A Language-Independent Framework for Reasoning About Preferences for Declarative Problem Solving. FroCos Alireza Ensan, Eugenia Ternovska
2019	—	`conf`	An Algebra of Modular Systems: Static and Dynamic Perspectives. FroCos Eugenia Ternovska
2018	—	`conf`	A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems. PRUV@IJCAR Alireza Ensan, Eugenia Ternovska, Heng Liu
2017	J	`jnl`	A Semantic Approach to Combining Preference Formalisms. FLAP Alireza Ensan, Eugenia Ternovska
2017	B	`conf`	Propagators and Solvers for the Algebra of Modular Systems. LPAR Bart Bogaerts, Eugenia Ternovska, David G. Mitchell
2017	—	`conf`	Recent Progress on the Algebra of Modular Systems. AMW Eugenia Ternovska
2016	J	`jnl`	Lifted Relational Algebra with Recursion and Connections to Modal Logic. CoRR Eugenia Ternovska
2016	J	`jnl`	Propagators and Solvers for the Algebra of Modular Systems. CoRR Bart Bogaerts, Eugenia Ternovska, David G. Mitchell
2016	A*	`conf`	SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators. AAAI Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska
2015	—	`conf`	An Algebra of Combined Constraint Solving. GCAI Eugenia Ternovska
2015	B	`conf`	Clause-Learning for Modular Systems. LPNMR David G. Mitchell, Eugenia Ternovska
2015	A*	`conf`	Modular Systems with Preferences. IJCAI Alireza Ensan, Eugenia Ternovska
2015	—	`conf`	Towards a Preference Formalism for Modular Systems. AAAI Spring Symposia Alireza Ensan, Eugenia Ternovska
2014	A*	`conf`	Generalized Multi-Context Systems. KR Shahab Tasharrofi, Eugenia Ternovska
2014	J	`jnl`	Three Semantics for Modular Systems. CoRR Shahab Tasharrofi, Eugenia Ternovska
2013	—	`ed.`	IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012 IWIL@LPAR Konstantin Korovin, Stephan Schulz, Eugenia Ternovska
2013	—	`conf`	New Encoding for Translating Pseudo-Boolean Constraints into SAT. SARA Amir Aavani, David G. Mitchell, Eugenia Ternovska
2013	J	`jnl`	Problem Solving with the Enfragmo System. Theory Pract. Log. Program. Amir Aavani, Eugenia Ternovska, David G. Mitchell
2012	B	`conf`	Enfragmo: A System for Modelling and Solving Search Problems with Logic. LPAR Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell
2012	—	`conf`	Modular Representation of a Business Process Planner. KiBP@KR Shahab Tasharrofi, Eugenia Ternovska
2012	—	`ed.`	The 8th International Workshop on the Implementation of Logics, IWIL 2010, Yogyakarta, Indonesia, October 9, 2011 IWIL@LPAR Geoff Sutcliffe, Stephan Schulz, Eugenia Ternovska
2011	—	`conf`	A Semantic Account for Modularity in Multi-language Modelling of Search Problems. FroCoS Shahab Tasharrofi, Eugenia Ternovska
2011	—	`conf`	Grounding Formulas with Complex Terms. Canadian AI Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska, David G. Mitchell
2011	J	`jnl`	Solving Modular Model Expansion Tasks CoRR Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska
2011	—	`conf`	Solving Modular Model Expansion: Case Studies. INAP/WLP Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska
2010	—	`conf`	On the Complexity of Model Expansion. LPAR (Yogyakarta) Antonina Kolokolova, Yongmei Liu, David G. Mitchell, Eugenia Ternovska
2010	—	`conf`	PBINT, A Logic for Modelling Search Problems Involving Arithmetic. LPAR (Yogyakarta) Shahab Tasharrofi, Eugenia Ternovska
2010	—	`conf`	Speed-Up Techniques for Negation in Grounding. LPAR (Dakar) Amir Aavani, Shahab Tasharrofi, Gulay Ünel, Eugenia Ternovska, David G. Mitchell
2009	A*	`conf`	Declarative Programming of Search Problems with Built-in Arithmetic. IJCAI Eugenia Ternovska, David G. Mitchell
2008	J	`jnl`	A logic of nonmonotone inductive definitions. ACM Trans. Comput. Log. Marc Denecker, Eugenia Ternovska
2008	J	`jnl`	Expressive power and abstraction in Essence. Constraints An Int. J. David G. Mitchell, Eugenia Ternovska
2007	A*	`conf`	Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. IJCAI Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta
2007	J	`jnl`	Inductive situation calculus. Artif. Intell. Marc Denecker, Eugenia Ternovska
2007	J	`jnl`	Model Checking Abstract State Machines with Answer Set Programming. Fundam. Informaticae Calvin Kai Fan Tang, Eugenia Ternovska
2006	B	`conf`	Constructing Camin-Sokal Phylogenies Via Answer Set Programming. LPAR Jonathan Kavanagh, David G. Mitchell, Eugenia Ternovska, Ján Manuch, Xiaohong Zhao, Arvind Gupta
2005	A*	`conf`	A Framework for Representing and Solving NP Search Problems. AAAI David G. Mitchell, Eugenia Ternovska
2005	J	`jnl`	A Logic for Non-Monotone Inductive Definitions CoRR Marc Denecker, Eugenia Ternovska
2005	—	`conf`	Model Checking Abstract State Machines with Answer Set Programming. Abstract State Machines Calvin Kai Fan Tang, Eugenia Ternovska
2005	B	`conf`	Model Checking Abstract State Machines with Answer Set Programming. LPAR Calvin Kai Fan Tang, Eugenia Ternovska
2005	B	`conf`	Reducing Inductive Definitions to Propositional Satisfiability. ICLP Nikolay Pelov, Eugenia Ternovska
2004	B	`conf`	A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. LPNMR Marc Denecker, Eugenia Ternovska
2004	A*	`conf`	Inductive Situation Calculus. KR Marc Denecker, Eugenia Ternovska
2002	—	`conf`	A Model Checker for Verifying ConGolog Programs. AAAI/IAAI Leila Kalantari, Eugenia Ternovska
2002	—	`—`	The situation calculus: decidability and an approach based on the logic for non-monotone inductive definitions. Eugenia Ternovska