Shahab Tasharrofi

According to our database, Shahab Tasharrofi authored at least 17 papers between 2006 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Stable-unstable semantics: Beyond NP with normal logic programs.

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

Theory Pract. Log. Program., 2016

SAT-to-SAT in QBFEval 2016.

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), 2016

Declarative Solver Development: Case Studies.

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Writing Declarative Specifications for Clauses.

Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators.

Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Solving QBF Instances with Nested SAT Solvers.

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

Proceedings of the Beyond NP, 2016

2014

Three Semantics for Modular Systems.

Shahab Tasharrofi, Eugenia Ternovska

CoRR, 2014

Generalized Multi-Context Systems.

Shahab Tasharrofi, Eugenia Ternovska

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

2013

A Rational Extension of Stable Model Semantics to the Full Propositional Language.

Shahab Tasharrofi

Proceedings of the IJCAI 2013, 2013

2012

Enfragmo: A System for Modelling and Solving Search Problems with Logic.

Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Modular Representation of a Business Process Planner.

Shahab Tasharrofi, Eugenia Ternovska

Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, 2012

2011

Solving Modular Model Expansion Tasks

Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska

CoRR, 2011

Solving Modular Model Expansion: Case Studies.

Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

A Semantic Account for Modularity in Multi-language Modelling of Search Problems.

Shahab Tasharrofi, Eugenia Ternovska

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

2010

PBINT, A Logic for Modelling Search Problems Involving Arithmetic.

Shahab Tasharrofi, Eugenia Ternovska

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Speed-Up Techniques for Negation in Grounding.

Amir Aavani, Shahab Tasharrofi, Gulay Ünel, Eugenia Ternovska, David G. Mitchell

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2006

User Modeling Using Network Layer Information.

Kiarash Mizanian, Morteza Analoui, Reza Zakeri, Shahab Tasharrofi

Proceedings of the Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 2006