scientific article; zbMATH DE number 7455706
From MaRDI portal
Publication:5020962
Authors: Joaquin Arias, M. Carro, Zhuo Chen, Gopal Gupta 
Publication date: 11 January 2022
Full work available at URL: https://arxiv.org/abs/2009.10238
Title of this publication is not available (Why is that?)
Recommendations
- Dynamic consistency checking in goal-directed answer set programming
- Satisficing Logic And Goal Programming: Towards An Axiomatic Link
- Justifications for Logic Programs Under Answer Set Semantics
- Justifications for logic programs under answer set semantics
- Logic Programming
- Representing constraint satisfaction problems in answer set programming
- Precise goal-independent abstract interpretation of constraint logic programs
- Unifying justifications and debugging for answer-set programs
Cites Work
- XSB: extending Prolog with tabled logic programming
- The well-founded semantics for general logic programs
- An overview of Ciao and its design philosophy
- Causal graph justifications of logic programs
- Justifying answer sets using argumentation
- Title not available (Why is that?)
- Constraint answer set programming without grounding
- Synthesizing Imperative Code from Answer Set Programming Specifications
- Justifications for logic programs under answer set semantics
- Answering the ``why in answer set programming -- a survey of explanation approaches
- A physician advisory system for chronic heart failure management based on knowledge patterns
Cited In (6)
- Witnesses for Answer Sets of Logic Programs
- Explanations as programs in probabilistic logic programming
- FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
- Title not available (Why is that?)
- \texttt{xASP}: an explanation generation system for answer set programming
- FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data
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 Q5020962)
