sCASP
From MaRDI portal
Software:1351549
No author found.
Source code repository: https://gitlab.software.imdea.org/ciao-lang/sCASP
Related Items (13)
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data ⋮ Building Information Modeling Using Constraint Logic Programming ⋮ Constraint Answer Set Programming without Grounding ⋮ FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data ⋮ \texttt{xASP}: an explanation generation system for answer set programming ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks* ⋮ A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders ⋮ Abstraction for non-ground answer set programs
This page was built for software: sCASP
