sCASP

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