Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2205.04541
Cited By
On Nested Justification Systems (full version)
9 May 2022
Simon Marynissen
J. Heyninck
B. Bogaerts
M. Denecker
Re-assign community
ArXiv
PDF
HTML
Papers citing
"On Nested Justification Systems (full version)"
3 / 3 papers shown
Title
Explanations for Answer Set Programming
Mario Alviano
L. L. Trieu
Tran Cao Son
M. Balduccini
11
2
0
30 Aug 2023
Aggregate Semantics for Propositional Answer Set Programs
Mario Alviano
Wolfgang Faber
M. Gebser
26
8
0
17 Sep 2021
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
Linde Vanbesien
Maurice Bruynooghe
M. Denecker
21
9
0
30 Apr 2021
1