Sheila A. McIlraith

223 papers A* 78A 17B 6C 4Misc 6Journal 73Unranked 37

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Gauss-Newton Unlearning for the LLM Era. CoRR Lev McKinney, Anvith Thudi, Juhan Bae, Tara Rezaei, Nicolas Papernot, Sheila A. McIlraith, Roger B. Grosse
2026	A*	`conf`	Satisficing and Optimal Generalised Planning via Goal Regression. AAAI Dillon Z. Chen, Till Hofmann, Toryn Q. Klassen, Sheila A. McIlraith
2025	J	`jnl`	Better Training Data Attribution via Better Inverse Hessian-Vector Products. CoRR Andrew Wang, Elisa Nguyen, Runshi Yang, Juhan Bae, Sheila A. McIlraith, Roger B. Grosse
2025	J	`jnl`	Ground-Compose-Reinforce: Tasking Reinforcement Learning Agents through Formal Language. CoRR Andrew C. Li, Toryn Q. Klassen, Andrew Wang, Parand A. Alamdari, Sheila A. McIlraith
2025	J	`jnl`	Language Models For Generalised PDDL Planning: Synthesising Sound and Programmatic Policies. CoRR Dillon Z. Chen, Johannes Zenn, Tristan Cinquin, Sheila A. McIlraith
2025	J	`jnl`	Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers. CoRR Shalev Lifshitz, Sheila A. McIlraith, Yilun Du
2025	J	`jnl`	Optimal Decision Trees for Interpretable and Constrained Clustering. J. Artif. Intell. Res. Pouya Shati, Yuliang Song, Eldan Cohen, Sheila A. McIlraith
2025	A*	`conf`	Pushdown Reward Machines for Reinforcement Learning. KR Giovanni Varricchione, Toryn Q. Klassen, Natasha Alechina, Mehdi Dastani, Brian Logan, Sheila A. McIlraith
2025	J	`jnl`	Pushdown Reward Machines for Reinforcement Learning. CoRR Giovanni Varricchione, Toryn Q. Klassen, Natasha Alechina, Mehdi Dastani, Brian Logan, Sheila A. McIlraith
2025	J	`jnl`	Satisficing and Optimal Generalised Planning via Goal Regression (Extended Version). CoRR Dillon Z. Chen, Till Hofmann, Toryn Q. Klassen, Sheila A. McIlraith
2024	J	`jnl`	Being Considerate as a Pathway Towards Pluralistic Alignment for Agentic AI. CoRR Parand A. Alamdari, Toryn Q. Klassen, Rodrigo Toro Icarte, Sheila A. McIlraith
2024	—	`conf`	Do Embedded Ethics Modules Have Impact Beyond the Classroom? SIGCSE (1) Diane Horton, David Liu, Sheila A. McIlraith, Steven Coyne, Nina Wang
2024	B	`conf`	Neural Sequence Generation with Constraints via Beam Search with Cuts: A Case Study on VRP. SOCS Pouya Shati, Eldan Cohen, Sheila A. McIlraith
2024	J	`jnl`	Now, Later, and Lasting: 10 Priorities for AI Research, Policy, and Practice. Commun. ACM Eric Horvitz, Vincent Conitzer, Sheila A. McIlraith, Peter Stone
2024	J	`jnl`	Now, Later, and Lasting: Ten Priorities for AI Research, Policy, and Practice. CoRR Eric Horvitz, Vincent Conitzer, Sheila A. McIlraith, Peter Stone
2024	A*	`conf`	PRP Rebooted: Advancing the State of the Art in FOND Planning. AAAI Christian Muise, Sheila A. McIlraith, J. Christopher Beck
2024	J	`jnl`	Pluralistic Alignment Over Time. CoRR Toryn Q. Klassen, Parand A. Alamdari, Sheila A. McIlraith
2024	A*	`conf`	Remembering to Be Fair: Non-Markovian Fairness in Sequential Decision Making. ICML Parand A. Alamdari, Toryn Q. Klassen, Elliot Creager, Sheila A. McIlraith
2024	A*	`conf`	Reward Machines for Deep RL in Noisy and Uncertain Environments. NeurIPS Andrew C. Li, Zizhao Chen, Toryn Q. Klassen, Pashootan Vaezipoor, Rodrigo Toro Icarte, Sheila A. McIlraith
2024	J	`jnl`	Reward Machines for Deep RL in Noisy and Uncertain Environments. CoRR Andrew C. Li, Zizhao Chen, Toryn Q. Klassen, Pashootan Vaezipoor, Rodrigo Toro Icarte, Sheila A. McIlraith
2023	A	`conf`	Epistemic Side Effects: An AI Safety Problem. AAMAS Toryn Q. Klassen, Parand Alizadeh Alamdari, Sheila A. McIlraith
2023	—	`conf`	Is More Better When Embedding Ethics in CS Courses? SIGCSE (1) Diane Horton, David Liu, Sheila A. McIlraith, Nina Wang
2023	A*	`conf`	Learning Belief Representations for Partially Observable Deep RL. ICML Andrew Wang, Andrew C. Li, Toryn Q. Klassen, Rodrigo Toro Icarte, Sheila A. McIlraith
2023	J	`jnl`	Learning Symbolic Representations for Reinforcement Learning of Non-Markovian Behavior. CoRR Phillip J. K. Christoffersen, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith
2023	J	`jnl`	Learning reward machines: A study in partially observable reinforcement learning. Artif. Intell. Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Valenzano, Margarita P. Castro, Ethan Waldie, Sheila A. McIlraith
2023	J	`jnl`	Managing AI Risks in an Era of Rapid Progress. CoRR Yoshua Bengio, Geoffrey E. Hinton, Andrew Yao, Dawn Song, Pieter Abbeel, Yuval Noah Harari, Ya-Qin Zhang, Lan Xue, Shai Shalev-Shwartz, Gillian K. Hadfield, Jeff Clune, Tegan Maharaj, Frank Hutter, Atilim Günes Baydin, Sheila A. McIlraith, Qiqi Gao, Ashwin Acharya, David Krueger, Anca D. Dragan, Philip H. S. Torr, Stuart Russell, Daniel Kahneman, Jan Brauner, Sören Mindermann
2023	A*	`conf`	Optimal Decision Trees For Interpretable Clustering with Constraints. IJCAI Pouya Shati, Eldan Cohen, Sheila A. McIlraith
2023	J	`jnl`	Optimal Decision Trees For Interpretable Clustering with Constraints. CoRR Pouya Shati, Eldan Cohen, Sheila A. McIlraith
2023	J	`jnl`	PRP Rebooted: Advancing the State of the Art in FOND Planning. CoRR Christian Muise, Sheila A. McIlraith, J. Christopher Beck
2023	A*	`conf`	Planning with Epistemic Preferences. KR Toryn Q. Klassen, Christian Muise, Sheila A. McIlraith
2023	J	`jnl`	Remembering to Be Fair: On Non-Markovian Fairness in Sequential Decision Making (Preliminary Report). CoRR Parand Alizadeh Alamdari, Toryn Q. Klassen, Elliot Creager, Sheila A. McIlraith
2023	A	`conf`	SAT-Based Learning of Compact Binary Decision Diagrams for Classification. CP Pouya Shati, Eldan Cohen, Sheila A. McIlraith
2023	J	`jnl`	SAT-based optimal classification trees for non-binary data. Constraints An Int. J. Pouya Shati, Eldan Cohen, Sheila A. McIlraith
2023	A*	`conf`	STEVE-1: A Generative Model for Text-to-Behavior in Minecraft. NeurIPS Shalev Lifshitz, Keiran Paster, Harris Chan, Jimmy Ba, Sheila A. McIlraith
2023	J	`jnl`	STEVE-1: A Generative Model for Text-to-Behavior in Minecraft. CoRR Shalev Lifshitz, Keiran Paster, Harris Chan, Jimmy Ba, Sheila A. McIlraith
2022	A	`conf`	Be Considerate: Avoiding Negative Side Effects in Reinforcement Learning. AAMAS Parand Alizadeh Alamdari, Toryn Q. Klassen, Rodrigo Toro Icarte, Sheila A. McIlraith
2022	J	`jnl`	Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks. CoRR Andrew C. Li, Pashootan Vaezipoor, Rodrigo Toro Icarte, Sheila A. McIlraith
2022	J	`jnl`	Cognitive Robotics (Dagstuhl Seminar 22391). Dagstuhl Reports Fredrik Heintz, Gerhard Lakemeyer, Sheila A. McIlraith
2022	J	`jnl`	Efficient multi-agent epistemic planning: Teaching planners about nested belief. Artif. Intell. Christian Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg
2022	—	`conf`	Embedding Ethics in Computer Science Courses: Does it Work? SIGCSE (1) Diane Horton, Sheila A. McIlraith, Nina Wang, Maryam Majedi, Emma McClure, Benjamin Wald
2022	J	`jnl`	Knowledge-based programs as building blocks for planning. Artif. Intell. Jorge A. Baier, Sheila A. McIlraith
2022	A*	`conf`	Learning to Follow Instructions in Text-Based Games. NeurIPS Mathieu Tuli, Andrew C. Li, Pashootan Vaezipoor, Toryn Q. Klassen, Scott Sanner, Sheila A. McIlraith
2022	J	`jnl`	Learning to Follow Instructions in Text-Based Games. CoRR Mathieu Tuli, Andrew C. Li, Pashootan Vaezipoor, Toryn Q. Klassen, Scott Sanner, Sheila A. McIlraith
2022	J	`jnl`	Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines. CoRR Andrew C. Li, Zizhao Chen, Pashootan Vaezipoor, Toryn Q. Klassen, Rodrigo Toro Icarte, Sheila A. McIlraith
2022	A*	`conf`	Planning to Avoid Side Effects. AAAI Toryn Q. Klassen, Sheila A. McIlraith, Christian Muise, Jarvis Xu
2022	A	`conf`	Proactive Robotic Assistance via Theory of Mind. IROS Maayan Shvo, Ruthrash Hari, Ziggy O'Reilly, Sophia Abolore, Sze-Yuh Nina Wang, Sheila A. McIlraith
2022	A*	`conf`	Resolving Misconceptions about the Plans of Agents via Theory of Mind. ICAPS Maayan Shvo, Toryn Q. Klassen, Sheila A. McIlraith
2022	J	`jnl`	Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning. J. Artif. Intell. Res. Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith
2022	J	`jnl`	You Can't Count on Luck: Why Decision Transformers Fail in Stochastic Environments. CoRR Keiran Paster, Sheila A. McIlraith, Jimmy Ba
2022	A*	`conf`	You Can't Count on Luck: Why Decision Transformers and RvS Fail in Stochastic Environments. NeurIPS Keiran Paster, Sheila A. McIlraith, Jimmy Ba
2021	—	`conf`	AppBuddy: Learning to Accomplish Tasks in Mobile Apps via Reinforcement Learning. Canadian AI Maayan Shvo, Zhiming Hu, Rodrigo Toro Icarte, Iqbal Mohomed, Allan D. Jepson, Sheila A. McIlraith
2021	J	`jnl`	AppBuddy: Learning to Accomplish Tasks in Mobile Apps via Reinforcement Learning. CoRR Maayan Shvo, Zhiming Hu, Rodrigo Toro Icarte, Iqbal Mohomed, Allan D. Jepson, Sheila A. McIlraith
2021	J	`jnl`	Be Considerate: Objectives, Side Effects, and Deciding How to Act. CoRR Parand Alizadeh Alamdari, Toryn Q. Klassen, Rodrigo Toro Icarte, Sheila A. McIlraith
2021	J	`jnl`	Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief. CoRR Christian Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg
2021	A*	`conf`	Interpretable Sequence Classification via Discrete Optimization. AAAI Maayan Shvo, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith
2021	A*	`conf`	LTL2Action: Generalizing LTL Instructions for Multi-Task RL. ICML Pashootan Vaezipoor, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith
2021	J	`jnl`	LTL2Action: Generalizing LTL Instructions for Multi-Task RL. CoRR Pashootan Vaezipoor, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith
2021	J	`jnl`	Learning Reward Machines: A Study in Partially Observable Reinforcement Learning. CoRR Rodrigo Toro Icarte, Ethan Waldie, Toryn Q. Klassen, Richard Anthony Valenzano, Margarita P. Castro, Sheila A. McIlraith
2021	A*	`conf`	Planning from Pixels using Inverse Dynamics Models. ICLR Keiran Paster, Sheila A. McIlraith, Jimmy Ba
2021	A	`conf`	SAT-Based Approach for Learning Optimal Decision Trees with Non-Binary Features. CP Pouya Shati, Eldan Cohen, Sheila A. McIlraith
2021	A*	`conf`	Type-WA*: Using Exploration in Bounded Suboptimal Planning. IJCAI Eldan Cohen, Richard Anthony Valenzano, Sheila A. McIlraith
2020	A*	`conf`	Active Goal Recognition. AAAI Maayan Shvo, Sheila A. McIlraith
2020	A*	`conf`	Changing Beliefs about Domain Dynamics in the Situation Calculus. KR Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque
2020	A	`conf`	Epistemic Plan Recognition. AAMAS Maayan Shvo, Toryn Q. Klassen, Shirin Sohrabi, Sheila A. McIlraith
2020	J	`jnl`	Interpretable Sequence Classification via Discrete Optimization. CoRR Maayan Shvo, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith
2020	J	`jnl`	Planning from Pixels using Inverse Dynamics Models. CoRR Keiran Paster, Sheila A. McIlraith, Jimmy Ba
2020	J	`jnl`	Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning. CoRR Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith
2020	A*	`conf`	Symbolic Plans as High-Level Instructions for Reinforcement Learning. ICAPS León Illanes, Xi Yan, Rodrigo Toro Icarte, Sheila A. McIlraith
2020	J	`jnl`	The act of remembering: a study in partially observable reinforcement learning. CoRR Rodrigo Toro Icarte, Richard Anthony Valenzano, Toryn Q. Klassen, Phillip J. K. Christoffersen, Amir-massoud Farahmand, Sheila A. McIlraith
2020	—	`conf`	Towards the Role of Theory of Mind in Explanation. EXTRAAMAS@AAMAS Maayan Shvo, Toryn Q. Klassen, Sheila A. McIlraith
2020	J	`jnl`	Towards the Role of Theory of Mind in Explanation. CoRR Maayan Shvo, Toryn Q. Klassen, Sheila A. McIlraith
2019	A*	`conf`	Generalized Planning via Abstraction: Arbitrary Numbers of Objects. AAAI León Illanes, Sheila A. McIlraith
2019	A*	`conf`	LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning. IJCAI Alberto Camacho, Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith
2019	A*	`conf`	Learning Interpretable Models Expressed in Linear Temporal Logic. ICAPS Alberto Camacho, Sheila A. McIlraith
2019	A*	`conf`	Learning Reward Machines for Partially Observable Reinforcement Learning. NeurIPS Rodrigo Toro Icarte, Ethan Waldie, Toryn Q. Klassen, Richard Anthony Valenzano, Margarita P. Castro, Sheila A. McIlraith
2019	A*	`conf`	Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals. IJCAI Alberto Camacho, Sheila A. McIlraith
2019	J	`jnl`	Towards Empathetic Planning. CoRR Maayan Shvo, Sheila A. McIlraith
2019	J	`jnl`	Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications. CoRR Alberto Camacho, Sheila A. McIlraith
2019	A*	`conf`	Towards a Unified View of AI Planning and Reactive Synthesis. ICAPS Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith
2019	A	`conf`	Training Binarized Neural Networks Using MIP and CP. CP Rodrigo Toro Icarte, León Illanes, Margarita P. Castro, André A. Ciré, Sheila A. McIlraith, J. Christopher Beck
2018	J	`jnl`	A Recap of the AAAI and IAAI 2018 Conferences and the EAAI Symposium. AI Mag. Sheila A. McIlraith, Kilian Q. Weinberger, G. Michael Youngblood, Karen L. Myers, Eric Eaton, Michael Wollowski
2018	—	`conf`	Advice-Based Exploration in Model-Based Reinforcement Learning. Canadian AI Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith
2018	—	`conf`	An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem. Canadian AI Maayan Shvo, Shirin Sohrabi, Sheila A. McIlraith
2018	A*	`conf`	Finite LTL Synthesis as Planning. ICAPS Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith
2018	A*	`conf`	Finite LTL Synthesis with Environment Assumptions and Quality Measures. KR Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith
2018	J	`jnl`	Finite LTL Synthesis with Environment Assumptions and Quality Measures. CoRR Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith
2018	A*	`conf`	LTL Realizability via Safety and Reachability Games. IJCAI Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith
2018	A*	`ed.`	Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018 AAAI Sheila A. McIlraith, Kilian Q. Weinberger
2018	A*	`conf`	Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus. KR Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque
2018	A*	`conf`	SynKit: LTL Synthesis as a Service. IJCAI Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith
2018	—	`conf`	Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning. Canadian AI Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith
2018	A	`conf`	Teaching Multiple Tasks to an RL Agent using LTL. AAMAS Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith
2018	A*	`conf`	Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning. ICML Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith
2017	—	`conf`	An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem (Preliminary Report). AAAI Workshops Maayan Shvo, Shirin Sohrabi, Sheila A. McIlraith
2017	J	`jnl`	Epistemic Planning (Dagstuhl Seminar 17231). Dagstuhl Reports Chitta Baral, Thomas Bolander, Hans van Ditmarsch, Sheila A. McIlraith
2017	A*	`conf`	Logical Filtering and Smoothing: State Estimation in Partially Observable Domains. AAAI Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith
2017	A*	`conf`	Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces. AAAI Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith
2017	B	`conf`	Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping. SOCS Alberto Camacho, Oscar Chen, Scott Sanner, Sheila A. McIlraith
2017	A*	`conf`	Numeric Planning via Abstraction and Policy Guided Search. IJCAI Leon Illanes, Sheila A. McIlraith
2017	C	`conf`	Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk). TIME Sheila A. McIlraith
2017	—	`conf`	Towards Representing What Readers of Fiction Believe. COMMONSENSE Toryn Q. Klassen, Hector J. Levesque, Sheila A. McIlraith
2016	—	`conf`	Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing. KnowProS@IJCAI Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith
2016	A*	`conf`	From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends. ICAPS Alberto Camacho, Christian J. Muise, Sheila A. McIlraith
2016	—	`conf`	Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version). KnowProS@IJCAI Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith
2016	B	`conf`	Numeric Planning via Search Space Abstraction (Extended Abstract). SOCS Leon Illanes, Sheila A. McIlraith
2016	—	`conf`	Numeric Planning via Search Space Abstraction. KnowProS@IJCAI Leon Illanes, Sheila A. McIlraith
2016	J	`jnl`	Optimal Partial-Order Plan Relaxation via MaxSAT. J. Artif. Intell. Res. Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith
2016	Misc	`conf`	Planning the transformation of overlays. SAC Young Yoon, Nathan Robinson, Vinod Muthusamy, Sheila A. McIlraith, Hans-Arno Jacobsen
2016	—	`conf`	Strong-Cyclic Planning when Fairness is Not a Valid Assumption. KnowProS@IJCAI Alberto Camacho, Sheila A. McIlraith
2016	A*	`conf`	Using Metric Temporal Logic to Specify Scheduling Problems. KR Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith
2015	A*	`conf`	Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. AAAI Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg
2015	J	`jnl`	Reports of the AAAI 2014 Conference Workshops. AI Mag. Stefano V. Albrecht, André da Motta Salles Barreto, Darius Braziunas, David L. Buckeridge, Heriberto Cuayáhuitl, Nina Dethlefs, Markus Endres, Amir-massoud Farahmand, Mark Fox, Lutz Frommberger, Sam Ganzfried, Yolanda Gil, Sébastien Guillet, Lawrence E. Hunter, Arnav Jhala, Kristian Kersting, George Dimitri Konidaris, Freddy Lécué, Sheila A. McIlraith, Sriraam Natarajan, Zeinab Noorian, David Poole, Rémi Ronfard, Alessandro Saffiotti, Arash Shaban-Nejad, Biplav Srivastava, Gerald Tesauro, Rosario Uceda-Sosa, Guy Van den Broeck, Martijn van Otterlo, Byron C. Wallace, Paul Weng, Jenna Wiens, Jie Zhang
2015	—	`conf`	Towards Ontologies in Variation. AAAI Spring Symposia Torsten Hahmann, Sheila A. McIlraith
2015	A	`conf`	Towards Planning the Transformation of Overlays. ICDCS Young Yoon, Nathan Robinson, Vinod Muthusamy, Sheila A. McIlraith, Hans-Arno Jacobsen
2015	—	`conf`	Towards Tractable Inference for Resource-Bounded Agents. AAAI Spring Symposia Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque
2014	A*	`conf`	Computing Contingent Plans via Fully Observable Non-Deterministic Planning. AAAI Christian J. Muise, Vaishak Belle, Sheila A. McIlraith
2014	A*	`conf`	Cost-Based Query Optimization via AI Planning. AAAI Nathan Robinson, Sheila A. McIlraith, David Toman
2014	A*	`conf`	Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals. KR Jorge A. Baier, Brent Mombourquette, Sheila A. McIlraith
2014	J	`jnl`	Generating effective tests for concurrent programs via AI automated planning techniques. Int. J. Softw. Tools Technol. Transf. Niloofar Razavi, Azadeh Farzan, Sheila A. McIlraith
2014	A*	`conf`	Invited Talks. KR Franz Baader, Anthony G. Cohn, Georg Gottlob, Sheila A. McIlraith
2014	A*	`conf`	Non-Deterministic Planning With Conditional Effects. ICAPS Christian J. Muise, Sheila A. McIlraith, Vaishak Belle
2013	A*	`conf`	Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge. AAAI Sammy Davis-Mendelow, Jorge A. Baier, Sheila A. McIlraith
2013	A*	`conf`	Flexible Execution of Partial Order Plans With Temporal Constraints. IJCAI Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith
2013	J	`jnl`	Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net CoRR Uri Lerner, Brooks Moses, Maricia Scott, Sheila A. McIlraith, Daphne Koller
2013	—	`conf`	SPARQL with Qualitative and Quantitative Preferences. OrdRing@ISWC Marina Gueroussova, Axel Polleres, Sheila A. McIlraith
2012	—	`conf`	Dsharp: Fast d-DNNF Compilation with sharpSAT. Canadian AI Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu
2012	J	`jnl`	Generating Optimal Plans in Highly-Dynamic Domains CoRR Christian Fritz, Sheila A. McIlraith
2012	A*	`conf`	Improved Non-Deterministic Planning by Exploiting State Relevance. ICAPS Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck
2012	A*	`conf`	Optimally Relaxing Partial-Order Plans with MaxSAT. ICAPS Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck
2012	—	`conf`	Preference-Based Planning via MaxSAT. Canadian AI Farah Juma, Eric I. Hsu, Sheila A. McIlraith
2012	A*	`ed.`	Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 KR Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith
2011	J	`jnl`	John McCarthy's legacy. Artif. Intell. Leora Morgenstern, Sheila A. McIlraith
2011	A*	`conf`	Monitoring the Execution of Partial-Order Plans via Regression. IJCAI Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck
2011	—	`conf`	NSERC business intelligence network: selected topics. CASCON Renée J. Miller, Frank Wm. Tompa, Sheila A. McIlraith, Jacob Slonim, Eric S. K. Yu
2011	A*	`conf`	Preferred Explanations: Theory and Generation via Planning. AAAI Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith
2011	J	`jnl`	Representing and reasoning about preferences in requirements engineering. Requir. Eng. Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos
2011	J	`jnl`	Specifying and computing preferred plans. Artif. Intell. Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith
2010	C	`conf`	A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base. FOIS Vinay K. Chaudhri, Bert Bredeweg, Richard Fikes, Sheila A. McIlraith, Michael P. Wellman
2010	B	`conf`	Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search. SOCS Eric I. Hsu, Sheila A. McIlraith
2010	A*	`conf`	Diagnosis as Planning Revisited. KR Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith
2010	—	`conf`	Fast d-DNNF Compilation with sharpSAT. Abstraction, Reformulation, and Approximation Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu
2010	A	`conf`	Integrating Preferences into Goal Models for Requirements Engineering. RE Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos
2010	—	`conf`	Preference-Based Web Service Composition: A Middle Ground between Execution and Search. ISWC (1) Shirin Sohrabi, Sheila A. McIlraith
2009	J	`jnl`	A heuristic search approach to planning with temporally extended preferences. Artif. Intell. Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith
2009	A*	`conf`	Computing Robust Plans in Continuous Domains. ICAPS Christian Fritz, Sheila A. McIlraith
2009	A*	`conf`	Exploiting N-Gram Analysis to Predict Operator Sequences. ICAPS Christian J. Muise, Sheila A. McIlraith, Jorge A. Baier, Michael Reimer
2009	A	`conf`	Generating Optimal Plans in Highly-Dynamic Domains. UAI Christian Fritz, Sheila A. McIlraith
2009	A*	`conf`	HTN Planning with Preferences. IJCAI Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith
2009	J	`jnl`	Monitoring and diagnosing software requirements. Autom. Softw. Eng. Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos
2009	J	`jnl`	On Planning with Preferences in HTN CoRR Shirin Sohrabi, Sheila A. McIlraith
2009	Misc	`conf`	Optimizing Web Service Composition While Enforcing Regulations. ISWC Shirin Sohrabi, Sheila A. McIlraith
2009	A*	`conf`	Towards Augmenting Requirements Models with Preferences. ASE Sotirios Liaskos, Sheila A. McIlraith, John Mylopoulos
2009	A	`conf`	VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search. SAT Eric I. Hsu, Sheila A. McIlraith
2009	—	`conf`	Web Service Composition via the Customization of Golog Programs with User Preferences. Conceptual Modeling: Foundations and Applications Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McIlraith
2008	J	`jnl`	A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services. IEEE Data Eng. Bull. Michael Grüninger, Richard Hull, Sheila A. McIlraith
2008	A*	`conf`	Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. AAAI Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith
2008	A*	`conf`	ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. KR Christian Fritz, Jorge A. Baier, Sheila A. McIlraith
2008	A*	`conf`	Peer-to-Peer Query Answering with Inconsistent Knowledge. KR Arnold Binas, Sheila A. McIlraith
2008	J	`jnl`	Planning with Preferences. AI Mag. Jorge A. Baier, Sheila A. McIlraith
2008	A	`conf`	Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. CP Eric I. Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith
2007	A*	`conf`	A Heuristic Search Approach to Planning with Temporally Extended Preferences. IJCAI Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith
2007	A*	`conf`	An automated approach to monitoring and diagnosing requirements. ASE Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos
2007	J	`jnl`	Bringing Semantics to Web Services with OWL-S. World Wide Web David L. Martin, Mark H. Burstein, Drew V. McDermott, Sheila A. McIlraith, Massimo Paolucci, Katia P. Sycara, Deborah L. McGuinness, Evren Sirin, Naveen Srinivasan
2007	A*	`conf`	Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners. ICAPS Jorge A. Baier, Christian Fritz, Sheila A. McIlraith
2007	A*	`conf`	Monitoring Plan Optimality During Execution. ICAPS Christian Fritz, Sheila A. McIlraith
2007	—	`conf`	On Domain-Independent Heuristics for Planning with Qualitative Preferences. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Jorge A. Baier, Sheila A. McIlraith
2007	J	`jnl`	Preface. J. Log. Comput. Sheila A. McIlraith, Pavlos Peppas, Michael Thielscher
2007	A*	`conf`	Using Expectation Maximization to Find Likely Assignments for Solving CSP's. AAAI Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. McIlraith
2006	A*	`conf`	An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic. KR Scott Sanner, Sheila A. McIlraith
2006	A	`conf`	Characterizing Propagation Methods for Boolean Satisfiability. SAT Eric I. Hsu, Sheila A. McIlraith
2006	A*	`conf`	Decision-Theoretic GOLOG with Qualitative Preferences. KR Christian Fritz, Sheila A. McIlraith
2006	J	`jnl`	Domain-dependent knowledge in answer set planning. ACM Trans. Comput. Log. Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith
2006	—	`conf`	Experimental Results on the Satisfiable Core in Random 3SAT. AI&M Honglei Zeng, Sheila A. McIlraith
2006	A*	`conf`	On Planning with Programs that Sense. KR Jorge A. Baier, Sheila A. McIlraith
2006	A*	`conf`	Planning with First-Order Temporally Extended Goals using Heuristic Search. AAAI Jorge A. Baier, Sheila A. McIlraith
2006	A*	`conf`	Planning with Qualitative Temporal Preferences. KR Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith
2006	A*	`conf`	Planning with Temporally Extended Goals Using Heuristic Search. ICAPS Jorge A. Baier, Sheila A. McIlraith
2006	Misc	`conf`	Web Service Composition Via Generic Procedures and Customizing User Preferences. ISWC Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McIlraith
2005	A	`conf`	Mechanism Design for Preference Aggregation over Coalitions. CP Eric I. Hsu, Sheila A. McIlraith
2005	J	`jnl`	Partition-based logical reasoning for first-order and propositional theories. Artif. Intell. Eyal Amir, Sheila A. McIlraith
2005	J	`jnl`	Preface. J. Web Semant. Sheila A. McIlraith, Dimitris Plexousakis
2005	A	`conf`	The Role of Redundant Clauses in Solving Satisfiability Problems. CP Honglei Zeng, Sheila A. McIlraith
2005	J	`jnl`	Towards a practical theory of reformulation for reasoning about physical systems. Artif. Intell. Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlraith
2004	—	`conf`	Bringing Semantics to Web Services: The OWL-S Approach. SWSWPC David L. Martin, Massimo Paolucci, Sheila A. McIlraith, Mark H. Burstein, Drew V. McDermott, Deborah L. McGuinness, Bijan Parsia, Terry R. Payne, Marta Sabou, Monika Solanki, Naveen Srinivasan, Katia P. Sycara
2004	C	`conf`	Invited talk: towards declarative programming for web services. PEPM Sheila A. McIlraith
2004	C	`conf`	Invited talk: towards declarative programming for web services. PPDP Sheila A. McIlraith
2004	Misc	`ed.`	The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings ISWC Sheila A. McIlraith, Dimitris Plexousakis, Frank van Harmelen
2004	B	`conf`	Towards Declarative Programming for Web Services. SAS Sheila A. McIlraith
2003	Misc	`conf`	Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation. ISWC Daniel J. Mandell, Sheila A. McIlraith
2003	J	`jnl`	Analysis and simulation of Web services. Comput. Networks Srini Narayanan, Sheila A. McIlraith
2003	—	`conf`	Automating Web Service Discovery, Customization, and Semantic Translation with a Semantic Discovery Service. WWW (Posters) Daniel J. Mandell, Sheila A. McIlraith
2003	J	`jnl`	Bringing Semantics to Web Services. IEEE Intell. Syst. Sheila A. McIlraith, David L. Martin
2003	A*	`conf`	Practical Partition-Based Theorem Proving for Large Knowledge Bases. IJCAI Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe
2002	J	`jnl`	AAAI 2002 Workshops. AI Mag. M. Brian Blake, Karen Zita Haigh, Henry Hexmoor, Rino Falcone, Leen-Kiat Soh, Chitta Baral, Sheila A. McIlraith, Piotr J. Gmytrasiewicz, Simon Parsons, Rainer Malaka, Antonio Krüger, Paolo Bouquet, Bill Smart, Koichi Kurumantani, Adam Pease, Michael Brenner, Marie desJardins, Ulrich Junker, James P. Delgrande, Jon Doyle, Francesca Rossi, Torsten Schaub, Carla P. Gomes, Toby Walsh, Haipeng Guo, Eric Horvitz, Nancy Ide, Christopher A. Welty, Frank D. Anger, Hans W. Guesgen, Gérard Ligozat
2002	A*	`conf`	Adapting Golog for Composition of Semantic Web Services. KR Sheila A. McIlraith, Tran Cao Son
2002	Misc	`conf`	DAML-S: Web Service Description for the Semantic Web. ISWC Mark H. Burstein, Jerry R. Hobbs, Ora Lassila, David L. Martin, Drew V. McDermott, Sheila A. McIlraith, Srini Narayanan, Massimo Paolucci, Terry R. Payne, Katia P. Sycara
2002	J	`jnl`	Domain-Dependent Knowledge in Answer Set Planning CoRR Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith
2002	A	`conf`	Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net. UAI Uri Lerner, Brooks Moses, Maricia Scott, Sheila A. McIlraith, Daphne Koller
2002	—	`conf`	Planning with complex actions. NMR Sheila A. McIlraith, Ronald Fadel
2002	A*	`conf`	Simulation, verification and automated composition of web services. WWW Srini Narayanan, Sheila A. McIlraith
2002	J	`jnl`	Toward Behavioral Intelligence in the Semantic Web. Computer Joanna Bryson, David L. Martin, Sheila A. McIlraith, Lynn Andrea Stein
2002	—	`ed.`	Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, May 27-28, 2002, Revised Papers WES Christoph Bussler, Richard Hull, Sheila A. McIlraith, Maria E. Orlowska, Barbara Pernici, Jian Yang
2001	—	`conf`	DAML-S: Semantic Markup for Web Services. SWWS Anupriya Ankolekar, Mark H. Burstein, Jerry R. Hobbs, Ora Lassila, David L. Martin, Sheila A. McIlraith, Srini Narayanan, Massimo Paolucci, Terry R. Payne, Katia P. Sycara, Honglei Zeng
2001	—	`conf`	DAML-S: Semantic Markup for Web Services. The Emerging Semantic Web Anupriya Ankolekar, Mark H. Burstein, Jerry R. Hobbs, Ora Lassila, David L. Martin, Sheila A. McIlraith, Srini Narayanan, Massimo Paolucci, Terry R. Payne, Katia P. Sycara, Honglei Zeng
2001	—	`conf`	Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs. Answer Set Programming Tran Cao Son, Chitta Baral, Sheila A. McIlraith
2001	—	`conf`	Mobilizing the Semantic Web with DAML-enabled Web Services. SemWeb Sheila A. McIlraith, Tran Cao Son, Honglei Zeng
2001	B	`conf`	Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. LPNMR Tran Cao Son, Chitta Baral, Sheila A. McIlraith
2001	J	`jnl`	Semantic Web Services. IEEE Intell. Syst. Sheila A. McIlraith, Tran Cao Son, Honglei Zeng
2001	A*	`conf`	Theorem Proving with Structured Theories. IJCAI Sheila A. McIlraith, Eyal Amir
2000	A*	`conf`	Formulating diagnostic problem solving using an action language with narratives and sensing. KR Chitta Baral, Sheila A. McIlraith, Tran Cao Son
2000	—	`conf`	Hybrid Systems Diagnosis. HSCC Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta
2000	—	`conf`	Improving the Efficiency of Reasoning Through Structure-Based Reformulation. SARA Eyal Amir, Sheila A. McIlraith
2000	J	`jnl`	Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes). Artif. Intell. Sheila A. McIlraith
2000	—	`conf`	Modeling and Programming Devices and Web Agents. FAABS Sheila A. McIlraith
2000	A*	`conf`	Partition-Based Logical Reasoning. KR Eyal Amir, Sheila A. McIlraith
2000	J	`jnl`	Reports on the AAAI Spring Symposia (March 1999). AI Mag. David J. Musliner, Barney Pell, Wolff Dobson, Kai Goebel, Gautam Biswas, Sheila A. McIlraith, Giuseppina C. Gini, Sven Koenig, Shlomo Zilberstein, Weixiong Zhang
2000	—	`conf`	What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems. AAAI/IAAI Sheila A. McIlraith, Richard B. Scherl
1998	A*	`conf`	Explanatory Diagnosis: Conjecturing Actions to Explain Observations. KR Sheila A. McIlraith
1997	—	`conf`	Representing Actions and State Constraints in Model-Based Diagnosis. AAAI/IAAI Sheila A. McIlraith
1997	—	`—`	Towards a formal account of diagnostic problem solving. Sheila A. McIlraith
1994	J	`jnl`	Further Contributions to Characterizing Diagnosis. Ann. Math. Artif. Intell. Sheila A. McIlraith
1994	A*	`conf`	Generating Tests Using Abduction. KR Sheila A. McIlraith
1989	J	`jnl`	Qualitative data modeling: application of a mechanism for interpreting graphical data. Comput. Intell. Sheila A. McIlraith