researchers with a paper here

1 paper

cs.LO2003

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…