Recent Publications by Shakil M. Khan

2024

• 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), Springer, 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, 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%).

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%).

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

• Shakil M. Khan and Yves Lespérance. Infinite Paths in the Situation Calculus: Axiomatization and Properties. In C. Baral, J. P. Delgrande, and F. Wolter (eds.), Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-16), Cape Town, South Africa, April 2016, pages 565-568, AAAI Press, 2016.

2015

• Shakil M. Khan and Yves Lespérance. Infinite Paths in the Situation Calculus. Technical Report EECS-2015-05. Dept. of Electrical Engineering and Computer Science, York University, Toronto, Ontario, Canada, December 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.

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

• Shakil M. Khan. Agent Programming Languages with Declarative Goals: A Survey (Qualifying Oral Document). Technical Report CSE-2007-07. Dept. of Computer Science and Engineering, York University, Toronto, Ontario, Canada, April 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.

• 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

• Ahmed Y. Tawfik and Shakil M. Khan. Temporal Relevance in Dynamic Decision Networks with Sparse Evidence. In Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics (SMC-02), Hammamet, Tunisia, October 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.

Back to Shakil M. Khan's home page.