The following pages link to sCASP (Q1351549):
Displayed 13 items.
- FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data (Q2163174) (← links)
- \texttt{xASP}: an explanation generation system for answer set programming (Q2694588) (← links)
- Constraint Answer Set Programming without Grounding (Q4559798) (← links)
- A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
- (Q5020584) (← links)
- (Q5020588) (← links)
- (Q5020962) (← links)
- (Q5020963) (← links)
- (Q5020971) (← links)
- FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data (Q5038469) (← links)
- Building Information Modeling Using Constraint Logic Programming (Q5038474) (← links)
- MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks* (Q5140144) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)