Research:

Research Interests :

Theories of actions and change for dynamic systems, robots, agents, and supply chains.

(mobile robots; robot control - formal characterization and automatic generation ; cognitive robotics; reasoning about actions; concurrent actions; complex actions; actions with causal effects; actions with non-deterministic effects; narratives; sensing actions; actions with probabilistic effects; Bayes' nets; Markov decision processes; Partially observable Markov decision processes; Supply chain planning; etc.) 
 

Non-monotonic reasoning, Knowledge representation, Logic Programming, Temporal reasoning, Combining knowledge bases, and AI in general.

(mathematical foundations of nonmonotonic reasoning; use of defaults in commonsense knowledge; value minimization in circumscription; nested abnormality of logic programs, default theories and autoepistemic theories; well-founded semantics of default theories, logic programs, and autoepistemic theories; conditional logics; preferential models; abductive reasoning vs filtering; etc.) 
 

Active, deductive and incomplete databases and workflows.

(semantics of active databases; formulating correctness of active databases; specification of the purpose of active databases, and automatic derivation of active rules from the specification; modelling workflows as multiple co-operative agents; expanding queries to incomplete databases; Semantics of negation in deductive databases; etc.) 
 

Multimedia and visualization.

(modeling of multimedia data; object relation data model; multimedia database design using extended ER models; modeling the web as a databases; visualization and display of multimedia data; specification langauge for display of multimedia answers to a query; etc.)