7 citations · 8 across the 4 of their papers we have counts for
4 papers
Stable-Unstable Semantics: Beyond NP with Normal Logic Programs
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
Standard answer set programming (ASP) targets at solving search problems from the first level of the polynomial time hierarchy (PH). Tackling search problems beyond NP using ASP is…
Three Semantics for Modular Systems
Shahab Tasharrofi, Eugenia Ternovska
In this paper, we further develop the framework of Modular Systems that lays model-theoretic foundations for combining different declarative languages, agents and solvers. We intro…
A Strongly Grounded Stable Model Semantics for Full Propositional Language
Shahab Tasharrofi
Answer set programming is one of the most praised frameworks for declarative programming in general and non-monotonic reasoning in particular. There has been many efforts to extend…
Solving Modular Model Expansion Tasks
Shahab Tasharrofi, Xiongnan, Wu +1
The work we describe here is a part of a research program of developing foundations of declarative solving of search problems. We consider the model expansion task as the task repr…