sCASP
From MaRDI portal
SCASP
Cited in
(40)- SMProbLog
- PASTA
- VerbNet
- QuickFOIL
- FOLD-R++
- Synchrobench
- DLV-EX
- GASP
- FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data
- Clingo
- iClingo
- \texttt{xASP}: an explanation generation system for answer set programming
- PrASP
- StanfordCoreNLP
- MRtrix
- kFOIL
- ezcsp
- ILPME
- delSAT
- DeReS
- Constraint answer set programming without grounding
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
- scientific article; zbMATH DE number 7453143 (Why is no real title available?)
- scientific article; zbMATH DE number 7453145 (Why is no real title available?)
- scientific article; zbMATH DE number 7455706 (Why is no real title available?)
- scientific article; zbMATH DE number 7455707 (Why is no real title available?)
- scientific article; zbMATH DE number 7455713 (Why is no real title available?)
- FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
- Building Information Modeling Using Constraint Logic Programming
- MILP, pseudo-Boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks
- MCTest
- Abstraction for non-ground answer set programs
- xASP
- DiscASP
- nFOIL
- PASOCS
- GK
- AQuA
- xclingo
- SQuARE
This page was built for software: sCASP
