Cited in
(11)- DiscASP
- scientific article; zbMATH DE number 7455706 (Why is no real title available?)
- scientific article; zbMATH DE number 7455713 (Why is no real title available?)
- Witnesses for Answer Sets of Logic Programs
- lp2normal
- ALM
- spock
- Explanations as programs in probabilistic logic programming
- xASP
- sCASP
- \texttt{xASP}: an explanation generation system for answer set programming
This page was built for software: xclingo
