Shakil M. Khan

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 15

Top Topics

Situation Calculus

Action Theories

Top Venues

Canadian Conference on AI

Publications

Yves Lespérance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan
Abstraction of Situation Calculus Concurrent Game Structures. AAAI (2024)
Sotirios Liaskos, Ibrahim Jaouhar, Shakil M. Khan
Towards model-driven generation of secure workflow designs using patterns (short paper). ER (Companion) (2023)
Shakil M. Khan, Maryam Rostamigiv
On Explaining Agent Behaviour via Root Cause Analysis: A Formal Account Grounded in Theory of Mind. ECAI (2023)
Maryam Rostamigiv, Shakil M. Khan
Explaining Agent Behaviour via Causal Analysis of Mental States. KoDis+CAKR@KR (2023)
Sotirios Liaskos, Shakil M. Khan, John Mylopoulos
Modeling and reasoning about uncertainty in goal models: a decision-theoretic approach. Softw. Syst. Model. 21 (6) (2022)
Shakil M. Khan
Behaviour Explanation via Causal Analysis of Mental States: A Preliminary Report. CoRR (2022)
Sotirios Liaskos, Shakil M. Khan, Reza Golipour, John Mylopoulos
Towards Goal-based Generation of Reinforcement Learning Domain Simulations. iStar (2022)
Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski
From Actions to Programs as Abstract Actual Causes. AAAI (2022)
Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski
When is a Program an Actual Cause? ICLP Workshops (2021)
Shakil M. Khan, Yves Lespérance
Knowing Why - On the Dynamics of Knowledge about Actual Causes in the Situation Calculus. AAMAS (2021)
Sotirios Liaskos, John Mylopoulos, Shakil M. Khan
Empirically Evaluating the Semantic Qualities of Language Vocabularies. ER (2021)
Shakil M. Khan, Mikhail Soutchanski
Necessary and Sufficient Conditions for Actual Root Causes. ECAI (2020)
Shakil M. Khan, Mikhail Soutchanski
Towards Causal Analysis of Protocol Violations. Canadian Conference on AI (2019)
Shakil M. Khan, Mikhail Soutchanski
Towards A Logical Account of Epistemic Causality. CREST@ETAPS (2019)
Shakil M. Khan, Yves Lespérance
Infinite Paths in the Situation Calculus: Axiomatization and Properties. KR (2016)
Sotirios Liaskos, Shakil M. Khan, Mikhail Soutchanski, John Mylopoulos
Modeling and Reasoning with Decision-Theoretic Goals. ER (2013)
Sotirios Liaskos, Shakil M. Khan, Marin Litoiu, Marina Daoud Jungblut, Vyacheslav Rogozhkin, John Mylopoulos
Behavioral adaptation of information systems through goal models. Inf. Syst. 37 (8) (2012)
Shakil M. Khan, Yves Lespérance
Logical Foundations for a Rational BDI Agent Programming Language (Extended Version). ProMAS (2011)
Shakil M. Khan, Yves Lespérance
SR-APL: a model for a programming language for rational BDI agents with prioritized goals. AAMAS (2011)
Shakil M. Khan
Rational agents: prioritized goals, goal dynamics, and agent programming languages with declarative goals. AAMAS (2010)
Shakil M. Khan, Yves Lespérance
A logical framework for prioritized goal change. AAMAS (2010)
Shakil M. Khan, Yves Lespérance
Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report. DALT (2009)
Shakil M. Khan, Yves Lespérance
Handling prioritized goals and subgoals in a logical account of goal change. AAMAS (2) (2009)
Shakil M. Khan, Yves Lespérance
On the Semantics of Conditional Commitment. AC (2006)
Aijun An, Shakil M. Khan, Xiangji Huang
Hierarchical grouping of association rules and its application to a real-world domain. Int. J. Syst. Sci. 37 (13) (2006)
Shakil M. Khan, Yves Lespérance
On the semantics of conditional commitment. AAMAS (2006)
Shakil M. Khan, Yves Lespérance
ECASL: a model of rational agency for communicating agents. AAMAS (2005)
Ahmed Y. Tawfik, Shakil M. Khan
Temporal Relevance in Dynamic Decision Networks with Sparse Evidence. Appl. Intell. 23 (2) (2005)
Shakil M. Khan, Yves Lespérance
A Model of Rational Agency for Communicating Agents. AC (2004)
Aijun An, Shakil M. Khan, Xiangji Huang
Objective and Subjective Algorithms for Grouping Association Rules. ICDM (2003)
Ahmed Y. Tawfik, Shakil M. Khan
Temporal relevance in dynamic decision networks with sparse evidence. SMC (2002)