Recent Publications by Shakil M. Khan and Students
2024
-
Asim Mehmood. Towards Root Cause Analysis in Hybrid Dynamic Domains. M.Sc. thesis, Department of Computer Science, University of Regina, 2024.
☞ Defended December 12, 2024. External: Allen W. Herman (Mathematics and Statistics); Committee: Sandra Zilles; Chair: Golam Kabir (Industrial Systems Engineering).
★ Nominated for an academic award.
-
Sotirios Liaskos, Shakil M. Khan, and John Mylopoulos. Towards an iStar 2.0 Extension for Analyzing Goal Variability.
In Xavier Franch, Julio Cesar Sampaio do Prado Leite, Gunter Mussbacher, John Mylopoulos, and Anna Perini (eds.),
Social Modeling Using the i* Framework: Essays in Honour of Eric Yu, Springer, December 2024.
☞ Click here for the final version.
-
Yves Lespérance, Giuseppe De Giacomo, Maryam Rostamigiv, and Shakil M. Khan.
Abstraction of Situation Calculus Concurrent Game Structures - Extended Abstract.
In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR-24), Recently
Published Research Track, November 2 - 8, 2024, Hanoi, Vietnam, 2024.
☞ This is a short version of our AAAI 2024 paper below.
-
Sotirios Liaskos, John Mylopoulos, Alexander Borgida, and Shakil M. Khan. Modeling and Reasoning about Explanation Requirements using Goal Models.
In Wolfgang Maass, Hyoil Han, Hasan Yasar, and Nick Multari (eds.), Proceedings of the 43rd International Conference on Conceptual Modeling (ER-24), October 28-31, Pittsburgh, Pennsylvania, 2024,
LNCS Vol. 15238, pages 215-231, Springer 2025.
(Acceptance rate: 19.46%).
-
Sotirios Liaskos, Ibrahim Jaouhar, Syed Muhammad Danish, and Shakil M. Khan. Generating Secure Workflow Designs from Requirements Goal Models Using Patterns.
In Wolfgang Maass, Hyoil Han, Hasan Yasar, and Nick Multari (eds.), Proceedings of the 43rd International Conference on Conceptual Modeling (ER-24), October 28-31, Pittsburgh, Pennsylvania, 2024,
LNCS Vol. 15238, pages 195-214, Springer 2025.
(Acceptance rate: 19.46%).
-
Sotirios Liaskos, Shakil M. Khan, John Mylopoulos, and Reza Golipour. Model-Driven Design and Generation of Training Simulators for Reinforcement Learning.
In Wolfgang Maass, Hyoil Han, Hasan Yasar, and Nick Multari (eds.), Proceedings of the 43rd International Conference on Conceptual Modeling (ER-24), October 28-31, Pittsburgh, Pennsylvania, 2024,
LNCS Vol. 15238, pages 170-191, Springer 2025.
★ The Best Paper Award (Acceptance rate: 19.46%).
-
Maryam Rostamigiv, Shakil M. Khan, Yves Lespérance, and Mriana Yadkoo. A Logic of Actual Cause for Non-Deterministic Dynamic Domains.
In Proceedings of the 21st European Conference on Multi-Agent Systems (EUMAS-24), August 26-28, Dublin, Ireland, 2024.
-
Asim Mehmood and Shakil M. Khan. Towards a Definition of Primary Cause in Hybrid Dynamic Domains.*
In Proceedings of the 37th Canadian Conference on Artificial Intelligence (Canadian AI-24), Guelph, Ontario, Canada, May 27-31, 2024.
*Errata: the definition of Achievement Situation given here is incomplete; see Asim's thesis above for an updated version.
★ The Best Student Paper Award (Acceptance rate: 31.34%).
-
Sotirios Liaskos, Saba Zarbaf, John Mylopoulos, and Shakil M. Khan.
Empirically Evaluating Modeling Language Ontologies: The
Peira Framework. In International Journal on Software and Systems Modeling (SoSyM), Vol 23, No 4, pages 1025-1052, Springer, April 2024.
☞ Click here for the final version.
-
Yves Lespérance, Giuseppe De Giacomo, Maryam Rostamigiv, and Shakil M. Khan.
Abstraction of Situation Calculus Concurrent Game Structures.
In Michael J. Wooldridge, Jennifer G. Dy, and Sriraam Natarajan (eds.),
Proceedings of the 38th Annual AAAI Conference on Artificial Intelligence (AAAI-24), Vancouver, BC, Canada, February, 20-27, pages 10624-10634, AAAI Press, 2024.
(Acceptance rate: 23.75%).
2023
-
Sotirios Liaskos, Ibrahim Jaouhar, and Shakil M. Khan. Towards Model-Driven Generation of Secure Workflow Designs using Patterns.
In ER2023: Companion Proceedings of the 42nd International Conference on Conceptual Modeling: ER Forum, 7th SCME,
Project Exhibitions, Posters and Demos, and Doctoral Consortium, Lisbon, Portugal, 6-9 November, 2023.
-
Shakil M. Khan and Maryam Rostamigiv. On Explaining Agent Behaviour via Root Cause Analysis: A Formal Account Grounded in Theory of Mind.
In Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein, and Roxana Radulescu (eds.), Proceedings of the 26th
European Conference on Artificial Intelligence (ECAI-23), Kraków, Poland, pages 1239-1247, September 30 - October 5, 2023.
(Acceptance rate: 24%).
-
Maryam Rostamigiv and Shakil M. Khan. Explaining Agent Behaviour via Causal Analysis of Mental States (Extended Abstract).
In Franz Baader, Bart Bogaerts, Gerhard Brewka, Joerg Hoffmann, Thomas Lukasiewicz, Nico Potyka, and Francesca Toni (eds),
Working Notes of the 4th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2023); and in
Jesse Heyninck and Thomas Meyer (eds), Proceedings of the 2nd Workshop on Cognitive Aspects of Knowledge Representation (CAKR 2023), CEUR Workshop
Proceedings, Volume 3548; both collocated with the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece,
September 2-8, 2023.
☞ This is a short version of our ECAI 2023 paper above.
2022
- Sotirios Liaskos, Shakil M. Khan, Reza Golipour, and John Mylopoulos.
Goal-Based Modeling of Reinforcement Learning Domains. In Alejandro Maté,
Tong Li, Enyo J. T. Gonçalves (eds), Proceedings of the 15th
International iStar Workshop (iStar 2022) co-located with 41th International
Conference on Conceptual Modeling (ER 2022), Virtual Event, Hyderabad,
India, October 17, 2022. CEUR Workshop Proceedings 3231, CEUR-WS.org 2022.
-
Shakil M. Khan. Behaviour Explanation via Causal Analysis of Mental States: A
Preliminary Report. Technical Report, Computing Research Repository, CoRR/ArXiv 2205.07443, May 2022.
-
Bita Banihashemi*, Shakil M. Khan*, and Mikhail Soutchanski. From Actions to
Programs as Abstract Actual Causes. In Proceedings of the
Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI-22),
Vancouver, BC, Canada, February 22-March 1, pages 5470-5478, 2022.
*Contributed equally to this paper (Acceptance rate: 14.95%).
-
Sotirios Liaskos, Shakil M. Khan, and John Mylopoulos. Modeling and Reasoning
about Uncertainty in Goal Models: A Decision-Theoretic Approach. In J.
Araujo, A. Moreira, G. Mussbacher, and P. Sanchez (eds), International
Journal on Software and Systems Modeling (SoSyM): Theme Issue on Model-Driven
Requirements Engineering, Vol 21, No 6, pages 1-24, Springer, 2022.
☞ Click here for the final version.
2021
-
Sotirios Liaskos, John Mylopoulos, and Shakil M. Khan. Empirically
Evaluating the Semantic Qualities of Language Vocabularies. In
A. Ghose, J. Horkoff, V.E. Silva Souza, J. Parsons, and J. Evermann (eds),
Proceedings of the 40th International Conference on Conceptual
Modeling (ER-21), St. John's, Newfoundland, Canada, 18-21 October 2021,
LNCS Vol. 13011, pages 330-344, Springer, Cham, 2021.
(Acceptance rate: 16.47%).
-
Bita Banihashemi*, Shakil M. Khan*, and Mikhail Soutchanski.
When is a Program an Actual Cause? In Proceedings of Workshop on Causal
Reasoning and Explanation in Logic Programming (Causal-21@37th International
Conference on Logic Programming, ICLP), University of Calabria, Rende,
Italy, September 20-27, 2021.
*Contributed equally to this paper.
-
Shakil M. Khan and Yves Lespérance. Knowing Why: On the
Dynamics of Knowledge about Actual Causes in the Situation
Calculus. In U. Endriss, A. Nowé, F. Dignum, and A. Lomuscio
(eds.), Proceedings of the 20th International Conference on
Autonomous Agents and Multiagent Systems (AAMAS-21),
London, UK (Online), pages 701-709, May 3-7, 2021.
(Acceptance rate: 24.83%).
☞ Click here for the presentation audio and slides.
2020
-
Shakil M. Khan and Mikhail Soutchanski. Necessary and Sufficient
Conditions for Actual Root Causes. In G. De Giacomo, A. Catala,
B. Dilkina, M. Milano, S. Barro, A. Bugarín, and J. Lang (eds.), Proceedings of the 24th
European Conference on Artificial Intelligence (ECAI-20), Santiago
de Compostela, Spain (Online), pages 800-808, 8-12 June, 2020.
(Acceptance rate: 26.77%).
☞ Click here for the presentation audio and slides.
2019
-
Shakil M. Khan and Mikhail Soutchanski. Towards Causal Analysis of
Protocol Violations. In M.J. Meurs and F. Rudzicz (eds.), Advances
in Artificial Intelligence. Canadian AI 2019. Lecture Notes in
Computer Science, vol 11489, pages 359-365, Springer, Cham, 2019.
-
Shakil M. Khan and Mikhail Soutchanski. Towards a Logical Account of
Epistemic Causality. In G. Caltais and J. Krivine (eds.), Proceedings of the Fourth Workshop on Formal
Reasoning about Causation, Responsibility, & Explanations in Science
& Technology (CREST-19 @The European Joint Conferences on Theory and
Practice of Software, ETAPS), Prague, Czech Republic, April
2019. Electronic Proceedings in Theoretical Computer Science,
vol. 308, pages 1-16.
2018
-
Shakil M. Khan and Mikhail Soutchanski. Diagnosis as Computing Causal Chains from Event Traces. In J. Frank, M. Molineaux, and M. Roberts (eds.), Proceedings of the AAAI Fall Symposium: Integrating Planning, Diagnosis, and Causal Reasoning 2018 (AAAI Fall Symp. SIP-18), Arlington, VA, USA, Oct 2018, AAAI Press, 2018.
-
Shakil M. Khan. Rational Agents: Prioritized Goals, Goal Dynamics,
and Agent Programming Languages with Declarative
Goals. Ph.D. Thesis. Dept. of Electrical Engineering and
Computer Science, York University, Toronto, Ontario, Canada, 2018.
☞ Supervisor: Prof. Yves Lespérance, Dept. of Electrical Engineering and
Computer Science, York University, Toronto, Ontario, Canada.
☞ External Examiner: Prof. John-Jules Ch. Meyer, Department of Information and Computing Sciences, Utrecht University, The Netherlands.
2016
2015
2013
-
Sotirios Liaskos, Shakil M. Khan, Mikhail Soutchanski, and John
Mylopoulos. Modeling and Reasoning with Decision-Theoretic Goals. In
W. Ng, V.C. Storey, and J. Trujillo (eds.), Proceedings of the
Thirty-Second International Conference on Conceptual Modeling
(ER-13), Hong Kong, November 2013, LNCS Vol. 8217, pages 19-32,
Springer-Verlag, 2013.
★ Runner-up for the Best Paper Award (Acceptance rate: 18.25%).
2012
-
Sotirios Liaskos, Shakil M. Khan, Marin Litoiu, Marina Daoud Jungblut, Vyacheslav Rogozhkin, and John Mylopoulos. Behavioral Adaptation of Information Systems through Goal Models. Information Systems, Vol 37, No. 8, pages 767-783, Elsevier, 2012.
☞ Click here for the final version.
2011
-
Shakil M. Khan and Yves Lespérance. SR-APL: A Model for a Programming Language for Rational BDI Agents with Prioritized Goals (Extended Abstract). In K. Tumer, P. Yolum, L. Sonenberg, and P. Stone (eds.), Proceedings of the Tenth International Conference on Autonomous Agents and Multi Agent Systems (AAMAS-11), pages 1251-1252, Taipei, Taiwan, May 2011.
-
Shakil M. Khan and Yves Lespérance. Logical Foundations for a Rational BDI Agent Programming Language (Extended Version). In L.A. Dennis, O. Boissier, and R.H. Bordini (eds.), Programming Multi-Agent Systems, 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 2011. Revised Invited and Selected Papers, LNAI Vol. 7217, pages 3-21, Springer, 2012.
2010
-
Shakil M. Khan and Yves Lespérance. A Logical Framework for Prioritized Goal Change. In W. van der Hoek, G.A. Kaminka, Y. Lespérance, M. Luck, and S. Sen (eds.), Proceedings of the Ninth International Conference on Autonomous Agents and Multi Agent Systems (AAMAS-10), pages 283-290, Toronto, Ontario, Canada, May 2010.
(Acceptance rate: 23.79%).
-
Shakil M. Khan. Rational Agents: Prioritized Goals, Goal Dynamics,
and Agent Programming Languages with Declarative Goals (Extended
Abstract). In W. van der Hoek, G.A. Kaminka, Y. Lespérance, M. Luck,
and S. Sen (eds.), Proceedings of the Ninth International Conference
on Autonomous Agents and Multi Agent Systems (AAMAS-10), pages
1653-1654, Toronto, Ontario, Canada, May 2010.
☞
One of the 12 papers accepted worldwide for presentation in the Doctoral Symposium of AAMAS 2010.
-
Shakil M. Khan and Yves Lespérance. Towards a Rational Agent Programming Language with Prioritized Goals. In A. Omicini, S. Sardiña, and W. Vasconcelos (eds.), Working notes of the Eighth International Workshop on Declarative Agent Languages and Technologies (DALT-10), pages 18-33, Toronto, Ontario, Canada, May 2010.
2009
-
Shakil M. Khan and Yves Lespérance. Prioritized Goals and Subgoals in a Logical Account of Goal Change -- A Preliminary Report. In M. Baldoni, J. Bentahar, J. Lloyd, and M.B. van Riemsdijk (eds.), Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers, LNAI Vol. 5948, pages 119-136, Springer, April 2010.
-
Shakil M. Khan and Yves Lespérance. A Logical Account of Prioritized
Goals and their Dynamics. In G. Lakemeyer, L. Morgenstern, and
M.-A. Williams (eds.), Proceedings of the Ninth International
Symposium on Logical Formalizations of Commonsense Reasoning
(Commonsense-09), pages 85-90, Toronto, Ontario, Canada, June 2009.
★ Outstanding Student Paper Award.
-
Shakil M. Khan and Yves Lespérance. Handling Prioritized Goals and Subgoals in a Logical Account of Goal Change (Extended Abstract). In K.S. Decker, J.S. Sichman, C. Sierra, and C. Castelfranchi (eds.), Proceedings of the Eighth International Conference on Autonomous Agents and Multi Agent Systems (AAMAS-09), pages 1155-1156, Budapest, Hungary, May 2009.
2007
2006
-
Aijun An, Shakil M. Khan, and Xiangji Huang. Hierarchical Grouping of Association Rules and Its Application to a Real-World Domain. In Z.Y. Dong, X. Li, and S. Wang (eds.), International Journal of Systems Science: Special Issue on Advances in Data Mining and Its Applications, Vol. 37, No. 13, pages 867-878, Taylor & Francis Group Publisher, October 2006.
-
Shakil M. Khan and Yves Lespérance. On the Semantics of Conditional Commitment. In P. Stone and G. Weiss (eds.), Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS-06), pages 1337-1344, Hakodate, Japan, May 2006.
(Acceptance rate: 23%).
2005
-
Shakil M. Khan and Yves Lespérance. On the Semantics of Conditional Commitment. In F. Dignum, R. van Eijk, and R. Flores (eds.), Agent Communication II: International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005 and Hakodate, Japan, May 9, 2006. Selected and Revised Papers, LNAI Vol. 3859, pages 45-60, Springer, January 2007.
-
Ahmed Y. Tawfik and Shakil M. Khan. Temporal Relevance in Dynamic Decision Networks with Sparse Evidence. In C.K. Mohan and P.K. Varshney (eds.), International Journal of Applied Intelligence: Special Issue on Uncertain Temporal Reasoning, Vol. 23, No. 2, pages 87-96, Springer, October 2005.
☞ Click here for the final version.
-
Shakil M. Khan and Yves Lespérance. ECASL: A Model of Rational Agency for Communicating Agents. In F. Dignum, V. Dignum, S. Koenig, S. Kraus, M.P. Singh, and M. Wooldridge (eds.), Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS-05), pages 762-769, Utrecht, The Netherlands, July 2005.
(Acceptance rate: 24%).
-
Shakil M. Khan and Yves Lespérance. ECASL: Un modèle d'agent rationnel. In A. Herzig, Y. Lespérance, and A.-I. Mouaddib (eds.), MFI'05 - Modèles Formels de l'Interaction, Caen, France, Cépadèus Editions, May 2005.
2004
-
Shakil M. Khan and Yves Lespérance. A Model of Rational Agency for Communicating Agents. In R. van Eijk, M.-P. Huget, and F. Dignum (eds.), Agent Communication: International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004. Revised Selected and Invited Papers, LNAI Vol. 3396, pages 242-259, Springer, February 2005.
2003
-
Aijun An, Shakil M. Khan, and Xiangji Huang. Objective and Subjective Algorithms for Grouping Association Rules (Poster Paper). In X. Wu, A. Tuzhilin, and J. Shavlik (eds.), Proceedings of the Third IEEE International Conference on Data Mining (ICDM-03), pages 477-480, Melbourne, Florida, USA, November 2003.
2002
Unpublished Work
-
Shakil M. Khan. A Situation Calculus Account of Multiagent Planning,
Speech Acts, and Communication. M.Sc. Work. Dept. of Electrical
Engineering and Computer Science, York University, Toronto, Ontario,
Canada, 2006.
Note: The above material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted or reproduced in any way, in whole or in part, without the explicit permission of the copyright holder.
Back to
Shakil M. Khan's home page.
Last modified: December 2024