Objective and Subjective Algorithms for Grouping Association Rules. - Aijun An; Shakil M. Khan 001; Xiangji Huang 001 (ICDM, 2003)

A Model of Rational Agency for Communicating Agents. - Shakil M. Khan 001; Yves Lespérance (AC, 2004)

ECASL: a model of rational agency for communicating agents. - Shakil M. Khan 001; Yves Lespérance (AAMAS, 2005)

Temporal Relevance in Dynamic Decision Networks with Sparse Evidence. - Ahmed Y. Tawfik; Shakil M. Khan 001 (Appl. Intell., 2005)

On the Semantics of Conditional Commitment. - Shakil M. Khan 001; Yves Lespérance (AC, 2006)

Hierarchical grouping of association rules and its application to a real-world domain. - Aijun An; Shakil M. Khan 001; Xiangji Huang 001 (Int. J. Syst. Sci., 2006)

Handling prioritized goals and subgoals in a logical account of goal change. - Shakil M. Khan 001; Yves Lespérance (AAMAS (2), 2009)

Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report. - Shakil M. Khan 001; Yves Lespérance (DALT, 2009)

Rational agents: prioritized goals, goal dynamics, and agent programming languages with declarative goals. - Shakil M. Khan 001 (AAMAS, 2010)

A logical framework for prioritized goal change. - Shakil M. Khan 001; Yves Lespérance (AAMAS, 2010)

SR-APL: a model for a programming language for rational BDI agents with prioritized goals. - Shakil M. Khan 001; Yves Lespérance (AAMAS, 2011)

Logical Foundations for a Rational BDI Agent Programming Language (Extended Version). - Shakil M. Khan 001; Yves Lespérance (ProMAS, 2011)

Behavioral adaptation of information systems through goal models. - Sotirios Liaskos; Shakil M. Khan 001; Marin Litoiu; Marina Daoud Jungblut; Vyacheslav Rogozhkin; John Mylopoulos (Inf. Syst., 2012)

Modeling and Reasoning with Decision-Theoretic Goals. - Sotirios Liaskos; Shakil M. Khan 001; Mikhail Soutchanski; John Mylopoulos (ER, 2013)

Infinite Paths in the Situation Calculus: Axiomatization and Properties. - Shakil M. Khan 001; Yves Lespérance (KR, 2016)

Rational Agents: Prioritized Goals, Goal Dynamics, and Agent Programming Languages with Declarative Goals - Shakil M. Khan 001 (2018)

Towards Causal Analysis of Protocol Violations. - Shakil M. Khan 001; Mikhail Soutchanski (Canadian AI, 2019)

Towards A Logical Account of Epistemic Causality. - Shakil M. Khan 001; Mikhail Soutchanski (CREST@ETAPS, 2019)

Necessary and Sufficient Conditions for Actual Root Causes. - Shakil M. Khan 001; Mikhail Soutchanski (ECAI, 2020)

Knowing Why - On the Dynamics of Knowledge about Actual Causes in the Situation Calculus. - Shakil M. Khan 001; Yves Lespérance (AAMAS, 2021)

Empirically Evaluating the Semantic Qualities of Language Vocabularies. - Sotirios Liaskos; John Mylopoulos; Shakil M. Khan 001 (ER, 2021)

When is a Program an Actual Cause? - Bita Banihashemi; Shakil M. Khan 001; Mikhail Soutchanski (ICLP Workshops, 2021)

From Actions to Programs as Abstract Actual Causes. - Bita Banihashemi; Shakil M. Khan 001; Mikhail Soutchanski (AAAI, 2022)

Towards Goal-based Generation of Reinforcement Learning Domain Simulations. - Sotirios Liaskos; Shakil M. Khan 001; Reza Golipour; John Mylopoulos (iStar, 2022)

Behaviour Explanation via Causal Analysis of Mental States: A Preliminary Report. - Shakil M. Khan 001 (CoRR, 2022)

Modeling and reasoning about uncertainty in goal models: a decision-theoretic approach. - Sotirios Liaskos; Shakil M. Khan 001; John Mylopoulos (Softw. Syst. Model., 2022)

On Explaining Agent Behaviour via Root Cause Analysis: A Formal Account Grounded in Theory of Mind. - Shakil M. Khan 001; Maryam Rostamigiv (ECAI, 2023)

Towards model-driven generation of secure workflow designs using patterns (short paper). - Sotirios Liaskos; Ibrahim Jaouhar; Shakil M. Khan 001 (ER (Companion), 2023)

Explaining Agent Behaviour via Causal Analysis of Mental States. - Maryam Rostamigiv; Shakil M. Khan 001 (KoDis+CAKR@KR, 2023)

Abstraction of Situation Calculus Concurrent Game Structures. - Yves Lespérance; Giuseppe De Giacomo; Maryam Rostamigiv; Shakil M. Khan 001 (AAAI, 2024)

Towards a Definition of Primary Cause in Hybrid Dynamic Domains. - Asim Mehmood; Shakil M. Khan 001 (Canadian AI, 2024)

Towards an iStar 2.0 Extension for Analyzing Goal Variability. - Sotirios Liaskos; Shakil M. Khan 001; John Mylopoulos (Social Modeling Using the i* Framework, 2024)

Generating Secure Workflow Designs from Requirements Goal Models Using Patterns. - Sotirios Liaskos; Ibrahim Jaouhar; Syed Muhammad Danish; Shakil M. Khan 001 (ER, 2024)

Model-Driven Design and Generation of Training Simulators for Reinforcement Learning. - Sotirios Liaskos; Shakil M. Khan 001; John Mylopoulos; Reza Golipour (ER, 2024)

Modeling and Reasoning About Explanation Requirements Using Goal Models. - Sotirios Liaskos; John Mylopoulos; Alexander Borgida; Shakil M. Khan 001 (ER, 2024)

A Logic of Actual Cause for Nondeterministic Domains. - Maryam Rostamigiv; Shakil M. Khan 001; Yves Lespérance; Mriana Yadkoo (EUMAS, 2024)

Reasoning about Actual Causes in Nondeterministic Domains - Extended Version. - Shakil M. Khan 001; Yves Lespérance; Maryam Rostamigiv (CoRR, 2024)

Empirically evaluating modeling language ontologies: the Peira framework. - Sotirios Liaskos; Saba Zarbaf; John Mylopoulos; Shakil M. Khan 001 (Softw. Syst. Model., 2024)

Reasoning About Actual Causes in Nondeterministic Domains. - Shakil M. Khan 001; Yves Lespérance; Maryam Rostamigiv (AAAI, 2025)

On the Semantics of Actual Causality in Situation Calculus Concurrent Game Structures. - Mohammad Hossein Karimian; Shakil M. Khan 001; Yves Lespérance (Canadian AI, 2025)

Translating Multi-Agent Modal Logics of Knowledge and Belief into Decidable First-Order Fragments. - Qihui Feng; Hannah Wilk; Shakil M. Khan 001; Gerhard Lakemeyer (AAMAS, 2025)