Ongoing projects

  • Knowledge Representation and Reasoning under Uncertainty with Probabilistic Answer Set Programming (Sponsored by NSF)
  • Answer Set Programming Modulo Theories (Sponsored by NSF)
  • Applications of Probabilistic Answer Set Programming (Sponsored by Bosch)
  • AI-Based Medical Decision Support System Framework Design (Sponsored by ETRI)
  • High Level Cognitive Robot Programming Framework
      An agent-based integration of the oClingo planning system and a physical robotic agent. Slides Demo
  • Formal Methods for Reasoning about Policies

Completed projects

  • Home Information Remote Aggregation and Context Inference Prediction Technology Development (Sponsored by ETRI)
    • The objective of this project is to make use of the enhanced Semantic Web technologies to design and develop home information remote aggregation and context inference prediction for smart home applications.
  • Enhancing Nonmonotonic Declarative Knowledge Representation and Reasoning by Merging Answer Set Programming with Other Computing Paradigms (Sponsored by NSF RI, NSF REU)
    • This project is about reconstructing the theory of stable models from a new foundation closely related to classical logic and, based on this, clarifying the relationship between ASP and other computing paradigms and exploring the synergy between them.
  • Grounding-Independent Reasoning in Answer Set Programming (Sponsored by NSF SGER)
    • This project is about going beyond the limitations of answer set programming imposed by grounding, justifying the use of answer set solvers for grounding independent reasoning.
  • Compiling AnsProlog to First-Order Theories (Sponsored by DTO AQUAINT)
    • This project is about compiling answer set programs into propositional logic, and extend the results to first-order answer set programs.
  • Reasoning about Causes with Preferences and Uncertainty in Dynamic Biomedical Domains (Sponsored by Siemens Corporate Research)
    • This project is to design and develop enhanced reasoning method for a biomedical QA system in order to support physicians in diagnosis and treatment of diseases/disorders by representing and reasoning with complex processes in which an entity can have multiple causes with relative likelihoods and uncertain effects.
  • SCIL: Socio-Cultural Content in Language (Sponsored by IARPA)
    • The goal of the project is to automate reasoning about the culture-specific social dynamics of members of a group from the natural language they use, which reflects social and cultural norms, contexts and expectations. My role is to build an NLP system that identifies social status of members of groups from the language uses and the background knowledge of sociolinguistic theories.

We acknowledge the generous funding supports by: