Home :: Baral

Baral

Chitta Baral

  • Professor
School of Computing, Informatics, and Decision Systems Engineering
  • Computer Science and Engineering
  • Bio
  • Expertise
  • Education
  • Honors & Distinctions
  • Selected Publications
  • Courses Taught

Chitta Baral has been at ASU since 1999.

Baral's main research interests are threefold: (i) developing language constructs and surrounding building block results for representing knowledge and reasoning with it, (ii) developing a theory of actions and their impact on an environment and using it in autonomous agent design, planning and diagnosis, (iii) Using (i) and (ii) in modeling cell behavior and reasoning with it to explain observations and develop plans of action so as to alter pathways that could suggest therapeutic procedures.

Artificial intelligence, Knowledge representation and reasoning, Declarative programming, Bioinformatics, Autonomous agents, Logic programming, Cognitive robotics, Multimedia, Visualization of databases

Ph.D.
University of Maryland 1991
Master of Science - Computer Science
University of Maryland 1990
Bachelor of Technology with Honors - Computer Science and Engineering
Indian Institute of Technology 1987

NSF CAREER Award, 1995

Member, senior program committee, AAAI 2002 and 2004

Best paper awards at CoopIS 2000 and ATAL 1999

Team adviser of robot teams that placed 1st (1997) and 3rd (1996) in AAAI robot contests

C. Baral, Knowledge representation, reasoning and declarative problem solving, Cambridge University Press, 2003, ISBN 0521818028.

C. Baral, N. Tran and L. Tuan, “Reasoning about actions in a probabilistic setting,” Proc. Am. Assoc. Artificial Intelligence (AAAI 2002), pp. 507-512.

C. Baral and Y. Zhang, “The Complexity of Model Checking for Knowledge Update,” Proc. 8th Int’l Conf. Principles Knowledge Representation Reasoning (KR 2002), pp. 82-93.

T. Son and C. Baral, “Formalizing sensing actions

CSE 355 Introduction to Theoretical Computer Science, CSE 412/598 Database Management, CSE 450/598 Design and Analysis of Algorithms, CSE 471/598 Introduction to Artificial Intelligence