xclingo

swMATH46486MaRDI QIDQ5973932FDOQ5973932

Author name not available (Why is that?)

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

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

Cited In (11)

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

This page was built for software: xclingo