research
∙
07/28/2019
Relating Two Dialects of Answer Set Programming
The input language of the answer set solver clingo is based on the defin...
research
∙
08/04/2016
Stable Models for Infinitary Formulas with Extensional Atoms
The definition of stable models for propositional formulas with infinite...
research
∙
12/20/2013