Now showing items 1-1 of 1

    • Temporal Answer Set Programming 

      Diéguez Lodeiro, Martín (2015)
      [Abstract] Commonsense temporal reasoning is full of situations that require drawing default conclusions, since we rarely have all the information available. Unfortunately, most modal temporal logics cannot accommodate ...