Pages that link to "Item:Q4592972"
From MaRDI portal
The following pages link to Generating explanations for biomedical queries (Q4592972):
Displaying 11 items.
- Pruning external minimality checking for answer set programs using semantic dependencies (Q2046045) (← links)
- Specifying and Verbalising Answer Set Programs in Controlled Natural Language (Q4559823) (← links)
- Justifying answer sets using argumentation (Q4593019) (← links)
- Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) (Q4593048) (← links)
- The External Interface for Extending WASP (Q4957194) (← links)
- Partial Compilation of ASP Programs (Q5108506) (← links)
- Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming (Q5140029) (← 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)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
- Contrastive explanations for answer-set programs (Q6545521) (← links)