6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 6 cited
Deontic Paradoxes in ASP with Weak Constraints
Christian Hatschka, Agata Ciabattoni, Thomas Eiter
The rise of powerful AI technology for a range of applications that are sensitive to legal, social, and ethical norms demands decision-making support in presence of norms and regul…
cs.LO2023
Cut-restriction: from cuts to analytic cuts
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
Cut-elimination is the bedrock of proof theory with a multitude of applications from computational interpretations to proof analysis. It is also the starting point for important me…