First-Order Indefinability of Answer Set Programs on Finite Structures - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Yin Chen, Yan Zhang, Yi Zhou. First-Order Indefinability of Answer Set Programs on Finite Structures. In Maria Fox, David Poole, editors, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010. pages 285-290, AAAI Press, 2010. [doi]

The following publications are possibly variants of this publication:

Preferred First-Order Answer Set ProgramsVernon Asuncion, Yan Zhang, Yi Zhou. tocl, 15(2):11, 2014. [doi]

runs on WebDSL