Research Interests

• Knowledge Representation (Emphasis on Integrated/Hybrid KR Schemes)
  
  
• Knowledge-Based/Expert Systems (Emphasis on Integrated/Hybrid Systems)
  
  
• Theorem Proving (Classical FOPC)
  
  
• Intelligent Decision Support Systems (Emphasis on Medical Systems)
  
  
• Intelligent Education Systems