KR&R Group: Links
- Cognitive Robotics Lab, Sabancı University
- Human-Machine Interaction Group, Sabancı University
- Texas Action Group, University of Texas at Austin
- Cognitive Robotics Group, University of Toronto
- Knowledge-Based Systems Group, Vienna University of Technology
- Formal Reasoning Group, Stanford University
- Answer set solvers: assat, ccalc, clasp, cmodels, dlv, smodels
- Sat solvers: chaff, manysat, minisat, rsat, picosat