Chitta Baral
AI logics answer set programming cognitive robotics complexity computational logics constraint programming database logic heuristics inference engines knowledge representation logic nonmonotonic reasoning programming language robot semantics