|
|
|
|
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 |
| 1 | Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi |
Stable-Unstable Semantics: Beyond NP with Normal Logic Programs.  |
CoRR  |
2016 |
DBLP BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi |
Stable-unstable semantics: Beyond NP with normal logic programs. |
TPLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi |
Solving QBF Instances with Nested SAT Solvers. |
AAAI Workshop: Beyond NP |
2016 |
DBLP BibTeX RDF |
|
| 1 | Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska |
SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators. |
AAAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi |
SAT-to-SAT in QBFEval 2016. |
QBF@SAT |
2016 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi |
Writing Declarative Specifications for Clauses. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi |
Declarative Solver Development: Case Studies. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Shahab Tasharrofi, Eugenia Ternovska |
Three Semantics for Modular Systems. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Shahab Tasharrofi, Eugenia Ternovska |
Generalized Multi-Context Systems. |
KR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Shahab Tasharrofi |
A Rational Extension of Stable Model Semantics to the Full Propositional Language. |
IJCAI |
2013 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahab Tasharrofi, Eugenia Ternovska |
Modular Representation of a Business Process Planner. |
KiBP@KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska |
Solving Modular Model Expansion Tasks |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Shahab Tasharrofi, Xiongnan (Newman) Wu, Eugenia Ternovska |
Solving Modular Model Expansion: Case Studies. |
INAP/WLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahab Tasharrofi, Eugenia Ternovska |
A Semantic Account for Modularity in Multi-language Modelling of Search Problems. |
FroCoS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Aavani, Shahab Tasharrofi, Gulay Ünel, Eugenia Ternovska, David G. Mitchell |
Speed-Up Techniques for Negation in Grounding. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahab Tasharrofi, Eugenia Ternovska |
PBINT, A Logic for Modelling Search Problems Involving Arithmetic. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiarash Mizanian, Morteza Analoui, Reza Zakeri, Shahab Tasharrofi |
User Modeling Using Network Layer Information. |
ICN/ICONS/MCL |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license