Qualitative data modeling: application of a mechanism for interpreting graphical data. - Sheila A. McIlraith (Comput. Intell., 1989)

Generating Tests Using Abduction. - Sheila A. McIlraith (KR, 1994)

Further Contributions to Characterizing Diagnosis. - Sheila A. McIlraith (Ann. Math. Artif. Intell., 1994)

Representing Actions and State Constraints in Model-Based Diagnosis. - Sheila A. McIlraith (AAAI/IAAI, 1997)

Towards a formal account of diagnostic problem solving. - Sheila A. McIlraith (1997)

Explanatory Diagnosis: Conjecturing Actions to Explain Observations. - Sheila A. McIlraith (KR, 1998)

What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems. - Sheila A. McIlraith; Richard B. Scherl (AAAI/IAAI, 2000)

Modeling and Programming Devices and Web Agents. - Sheila A. McIlraith (FAABS, 2000)

Hybrid Systems Diagnosis. - Sheila A. McIlraith; Gautam Biswas; Dan Clancy; Vineet Gupta 001 (HSCC, 2000)

Partition-Based Logical Reasoning. - Eyal Amir; Sheila A. McIlraith (KR, 2000)

Formulating diagnostic problem solving using an action language with narratives and sensing. - Chitta Baral; Sheila A. McIlraith; Tran Cao Son (KR, 2000)

Improving the Efficiency of Reasoning Through Structure-Based Reformulation. - Eyal Amir; Sheila A. McIlraith (SARA, 2000)

Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes). - Sheila A. McIlraith (Artif. Intell., 2000)

Reports on the AAAI Spring Symposia (March 1999). - David J. Musliner; Barney Pell; Wolff Dobson; Kai Goebel; Gautam Biswas; Sheila A. McIlraith; Giuseppina C. Gini; Sven Koenig; Shlomo Zilberstein; Weixiong Zhang (AI Mag., 2000)

Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs. - Tran Cao Son; Chitta Baral; Sheila A. McIlraith (Answer Set Programming, 2001)

Theorem Proving with Structured Theories. - Sheila A. McIlraith; Eyal Amir (IJCAI, 2001)

Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. - Tran Cao Son; Chitta Baral; Sheila A. McIlraith (LPNMR, 2001)

DAML-S: Semantic Markup for Web Services. - Anupriya Ankolekar; Mark H. Burstein; Jerry R. Hobbs; Ora Lassila; David L. Martin 001; Sheila A. McIlraith; Srini Narayanan; Massimo Paolucci 001; Terry R. Payne; Katia P. Sycara; Honglei Zeng (SWWS, 2001)

Mobilizing the Semantic Web with DAML-enabled Web Services. - Sheila A. McIlraith; Tran Cao Son; Honglei Zeng (SemWeb, 2001)

Semantic Web Services. - Sheila A. McIlraith; Tran Cao Son; Honglei Zeng (IEEE Intell. Syst., 2001)

Adapting Golog for Composition of Semantic Web Services. - Sheila A. McIlraith; Tran Cao Son (KR, 2002)

Planning with complex actions. - Sheila A. McIlraith; Ronald Fadel (NMR, 2002)

DAML-S: Web Service Description for the Semantic Web. - Mark H. Burstein; Jerry R. Hobbs; Ora Lassila; David L. Martin 001; Drew V. McDermott; Sheila A. McIlraith; Srini Narayanan; Massimo Paolucci 001; Terry R. Payne; Katia P. Sycara (ISWC, 2002)

Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net. - Uri Lerner; Brooks Moses; Maricia Scott; Sheila A. McIlraith; Daphne Koller (UAI, 2002)

Simulation, verification and automated composition of web services. - Srini Narayanan; Sheila A. McIlraith (WWW, 2002)

AAAI 2002 Workshops. - 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; et al. (AI Mag., 2002)

Toward Behavioral Intelligence in the Semantic Web. - Joanna Bryson; David L. Martin 001; Sheila A. McIlraith; Lynn Andrea Stein (Computer, 2002)

Practical Partition-Based Theorem Proving for Large Knowledge Bases. - Bill MacCartney; Sheila A. McIlraith; Eyal Amir; Tomás E. Uribe (IJCAI, 2003)

Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation. - Daniel J. Mandell; Sheila A. McIlraith (ISWC, 2003)

Automating Web Service Discovery, Customization, and Semantic Translation with a Semantic Discovery Service. - Daniel J. Mandell; Sheila A. McIlraith (WWW (Posters), 2003)

Analysis and simulation of Web services. - Srini Narayanan; Sheila A. McIlraith (Comput. Networks, 2003)

Bringing Semantics to Web Services. - Sheila A. McIlraith; David L. Martin 001 (IEEE Intell. Syst., 2003)

Invited talk: towards declarative programming for web services. - Sheila A. McIlraith (PEPM, 2004)

Towards Declarative Programming for Web Services. - Sheila A. McIlraith (SAS, 2004)

Bringing Semantics to Web Services: The OWL-S Approach. - David L. Martin 001; Massimo Paolucci 001; 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 (SWSWPC, 2004)

Mechanism Design for Preference Aggregation over Coalitions. - Eric I. Hsu; Sheila A. McIlraith (CP, 2005)

The Role of Redundant Clauses in Solving Satisfiability Problems. - Honglei Zeng; Sheila A. McIlraith (CP, 2005)

Partition-based logical reasoning for first-order and propositional theories. - Eyal Amir; Sheila A. McIlraith (Artif. Intell., 2005)

Towards a practical theory of reformulation for reasoning about physical systems. - Berthe Y. Choueiry; Yumi Iwasaki; Sheila A. McIlraith (Artif. Intell., 2005)

Preface. - Sheila A. McIlraith; Dimitris Plexousakis (J. Web Semant., 2005)

Planning with First-Order Temporally Extended Goals using Heuristic Search. - Jorge A. Baier; Sheila A. McIlraith (AAAI, 2006)

Planning with Temporally Extended Goals Using Heuristic Search. - Jorge A. Baier; Sheila A. McIlraith (ICAPS, 2006)

Experimental Results on the Satisfiable Core in Random 3SAT. - Honglei Zeng; Sheila A. McIlraith (AI&M, 2006)

On Planning with Programs that Sense. - Jorge A. Baier; Sheila A. McIlraith (KR, 2006)

Planning with Qualitative Temporal Preferences. - Meghyn Bienvenu; Christian Fritz 001; Sheila A. McIlraith (KR, 2006)

Decision-Theoretic GOLOG with Qualitative Preferences. - Christian Fritz 001; Sheila A. McIlraith (KR, 2006)

An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic. - Scott Sanner; Sheila A. McIlraith (KR, 2006)

Characterizing Propagation Methods for Boolean Satisfiability. - Eric I. Hsu; Sheila A. McIlraith (SAT, 2006)

Web Service Composition Via Generic Procedures and Customizing User Preferences. - Shirin Sohrabi; Nataliya Prokoshyna; Sheila A. McIlraith (ISWC, 2006)

Domain-dependent knowledge in answer set planning. - Tran Cao Son; Chitta Baral; Tran Hoai Nam; Sheila A. McIlraith (ACM Trans. Comput. Log., 2006)

Using Expectation Maximization to Find Likely Assignments for Solving CSP's. - Eric I. Hsu; Matthew Kitching; Fahiem Bacchus; Sheila A. McIlraith (AAAI, 2007)

On Domain-Independent Heuristics for Planning with Qualitative Preferences. - Jorge A. Baier; Sheila A. McIlraith (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2007)

Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners. - Jorge A. Baier; Christian Fritz 001; Sheila A. McIlraith (ICAPS, 2007)

Monitoring Plan Optimality During Execution. - Christian Fritz 001; Sheila A. McIlraith (ICAPS, 2007)

An automated approach to monitoring and diagnosing requirements. - Yiqiao Wang 001; Sheila A. McIlraith; Yijun Yu; John Mylopoulos (ASE, 2007)

Bringing Semantics to Web Services with OWL-S. - David L. Martin 001; Mark H. Burstein; Drew V. McDermott; Sheila A. McIlraith; Massimo Paolucci 001; Katia P. Sycara; Deborah L. McGuinness; Evren Sirin; Naveen Srinivasan (World Wide Web, 2007)

Preface. - Sheila A. McIlraith; Pavlos Peppas; Michael Thielscher (J. Log. Comput., 2007)

Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. - Jorge A. Baier; Christian Fritz 001; Meghyn Bienvenu; Sheila A. McIlraith (AAAI, 2008)

Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. - Eric I. Hsu; Christian J. Muise; J. Christopher Beck; Sheila A. McIlraith (CP, 2008)

Peer-to-Peer Query Answering with Inconsistent Knowledge. - Arnold Binas; Sheila A. McIlraith (KR, 2008)

ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. - Christian Fritz 001; Jorge A. Baier; Sheila A. McIlraith (KR, 2008)

Planning with Preferences. - Jorge A. Baier; Sheila A. McIlraith (AI Mag., 2008)

A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services. - Michael Grüninger; Richard Hull 001; Sheila A. McIlraith (IEEE Data Eng. Bull., 2008)

Computing Robust Plans in Continuous Domains. - Christian Fritz 001; Sheila A. McIlraith (ICAPS, 2009)

Exploiting N-Gram Analysis to Predict Operator Sequences. - Christian J. Muise; Sheila A. McIlraith; Jorge A. Baier; Michael Reimer (ICAPS, 2009)

Web Service Composition via the Customization of Golog Programs with User Preferences. - Shirin Sohrabi; Nataliya Prokoshyna; Sheila A. McIlraith (Conceptual Modeling: Foundations and Applications, 2009)

HTN Planning with Preferences. - Shirin Sohrabi; Jorge A. Baier; Sheila A. McIlraith (IJCAI, 2009)

Towards Augmenting Requirements Models with Preferences. - Sotirios Liaskos; Sheila A. McIlraith; John Mylopoulos (ASE, 2009)

VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search. - Eric I. Hsu; Sheila A. McIlraith (SAT, 2009)

Optimizing Web Service Composition While Enforcing Regulations. - Shirin Sohrabi; Sheila A. McIlraith (ISWC, 2009)

Generating Optimal Plans in Highly-Dynamic Domains. - Christian Fritz 001; Sheila A. McIlraith (UAI, 2009)

A heuristic search approach to planning with temporally extended preferences. - Jorge A. Baier; Fahiem Bacchus; Sheila A. McIlraith (Artif. Intell., 2009)

Monitoring and diagnosing software requirements. - Yiqiao Wang 001; Sheila A. McIlraith; Yijun Yu; John Mylopoulos (Autom. Softw. Eng., 2009)

On Planning with Preferences in HTN - Shirin Sohrabi; Sheila A. McIlraith (CoRR, 2009)

Fast d-DNNF Compilation with sharpSAT. - Christian J. Muise; Sheila A. McIlraith; J. Christopher Beck; Eric I. Hsu (Abstraction, Reformulation, and Approximation, 2010)

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 (FOIS, 2010)

Diagnosis as Planning Revisited. - Shirin Sohrabi; Jorge A. Baier; Sheila A. McIlraith (KR, 2010)

Integrating Preferences into Goal Models for Requirements Engineering. - Sotirios Liaskos; Sheila A. McIlraith; Shirin Sohrabi; John Mylopoulos (RE, 2010)

Preference-Based Web Service Composition: A Middle Ground between Execution and Search. - Shirin Sohrabi; Sheila A. McIlraith (ISWC (1), 2010)

Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search. - Eric I. Hsu; Sheila A. McIlraith (SOCS, 2010)

Preferred Explanations: Theory and Generation via Planning. - Shirin Sohrabi; Jorge A. Baier; Sheila A. McIlraith (AAAI, 2011)

NSERC business intelligence network: selected topics. - Renée J. Miller; Frank Wm. Tompa; Sheila A. McIlraith; Jacob Slonim; Eric S. K. Yu (CASCON, 2011)

Monitoring the Execution of Partial-Order Plans via Regression. - Christian J. Muise; Sheila A. McIlraith; J. Christopher Beck (IJCAI, 2011)

Specifying and computing preferred plans. - Meghyn Bienvenu; Christian Fritz 001; Sheila A. McIlraith (Artif. Intell., 2011)

John McCarthy's legacy. - Leora Morgenstern; Sheila A. McIlraith (Artif. Intell., 2011)

Representing and reasoning about preferences in requirements engineering. - Sotirios Liaskos; Sheila A. McIlraith; Shirin Sohrabi; John Mylopoulos (Requir. Eng., 2011)

Preference-Based Planning via MaxSAT. - Farah Juma; Eric I. Hsu; Sheila A. McIlraith (Canadian AI, 2012)

Dsharp: Fast d-DNNF Compilation with sharpSAT. - Christian J. Muise; Sheila A. McIlraith; J. Christopher Beck; Eric I. Hsu (Canadian AI, 2012)

Improved Non-Deterministic Planning by Exploiting State Relevance. - Christian J. Muise; Sheila A. McIlraith; J. Christopher Beck (ICAPS, 2012)

Optimally Relaxing Partial-Order Plans with MaxSAT. - Christian J. Muise; Sheila A. McIlraith; J. Christopher Beck (ICAPS, 2012)

Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge. - Sammy Davis-Mendelow; Jorge A. Baier; Sheila A. McIlraith (AAAI, 2013)

Flexible Execution of Partial Order Plans With Temporal Constraints. - Christian J. Muise; J. Christopher Beck; Sheila A. McIlraith (IJCAI, 2013)

SPARQL with Qualitative and Quantitative Preferences. - Marina Gueroussova; Axel Polleres; Sheila A. McIlraith (OrdRing@ISWC, 2013)

Computing Contingent Plans via Fully Observable Non-Deterministic Planning. - Christian J. Muise; Vaishak Belle; Sheila A. McIlraith (AAAI, 2014)

Cost-Based Query Optimization via AI Planning. - Nathan Robinson; Sheila A. McIlraith; David Toman 001 (AAAI, 2014)

Non-Deterministic Planning With Conditional Effects. - Christian J. Muise; Sheila A. McIlraith; Vaishak Belle (ICAPS, 2014)

Invited Talks. - Franz Baader; Anthony G. Cohn 001; Georg Gottlob; Sheila A. McIlraith (KR, 2014)

Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals. - Jorge A. Baier; Brent Mombourquette; Sheila A. McIlraith (KR, 2014)

Generating effective tests for concurrent programs via AI automated planning techniques. - Niloofar Razavi; Azadeh Farzan; Sheila A. McIlraith (Int. J. Softw. Tools Technol. Transf., 2014)

Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. - Christian J. Muise; Vaishak Belle; Paolo Felli; Sheila A. McIlraith; Tim Miller 001; Adrian R. Pearce; Liz Sonenberg (AAAI, 2015)

Towards Ontologies in Variation. - Torsten Hahmann; Sheila A. McIlraith (AAAI Spring Symposia, 2015)

Towards Tractable Inference for Resource-Bounded Agents. - Toryn Q. Klassen; Sheila A. McIlraith; Hector J. Levesque (AAAI Spring Symposia, 2015)

Towards Planning the Transformation of Overlays. - Young Yoon; Nathan Robinson; Vinod Muthusamy; Sheila A. McIlraith; Hans-Arno Jacobsen (ICDCS, 2015)

Reports of the AAAI 2014 Conference Workshops. - 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; et al. (AI Mag., 2015)

From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends. - Alberto Camacho; Christian J. Muise; Sheila A. McIlraith (ICAPS, 2016)

Strong-Cyclic Planning when Fairness is Not a Valid Assumption. - Alberto Camacho; Sheila A. McIlraith (KnowProS@IJCAI, 2016)

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 (KnowProS@IJCAI, 2016)

Numeric Planning via Search Space Abstraction. - Leon Illanes; Sheila A. McIlraith (KnowProS@IJCAI, 2016)

Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing. - Brent Mombourquette; Christian J. Muise; Sheila A. McIlraith (KnowProS@IJCAI, 2016)

Using Metric Temporal Logic to Specify Scheduling Problems. - Roy Luo; Richard Anthony Valenzano; Yi Li 008; J. Christopher Beck; Sheila A. McIlraith (KR, 2016)

Planning the transformation of overlays. - Young Yoon; Nathan Robinson; Vinod Muthusamy; Sheila A. McIlraith; Hans-Arno Jacobsen (SAC, 2016)

Numeric Planning via Search Space Abstraction (Extended Abstract). - Leon Illanes; Sheila A. McIlraith (SOCS, 2016)

Optimal Partial-Order Plan Relaxation via MaxSAT. - Christian J. Muise; J. Christopher Beck; Sheila A. McIlraith (J. Artif. Intell. Res., 2016)

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 (AAAI, 2017)

Logical Filtering and Smoothing: State Estimation in Partially Observable Domains. - Brent Mombourquette; Christian J. Muise; Sheila A. McIlraith (AAAI, 2017)

An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem (Preliminary Report). - Maayan Shvo; Shirin Sohrabi; Sheila A. McIlraith (AAAI Workshops, 2017)

Towards Representing What Readers of Fiction Believe. - Toryn Q. Klassen; Hector J. Levesque; Sheila A. McIlraith (COMMONSENSE, 2017)

Numeric Planning via Abstraction and Policy Guided Search. - Leon Illanes; Sheila A. McIlraith (IJCAI, 2017)

Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping. - Alberto Camacho; Oscar Chen; Scott Sanner; Sheila A. McIlraith (SOCS, 2017)

Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk). - Sheila A. McIlraith (TIME, 2017)

Epistemic Planning (Dagstuhl Seminar 17231). - Chitta Baral; Thomas Bolander; Hans van Ditmarsch; Sheila A. McIlraith (Dagstuhl Reports, 2017)

Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning. - Alberto Camacho; Jorge A. Baier; Christian J. Muise; Sheila A. McIlraith (Canadian AI, 2018)

Advice-Based Exploration in Model-Based Reinforcement Learning. - Rodrigo Toro Icarte; Toryn Q. Klassen; Richard Anthony Valenzano; Sheila A. McIlraith (Canadian AI, 2018)

An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem. - Maayan Shvo; Shirin Sohrabi; Sheila A. McIlraith (Canadian AI, 2018)

Finite LTL Synthesis as Planning. - Alberto Camacho; Jorge A. Baier; Christian J. Muise; Sheila A. McIlraith (ICAPS, 2018)

Teaching Multiple Tasks to an RL Agent using LTL. - Rodrigo Toro Icarte; Toryn Q. Klassen; Richard Anthony Valenzano; Sheila A. McIlraith (AAMAS, 2018)

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 (ICML, 2018)

LTL Realizability via Safety and Reachability Games. - Alberto Camacho; Christian J. Muise; Jorge A. Baier; Sheila A. McIlraith (IJCAI, 2018)

SynKit: LTL Synthesis as a Service. - Alberto Camacho; Christian J. Muise; Jorge A. Baier; Sheila A. McIlraith (IJCAI, 2018)

Finite LTL Synthesis with Environment Assumptions and Quality Measures. - Alberto Camacho; Meghyn Bienvenu; Sheila A. McIlraith (KR, 2018)

Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus. - Toryn Q. Klassen; Sheila A. McIlraith; Hector J. Levesque (KR, 2018)

A Recap of the AAAI and IAAI 2018 Conferences and the EAAI Symposium. - Sheila A. McIlraith; Kilian Q. Weinberger; G. Michael Youngblood; Karen L. Myers; Eric Eaton; Michael Wollowski (AI Mag., 2018)

Generalized Planning via Abstraction: Arbitrary Numbers of Objects. - León Illanes; Sheila A. McIlraith (AAAI, 2019)

Towards a Unified View of AI Planning and Reactive Synthesis. - Alberto Camacho; Meghyn Bienvenu; Sheila A. McIlraith (ICAPS, 2019)

Learning Interpretable Models Expressed in Linear Temporal Logic. - Alberto Camacho; Sheila A. McIlraith (ICAPS, 2019)

Training Binarized Neural Networks Using MIP and CP. - Rodrigo Toro Icarte; León Illanes; Margarita P. Castro; André A. Ciré; Sheila A. McIlraith; J. Christopher Beck (CP, 2019)

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 (IJCAI, 2019)

Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals. - Alberto Camacho; Sheila A. McIlraith (IJCAI, 2019)

Learning Reward Machines for Partially Observable Reinforcement Learning. - Rodrigo Toro Icarte; Ethan Waldie; Toryn Q. Klassen; Richard Anthony Valenzano; Margarita P. Castro; Sheila A. McIlraith (NeurIPS, 2019)

Towards Empathetic Planning. - Maayan Shvo; Sheila A. McIlraith (CoRR, 2019)

Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications. - Alberto Camacho; Sheila A. McIlraith (CoRR, 2019)

Active Goal Recognition. - Maayan Shvo; Sheila A. McIlraith (AAAI, 2020)

Symbolic Plans as High-Level Instructions for Reinforcement Learning. - León Illanes; Xi Yan 003; Rodrigo Toro Icarte; Sheila A. McIlraith (ICAPS, 2020)

Towards the Role of Theory of Mind in Explanation. - Maayan Shvo; Toryn Q. Klassen; Sheila A. McIlraith (EXTRAAMAS@AAMAS, 2020)

Epistemic Plan Recognition. - Maayan Shvo; Toryn Q. Klassen; Shirin Sohrabi; Sheila A. McIlraith (AAMAS, 2020)

Changing Beliefs about Domain Dynamics in the Situation Calculus. - Toryn Q. Klassen; Sheila A. McIlraith; Hector J. Levesque (KR, 2020)

The act of remembering: a study in partially observable reinforcement learning. - Rodrigo Toro Icarte; Richard Anthony Valenzano; Toryn Q. Klassen; Phillip J. K. Christoffersen; Amir-massoud Farahmand; Sheila A. McIlraith (CoRR, 2020)

Interpretable Sequence Classification via Discrete Optimization. - Maayan Shvo; Andrew C. Li; Rodrigo Toro Icarte; Sheila A. McIlraith (AAAI, 2021)

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 (Canadian AI, 2021)

SAT-Based Approach for Learning Optimal Decision Trees with Non-Binary Features. - Pouya Shati; Eldan Cohen; Sheila A. McIlraith (CP, 2021)

Planning from Pixels using Inverse Dynamics Models. - Keiran Paster; Sheila A. McIlraith; Jimmy Ba (ICLR, 2021)

LTL2Action: Generalizing LTL Instructions for Multi-Task RL. - Pashootan Vaezipoor; Andrew C. Li; Rodrigo Toro Icarte; Sheila A. McIlraith (ICML, 2021)

Type-WA*: Using Exploration in Bounded Suboptimal Planning. - Eldan Cohen; Richard Anthony Valenzano; Sheila A. McIlraith (IJCAI, 2021)

Be Considerate: Objectives, Side Effects, and Deciding How to Act. - Parand Alizadeh Alamdari; Toryn Q. Klassen; Rodrigo Toro Icarte; Sheila A. McIlraith (CoRR, 2021)

Planning to Avoid Side Effects. - Toryn Q. Klassen; Sheila A. McIlraith; Christian Muise; Jarvis Xu (AAAI, 2022)

Resolving Misconceptions about the Plans of Agents via Theory of Mind. - Maayan Shvo; Toryn Q. Klassen; Sheila A. McIlraith (ICAPS, 2022)

Be Considerate: Avoiding Negative Side Effects in Reinforcement Learning. - Parand Alizadeh Alamdari; Toryn Q. Klassen; Rodrigo Toro Icarte; Sheila A. McIlraith (AAMAS, 2022)

Proactive Robotic Assistance via Theory of Mind. - Maayan Shvo; Ruthrash Hari; Ziggy O'Reilly; Sophia Abolore; Sze-Yuh Nina Wang; Sheila A. McIlraith (IROS, 2022)

You Can't Count on Luck: Why Decision Transformers and RvS Fail in Stochastic Environments. - Keiran Paster; Sheila A. McIlraith; Jimmy Ba (NeurIPS, 2022)

Learning to Follow Instructions in Text-Based Games. - Mathieu Tuli; Andrew C. Li; Pashootan Vaezipoor; Toryn Q. Klassen; Scott Sanner; Sheila A. McIlraith (NeurIPS, 2022)

Embedding Ethics in Computer Science Courses: Does it Work? - Diane Horton; Sheila A. McIlraith; Nina Wang; Maryam Majedi; Emma McClure; Benjamin Wald (SIGCSE (1), 2022)

Knowledge-based programs as building blocks for planning. - Jorge A. Baier; Sheila A. McIlraith (Artif. Intell., 2022)

Efficient multi-agent epistemic planning: Teaching planners about nested belief. - Christian Muise; Vaishak Belle; Paolo Felli; Sheila A. McIlraith; Tim Miller 001; Adrian R. Pearce; Liz Sonenberg (Artif. Intell., 2022)

You Can't Count on Luck: Why Decision Transformers Fail in Stochastic Environments. - Keiran Paster; Sheila A. McIlraith; Jimmy Ba (CoRR, 2022)

Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks. - Andrew C. Li; Pashootan Vaezipoor; Rodrigo Toro Icarte; Sheila A. McIlraith (CoRR, 2022)

Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines. - Andrew C. Li; Zizhao Chen; Pashootan Vaezipoor; Toryn Q. Klassen; Rodrigo Toro Icarte; Sheila A. McIlraith (CoRR, 2022)

Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning. - Rodrigo Toro Icarte; Toryn Q. Klassen; Richard Anthony Valenzano; Sheila A. McIlraith (J. Artif. Intell. Res., 2022)

Cognitive Robotics (Dagstuhl Seminar 22391). - Fredrik Heintz; Gerhard Lakemeyer; Sheila A. McIlraith (Dagstuhl Reports, 2022)

Epistemic Side Effects: An AI Safety Problem. - Toryn Q. Klassen; Parand Alizadeh Alamdari; Sheila A. McIlraith (AAMAS, 2023)

SAT-Based Learning of Compact Binary Decision Diagrams for Classification. - Pouya Shati; Eldan Cohen; Sheila A. McIlraith (CP, 2023)

Learning Belief Representations for Partially Observable Deep RL. - Andrew Wang; Andrew C. Li; Toryn Q. Klassen; Rodrigo Toro Icarte; Sheila A. McIlraith (ICML, 2023)

Optimal Decision Trees For Interpretable Clustering with Constraints. - Pouya Shati; Eldan Cohen; Sheila A. McIlraith (IJCAI, 2023)

Planning with Epistemic Preferences. - Toryn Q. Klassen; Christian Muise; Sheila A. McIlraith (KR, 2023)

STEVE-1: A Generative Model for Text-to-Behavior in Minecraft. - Shalev Lifshitz; Keiran Paster; Harris Chan; Jimmy Ba; Sheila A. McIlraith (NeurIPS, 2023)

Is More Better When Embedding Ethics in CS Courses? - Diane Horton; David Liu 002; Sheila A. McIlraith; Nina Wang (SIGCSE (1), 2023)

SAT-based optimal classification trees for non-binary data. - Pouya Shati; Eldan Cohen; Sheila A. McIlraith (Constraints An Int. J., 2023)

Learning Symbolic Representations for Reinforcement Learning of Non-Markovian Behavior. - Phillip J. K. Christoffersen; Andrew C. Li; Rodrigo Toro Icarte; Sheila A. McIlraith (CoRR, 2023)

Managing AI Risks in an Era of Rapid Progress. - 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; et al. (CoRR, 2023)

Remembering to Be Fair: On Non-Markovian Fairness in Sequential Decision Making (Preliminary Report). - Parand Alizadeh Alamdari; Toryn Q. Klassen; Elliot Creager; Sheila A. McIlraith (CoRR, 2023)

Learning reward machines: A study in partially observable reinforcement learning. - Rodrigo Toro Icarte; Toryn Q. Klassen; Richard Valenzano; Margarita P. Castro; Ethan Waldie; Sheila A. McIlraith (Artif. Intell., 2023)

PRP Rebooted: Advancing the State of the Art in FOND Planning. - Christian Muise; Sheila A. McIlraith; J. Christopher Beck (AAAI, 2024)

Remembering to Be Fair: Non-Markovian Fairness in Sequential Decision Making. - Parand A. Alamdari; Toryn Q. Klassen; Elliot Creager; Sheila A. McIlraith (ICML, 2024)

Reward Machines for Deep RL in Noisy and Uncertain Environments. - Andrew C. Li; Zizhao Chen; Toryn Q. Klassen; Pashootan Vaezipoor; Rodrigo Toro Icarte; Sheila A. McIlraith (NeurIPS, 2024)

Do Embedded Ethics Modules Have Impact Beyond the Classroom? - Diane Horton; David Liu 002; Sheila A. McIlraith; Steven Coyne; Nina Wang (SIGCSE (1), 2024)

Neural Sequence Generation with Constraints via Beam Search with Cuts: A Case Study on VRP. - Pouya Shati; Eldan Cohen; Sheila A. McIlraith (SOCS, 2024)

Now, Later, and Lasting: Ten Priorities for AI Research, Policy, and Practice. - Eric Horvitz; Vincent Conitzer; Sheila A. McIlraith; Peter Stone 001 (CoRR, 2024)

Being Considerate as a Pathway Towards Pluralistic Alignment for Agentic AI. - Parand A. Alamdari; Toryn Q. Klassen; Rodrigo Toro Icarte; Sheila A. McIlraith (CoRR, 2024)

Pluralistic Alignment Over Time. - Toryn Q. Klassen; Parand A. Alamdari; Sheila A. McIlraith (CoRR, 2024)

Now, Later, and Lasting: 10 Priorities for AI Research, Policy, and Practice. - Eric Horvitz; Vincent Conitzer; Sheila A. McIlraith; Peter Stone 001 (Commun. ACM, 2024)

Optimal Decision Trees for Interpretable and Constrained Clustering. - Pouya Shati; Yuliang Song; Eldan Cohen; Sheila A. McIlraith (J. Artif. Intell. Res., 2025)

Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers. - Shalev Lifshitz; Sheila A. McIlraith; Yilun Du (CoRR, 2025)

Ground-Compose-Reinforce: Tasking Reinforcement Learning Agents through Formal Language. - Andrew C. Li; Toryn Q. Klassen; Andrew Wang; Parand A. Alamdari; Sheila A. McIlraith (CoRR, 2025)

Better Training Data Attribution via Better Inverse Hessian-Vector Products. - Andrew Wang; Elisa Nguyen; Runshi Yang; Juhan Bae; Sheila A. McIlraith; Roger B. Grosse (CoRR, 2025)

Pushdown Reward Machines for Reinforcement Learning. - Giovanni Varricchione; Toryn Q. Klassen; Natasha Alechina; Mehdi Dastani; Brian Logan 001; Sheila A. McIlraith (CoRR, 2025)