Answer set programming with default logic

13 years 10 months ago

Download www.cs.uky.edu

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.

Victor W. Marek, Jeffrey B. Remmel

Real-time Traffic

Artificial Intelligence | Default Logic | NMR 2004 | Programming Formalism | Search Problems |

claim paper

» On the Existence of Answer Sets in Normal Extended Logic Programs

» From Answer Set Logic Programming to Circumscription via Logic of GK

» Logic Programming with General Clauses and Defaults Based on Model Elimination

» A Default Approach to Semantics of Logic Programs with Constraint Atoms

» Prioritizing Default Logic

» Inductive Negotiation in Answer Set Programming

» Answer Sets for Consistent Query Answering in Inconsistent Databases

» A PreferenceBased Framework for Updating Logic Programs

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	NMR
Authors	Victor W. Marek, Jeffrey B. Remmel

Comments (0)

Sciweavers

Answer set programming with default logic

Artificial Intelligence | Default Logic | NMR 2004 | Programming Formalism | Search Problems |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers