| 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 |
| Solving QBF instances with nested SAT solvers B Bogaerts, T Janhunen, S Tasharrofi Workshops at the Thirtieth AAAI Conference on Artificial Intelligence, 2016 | 26 | 2016 |
| 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 |
| Generalized Multi-Context Systems. S Tasharrofi, E Ternovska KR, 2014 | 20 | 2014 |
| Stable-unstable semantics: Beyond NP with normal logic programs B Bogaerts, T Janhunen, S Tasharrofi Theory and Practice of Logic Programming 16 (5-6), 570-586, 2016 | 19 | 2016 |
| 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 |
| Declarative solver development: Case studies B Bogaerts, T Janhunen, S Tasharrofi Fifteenth International Conference on the Principles of Knowledge …, 2016 | 12 | 2016 |
| Solving modular model expansion tasks S Tasharrofi, E Ternovska arXiv preprint arXiv:1109.0583, 2011 | 12 | 2011 |
| Writing declarative specifications for clauses M Gebser, T Janhunen, R Kaminski, T Schaub, S Tasharrofi Logics in Artificial Intelligence: 15th European Conference, JELIA 2016 …, 2016 | 9 | 2016 |
| Three semantics for modular systems S Tasharrofi, E Ternovska arXiv preprint arXiv:1405.1229, 2014 | 8 | 2014 |
| Built-in arithmetic in knowledge representation languages S Tasharrofi, E Ternovska NonMon at 30, 2010 | 8 | 2010 |
| Solving modular model expansion: Case studies S Tasharrofi, X Wu, E Ternovska International Conference on Applications of Declarative Programming and …, 2011 | 7 | 2011 |
| PBINT, a logic for modelling search problems involving arithmetic S Tasharrofi, E Ternovska International Conference on Logic for Programming Artificial Intelligence …, 2010 | 7 | 2010 |
| Speed-up techniques for negation in grounding A Aavani, S Tasharrofi, G Unel, E Ternovska, D Mitchell Logic for Programming, Artificial Intelligence, and Reasoning: 16th …, 2010 | 7 | 2010 |
| SAT-to-SAT in QBFEval 2016. B Bogaerts, T Janhunen, S Tasharrofi QBF@ SAT, 63-70, 2016 | 5 | 2016 |
| Arithmetic and modularity in declarative languages for knowledge representation S Tasharrofi Simon Fraser University, 2013 | 5 | 2013 |
| A rational extension of stable model semantics to the full propositional language S Tasharrofi Twenty-Third International Joint Conference on Artificial Intelligence, 2013 | 5 | 2013 |
| Logical machinery of heuristics (preliminary report) S Tasharrofi, E Ternovska Proceedings of the 4th Workshop on Logic and Search Heuristics (LaSH’15), co …, 2014 | 2 | 2014 |
| Capturing NP for search problems with built-in arithmetic S Tasharrofi, E Ternovska LPAR-17. LNCS 6397, 610-624, 2009 | 2 | 2009 |
| Modular systems: Semantics, complexity S Tasharrofi, E Ternovska Proceedings of HR workshop, 2015 | 1 | 2015 |
Tomi JanhunenTampere University, FinlandVerified email at tuni.fi
