Publications

I try to keep this list up-to-date but you can always refer to my Google Scholar, DBLP or Research Gate pages for more up-to-date information.

  1. SAT-to-SAT in QBFEval 2016. B. Bogaerts, T. Janhunen and S. Tasharrofi. To appear in the CEUR Post-proceedings of QBF-2016: International Workshop on Quantified Boolean Formulas. Bordeaux, France. 2016.
  2. Writing Declarative Specifications for Clauses. M. Gebser, T. Janhunen, R. Kaminski, T. Schaub, and S. Tahsharrofi, To appear in the Proceedings of 15th European Conference On Logics In Artificial Intelligence (JELIA’16), Larnaca, Cyprus, 2016.
  3. Stable-unstable Semantics: Beyond NP with Normal Logic Programs. B. Bogaerts, T. Janhunen and S. Tasharrofi. To appear in the proceedings of 32nd International Conference on Logic Programming (ICLP 2016), New York City, USA. 2016.
  4. Declarative Solver Development: Case Studies. B. Bogaerts, T. Janhunen and S. Tasharrofi. Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), Cape Town, South Africa, pp. 74 – 83, 2016.
  5. SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators. T. Janhunen, S. Tasharrofi, and E. Ternovska. In the Proceedings of the 30th Conference on Artificial Intelligence (AAAI’16), pp. 978 – 984, 2016.
  6. Solving QBF Instances With Nested SAT Solvers. B. Bogaerts, T. Janhunen and S. Tasharrofi. In the Proceedings of AAAI-16 Workshop on Beyond NP, 2016.
  7. Writing Declarative Specifications for Clauses. M. Gebser, T. Janhunen, R. Kaminski, T. Schaub, and S. Tahsharrofi, Presented at the 3rd International Workshop on Grounding, Transforming, and Modularizing Theories with Variables (GTTV’15), 2015.
  8. Generalized Multi-Context Systems. S. Tasharrofi, and E. Ternovska. In the Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR2014), pp. 368 – 377, 2014.
  9. Supported Modular Systems. S. Tasharrofi and E. Ternovska. In the proceedings of the 7th workshop on answer set programming and other computing paradigms (ASPOCP 2014), Vienna, Austria, 2014.
  10. A Rational Extension of Stable Model Semantics to the Full Propositional Language. S. Tasharrofi. In the Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI’13), 2013.
  11. Solving Modular Model Expansion: Case Studies. S. Tasharrofi, X. Wu, and E. Ternovska. In LNAI Postproceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management and 25th Workshop on Logic Programming, 2012.
  12. Modular Representation of a Business Process Planner. S. Tasharrofi and E. Ternovska. In Proceedings of 1st International Workshop on Knowledge-intensive Business Processes (KiBP), Rome, Italy, 2012.
  13. Enfragmo: A system for modelling and solving search problems with logic. A. Aavani, X. Wu, S. Tasharrofi, E. Ternovska, and D. Mitchell. In Proceedings of LPAR-18, Logic for Programming and Artificial Intelligence, 2012.
  14. A Semantic Account for Modularity in Multi-language Modelling of Search Problems. S. Tasharrofi and E. Ternovska. In Proceedings of FroCoS 2011: 8th International Symposium on Frontiers of Combining Systems, 2011.
  15. Solving Modular Model Expansion Tasks. S. Tasharrofi, X. Wu, and E. Ternovska. In Proceedings of WLP 2011, 25th Workshop on Logic Programming, 2011.
  16. Built-in Arithmetic in Knowledge Representation Languages. S. Tasharrofi, E. Ternovska. Proc. NonMon at 30 (Thirty Years of Nonmon. Reasoning (Lexington, KY, USA, October 22-25, 2010)
  17. PBINT, a Logic for Modelling Search Problems Involving Arithmetic. S. Tasharrofi, E. Ternovska. Proc. LPAR-17, Yogyakarta (Indonesia) October 10-15, 2010. In ARCoSS subline of LNCS.
  18. Knowledge Representation with Built-in Arithmetic. S. Tasharrofi and E. Ternovska. In Proceedings of LPAR-16, Logic for Programming, Aritifical Intelligence, and Reasoning, 2010.
  19. Speed-up Techniques for Negation in Grounding. A. Aavani, S. Tasharrofi, G. Unel, E. Ternovska, D. Mitchell. In Proc. LPAR-16, Dakar (Senegal), April 25-May 1, 2010. Springer LNCS.
  20. Using XCS as a Predictor Engine in Compression. M. Sharifi, A. Aavani, and S. Tasharrofi. In Proceedings of International Conference on Intelligent Systems and Knowledge Engineering, 2007.
  21. User Modeling using Network Layer Information. K. Mizanian, M. Analoui, R. Zakeri, and S. Tasharrofi. In Proceedings of 2006 ICN/ICONS/MCL conference, 2006.