scientific article; zbMATH DE number 7455706
From MaRDI portal
Publication:5020962
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
- scientific article; zbMATH DE number 7455713 (Why is no real title available?)
- A physician advisory system for chronic heart failure management based on knowledge patterns
- An overview of Ciao and its design philosophy
- Answering the ``why in answer set programming -- a survey of explanation approaches
- Causal graph justifications of logic programs
- Constraint answer set programming without grounding
- Justifications for logic programs under answer set semantics
- Justifying answer sets using argumentation
- Synthesizing Imperative Code from Answer Set Programming Specifications
- The well-founded semantics for general logic programs
- XSB: extending Prolog with tabled logic programming
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
- scientific article; zbMATH DE number 3332896 (Why is no real title available?)
- \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
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)
