| 2026 | AAAI | Satisficing and Optimal Generalised Planning via Goal Regression. | Dillon Z. Chen, Till Hofmann, Toryn Q. Klassen, Sheila A. McIlraith |
| 2025 | KR | Pushdown Reward Machines for Reinforcement Learning. | Giovanni Varricchione, Toryn Q. Klassen, Natasha Alechina, Mehdi Dastani, Brian Logan, Sheila A. McIlraith |
| 2024 | AAAI | PRP Rebooted: Advancing the State of the Art in FOND Planning. | Christian Muise, Sheila A. McIlraith, J. Christopher Beck |
| 2024 | ICML | Remembering to Be Fair: Non-Markovian Fairness in Sequential Decision Making. | Parand A. Alamdari, Toryn Q. Klassen, Elliot Creager, Sheila A. McIlraith |
| 2024 | SIGCSE | Do Embedded Ethics Modules Have Impact Beyond the Classroom? | Diane Horton, David Liu, Sheila A. McIlraith, Steven Coyne, Nina Wang |
| 2024 | SoCS | Neural Sequence Generation with Constraints via Beam Search with Cuts: A Case Study on VRP. | Pouya Shati, Eldan Cohen, Sheila A. McIlraith |
| 2023 | CP | SAT-Based Learning of Compact Binary Decision Diagrams for Classification. | Pouya Shati, Eldan Cohen, Sheila A. McIlraith |
| 2023 | ICML | Learning Belief Representations for Partially Observable Deep RL. | Andrew Wang, Andrew C. Li, Toryn Q. Klassen, Rodrigo Toro Icarte, Sheila A. McIlraith |
| 2023 | IJCAI | Optimal Decision Trees For Interpretable Clustering with Constraints. | Pouya Shati, Eldan Cohen, Sheila A. McIlraith |
| 2023 | KR | Planning with Epistemic Preferences. | Toryn Q. Klassen, Christian Muise, Sheila A. McIlraith |
| 2023 | SIGCSE | Is More Better When Embedding Ethics in CS Courses? | Diane Horton, David Liu, Sheila A. McIlraith, Nina Wang |
| 2022 | AAAI | Planning to Avoid Side Effects. | Toryn Q. Klassen, Sheila A. McIlraith, Christian Muise, Jarvis Xu |
| 2022 | IROS | Proactive Robotic Assistance via Theory of Mind. | Maayan Shvo, Ruthrash Hari, Ziggy O'Reilly, Sophia Abolore, Sze-Yuh Nina Wang, Sheila A. McIlraith |
| 2022 | SIGCSE | Embedding Ethics in Computer Science Courses: Does it Work? | Diane Horton, Sheila A. McIlraith, Nina Wang, Maryam Majedi, Emma McClure, Benjamin Wald |
| 2021 | AAAI | Interpretable Sequence Classification via Discrete Optimization. | Maayan Shvo, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith |
| 2021 | AI | AppBuddy: Learning to Accomplish Tasks in Mobile Apps via Reinforcement Learning. | Maayan Shvo, Zhiming Hu, Rodrigo Toro Icarte, Iqbal Mohomed, Allan D. Jepson, Sheila A. McIlraith |
| 2021 | CP | SAT-Based Approach for Learning Optimal Decision Trees with Non-Binary Features. | Pouya Shati, Eldan Cohen, Sheila A. McIlraith |
| 2021 | ICLR | Planning from Pixels using Inverse Dynamics Models. | Keiran Paster, Sheila A. McIlraith, Jimmy Ba |
| 2021 | ICML | LTL2Action: Generalizing LTL Instructions for Multi-Task RL. | Pashootan Vaezipoor, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith |
| 2021 | IJCAI | Type-WA*: Using Exploration in Bounded Suboptimal Planning. | Eldan Cohen, Richard Anthony Valenzano, Sheila A. McIlraith |
| 2020 | AAAI | Active Goal Recognition. | Maayan Shvo, Sheila A. McIlraith |
| 2020 | KR | Changing Beliefs about Domain Dynamics in the Situation Calculus. | Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque |
| 2019 | AAAI | Generalized Planning via Abstraction: Arbitrary Numbers of Objects. | Len Illanes, Sheila A. McIlraith |
| 2019 | CP | Training Binarized Neural Networks Using MIP and CP. | Rodrigo Toro Icarte, Len Illanes, Margarita P. Castro, Andr A. Cir, Sheila A. McIlraith, J. Christopher Beck |
| 2019 | IJCAI | LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning. | Alberto Camacho, Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith |
| 2019 | IJCAI | Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals. | Alberto Camacho, Sheila A. McIlraith |
| 2018 | AI | Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning. | Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith |
| 2018 | AI | Advice-Based Exploration in Model-Based Reinforcement Learning. | Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith |
| 2018 | AI | An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem. | Maayan Shvo, Shirin Sohrabi, Sheila A. McIlraith |
| 2018 | ICML | Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning. | Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith |
| 2018 | IJCAI | LTL Realizability via Safety and Reachability Games. | Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith |
| 2018 | IJCAI | SynKit: LTL Synthesis as a Service. | Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith |
| 2018 | KR | Finite LTL Synthesis with Environment Assumptions and Quality Measures. | Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith |
| 2018 | KR | Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus. | Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque |
| 2017 | AAAI | Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces. | Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith |
| 2017 | AAAI | Logical Filtering and Smoothing: State Estimation in Partially Observable Domains. | Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith |
| 2017 | AAAI | An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem (Preliminary Report). | Maayan Shvo, Shirin Sohrabi, Sheila A. McIlraith |
| 2017 | IJCAI | Numeric Planning via Abstraction and Policy Guided Search. | Leon Illanes, Sheila A. McIlraith |
| 2017 | SoCS | Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping. | Alberto Camacho, Oscar Chen, Scott Sanner, Sheila A. McIlraith |
| 2017 | TIME | Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk). | Sheila A. McIlraith |
| 2016 | IJCAI | Strong-Cyclic Planning when Fairness is Not a Valid Assumption. | Alberto Camacho, Sheila A. McIlraith |
| 2016 | IJCAI | Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version). | Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith |
| 2016 | IJCAI | Numeric Planning via Search Space Abstraction. | Leon Illanes, Sheila A. McIlraith |
| 2016 | IJCAI | Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing. | Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith |
| 2016 | KR | Using Metric Temporal Logic to Specify Scheduling Problems. | Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith |
| 2016 | SAC | Planning the transformation of overlays. | Young Yoon, Nathan Robinson, Vinod Muthusamy, Sheila A. McIlraith, Hans-Arno Jacobsen |
| 2016 | SoCS | Numeric Planning via Search Space Abstraction (Extended Abstract). | Leon Illanes, Sheila A. McIlraith |
| 2015 | AAAI | Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. | Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg |
| 2015 | ICDCS | Towards Planning the Transformation of Overlays. | Young Yoon, Nathan Robinson, Vinod Muthusamy, Sheila A. McIlraith, Hans-Arno Jacobsen |
| 2014 | AAAI | Computing Contingent Plans via Fully Observable Non-Deterministic Planning. | Christian J. Muise, Vaishak Belle, Sheila A. McIlraith |
| 2014 | AAAI | Cost-Based Query Optimization via AI Planning. | Nathan Robinson, Sheila A. McIlraith, David Toman |
| 2014 | KR | Invited Talks. | Franz Baader, Anthony G. Cohn, Georg Gottlob, Sheila A. McIlraith |
| 2014 | KR | Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals. | Jorge A. Baier, Brent Mombourquette, Sheila A. McIlraith |
| 2013 | AAAI | Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge. | Sammy Davis-Mendelow, Jorge A. Baier, Sheila A. McIlraith |
| 2013 | IJCAI | Flexible Execution of Partial Order Plans With Temporal Constraints. | Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith |
| 2012 | AI | Preference-Based Planning via MaxSAT. | Farah Juma, Eric I. Hsu, Sheila A. McIlraith |
| 2012 | AI | Dsharp: Fast d-DNNF Compilation with sharpSAT. | Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu |
| 2011 | AAAI | Preferred Explanations: Theory and Generation via Planning. | Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith |
| 2011 | IJCAI | Monitoring the Execution of Partial-Order Plans via Regression. | Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck |
| 2010 | AAAI | Fast d-DNNF Compilation with sharpSAT. | Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu |
| 2010 | FOIS | A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base. | Vinay K. Chaudhri, Bert Bredeweg, Richard Fikes, Sheila A. McIlraith, Michael P. Wellman |
| 2010 | KR | Diagnosis as Planning Revisited. | Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith |
| 2010 | RE | Integrating Preferences into Goal Models for Requirements Engineering. | Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos |
| 2010 | SoCS | Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search. | Eric I. Hsu, Sheila A. McIlraith |
| 2009 | IJCAI | HTN Planning with Preferences. | Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith |
| 2009 | UAI | Generating Optimal Plans in Highly-Dynamic Domains. | Christian Fritz, Sheila A. McIlraith |
| 2009 | SAT | VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search. | Eric I. Hsu, Sheila A. McIlraith |
| 2008 | AAAI | Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. | Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith |
| 2008 | CP | Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. | Eric I. Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith |
| 2008 | KR | Peer-to-Peer Query Answering with Inconsistent Knowledge. | Arnold Binas, Sheila A. McIlraith |
| 2008 | KR | ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. | Christian Fritz, Jorge A. Baier, Sheila A. McIlraith |
| 2007 | AAAI | Using Expectation Maximization to Find Likely Assignments for Solving CSP's. | Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. McIlraith |
| 2007 | IJCAI | A Heuristic Search Approach to Planning with Temporally Extended Preferences. | Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith |
| 2006 | AAAI | Planning with First-Order Temporally Extended Goals using Heuristic Search. | Jorge A. Baier, Sheila A. McIlraith |
| 2006 | ISAIM | Experimental Results on the Satisfiable Core in Random 3SAT. | Honglei Zeng, Sheila A. McIlraith |
| 2006 | KR | On Planning with Programs that Sense. | Jorge A. Baier, Sheila A. McIlraith |
| 2006 | KR | Planning with Qualitative Temporal Preferences. | Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith |
| 2006 | KR | Decision-Theoretic GOLOG with Qualitative Preferences. | Christian Fritz, Sheila A. McIlraith |
| 2006 | KR | An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic. | Scott Sanner, Sheila A. McIlraith |
| 2006 | SAT | Characterizing Propagation Methods for Boolean Satisfiability. | Eric I. Hsu, Sheila A. McIlraith |
| 2005 | CP | Mechanism Design for Preference Aggregation over Coalitions. | Eric I. Hsu, Sheila A. McIlraith |
| 2005 | CP | The Role of Redundant Clauses in Solving Satisfiability Problems. | Honglei Zeng, Sheila A. McIlraith |
| 2004 | PEPM | Invited talk: towards declarative programming for web services. | Sheila A. McIlraith |
| 2004 | PPDP | Invited talk: towards declarative programming for web services. | Sheila A. McIlraith |
| 2004 | SAS | Towards Declarative Programming for Web Services. | Sheila A. McIlraith |
| 2003 | IJCAI | Practical Partition-Based Theorem Proving for Large Knowledge Bases. | Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Toms E. Uribe |
| 2003 | WWW | Automating Web Service Discovery, Customization, and Semantic Translation with a Semantic Discovery Service. | Daniel J. Mandell, Sheila A. McIlraith |
| 2002 | KR | Adapting Golog for Composition of Semantic Web Services. | Sheila A. McIlraith, Tran Cao Son |
| 2002 | WWW | Simulation, verification and automated composition of web services. | Srini Narayanan, Sheila A. McIlraith |
| 2002 | UAI | Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net. | Uri Lerner, Brooks Moses, Maricia Scott, Sheila A. McIlraith, Daphne Koller |
| 2001 | IJCAI | Theorem Proving with Structured Theories. | Sheila A. McIlraith, Eyal Amir |
| 2001 | LPNMR | Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. | Tran Cao Son, Chitta Baral, Sheila A. McIlraith |
| 2000 | AAAI | What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems. | Sheila A. McIlraith, Richard B. Scherl |
| 2000 | KR | Partition-Based Logical Reasoning. | Eyal Amir, Sheila A. McIlraith |
| 2000 | KR | Formulating diagnostic problem solving using an action language with narratives and sensing. | Chitta Baral, Sheila A. McIlraith, Tran Cao Son |
| 1998 | KR | Explanatory Diagnosis: Conjecturing Actions to Explain Observations. | Sheila A. McIlraith |
| 1997 | AAAI | Representing Actions and State Constraints in Model-Based Diagnosis. | Sheila A. McIlraith |
| 1994 | KR | Generating Tests Using Abduction. | Sheila A. McIlraith |