Texas Tech University

Knowledge Representation Lab

krlab logo

About the Knowledge Representation Lab

This research group is a reincarnation of the El Paso Knowledge Representation Group, which found a new home at Texas Tech University in Lubbock.

Our main goal is to better understand how to build software components of agents capable of reasoning and acting in a changing environment.

We work under the basic assumption that to exhibit intelligent behavior the agent should have a mathematical model of its environment and its own capabilities and goals.

At this stage, we are especially interested in "purely logical agents," i.e. agents whose underlying world model is defined by a theory in some logical language.

Our current goal is to investigate if A-Prolog (the language of logic programs under the answer sets semantics) can be successfully used for this purpose.

Find the KRLab bulletin board here.


  • Dec 5, 2013: Justin's dissertation is online
  • Dec 14, 2010: Ricardo's dissertation is online
  • Dec 13, 2010: Sandeep's dissertation is online
  • Dec 3, 2007: Veena's dissertation is online
  • Oct 23, 2007: Veena defends her Ph.D. dissertation

External Links

Department of Computer Science