sCASP
From MaRDI portal
SCASP
Cited in
(40)- Constraint answer set programming without grounding
- DiscASP
- PASOCS
- scientific article; zbMATH DE number 7455706 (Why is no real title available?)
- Abstraction for non-ground answer set programs
- scientific article; zbMATH DE number 7455713 (Why is no real title available?)
- DLV-EX
- GASP
- Clingo
- iClingo
- PrASP
- MRtrix
- StanfordCoreNLP
- kFOIL
- ezcsp
- ILPME
- delSAT
- DeReS
- MCTest
- AQuA
- 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 7455707 (Why is no real title available?)
- nFOIL
- GK
- xASP
- SQuARE
- Building Information Modeling Using Constraint Logic Programming
- FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
- PASTA
- SMProbLog
- VerbNet
- FOLD-R++
- QuickFOIL
- Synchrobench
- 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
- xclingo
This page was built for software: sCASP
