sCASP
From MaRDI portal
Software:1351549
swMATH42995MaRDI QIDQ1351549FDOQ1351549
Author name not available (Why is that?)
Source code repository: https://gitlab.software.imdea.org/ciao-lang/sCASP
Cited In (13)
- Constraint answer set programming without grounding
- Title not available (Why is that?)
- Abstraction for non-ground answer set programs
- Title not available (Why is that?)
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Building Information Modeling Using Constraint Logic Programming
- FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
- MILP, pseudo-Boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks
- \texttt{xASP}: an explanation generation system for answer set programming
- FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data
This page was built for software: sCASP
