" Knowledge representation, reasoning, and the design of intelligent agents : " Michael Gelfond, Texas Tech University, Yulia Kahl, University of Texas at El Paso