Applications of Intuitionistic Logic in Answer Set Programming

What this record says

We present some applications of intermediate logics in the field of Answer Set Programming (ASP). A brief, but comprehensive introduction

CATALOG · The abstract is indexed.