Chain Answer Sets for Logic Programs with Generalized Atoms - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Mario Alviano, Wolfgang Faber 0001. Chain Answer Sets for Logic Programs with Generalized Atoms. In Francesco Calimeri, Nicola Leone, Marco Manna, editors, Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings. Volume 11468 of Lecture Notes in Computer Science, pages 462-478, Springer, 2019. [doi]

The following publications are possibly variants of this publication:

Supportedly Stable Answer Sets for Logic Programs with Generalized AtomsMario Alviano, Wolfgang Faber. rr 2015: 30-44 [doi]

Dynamic Magic Sets and super-coherent answer set programsMario Alviano, Wolfgang Faber. aicom, 24(2):125-145, 2011. [doi]

The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP SemanticsMario Alviano, Wolfgang Faber. lpnmr 2013: 67-72 [doi]

runs on WebDSL