Shahab Tasharrofi

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