Answer set programming with default logic

We develop an Answer Set Programming formalism based on Default Logic. We show that computing generating sets of extensions in this formalism captures all ΣP 2 search problems.

• Type: Conference
• Year: 2004
• Where: NMR
• Authors: Victor W. Marek, Jeffrey B. Remmel
• Keywords: Artificial Intelligence, Default Logic, NMR 2004, Programming Formalism, Search Problems