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 | 23 | 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 International Workshop on Quantified Boolean Formulas, 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 |
Capturing NP for search problems with built-in arithmetic S Tasharrofi, E Ternovska LPAR-17. LNCS 6397, 610-624, 2009 | 3 | 2009 |
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 |
Modular systems: Semantics, complexity S Tasharrofi, E Ternovska Proceedings of HR workshop, 2015 | 1 | 2015 |