scientific article; zbMATH DE number 7455713
From MaRDI portal
Publication:5020971
Authors: Pedro Cabalar, Jorge Fandinno, Brais Muñiz 
Publication date: 11 January 2022
Full work available at URL: https://arxiv.org/abs/2009.10242
Title of this publication is not available (Why is that?)
Cites Work
- Logic programs with stable model semantics as a constraint programming paradigm
- Title not available (Why is that?)
- Inferring phylogenetic trees using answer set programming
- Diagnostic reasoning with A-Prolog
- Causal graph justifications of logic programs
- Justifying answer sets using argumentation
- Applications of action languages in cognitive robotics
- Verifying strong equivalence of programs in the input language of \textsc{gringo}
- Constraint answer set programming without grounding
- Justifications for logic programs under answer set semantics
- Answering the ``why in answer set programming -- a survey of explanation approaches
- Deriving conclusions from non-monotonic cause-effect relations
Cited In (9)
- Title not available (Why is that?)
- A SAT-based approach to learn explainable decision sets
- Witnesses for Answer Sets of Logic Programs
- Explanations as programs in probabilistic logic programming
- Title not available (Why is that?)
- \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)
Uses Software
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)
