Applications of Intuitionistic Logic in Answer Set Programming

Mauricio Osorio, Juan Antonio Navarro, Jose Arrazola

We present some applications of intermediate logics in the field of Answer Set Programming (ASP). A brief, but comprehensive introduction to the answer set semantics, intuitionisti…