User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended Version)

We present a method for generating possible proofs of a query with respect to a given Answer Set Programming (ASP) rule set using an abductive process where the space of abducibles is automatically constructed just from the input rules alone. Given a (possibly empty) set of user provided facts, our...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Mahajan, Avishkar, Strecker, Martin, Wong, Meng Weng
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Artificial Intelligence Computer Science - Logic in Computer Science
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!