scientific article; zbMATH DE number 7455713
From MaRDI portal
Publication:5020971
Pedro Cabalar, Brais Muñiz, Jorge Fandinno
Publication date: 11 January 2022
Full work available at URL: https://arxiv.org/abs/2009.10242
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Witnesses for Answer Sets of Logic Programs ⋮ Explanations as programs in probabilistic logic programming ⋮ \texttt{xASP}: an explanation generation system for answer set programming ⋮ Unnamed Item
Uses Software
Cites Work
- Unnamed Item
- Logic programs with stable model semantics as a constraint programming paradigm
- Verifying strong equivalence of programs in the input language of \textsc{gringo}
- Inferring phylogenetic trees using answer set programming
- Applications of Action Languages in Cognitive Robotics
- Causal Graph Justifications of Logic Programs
- Justifications for logic programs under answer set semantics
- Constraint Answer Set Programming without Grounding
- Justifying answer sets using argumentation
- Deriving conclusions from non-monotonic cause-effect relations
- Diagnostic reasoning with A-Prolog
- Answering the “why” in answer set programming – A survey of explanation approaches
This page was built for publication:
