Eugenia Ternovska

Available identifiers

Publication	Date of Publication	Type
Executable first-order queries in the logic of information flows	2024-06-27	Paper
Inputs, Outputs, and Composition in the Logic of Information Flows	2023-11-03	Paper
Executable First-Order Queries in the Logic of Information Flows	2023-02-07	Paper
Non-terminating processes in the situation calculus	2020-06-11	Paper
A language-independent framework for reasoning about preferences for declarative problem solving	2020-05-13	Paper
An algebra of modular systems: static and dynamic perspectives	2020-05-13	Paper
Propagators and Solvers for the Algebra of Modular Systems	2019-01-10	Paper
A logic of nonmonotone inductive definitions	2017-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q5740450	2016-07-26	Paper
Clause-Learning for Modular Systems	2015-11-04	Paper
A semantic account for modularity in multi-language modelling of search problems	2011-10-07	Paper
Speed-up techniques for negation in grounding	2011-01-07	Paper
On the complexity of model expansion	2010-10-12	Paper
PBINT, a logic for modelling search problems involving arithmetic	2010-10-12	Paper
Inductive situation calculus	2009-07-09	Paper
Expressive power and abstraction in Essence	2008-09-02	Paper
Constructing Camin-Sokal Phylogenies Via Answer Set Programming	2008-05-27	Paper
Model Checking Abstract State Machines with Answer Set Programming	2008-05-27	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Model checking abstract state machines with answer set programming	2007-07-24	Paper
Logic Programming	2006-06-27	Paper

This page was built for person: Eugenia Ternovska