#Machine Learning #optimization #C++

#Logic #Answer Set Programming #Constraint Programming

#Logic #Description Logic #Semantic

#algorithm #C++ #Open Source

#algorithm #AI #Open Source