Justifications for logic programs under answer set semantics
From MaRDI portal
Recommendations
Cites work
- A framework for compiling preferences in logic programs
- A machine program for theorem-proving
- Answer set based design of knowledge systems
- Answer set programming and plan generation
- Bounded LTL model checking with stable models
- cr-models: An Inference Engine for CR-Prolog
- Debugging ASP Programs by Means of ASP
- Diagnostic reasoning with A-Prolog
- Extending and implementing the stable model semantics
- Graphs and colorings for answer set programming
- scientific article; zbMATH DE number 43398 (Why is no real title available?)
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Logic programming and knowledge representation---The A-Prolog perspective
- Logic programming and negation: A survey
- Logic programs with stable model semantics as a constraint programming paradigm
- On the equivalence and range of applicability of graph-based representations of logic programs.
- Opium: an extendable trace analyzer for Prolog
- Temporal phylogenetic networks and logic programming
- The nomore + + Approach to Answer Set Solving
- The Semantics of Predicate Logic as a Programming Language
- The well-founded semantics for general logic programs
- Transformation-based bottom-up computation of the well-founded model
- Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation
Cited in
(39)- Argumentation-based explanations for answer sets using ADF
- A characterization of answer sets for logic programs
- \texttt{xASP}: an explanation generation system for answer set programming
- Justifications for logic programming
- Causal Logic Programming
- Stepwise debugging of description-logic programs
- Causal graph justifications of logic programs
- A complexity assessment for queries involving sufficient and necessary causes
- A formal theory of justifications
- Interactive debugging of non-ground ASP programs
- Characterising and explaining inconsistency in logic programs
- scientific article; zbMATH DE number 6536279 (Why is no real title available?)
- Catching the Ouroboros: on debugging non-ground answer-set programs
- scientific article; zbMATH DE number 1531362 (Why is no real title available?)
- Generating explanations for biomedical queries
- Justifying answer sets using argumentation
- Justifications for programs with disjunctive and causal-choice rules
- Deriving conclusions from non-monotonic cause-effect relations
- Stepwise debugging of answer-set programs
- Unifying justifications and debugging for answer-set programs
- Merging Logic Programs under Answer Set Semantics
- Applications of intuitionistic logic in Answer Set Programming
- scientific article; zbMATH DE number 2085275 (Why is no real title available?)
- Omission-based abstraction for answer set programs
- scientific article; zbMATH DE number 7453121 (Why is no real title available?)
- scientific article; zbMATH DE number 7455706 (Why is no real title available?)
- scientific article; zbMATH DE number 7455713 (Why is no real title available?)
- Explanation generation for multi-modal multi-agent path finding with optimal resource utilization using answer set programming
- Explaining preferences and preferring explanations
- Answering the ``why in answer set programming -- a survey of explanation approaches
- Debugging non-ground ASP programs: technique and graphical tools
- scientific article; zbMATH DE number 7121940
- Functional and Logic Programming
- Justifications for Logic Programs Under Answer Set Semantics
- Witnesses for Answer Sets of Logic Programs
- Abstraction for non-ground answer set programs
- Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics
- Contrastive explanations for answer-set programs
- The XAI system for answer set programming xASP2
This page was built for publication: Justifications for logic programs under answer set semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612602)
