Sheila A. McIlraith

Affiliations:
  • University of Toronto, Canada


According to our database1, Sheila A. McIlraith authored at least 181 papers between 1989 and 2023.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2019, "For contributions to knowledge representation and its applications to automated planning and semantic web services".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Learning reward machines: A study in partially observable reinforcement learning.
Artif. Intell., October, 2023

PRP Rebooted: Advancing the State of the Art in FOND Planning.
CoRR, 2023

Remembering to Be Fair: On Non-Markovian Fairness in Sequential Decision Making (Preliminary Report).
CoRR, 2023

Managing AI Risks in an Era of Rapid Progress.
CoRR, 2023

Learning Symbolic Representations for Reinforcement Learning of Non-Markovian Behavior.
CoRR, 2023

SAT-based optimal classification trees for non-binary data.
Constraints An Int. J., 2023

Is More Better When Embedding Ethics in CS Courses?
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023

STEVE-1: A Generative Model for Text-to-Behavior in Minecraft.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Planning with Epistemic Preferences.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Optimal Decision Trees For Interpretable Clustering with Constraints.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Learning Belief Representations for Partially Observable Deep RL.
Proceedings of the International Conference on Machine Learning, 2023

SAT-Based Learning of Compact Binary Decision Diagrams for Classification.
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

Epistemic Side Effects: An AI Safety Problem.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022
Cognitive Robotics (Dagstuhl Seminar 22391).
Dagstuhl Reports, September, 2022

Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning.
J. Artif. Intell. Res., 2022

Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines.
CoRR, 2022

Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks.
CoRR, 2022

You Can't Count on Luck: Why Decision Transformers Fail in Stochastic Environments.
CoRR, 2022

Efficient multi-agent epistemic planning: Teaching planners about nested belief.
Artif. Intell., 2022

Knowledge-based programs as building blocks for planning.
Artif. Intell., 2022

Embedding Ethics in Computer Science Courses: Does it Work?
Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

Learning to Follow Instructions in Text-Based Games.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

You Can't Count on Luck: Why Decision Transformers and RvS Fail in Stochastic Environments.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Proactive Robotic Assistance via Theory of Mind.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Be Considerate: Avoiding Negative Side Effects in Reinforcement Learning.
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Resolving Misconceptions about the Plans of Agents via Theory of Mind.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Planning to Avoid Side Effects.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Be Considerate: Objectives, Side Effects, and Deciding How to Act.
CoRR, 2021

Type-WA*: Using Exploration in Bounded Suboptimal Planning.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

LTL2Action: Generalizing LTL Instructions for Multi-Task RL.
Proceedings of the 38th International Conference on Machine Learning, 2021

Planning from Pixels using Inverse Dynamics Models.
Proceedings of the 9th International Conference on Learning Representations, 2021

SAT-Based Approach for Learning Optimal Decision Trees with Non-Binary Features.
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

AppBuddy: Learning to Accomplish Tasks in Mobile Apps via Reinforcement Learning.
Proceedings of the 34th Canadian Conference on Artificial Intelligence, 2021

Interpretable Sequence Classification via Discrete Optimization.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
The act of remembering: a study in partially observable reinforcement learning.
CoRR, 2020

Changing Beliefs about Domain Dynamics in the Situation Calculus.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Epistemic Plan Recognition.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Towards the Role of Theory of Mind in Explanation.
Proceedings of the Explainable, Transparent Autonomous Agents and Multi-Agent Systems, 2020

Symbolic Plans as High-Level Instructions for Reinforcement Learning.
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

Active Goal Recognition.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications.
CoRR, 2019

Towards Empathetic Planning.
CoRR, 2019

Learning Reward Machines for Partially Observable Reinforcement Learning.
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Training Binarized Neural Networks Using MIP and CP.
Proceedings of the Principles and Practice of Constraint Programming, 2019

Learning Interpretable Models Expressed in Linear Temporal Logic.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Towards a Unified View of AI Planning and Reactive Synthesis.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Generalized Planning via Abstraction: Arbitrary Numbers of Objects.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
A Recap of the AAAI and IAAI 2018 Conferences and the EAAI Symposium.
AI Mag., 2018

Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Finite LTL Synthesis with Environment Assumptions and Quality Measures.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

SynKit: LTL Synthesis as a Service.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

LTL Realizability via Safety and Reachability Games.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning.
Proceedings of the 35th International Conference on Machine Learning, 2018

Teaching Multiple Tasks to an RL Agent using LTL.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Finite LTL Synthesis as Planning.
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem.
Proceedings of the Advances in Artificial Intelligence, 2018

Advice-Based Exploration in Model-Based Reinforcement Learning.
Proceedings of the Advances in Artificial Intelligence, 2018

Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning.
Proceedings of the Advances in Artificial Intelligence, 2018

2017
Epistemic Planning (Dagstuhl Seminar 17231).
Dagstuhl Reports, 2017

Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk).
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping.
Proceedings of the Tenth International Symposium on Combinatorial Search, 2017

Numeric Planning via Abstraction and Policy Guided Search.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Towards Representing What Readers of Fiction Believe.
Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017

An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem (Preliminary Report).
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

Logical Filtering and Smoothing: State Estimation in Partially Observable Domains.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Optimal Partial-Order Plan Relaxation via MaxSAT.
J. Artif. Intell. Res., 2016

Numeric Planning via Search Space Abstraction (Extended Abstract).
Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016

Planning the transformation of overlays.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Using Metric Temporal Logic to Specify Scheduling Problems.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing.
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

Numeric Planning via Search Space Abstraction.
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version).
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

Strong-Cyclic Planning when Fairness is Not a Valid Assumption.
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015
Reports of the AAAI 2014 Conference Workshops.
AI Mag., 2015

Towards Planning the Transformation of Overlays.
Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015

Towards Tractable Inference for Resource-Bounded Agents.
Proceedings of the 2015 AAAI Spring Symposia, 2015

Towards Ontologies in Variation.
Proceedings of the 2015 AAAI Spring Symposia, 2015

Planning Over Multi-Agent Epistemic States: A Classical Planning Approach.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Generating effective tests for concurrent programs via AI automated planning techniques.
Int. J. Softw. Tools Technol. Transf., 2014

Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Invited Talks.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Non-Deterministic Planning With Conditional Effects.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

Cost-Based Query Optimization via AI Planning.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Computing Contingent Plans via Fully Observable Non-Deterministic Planning.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
SPARQL with Qualitative and Quantitative Preferences.
Proceedings of the 2nd International Workshop on Ordering and Reasoning, 2013

Flexible Execution of Partial Order Plans With Temporal Constraints.
Proceedings of the IJCAI 2013, 2013

Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
Optimally Relaxing Partial-Order Plans with MaxSAT.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

Improved Non-Deterministic Planning by Exploiting State Relevance.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

Dsharp: Fast d-DNNF Compilation with sharpSAT.
Proceedings of the Advances in Artificial Intelligence, 2012

Preference-Based Planning via MaxSAT.
Proceedings of the Advances in Artificial Intelligence, 2012

2011
Representing and reasoning about preferences in requirements engineering.
Requir. Eng., 2011

John McCarthy's legacy.
Artif. Intell., 2011

Specifying and computing preferred plans.
Artif. Intell., 2011

Monitoring the Execution of Partial-Order Plans via Regression.
Proceedings of the IJCAI 2011, 2011

NSERC business intelligence network: selected topics.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2011

Preferred Explanations: Theory and Generation via Planning.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search.
Proceedings of the Third Annual Symposium on Combinatorial Search, 2010

Preference-Based Web Service Composition: A Middle Ground between Execution and Search.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Integrating Preferences into Goal Models for Requirements Engineering.
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Diagnosis as Planning Revisited.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base.
Proceedings of the Formal Ontology in Information Systems, 2010

Fast d-DNNF Compilation with sharpSAT.
Proceedings of the Abstraction, 2010

2009
On Planning with Preferences in HTN
CoRR, 2009

Monitoring and diagnosing software requirements.
Autom. Softw. Eng., 2009

A heuristic search approach to planning with temporally extended preferences.
Artif. Intell., 2009

Generating Optimal Plans in Highly-Dynamic Domains.
Proceedings of the UAI 2009, 2009

Optimizing Web Service Composition While Enforcing Regulations.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search.
Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Towards Augmenting Requirements Models with Preferences.
Proceedings of the ASE 2009, 2009

HTN Planning with Preferences.
Proceedings of the IJCAI 2009, 2009

Web Service Composition via the Customization of Golog Programs with User Preferences.
Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

Exploiting N-Gram Analysis to Predict Operator Sequences.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

Computing Robust Plans in Continuous Domains.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008
A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services.
IEEE Data Eng. Bull., 2008

Planning with Preferences.
AI Mag., 2008

ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Peer-to-Peer Query Answering with Inconsistent Knowledge.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Probabilistically Estimating Backbones and Variable Bias: Experimental Overview.
Proceedings of the Principles and Practice of Constraint Programming, 2008

Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Preface.
J. Log. Comput., 2007

Bringing Semantics to Web Services with OWL-S.
World Wide Web, 2007

An automated approach to monitoring and diagnosing requirements.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Monitoring Plan Optimality During Execution.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

On Domain-Independent Heuristics for Planning with Qualitative Preferences.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

Using Expectation Maximization to Find Likely Assignments for Solving CSP's.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Domain-dependent knowledge in answer set planning.
ACM Trans. Comput. Log., 2006

Web Service Composition Via Generic Procedures and Customizing User Preferences.
Proceedings of the Semantic Web - ISWC 2006, 5th International Semantic Web Conference, 2006

Characterizing Propagation Methods for Boolean Satisfiability.
Proceedings of the Theory and Applications of Satisfiability Testing, 2006

An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic.
Proceedings of the Proceedings, 2006

Decision-Theoretic GOLOG with Qualitative Preferences.
Proceedings of the Proceedings, 2006

Planning with Qualitative Temporal Preferences.
Proceedings of the Proceedings, 2006

On Planning with Programs that Sense.
Proceedings of the Proceedings, 2006

Experimental Results on the Satisfiable Core in Random 3SAT.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2006

Planning with Temporally Extended Goals Using Heuristic Search.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Planning with First-Order Temporally Extended Goals using Heuristic Search.
Proceedings of the Proceedings, 2006

2005
Preface.
J. Web Semant., 2005

Towards a practical theory of reformulation for reasoning about physical systems.
Artif. Intell., 2005

Partition-based logical reasoning for first-order and propositional theories.
Artif. Intell., 2005

The Role of Redundant Clauses in Solving Satisfiability Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2005

Mechanism Design for Preference Aggregation over Coalitions.
Proceedings of the Principles and Practice of Constraint Programming, 2005

2004
Bringing Semantics to Web Services: The OWL-S Approach.
Proceedings of the Semantic Web Services and Web Process Composition, 2004

Towards Declarative Programming for Web Services.
Proceedings of the Static Analysis, 11th International Symposium, 2004

Invited talk: towards declarative programming for web services.
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

2003
Bringing Semantics to Web Services.
IEEE Intell. Syst., 2003

Analysis and simulation of Web services.
Comput. Networks, 2003

Automating Web Service Discovery, Customization, and Semantic Translation with a Semantic Discovery Service.
Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003

Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation.
Proceedings of the Semantic Web, 2003

Practical Partition-Based Theorem Proving for Large Knowledge Bases.
Proceedings of the IJCAI-03, 2003

2002
Toward Behavioral Intelligence in the Semantic Web.
Computer, 2002

AAAI 2002 Workshops.
AI Mag., 2002

Simulation, verification and automated composition of web services.
Proceedings of the Eleventh International World Wide Web Conference, 2002

Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net.
Proceedings of the UAI '02, 2002

DAML-S: Web Service Description for the Semantic Web.
Proceedings of the Semantic Web, 2002

Planning with complex actions.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Adapting Golog for Composition of Semantic Web Services.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

2001
Semantic Web Services.
IEEE Intell. Syst., 2001

Mobilizing the Semantic Web with DAML-enabled Web Services.
Proceedings of the Second International Workshop on the Semantic Web, 2001

DAML-S: Semantic Markup for Web Services.
Proceedings of SWWS'01, The first Semantic Web Working Symposium, Stanford University, California, USA, July 30, 2001

Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Theorem Proving with Structured Theories.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs.
Proceedings of the Answer Set Programming, 2001

2000
Reports on the AAAI Spring Symposia (March 1999).
AI Mag., 2000

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

Improving the Efficiency of Reasoning Through Structure-Based Reformulation.
Proceedings of the Abstraction, 2000

Formulating diagnostic problem solving using an action language with narratives and sensing.
Proceedings of the KR 2000, 2000

Partition-Based Logical Reasoning.
Proceedings of the KR 2000, 2000

Hybrid Systems Diagnosis.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Modeling and Programming Devices and Web Agents.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1998
Explanatory Diagnosis: Conjecturing Actions to Explain Observations.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

1997
Towards a formal account of diagnostic problem solving.
PhD thesis, 1997

Representing Actions and State Constraints in Model-Based Diagnosis.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1994
Further Contributions to Characterizing Diagnosis.
Ann. Math. Artif. Intell., 1994

Generating Tests Using Abduction.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

1989
Qualitative data modeling: application of a mechanism for interpreting graphical data.
Comput. Intell., 1989


  Loading...