Eugenia Ternovska

Deterministic Linear Dynamic Logic and Hilbert’s Choice Operator

8th International Workshop on Strategic Reasoning

September 7-8, 2020, Satellite Workshop of ECAI 2020

talk, slides

Eugenia Ternovska

A Logic of Information Flows (two page abstract presented at KR2020), September 12-18

Heba Aamer , Bart Bogaerts , Dimitri Surinx , Eugenia Ternovska, Jan Van den Bussche

Inputs, Outputs, and Composition in the Logic of Information Flows

Preliminary version. Accepted for KR 2020.

ElGolog: A High-Level Programming Language with Memory of the Execution History

Giuseppe De Giacomo, Yves Lesp´erance, Eugenia Ternovska

Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska and Jan Van den Bussche.

Executable first-order queries in the logic of information flows. Proc. ICDT 2020

Eugenia Ternovska

An Algebra of Modular Systems: Static and Dynamic Perspectives

Proc. FroCoS 2019

Alireza Ensan and Eugenia Ternovska.

A Language-Independent Framework for Reasoning about

Preferences for Declarative Problem Solving

Proc. FroCoS 2019

Non-terminating processes in the situation calculus

Giuseppe De Giacomo, Eugenia Ternovska, Ray Reiter

Annals of Mathematics and Artificial Intelligence

DOI 10.1007/s10472-019-09643-9

The final publication is available at link.springer.com

Eugenia Ternovska

Recent Progress on the Algebra of Modular Systems

Proc. 11th Alberto Mendelzon Workshop on Foundations of Data Management

Bart Bogaerts, Eugenia Ternovska, and David Mitchell

Propagators and Solvers for the Algebra of Modular Systems

Proc.  LPAR-21. 21st International Conference on Logic for

Programming, Artificial Intelligence and Reasoning

Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska 

SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators.

Proc. AAAI-16, February 12–17, 2016, Phoenix, Arizona USA

Eugenia Ternovska

An Algebra of Combined Constraint Solving In GCAI 2015,

Global Conference on Artificial Intelligence, EPiC Series in Computer Science, 2015

Eugenia Ternovska. An Algebra of Combined Constraint Solving

(Research Project Description)

In: GTTV’15: 3d Workshop on Grounding, Transforming, and Modularizing Theories with Variables. September 26, 2015, Lexington, KY, USA

David Mitchell and Eugenia Ternovska: Clause-Learning Algorithms For Modular Systems

In: LPNMR 2015 13th International Conference on Logic Programming and Non-monotonic Reasoning, Lexington, KY, USA September 27-30, 2015 

Shahab Tasharrofi and Eugenia Ternovska

Modular Systems: Semantics, Complexity In: IJCAI-15 Workshop on Hybrid Reasoning, July 26, 2015, Buenos-Aires, Argentina

Alireza Ensan, and Evgenia Ternovska. Modular Systems with Preferences. IJCAI 2015: pages 2940-2947

Alireza Ensan and Evgenia Ternovska. Towards a Preference Formalism for Modular Systems

In: Commonsence’15: Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning, 2015

Shahab Tasharrofi and Eugenia Ternovska. Generalized Multi-Context Systems.

In: KR’14: 14th International Conference on Principles of Knowledge Representation and Reasoning

Shahab Tasharrofi and Eugenia Ternovska

Logical Machinery of Heuristics (Preliminary Report). In LaSh’14: Logic and Search workshop.

Vienna Summer of Logic 2014, July 2014, Vienna, Austria

Supported Semantics for Modular Systems

Shahab Tasharrofi and Eugenia Ternovska

In: ASPOCP14, 7th Workshop on Answer Set Programming and Other Computing Paradigms

Vienna Summer of Logic 2014,  July 2014, Vienna, Austria

Shahab Tasharrofi and Eugenia Ternovska.

Three Semantics for Modular Systems. NMR 2014

15th International Workshop on Non-Monotonic Reasoning

17–19 July 2014, Vienna

Amir Aavani, David Mitchell and Eugenia Ternovska.

New Encoding for Translating Pseudo-Boolean Constraints into SAT

In: SARA 2013, 10th Symposium on Abstraction, Reformulation, and Approximation

Amir Aavani, Xiongnan Newman Wu, Eugenia Ternovska and David Mitchell.

Enfragmo:A System for Modelling and Solving Search Problems with Logic

LPAR-18 (2012) The 18th International Conference on

Logic for Programming Artificial Intelligence and Reasoning,

10th‑15th March 2012,  Universidad de Los Andes

Mérida, Venezuela

Shahab Tasharrofi and Eugenia Ternovska
Modular Representation of a Business Process Planner

KiBP 2012, 1st International Workshop on

Knowledge-intensive Business Processes

Solving Modular Model Expansion: Case Studies

Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska.

In:  Post-conference proceedings of INAP/WLP’11, Springer LNAI

Knowledge Representation, Search Problems and Model Expansion

David Mitchell and Eugenia Ternovska. In Gerhard Lakemeyer and Sheila A. McIlraith (Eds.)

Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque. College Publications, 2011.

Solving Modular Model Expansion Tasks

Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska. WLP’11, Proc. 25th Int.

Workshop on Logic Programming, September 28-30, Vienna, Austria.

A Semantic Account for Modularity in Multi-language Modelling of Search Problems
Shahab Tasharrofi, Eugenia Ternovska. Proc. 8th International Symposium Frontiers of Combining Systems(FroCoS, 2011)

Grounding Formulas with Complex Terms.

Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska, David Mitchell. Proc.Canadian Conference on Artificial Intelligence, St. John's, Newfoundland and Labrador, Canada, (CAI, 2011)

On the Complexity of Model Expansion. With Antonina Kolokolova, Yongmei Liu, David Mitchell (LPAR17, 2010)

Built-in Arithmetic in Knowledge Representation Languages. With Shahab Tasharrofi.  Proc. NonMon at 30 (Thirty Years of Nonmonotonic Reasoning (Lexington, KY, USA, October 22-25, 2010)

PBINT, a logic for modelling search problems involving arithmetic. With Shahab Tasharrofi. (LPAR17, 2010)

2009

Declarative Programming of Search Problems with Built-in Arithmetic With David Mitchell. (IJCAI’09)

Speed-up Techniques for Negation in Grounding. With Amir Aavani, Shahab Tasharrofi, Gulay Unel, David Mitchell (LPAR 16)

2008

Expressiveness and Abstraction in Essence. With David Mitchell. "Constraints" journal.

Model Expansion as a Framework for Modelling and Solving Search Problems. With David Mitchell, Faraz Hach, Raheleh Mohebali. SFU Computing Science Technical Report.

Grounding for Model Expansion with Inductive Definitions. With Murray Patterson, Yongmei Liu, Arvind Gupta. International Joint Conference in Artificial Intelligence (IJCAI'07).

A logic of non-monotone inductive definitions. With Marc Denecker. ACM Transaction in Computational Logic (TOCL).

Constructing Camin-Sokal Phylogenies Via Answer Set Programming With Jonathan Kavanagh, David Mitchell, Jan Manuch, Xiaohong Zhao and Arvind Gupta. In Proc. LPAR'06. Lecture Notes in Computer Science, 2006.

Complexity of Expanding a Finite Structure and Related Tasks.  In Proc. LCC-06 workshop. With Antonina Kolokolova, Yongmei Liu, David Mitchell.

Constraint Programming with Unrestricted Quantification.  In Proc. CP-05 workshop. With David Mitchell.

A Framework for Solving NP-hard Search Problem. In Proc. AAAI-05. With David Mitchell.

Reducing Inductive Definitions to Propositional Satisfiability. In Proc. ICLP-05. With Nikolay Pelov.

Model Checking Abstract State Machines with Answer Set Programming. With Calvin Kai Fan Tang. LPAR-05.

Model Checking Abstract State Machines with Answer Set Programming. In Proc. ASM-05 workshop. With Calvin Kai Fan Tang.

A logic of non-monotone inductive definitions and its modularity properties. With Marc Denecker. In Logic Programming and Nonmonotonic Reasoning: 7th International Conference (Lifschitz, V. and Niemelä, I., eds.), vol 2923, Lecture Notes in Computer Science, pp. 47-60, 2004

Inductive Situation Calculus. Full version With Marc Denecker. Submitted to a journal.

Inductive Situation Calculus. With Marc Denecker. In Proceedings of Ninth International Conference on Principles of Knowledge Representation and Reasoning, KR-04, Delta Whistler Resort, Canada (Dubois, D. and Welty, C., eds.), 2004

A Model Checker for Verifying ConGolog Programs (extended abstract). With Leila Kalantari. AAAI-02.

Ramification Problem for the Situation Calculus. Proc. of the 14th European Conference on Artificial Intelligence (ECAI), 20 - 25 August, 2000, Berlin, Germany, pages 563-567.

Automata Theory for Reasoning about Actions. Proc. of the Sixteenth Int'l. Joint Conference on Artificial Intelligence  (IJCAI), 31 July - 6 August, 1999, Stockholm Sweden, pages 153-158.

Inductive Definability and the Situation Calculus. Freitag B., Decker H., Kifer M. (Eds.), "Transactions and Change in Logic Databases" LNCS, vol. 1472, Springer-Verlag, 1998, pages 227-248.

Causality via Inductive Definitions. Working Notes of "Prospects for a Commonsense Theory of Causation", AAAI Spring Symposium Series, March 23-28, 1998, pages 94-100.

Non-terminating Processes in the Situation Calculus. (with G. De Giacomo and R. Reiter). In Working Notes of "Robots, Softbots, Immobots: Theories of Action, Planning and Control", A AAI'97 Workshop, July 28, 1997.

Interval Situation Calculus. Proc. of ECAI'94 Workshop "Action and Change" .

Logical Formalization of Concurrent Actions for Multi-Agent Systems, (with M. Soutchanski). In Proc. of ECAI'94 Workshop "Intelligent Agents: Theories, Architectures, and Languages", LNAI, vol. 890, Springer-Verlag, Berlin, 1995 .

Logical Theory of Concurrent Actions. (with M. Soutchanski).   In Soviet Journal of Computer and System Sciences, 1993, vol.31. Russian version was published in Izvestiya of Russian Academy of Sciences, seria Tekhnicheskaia Kibernetika, 1993, N5.