The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Shahab Tasharrofi" ( http://dblp.L3S.de/Authors/Shahab_Tasharrofi )

  Author page on DBLP  Author page in RDF  Community of Shahab Tasharrofi in ASPL-2

Publication years (Num. hits)
2006-2016 (18)
Publication types (Num. hits)
article(4) inproceedings(14)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 19 publication records. Showing 18 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi Stable-Unstable Semantics: Beyond NP with Normal Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi Stable-unstable semantics: Beyond NP with normal logic programs. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi Solving QBF Instances with Nested SAT Solvers. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi SAT-to-SAT in QBFEval 2016. Search on Bibsonomy QBF@SAT The full citation details ... 2016 DBLP  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi Writing Declarative Specifications for Clauses. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi Declarative Solver Development: Case Studies. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Shahab Tasharrofi, Eugenia Ternovska Three Semantics for Modular Systems. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Shahab Tasharrofi, Eugenia Ternovska Generalized Multi-Context Systems. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Shahab Tasharrofi A Rational Extension of Stable Model Semantics to the Full Propositional Language. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell Enfragmo: A System for Modelling and Solving Search Problems with Logic. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Shahab Tasharrofi, Eugenia Ternovska Modular Representation of a Business Process Planner. Search on Bibsonomy KiBP@KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska Solving Modular Model Expansion Tasks Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska Solving Modular Model Expansion: Case Studies. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shahab Tasharrofi, Eugenia Ternovska A Semantic Account for Modularity in Multi-language Modelling of Search Problems. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Amir Aavani, Shahab Tasharrofi, Gulay Ünel, Eugenia Ternovska, David G. Mitchell Speed-Up Techniques for Negation in Grounding. Search on Bibsonomy LPAR (Dakar) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shahab Tasharrofi, Eugenia Ternovska PBINT, A Logic for Modelling Search Problems Involving Arithmetic. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kiarash Mizanian, Morteza Analoui, Reza Zakeri, Shahab Tasharrofi User Modeling Using Network Layer Information. Search on Bibsonomy ICN/ICONS/MCL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #18 of 18 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license