Sotabase

Career

· Associate Professor, Simon Fraser University

Publications (67)

A logic of nonmonotone inductive definitions
TOCL · 2008
128
cited
A Framework for Representing and Solving NP Search Problems
AAAI Conference on Artificial Intelligence · 2005
116
cited
Inductive situation calculus
Artificial Intelligence · 2004
78
cited
A Logic of Non-monotone Inductive Definitions and Its Modularity Properties
International Conference on Logic Programming and Non-Monotonic Reasoning · 2004
44
cited
A Logic for Non-Monotone Inductive Definitions
2005
41
cited
A Semantic Account for Modularity in Multi-language Modelling of Search Problems
International Symposium on Frontiers of Combining Systems · 2011
38
cited
Reducing Inductive Definitions to Propositional Satisfiability
International Conference on Logic Programming · 2005
32
cited
Model Expansion as a Framework for Modelling and Solving Search Problems
2007
28
cited
Proceedings of the 8th International Workshop on the Implementation of Logics
2010
28
cited
Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions
International Joint Conference on Artificial Intelligence · 2007
27
cited
Enfragmo: A System for Modelling and Solving Search Problems with Logic
Logic Programming and Automated Reasoning · 2012
23
cited
Model Checking Abstract State Machines with Answer Set Programming
Fundamenta Informaticae · 2007
23
cited
Declarative Programming of Search Problems with Built-in Arithmetic
International Joint Conference on Artificial Intelligence · 2009
21
cited
Automata Theory for Reasoning About Actions
International Joint Conference on Artificial Intelligence · 1999
18
cited
New Encoding for Translating Pseudo-Boolean Constraints into SAT
Symposium on Abstraction, Reformulation and Approximation · 2013
18
cited
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16)
AAAI Conference on Artificial Intelligence · 2016
16
cited
Generalized Multi-Context Systems
International Conference on Principles of Knowledge Representation and Reasoning · 2014
15
cited
On the Complexity of Model Expansion
Logic Programming and Automated Reasoning · 2010
14
cited
Solving Modular Model Expansion Tasks
arXiv.org · 2011
14
cited
Expressive power and abstraction in Essence
Constraints · 2008
13
cited
Sotabase
Eugenia Ternovska | Researcher Profile | Sotabase | Sotabase