  Access-limited logic, and its embodiment in a knowledge-representation language named Algernon, has been a focus for research in the <a href="http://net.cs.utexas.edu/users/qr/"> Qualitative Reasoning group</a>.   <p>
