تجاوز إلى المحتوى الرئيسي
User Image

Maher A. Alhossaini

Assistant Professor

Faculty, Computer Science Department

علوم الحاسب والمعلومات
Building 31, office 2182

نبذة تعريفية / مختصر السيرة الذاتية

Welcome to my website.

My name is Maher A. Alhossaini. I am an assistant professor at the Computer Science department of the College of Computer and Information Sciences at King Saud University. I received my Bachelor degree in Computer and Information Sciences from King Saud University in Riyadh, Saudi Arabia in 2000. In 2006 I received the Master of Science degree in Computer Science from Stanford University, California, USA  with specialization in Artificial Intelligence. In 2013, I received the Ph.D degree in Computer Science from the University of Toronto, Canada. The title of my Ph.D Thesis was: “Remodeling Planning Domains Using Macro Operators and Machine Learning”.

I am interested in Artificial Intelligence (AI) in general. In specific, I am interested in automated planning and causal modeling and inference. I am also interested in knowledge representation and reasoning, modeling and remodeling problems in AI,  statistical models in AI (e.g. Bayesian Nets), Machine Learning, and Constraint Satisfaction Problems (CSP) (e.g. Proposition Satisfiability problem (SAT)).

المنشورات
المزيد ...

publications

The thesis of this dissertation is that automating domain remodeling in AI planning using macro operators and making remodeling more flexible and applicable can improve the planning performance…

بواسطة Maher Alhossaini
2013

المواد الدراسية
المزيد ...

course

Fundamental concepts of data structures. Performance measurement of algorithms. Implementation and use of lists, stacks, queues, priority queues, trees, heaps, hash tables and graphs. Recursion.…

course

Introduction to AI problem solving - Search - Local Search - Knowledge representation - Constraint Satisfaction - Propositional Logic - First-Order Logic - Automatic theorem proving - Reasoning -…

course

Introduction to AI problem solving - Search - Local Search - Knowledge representation: First-Order Logic - Automatic theorem proving - Planning - Reasoning - reasoning with uncertainty - Belief…