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)
- A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders
- Title not available (Why is that?)
- Abstraction for non-ground answer set programs
- Title not available (Why is that?)
- MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks*
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Constraint Answer Set Programming without Grounding
- Building Information Modeling Using Constraint Logic Programming
- FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
- \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
