OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Shakil M Khan
Assistant Professor, Computer Science, University of Regina
Joined
June 2024
Names
Shakil M Khan
(Preferred)
,
Shakil M. Khan
Emails
****@uregina.ca
(Confirmed)
Personal Links
Homepage
Google Scholar
DBLP
ORCID
LinkedIn
Career & Education History
Assistant Professor
Computer Science,
University of Regina
(cs.uregina.ca)
2021
–
Present
Postdoc
Computer Science,
Ryerson, Ryerson Polytechnic University
(scs.ryerson.ca)
2018
–
2020
PhD student
EECS,
York University Toronto, York University
(eecs.yorku.ca)
2018
–
2018
Advisors, Relations & Conflicts
PhD Advisor
Yves Lesperance
2004
–
2018
Expertise
Knowledge representation and reasoning
2002
–
Present
Reasoning about actions
,
change
,
and causality
2002
–
Present
Agent theory
,
languages
,
and architectures
2002
–
Present
Publications
Translating Multi-Agent Modal Logics of Knowledge and Belief into Decidable First-Order Fragments
Qihui Feng
,
Hannah Wilk
,
Shakil M. Khan
,
Gerhard Lakemeyer
AAMAS 2025
Readers:
Everyone
Reasoning About Causal Knowledge in Nondeterministic Domains
Shakil M. Khan
,
Yves Lespérance
,
Maryam Rostamigiv
IJCAI 2025
Readers:
Everyone
Reasoning About Actual Causes in Nondeterministic Domains
Shakil M. Khan
,
Yves Lespérance
,
Maryam Rostamigiv
AAAI 2025
Readers:
Everyone
On the Semantics of Actual Causality in Situation Calculus Concurrent Game Structures
Mohammad Hossein Karimian
,
Shakil M. Khan
,
Yves Lespérance
Canadian AI 2025
Readers:
Everyone
Empirically evaluating modeling language ontologies: the Peira framework
Sotirios Liaskos
,
Saba Zarbaf
,
John Mylopoulos
,
Shakil M. Khan
Softw. Syst. Model. 2024
Readers:
Everyone
Reasoning about Actual Causes in Nondeterministic Domains - Extended Version
Shakil M. Khan
,
Yves Lespérance
,
Maryam Rostamigiv
CoRR 2024
Readers:
Everyone
Generating Secure Workflow Designs from Requirements Goal Models Using Patterns
Sotirios Liaskos
,
Ibrahim Jaouhar
,
Syed Muhammad Danish
,
Shakil M. Khan
ER 2024
Readers:
Everyone
Modeling and Reasoning About Explanation Requirements Using Goal Models
Sotirios Liaskos
,
John Mylopoulos
,
Alexander Borgida
,
Shakil M. Khan
ER 2024
Readers:
Everyone
Abstraction of Situation Calculus Concurrent Game Structures
Yves Lespérance
,
Giuseppe De Giacomo
,
Maryam Rostamigiv
,
Shakil M. Khan
AAAI 2024
Readers:
Everyone
Model-Driven Design and Generation of Training Simulators for Reinforcement Learning
Sotirios Liaskos
,
Shakil M. Khan
,
John Mylopoulos
,
Reza Golipour
ER 2024
Readers:
Everyone
View all 44 publications
Co-Authors
Ahmed Y. Tawfik
Aijun An
Alexander Borgida
Asim Mehmood
Bita Banihashemi
Gerhard Lakemeyer
Giuseppe De Giacomo
Hannah Wilk
Ibrahim Jaouhar
John Mylopoulos
Marin Litoiu
Marina Daoud Jungblut
Maryam Rostamigiv
Mikhail Soutchanski
Mohammad Hossein Karimian
Mriana Yadkoo
Qihui Feng
Reza Golipour
Saba Zarbaf
Sotirios Liaskos
Syed Muhammad Danish
Vyacheslav Rogozhkin
Xiangji Huang
Yves Lespérance