Skip Ribbon Commands
Skip to main content
   YU Faculty Websites>>  Dr. Faisal Alkhateeb Sign In
  
Details
- Knowledge Representation and Reasoning
- Semantic Web Technologies
- Query Languages
- Ontologies
- Intelligent Agents
- Propositional Satisfiability (SAT)
- Symbolic Model Checking
- Automated Reasoning