User guided abductive proof generation for answer set programming queries

User guided abductive proof generation for answer set programming queries

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...

Full description

Saved in:
Bibliographic Details
Main Authors: MAHAJAN, Avishkar, STRECKER, Martin, WONG, Meng Weng (HUANG Mingrong)
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2022
Subjects:
Theory of computation
Constraint and logic programming
Automated reasoning
Applied computing
Law
Programming Languages and Compilers
Science and Technology Law
Online Access:https://ink.library.smu.edu.sg/sol_research/3995
https://ink.library.smu.edu.sg/context/sol_research/article/5953/viewcontent/PPDP_paper_official.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sol_research/3995
https://ink.library.smu.edu.sg/context/sol_research/article/5953/viewcontent/PPDP_paper_official.pdf

Similar Items