Beyond NP: Quantifying over Answer Sets

22 July 2019

Papers citing "Beyond NP: Quantifying over Answer Sets"

4 / 4 papers shown

Title
An efficient solver for ASP(Q) Wolfgang Faber Giuseppe Mazzotta Francesco Ricca 23 3 0 17 May 2023
Planning with Incomplete Information in Quantified Answer Set Programming Jorge Fandinno Franccois Laferriere J. Romero Torsten Schaub H Germany 33 11 0 13 Aug 2021
Quantified Constraint Handling Rules Vincent Barichard I. Stéphan 20 2 0 18 Sep 2019
Introduction to the 35th International Conference on Logic Programming Special Issue Esra Erdem Andrea Formisano G. Vidal Fangkai Yang LRM 35 0 0 10 Aug 2019