Concepedia

Shahab Tasharrofi

ST

5

Publications

215

Citations

5

H-Index

2014

Active since

Affiliations

Simon Fraser University(Current)

Shahab Tasharrofi is an author at Simon Fraser University specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceData ScienceIntelligent SystemsLanguageReasoningSemanticsLinguisticsEpistemology

Publications per year

2014–2016

5

Publications

5

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16)

Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska · National Conference on Artificial Intelligence · 2016 · 142 citations

Artificial Intelligence, Ai Architecture, Engineering +7

Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi · 2016 · 28 citations

Reasoning, Knowledge Representation, Engineering +10

Stable-unstable semantics: Beyond NP with normal logic programs

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi · Theory and Practice of Logic Programming · 2016 · 21 citations · Full text

Relational Queries, Np Oracle, Computational Logic +14

Solving QBF Instances With Nested SAT Solvers

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi · Lirias (KU Leuven) · 2016 · 13 citations · Full text

Generalized multi-context systems

Shahab Tasharrofi, Eugenia Ternovska · Principles of Knowledge Representation and Reasoning · 2014 · 11 citations

Engineering, Context Awareness, Intelligent Systems +16

Rows per page

1–5 of 5