Shakil M. Khan

46 papers A* 7A 14B 1C 1Journal 8Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Causal, Strategic, and Combined Responsibility Attribution in Situation Calculus Concurrent Game Structures. AAAI Mohammad Hossein Karimian, Shakil M. Khan, Yves Lespérance
2026	J	`jnl`	On the Semantics of Primary Cause in Hybrid Dynamic Domains. CoRR Shakil M. Khan, Asim Mehmood, Sandra Zilles
2025	—	`conf`	On the Semantics of Actual Causality in Situation Calculus Concurrent Game Structures. Canadian AI Mohammad Hossein Karimian, Shakil M. Khan, Yves Lespérance
2025	A*	`conf`	Reasoning About Actual Causes in Nondeterministic Domains. AAAI Shakil M. Khan, Yves Lespérance, Maryam Rostamigiv
2025	A*	`conf`	Reasoning About Causal Knowledge in Nondeterministic Domains. IJCAI Shakil M. Khan, Yves Lespérance, Maryam Rostamigiv
2025	A	`conf`	Translating Multi-Agent Modal Logics of Knowledge and Belief into Decidable First-Order Fragments. AAMAS Qihui Feng, Hannah Wilk, Shakil M. Khan, Gerhard Lakemeyer
2024	C	`conf`	A Logic of Actual Cause for Nondeterministic Domains. EUMAS Maryam Rostamigiv, Shakil M. Khan, Yves Lespérance, Mriana Yadkoo
2024	A*	`conf`	Abstraction of Situation Calculus Concurrent Game Structures. AAAI Yves Lespérance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan
2024	J	`jnl`	Empirically evaluating modeling language ontologies: the Peira framework. Softw. Syst. Model. Sotirios Liaskos, Saba Zarbaf, John Mylopoulos, Shakil M. Khan
2024	A	`conf`	Generating Secure Workflow Designs from Requirements Goal Models Using Patterns. ER Sotirios Liaskos, Ibrahim Jaouhar, Syed Muhammad Danish, Shakil M. Khan
2024	A	`conf`	Model-Driven Design and Generation of Training Simulators for Reinforcement Learning. ER Sotirios Liaskos, Shakil M. Khan, John Mylopoulos, Reza Golipour
2024	A	`conf`	Modeling and Reasoning About Explanation Requirements Using Goal Models. ER Sotirios Liaskos, John Mylopoulos, Alexander Borgida, Shakil M. Khan
2024	J	`jnl`	Reasoning about Actual Causes in Nondeterministic Domains - Extended Version. CoRR Shakil M. Khan, Yves Lespérance, Maryam Rostamigiv
2024	—	`conf`	Towards a Definition of Primary Cause in Hybrid Dynamic Domains. Canadian AI Asim Mehmood, Shakil M. Khan
2024	—	`conf`	Towards an iStar 2.0 Extension for Analyzing Goal Variability. Social Modeling Using the i* Framework Sotirios Liaskos, Shakil M. Khan, John Mylopoulos
2023	—	`conf`	Explaining Agent Behaviour via Causal Analysis of Mental States. KoDis+CAKR@KR Maryam Rostamigiv, Shakil M. Khan
2023	A	`conf`	On Explaining Agent Behaviour via Root Cause Analysis: A Formal Account Grounded in Theory of Mind. ECAI Shakil M. Khan, Maryam Rostamigiv
2023	—	`conf`	Towards model-driven generation of secure workflow designs using patterns (short paper). ER (Companion) Sotirios Liaskos, Ibrahim Jaouhar, Shakil M. Khan
2022	J	`jnl`	Behaviour Explanation via Causal Analysis of Mental States: A Preliminary Report. CoRR Shakil M. Khan
2022	A*	`conf`	From Actions to Programs as Abstract Actual Causes. AAAI Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski
2022	J	`jnl`	Modeling and reasoning about uncertainty in goal models: a decision-theoretic approach. Softw. Syst. Model. Sotirios Liaskos, Shakil M. Khan, John Mylopoulos
2022	—	`conf`	Towards Goal-based Generation of Reinforcement Learning Domain Simulations. iStar Sotirios Liaskos, Shakil M. Khan, Reza Golipour, John Mylopoulos
2021	A	`conf`	Empirically Evaluating the Semantic Qualities of Language Vocabularies. ER Sotirios Liaskos, John Mylopoulos, Shakil M. Khan
2021	A	`conf`	Knowing Why - On the Dynamics of Knowledge about Actual Causes in the Situation Calculus. AAMAS Shakil M. Khan, Yves Lespérance
2021	—	`conf`	When is a Program an Actual Cause? ICLP Workshops Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski
2020	A	`conf`	Necessary and Sufficient Conditions for Actual Root Causes. ECAI Shakil M. Khan, Mikhail Soutchanski
2019	—	`conf`	Towards A Logical Account of Epistemic Causality. CREST Shakil M. Khan, Mikhail Soutchanski
2019	—	`conf`	Towards Causal Analysis of Protocol Violations. Canadian AI Shakil M. Khan, Mikhail Soutchanski
2018	—	`—`	Rational Agents: Prioritized Goals, Goal Dynamics, and Agent Programming Languages with Declarative Goals Shakil M. Khan
2016	A*	`conf`	Infinite Paths in the Situation Calculus: Axiomatization and Properties. KR Shakil M. Khan, Yves Lespérance
2013	A	`conf`	Modeling and Reasoning with Decision-Theoretic Goals. ER Sotirios Liaskos, Shakil M. Khan, Mikhail Soutchanski, John Mylopoulos
2012	J	`jnl`	Behavioral adaptation of information systems through goal models. Inf. Syst. Sotirios Liaskos, Shakil M. Khan, Marin Litoiu, Marina Daoud Jungblut, Vyacheslav Rogozhkin, John Mylopoulos
2011	—	`conf`	Logical Foundations for a Rational BDI Agent Programming Language (Extended Version). ProMAS Shakil M. Khan, Yves Lespérance
2011	A	`conf`	SR-APL: a model for a programming language for rational BDI agents with prioritized goals. AAMAS Shakil M. Khan, Yves Lespérance
2010	A	`conf`	A logical framework for prioritized goal change. AAMAS Shakil M. Khan, Yves Lespérance
2010	A	`conf`	Rational agents: prioritized goals, goal dynamics, and agent programming languages with declarative goals. AAMAS Shakil M. Khan
2009	—	`conf`	Handling prioritized goals and subgoals in a logical account of goal change. AAMAS (2) Shakil M. Khan, Yves Lespérance
2009	—	`conf`	Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report. DALT Shakil M. Khan, Yves Lespérance
2006	J	`jnl`	Hierarchical grouping of association rules and its application to a real-world domain. Int. J. Syst. Sci. Aijun An, Shakil M. Khan, Xiangji Huang
2006	—	`conf`	On the Semantics of Conditional Commitment. AC Shakil M. Khan, Yves Lespérance
2006	A	`conf`	On the semantics of conditional commitment. AAMAS Shakil M. Khan, Yves Lespérance
2005	A	`conf`	ECASL: a model of rational agency for communicating agents. AAMAS Shakil M. Khan, Yves Lespérance
2005	J	`jnl`	Temporal Relevance in Dynamic Decision Networks with Sparse Evidence. Appl. Intell. Ahmed Y. Tawfik, Shakil M. Khan
2004	—	`conf`	A Model of Rational Agency for Communicating Agents. AC Shakil M. Khan, Yves Lespérance
2003	A*	`conf`	Objective and Subjective Algorithms for Grouping Association Rules. ICDM Aijun An, Shakil M. Khan, Xiangji Huang
2002	B	`conf`	Temporal relevance in dynamic decision networks with sparse evidence. SMC Ahmed Y. Tawfik, Shakil M. Khan