scientific article; zbMATH DE number 7455706
From MaRDI portal
Publication:5020962
Manuel Carro, Joaquin Arias, Zhuo Chen, Gopal Gupta
Publication date: 11 January 2022
Full work available at URL: https://arxiv.org/abs/2009.10238
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data ⋮ Witnesses for Answer Sets of Logic Programs ⋮ Explanations as programs in probabilistic logic programming ⋮ FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data ⋮ \texttt{xASP}: an explanation generation system for answer set programming
Uses Software
Cites Work
- Unnamed Item
- XSB: Extending Prolog with Tabled Logic Programming
- An overview of Ciao and its design philosophy
- Causal Graph Justifications of Logic Programs
- Justifications for logic programs under answer set semantics
- The well-founded semantics for general logic programs
- Constraint Answer Set Programming without Grounding
- Justifying answer sets using argumentation
- A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns
- Synthesizing Imperative Code from Answer Set Programming Specifications
- Answering the “why” in answer set programming – A survey of explanation approaches
This page was built for publication:
