xclingo

MaRDI QIDQ5973932swMATHFDO

Official website https://arxiv.org/abs/2009.10242

Source code repository https://github.com/bramucas/xclingo2

Cited in

(11)

• sCASP
• Explanations as programs in probabilistic logic programming
• \texttt{xASP}: an explanation generation system for answer set programming
• lp2normal
• ALM
• spock
• 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
• xASP
• DiscASP

This page was built for software: xclingo