Işıl Dillig, a professor in the Department of Computer Science at The University of Texas at Austin, earned the 2025 Robin ...

SCRAM for RoboCup 3D For the RoboCup 3D simulation competition UTAustinVilla uses a SCRAM dynamic role assignment and formation positioning system in order to coordinate movement of the team. Each ...

Cmodels is a system that computes answer sets for either disjunctive logic programs or logic programs containing choice rules. Answer set solver Cmodels uses SAT solvers as a search engine for ...

Obtaining the Sources and Community Books Obtain the sources and place them in directory dir as follows. (First, a note for Windows users only: we suggest that you obtain a Unix-like environment or, ...