Master of Science in Computer Science - Texas Tech University (May 2007)
Bachelor of Science in Computer Science - Texas Tech University (May 2003)
- Knowledge Representation
- Commonsense Reasoning
- Answer Set Programming
- Nonmonotonic Reasoning
- Reasoning Algorithms
- Programming Languages
My current focus is the development of action languages for reasoning about multi-agent domains.
- Multi-Agent Systems
- Action Languages
- Application of Answer Set Programming Towards Query Answering
- Nonmonotonic Reasoning
- General Applications of Answer Set Programming
Organizations and Affiliations
- Member of TAG (Texas Action Group)
- Member of ALP (The Association for Logic Programming)
- Member of ACM (Association for Computing Machinery)
- Member of UPE (Upsilon Pi Epsilon)
- Enrico Pontelli, Tran Cao Son, Chitta Baral, Gregory Gelfond: Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains - In Esra Erdem, Joohyung Lee, Yuliya Lierler, and David Pearce, editors, Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, 2012
- Chitta Baral, Gregory Gelfond, Tran Cao Son, and Enrico Pontelli: An Action Language for Reasoning about Beliefs in Multi-Agent Domains - Proceedings of the 14th International Workshop on Non-Monotonic Reasoning, 2012
- Chitta Baral and Gregory Gelfond: On Representing Actions in Multi-Agent Domains - Proceedings of the Symposium on Constructive Mathematics, 2010
- Chitta Baral, Gregory Gelfond, Tran Cao Son, and Enrico Pontelli: Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study - Theory and Practice of Logic Programming, 2010
- Chitta Baral, Gregory Gelfond, Tran Cao Son, and Enrico Pontelli: Using Answer Set Programming to Model Multi-Agent Scenarios Involving Agents’ Knowledge About Other’s Knowledge - Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, 2010
- Gregory Gelfond and Richard Watson: Modeling Cooperative Multi-Agent Systems - Proceedings of the 4th International Workshop on Answer Set Programming, 2007
- Gregory Gelfond: A Declarative Framework for Modeling Multi-Agent Systems - Masters Thesis, Texas Tech University, 2007
- Chitta Baral, Gregory Gelfond, Michael Gelfond, and Richard Scherl: Textual Inference by Combining Multiple Logic Programming Paradigms - AAAI’05 Workshop on Inference for Textual Question Answering, 2005
Things to Ponder
Quotes to Live By
Excellence is an art won by training and habituation: we do not act rightly because we have virtue or excellence, but we rather have these because we have acted rightly; ‘these virtues are formed in man by his doing the actions’; we are what we repeatedly do. Excellence, then, is not an act but a habit: ‘the good of man is a working of the soul in the way of excellence in a complete life…for as it is not one swallow or one fine day that makes a spring, so it is not one day or a short time that makes a man blessed and happy’.
We are perishing for want of wonder, not for want of wonders.
G. K. Chesterton
A man may imagine things that are false, but he can only understand things that are true, for if the things be false, the apprehension of them is not understanding.
Facts are stubborn things; and whatever may be our wishes, our inclinations, or the dictates of our passions, they cannot alter the state of facts and evidence.
There are two educations. One should teach us how to make a living and the other how to live.
Keep two truths in your pocket and take them out according to the need of the moment. Let one be ‘For my sake the world was created.’ And the other: ‘I am dust and ashes.’
Rabbi Simcha Bunam
Spring 2013: CS 1411 Section 001
Class Schedule and Office Hourse
- Lecture Hours: MWF 11:00 AM - 11:50 AM in ENGCTR 204
- Office Hours: MWF 12:00 PM - 1:00 PM in ENGCTR 306J (or by appointment)
- Course Syllabus