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...
4103 views
| |
http://www.cs.utexas.edu/users/ai-lab/?Ccalc
The Causal Calculator CCalc is a system for representing commonsense knowledge about action and chan...
2009 views
|