The following pages link to (Q5020971):
Displaying 9 items.
- A SAT-based approach to learn explainable decision sets (Q1799125) (← links)
- Explanations as programs in probabilistic logic programming (Q2163172) (← links)
- \texttt{xASP}: an explanation generation system for answer set programming (Q2694588) (← links)
- (Q3489524) (← links)
- (Q5020962) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
- Logic, accountability and design (extended abstract) (Q6545520) (← links)
- Contrastive explanations for answer-set programs (Q6545521) (← links)
- Deontic equilibrium logic with explicit negation (Q6545559) (← links)
