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.

Events

• 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

• The Causal Calculator
• The DBLP Computer Science Bibliography
• DLV
• Smodels
• Texas Action Group

 

Quick Menu

• Home
• Members
• KR Seminars
• Events
• Photos
• Papers
• Software
• Talks