xclingo

swMATH46486MaRDI QIDQ5973932FDOQ5973932

Author name not available (Why is that?)

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

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Witnesses for Answer Sets of Logic Programs
• Explanations as programs in probabilistic logic programming
• \texttt{xASP}: an explanation generation system for answer set programming

This page was built for software: xclingo