}
Advanced Search Tips
Nonmonotonic Logic Editors: Open AI Resources
    2 results in "Nonmonotonic Logic"
    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
    Submitted by on Dec 15 2014
    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
    Submitted by on Dec 15 2014