Chitta Baral

About

Chitta Baral is a prominent computer scientist whose research sits at the intersection of knowledge representation, natural language processing, and autonomous robotics. His work has made significant contributions to how intelligent agents and robots understand, interpret, and act upon human instructions expressed in natural language. Baral's most influential research focuses on translating natural language directives into formal logical representations that robots can act upon — a foundational challenge in human-robot interaction. His 2009 paper on converting spoken directives into temporal and dynamic logic for goal management garnered 182 citations, establishing him as a key figure in bridging linguistic understanding and autonomous action execution. Complementing this, his work on inverse lambda-calculus operators offers elegant mechanisms for mapping English sentences to formal knowledge representation languages. Beyond language grounding, Baral has made lasting contributions to goal specification under non-determinism, reactive control theory, and action-theoretic frameworks for cognitive agents — work dating back to the mid-1990s that laid important theoretical groundwork for the field. His 2020 research on language-conditioned imitation learning reflects his continued engagement with cutting-edge robotics challenges. With practical experience demonstrated through AAAI robot contests and decades of theoretical development, Baral's career exemplifies the productive integration of formal reasoning and real-world autonomous systems.

Research Focus

Key Achievements

Top Papers

1. 1
   What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution

   182 citations · 2009
2. 2
   Relating Theories of Actions and Reactive Control.

   25 citations · 1998
3. 3
   Language-Conditioned Imitation Learning for Robot Manipulation Tasks

   21 citations · 2020
4. 4
   Goal specification in presence of non-deterministic actions

   13 citations · 2004
5. 5
   Using inverse λ and generalization to translate English to formal languages

   11 citations · 2011
6. 6
   Using Inverse lambda and Generalization to Translate English to Formal Languages

   11 citations · 2011
7. 7
   From theory to practice

   10 citations · 1998
8. 8
   Relating theories of actions and reactive robot control

   10 citations · 1996
9. 9
   Goal specification, non-determinism and quantifying over policies

   7 citations · 2006
10. 10
    Extending ConGolog to allow partial ordering

    6 citations · 2000

Key Collaborators

Contact & Links