A logic of nonmonotone inductive definitions M Denecker, E Ternovska ACM transactions on computational logic (TOCL) 9 (2), 1-52, 2008 | 166 | 2008 |
A framework for representing and solving NP search problems DG Mitchell, E Ternovska AAAI 5, 430-435, 2005 | 129 | 2005 |
Inductive situation calculus M Denecker, E Ternovska Artificial Intelligence 171 (5-6), 332-360, 2007 | 92 | 2007 |
A logic of non-monotone inductive definitions and its modularity properties M Denecker, E Ternovska Logic Programming and Nonmonotonic Reasoning: 7th International Conference …, 2004 | 46 | 2004 |
Model expansion as a framework for modelling and solving search problems D Mitchell, E Ternovska, F Hach, R Mohebali Technical Report TR 2006-24, School of Computing Science, Simon Fraser …, 2006 | 45 | 2006 |
A semantic account for modularity in multi-language modelling of search problems S Tasharrofi, E Ternovska International Symposium on Frontiers of Combining Systems, 259-274, 2011 | 41 | 2011 |
The IDP framework for declarative problem solving M Mariën, J Wittocx, M Denecker Search and Logic: Answer Set Programming and SAT, 19-34, 2006 | 40 | 2006 |
Non-terminating processes in the situation calculus G De Giacomo, E Ternovska, R Reiter Annals of Mathematics and Artificial Intelligence 88 (5), 623-640, 2020 | 39 | 2020 |
Reducing inductive definitions to propositional satisfiability N Pelov, E Ternovska Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain …, 2005 | 32 | 2005 |
Grounding for model expansion in k-guarded formulas with inductive definitions MD Patterson Simon Fraser University, 2006 | 26 | 2006 |
Expressive power and abstraction in ESSENCE DG Mitchell, E Ternovska Constraints 13 (3), 343-384, 2008 | 25 | 2008 |
Enfragmo: A system for modelling and solving search problems with logic A Aavani, X Wu, S Tasharrofi, E Ternovska, D Mitchell Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012 | 24 | 2012 |
Declarative Programming of Search Problems with Built-in Arithmetic. E Ternovska, DG Mitchell IJCAI, 942-947, 2009 | 24 | 2009 |
Generalized multi-context systems S Tasharrofi, E Ternovska Fourteenth International Conference on the Principles of Knowledge …, 2014 | 20 | 2014 |
Model checking abstract state machines with answer set programming CKF Tang, E Ternovska Fundamenta Informaticae 77 (1-2), 105-141, 2007 | 20 | 2007 |
New encoding for translating pseudo-boolean constraints into SAT A Aavani, D Mitchell, E Ternovska Tenth Symposium of Abstraction, Reformulation, and Approximation, 2013 | 18 | 2013 |
On the complexity of model expansion A Kolokolova, Y Liu, D Mitchell, E Ternovska Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010 | 18 | 2010 |
SAT-TO-SAT: Declarative extension of SAT solvers with new propagators T Janhunen, S Tasharrofi, E Ternovska Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016 | 16 | 2016 |
Modular Systems with Preferences. A Ensan, E Ternovska IJCAI, 2940-2947, 2015 | 13 | 2015 |
Solving modular model expansion tasks S Tasharrofi, E Ternovska arXiv preprint arXiv:1109.0583, 2011 | 12 | 2011 |