Shahab Tasharrofi

Publication Activity (10 Years)

Years Active: 2006-2016
Publications (10 Years): 7

Top Topics

Normal Logic Programs

Search Problems

Top Venues

Publications

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
Stable-Unstable Semantics: Beyond NP with Normal Logic Programs. CoRR (2016)
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
Declarative Solver Development: Case Studies. KR (2016)
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
Stable-unstable semantics: Beyond NP with normal logic programs. Theory Pract. Log. Program. 16 (5-6) (2016)
Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi
Writing Declarative Specifications for Clauses. JELIA (2016)
Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska
SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators. AAAI (2016)
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
SAT-to-SAT in QBFEval 2016. QBF@SAT (2016)
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
Solving QBF Instances with Nested SAT Solvers. AAAI Workshop: Beyond NP (2016)
Shahab Tasharrofi, Eugenia Ternovska
Three Semantics for Modular Systems. CoRR (2014)
Shahab Tasharrofi, Eugenia Ternovska
Generalized Multi-Context Systems. KR (2014)
Shahab Tasharrofi
A Rational Extension of Stable Model Semantics to the Full Propositional Language. IJCAI (2013)
Shahab Tasharrofi, Eugenia Ternovska
Modular Representation of a Business Process Planner. KiBP@KR (2012)
Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell
Enfragmo: A System for Modelling and Solving Search Problems with Logic. LPAR (2012)
Shahab Tasharrofi, Eugenia Ternovska
A Semantic Account for Modularity in Multi-language Modelling of Search Problems. FroCoS (2011)
Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska
Solving Modular Model Expansion Tasks CoRR (2011)
Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska
Solving Modular Model Expansion: Case Studies. INAP/WLP (2011)
Amir Aavani, Shahab Tasharrofi, Gulay Ünel, Eugenia Ternovska, David G. Mitchell
Speed-Up Techniques for Negation in Grounding. LPAR (Dakar) (2010)
Shahab Tasharrofi, Eugenia Ternovska
PBINT, A Logic for Modelling Search Problems Involving Arithmetic. LPAR (Yogyakarta) (2010)
Kiarash Mizanian, Morteza Analoui, Reza Zakeri, Shahab Tasharrofi
User Modeling Using Network Layer Information. ICN/ICONS/MCL (2006)