swMATH42995MaRDI QIDQ1351549FDOQ1351549
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/1804.11162
Source code repository: https://gitlab.software.imdea.org/ciao-lang/sCASP
Cited In (40)
- Constraint answer set programming without grounding
- GK
- xASP
- SQuARE
- Title not available (Why is that?)
- Abstraction for non-ground answer set programs
- xclingo
- Title not available (Why is that?)
- PASTA
- DiscASP
- PASOCS
- 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?)
- DLV-EX
- GASP
- Clingo
- iClingo
- PrASP
- MRtrix
- StanfordCoreNLP
- kFOIL
- ezcsp
- ILPME
- delSAT
- DeReS
- MCTest
- SMProbLog
- Building Information Modeling Using Constraint Logic Programming
- FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
- AQuA
- nFOIL
- 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
This page was built for software: sCASP
