3 citations · 6 across the 5 of their papers we have counts for
1 paper · 2 filters
Amelia Harrison, Vladimir Lifschitz
The input language of the answer set solver clingo is based on the definition of a stable model proposed by Paolo Ferraris. The semantics of the ASP-Core language, developed by the…