Shakil M. Khan

According to our database, Shakil M. Khan authored at least 34 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Empirically evaluating modeling language ontologies: the Peira framework.

Sotirios Liaskos, Saba Zarbaf, John Mylopoulos, Shakil M. Khan

Softw. Syst. Model., August, 2024

Modeling and Reasoning About Explanation Requirements Using Goal Models.

Sotirios Liaskos, John Mylopoulos, Alexander Borgida, Shakil M. Khan

Proceedings of the Conceptual Modeling - 43rd International Conference, 2024

Model-Driven Design and Generation of Training Simulators for Reinforcement Learning.

Sotirios Liaskos, Shakil M. Khan, John Mylopoulos, Reza Golipour

Proceedings of the Conceptual Modeling - 43rd International Conference, 2024

Generating Secure Workflow Designs from Requirements Goal Models Using Patterns.

Sotirios Liaskos, Ibrahim Jaouhar, Syed Muhammad Danish, Shakil M. Khan

Proceedings of the Conceptual Modeling - 43rd International Conference, 2024

Abstraction of Situation Calculus Concurrent Game Structures.

Yves Lespérance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Explaining Agent Behaviour via Causal Analysis of Mental States.

Maryam Rostamigiv, Shakil M. Khan

Proceedings of the Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the 2nd Workshop on Cognitive Aspects of Knowledge Representation co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023), 2023

Towards model-driven generation of secure workflow designs using patterns (short paper).

Sotirios Liaskos, Ibrahim Jaouhar, Shakil M. Khan

Proceedings of the Companion Proceedings of the 42nd International Conference on Conceptual Modeling: ER Forum, 2023

On Explaining Agent Behaviour via Root Cause Analysis: A Formal Account Grounded in Theory of Mind.

Shakil M. Khan, Maryam Rostamigiv

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Modeling and reasoning about uncertainty in goal models: a decision-theoretic approach.

Sotirios Liaskos, Shakil M. Khan, John Mylopoulos

Softw. Syst. Model., 2022

Behaviour Explanation via Causal Analysis of Mental States: A Preliminary Report.

Shakil M. Khan

CoRR, 2022

Towards Goal-based Generation of Reinforcement Learning Domain Simulations.

Sotirios Liaskos, Shakil M. Khan, Reza Golipour, John Mylopoulos

Proceedings of the 15th International iStar Workshop (iStar 2022) co-located with 41th International Conference on Conceptual Modeling (ER 2022), 2022

From Actions to Programs as Abstract Actual Causes.

Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

When is a Program an Actual Cause?

Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Empirically Evaluating the Semantic Qualities of Language Vocabularies.

Sotirios Liaskos, John Mylopoulos, Shakil M. Khan

Proceedings of the Conceptual Modeling - 40th International Conference, 2021

Knowing Why - On the Dynamics of Knowledge about Actual Causes in the Situation Calculus.

Shakil M. Khan, Yves Lespérance

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Necessary and Sufficient Conditions for Actual Root Causes.

Shakil M. Khan, Mikhail Soutchanski

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Towards A Logical Account of Epistemic Causality.

Shakil M. Khan, Mikhail Soutchanski

Proceedings of the 4th Workshop on Formal Reasoning about Causation, 2019

Towards Causal Analysis of Protocol Violations.

Shakil M. Khan, Mikhail Soutchanski

Proceedings of the Advances in Artificial Intelligence, 2019

2018

Rational Agents: Prioritized Goals, Goal Dynamics, and Agent Programming Languages with Declarative Goals

Shakil M. Khan

PhD thesis, 2018

2016

Infinite Paths in the Situation Calculus: Axiomatization and Properties.

Shakil M. Khan, Yves Lespérance

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

2013

Modeling and Reasoning with Decision-Theoretic Goals.

Sotirios Liaskos, Shakil M. Khan, Mikhail Soutchanski, John Mylopoulos

Proceedings of the Conceptual Modeling - 32th International Conference, 2013

2012

Behavioral adaptation of information systems through goal models.

Sotirios Liaskos, Shakil M. Khan, Marin Litoiu, Marina Daoud Jungblut, Vyacheslav Rogozhkin, John Mylopoulos

Inf. Syst., 2012

2011

Logical Foundations for a Rational BDI Agent Programming Language (Extended Version).

Shakil M. Khan, Yves Lespérance

Proceedings of the Programming Multi-Agent Systems - 9th International Workshop, 2011

SR-APL: a model for a programming language for rational BDI agents with prioritized goals.

Shakil M. Khan, Yves Lespérance

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

A logical framework for prioritized goal change.

Shakil M. Khan, Yves Lespérance

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Rational agents: prioritized goals, goal dynamics, and agent programming languages with declarative goals.

Shakil M. Khan

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report.

Shakil M. Khan, Yves Lespérance

Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Handling prioritized goals and subgoals in a logical account of goal change.

Shakil M. Khan, Yves Lespérance

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2006

Hierarchical grouping of association rules and its application to a real-world domain.

Aijun An, Shakil M. Khan, Xiangji Huang

Int. J. Syst. Sci., 2006

On the Semantics of Conditional Commitment.

Shakil M. Khan, Yves Lespérance

Proceedings of the Agent Communication II, International Workshops on Agent Communication, 2006

2005

Temporal Relevance in Dynamic Decision Networks with Sparse Evidence.

Ahmed Y. Tawfik, Shakil M. Khan

Appl. Intell., 2005

ECASL: a model of rational agency for communicating agents.

Shakil M. Khan, Yves Lespérance

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2004

A Model of Rational Agency for Communicating Agents.

Shakil M. Khan, Yves Lespérance

Proceedings of the Agent Communication, International Workshop on Agent Communication, 2004

2003

Objective and Subjective Algorithms for Grouping Association Rules.

Aijun An, Shakil M. Khan, Xiangji Huang

Proceedings of the 3rd IEEE International Conference on Data Mining (ICDM 2003), 2003