http://www.cs.utexas.edu/users/ai-lab/?Cmodels
Cmodels is a system that computes answer sets for either disjunctive logic programs or logic program...
3803 views
| |
http://www.cs.utexas.edu/users/ai-lab/?Sup
SUP is a native answer set solver that can be seen as a combination of computational ideas behind tw...
4007 views
|