scientific article; zbMATH DE number 7455713

MaRDI QIDQ5020971zbMATH OpenFDO

Authors Pedro Cabalar, Jorge Fandinno, Brais Muñiz

Publication date 11 January 2022

Full work available at URL https://arxiv.org/abs/2009.10242, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2020.19

zbMATH Keywords

answer set programmingdiagnosisnon-monotonic reasoningcausal justificationsASP debugging

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• Answering the ``why in answer set programming -- a survey of explanation approaches
• Applications of action languages in cognitive robotics
• Causal graph justifications of logic programs
• Constraint answer set programming without grounding
• Deriving conclusions from non-monotonic cause-effect relations
• Diagnostic reasoning with A-Prolog
• Inferring phylogenetic trees using answer set programming
• Justifications for logic programs under answer set semantics
• Justifying answer sets using argumentation
• Logic programs with stable model semantics as a constraint programming paradigm
• Verifying strong equivalence of programs in the input language of \textsc{gringo}

Cited in

(9)

• scientific article; zbMATH DE number 7455706 (Why is no real title available?)
• A SAT-based approach to learn explainable decision sets
• Witnesses for Answer Sets of Logic Programs
• Explanations as programs in probabilistic logic programming
• scientific article; zbMATH DE number 4162322 (Why is no real title available?)
• \texttt{xASP}: an explanation generation system for answer set programming
• Contrastive explanations for answer-set programs
• Deontic equilibrium logic with explicit negation
• Logic, accountability and design (extended abstract)

Describes a project that uses

Uses Software

• xclingo
• sCASP
• Clingo

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020971)