Pages that link to "Item:Q3612602"

The following pages link to Justifications for logic programs under answer set semantics (Q3612602):

Displaying 33 items.

• A characterization of answer sets for logic programs (Q2644415) (← links)
• \texttt{xASP}: an explanation generation system for answer set programming (Q2694588) (← links)
• Causal Logic Programming (Q2900512) (← links)
• Stepwise Debugging of Description-Logic Programs (Q2900544) (← links)
• Causal Graph Justifications of Logic Programs (Q2931267) (← links)
• A Complexity Assessment for Queries Involving Sufficient and Necessary Causes (Q2938502) (← links)
• Enablers and Inhibitors in Causal Justifications of Logic Programs (Q3449204) (← links)
• A Formal Theory of Justifications (Q3449209) (← links)
• Interactive Debugging of Non-ground ASP Programs (Q3449213) (← links)
• Characterising and Explaining Inconsistency in Logic Programs (Q3449230) (← links)
• (Q3464628) (← links)
• Catching the Ouroboros: On debugging non-ground answer-set programs (Q3585165) (← links)
• (Q4513579) (← links)
• Generating explanations for biomedical queries (Q4592972) (← links)
• Justifying answer sets using argumentation (Q4593019) (← links)
• Justifications for programs with disjunctive and causal-choice rules (Q4593044) (← links)
• Deriving conclusions from non-monotonic cause-effect relations (Q4593049) (← links)
• Stepwise debugging of answer-set programs (Q4603428) (← links)
• Merging Logic Programs under Answer Set Semantics (Q4649730) (← links)
• Applications of intuitionistic logic in Answer Set Programming (Q4669647) (← links)
• Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
• (Q5020566) (← links)
• (Q5020962) (← links)
• (Q5020971) (← links)
• Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming (Q5140029) (← links)
• Explaining Preferences and Preferring Explanations (Q5172617) (← links)
• Answering the “why” in answer set programming – A survey of explanation approaches (Q5197747) (← links)
• Debugging Non-ground ASP Programs: Technique and Graphical Tools (Q5197755) (← links)
• (Q5240210) (← links)
• Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
• Abstraction for non-ground answer set programs (Q5919127) (← links)
• Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics (Q6104767) (← links)
• Contrastive explanations for answer-set programs (Q6545521) (← links)