Sheila McIlraith

Q: What Schools Are Affiliated With Sheila McIlraith

Sheila McIlraith is affiliated with the following schools: Stanford University, University of Toronto

Sheila McIlraith's AcademicInfluence.com Rankings

Sheila McIlraith

Computer Science

#4482

World Rank

#4727

Historical Rank

Database

#6007

World Rank

#6230

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Sheila McIlraith's Degrees

PhD Computer Science Stanford University

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2025

Why Is Sheila McIlraith Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Sheila McIlraith is a Canadian computer scientist specializing in Artificial Intelligence . She is a Professor in the Department of Computer Science, University of Toronto, Canada CIFAR AI Chair , and Associate Director and Research Lead of the Schwartz Reisman Institute for Technology and Society.

(See a Problem?)

Sheila McIlraith's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

DAML-S: Semantic Markup for Web Services (2001) (3263)
Semantic Web Services (2001) (1238)
DAML-S: Web Service Description for the Semantic Web (2002) (1102)
Adapting Golog for Composition of Semantic Web Services (2002) (1024)
Simulation, verification and automated composition of web services (2002) (1001)
Bringing Semantics to Web Services: The OWL-S Approach (2004) (944)
Bringing Semantics to Web Services with OWL-S (2007) (562)
Bringing semantics to Web services (2003) (331)
Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation (2003) (261)
Web service composition as planning (2003) (170)
Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning (2018) (161)
Analysis and simulation of Web services (2003) (158)
A Heuristic Search Approach to Planning with Temporally Extended Preferences (2007) (154)
Partition-based logical reasoning for first-order and propositional theories (2005) (146)
Planning with First-Order Temporally Extended Goals using Heuristic Search (2006) (125)
LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning (2019) (124)
Representing and reasoning about preferences in requirements engineering (2011) (120)
Dsharp: Fast d-DNNF Compilation with sharpSAT (2012) (115)
HTN Planning with Preferences (2009) (115)
Mobilizing the Semantic Web with DAML-enabled Web Services (2001) (113)
Improved Non-Deterministic Planning by Exploiting State Relevance (2012) (112)
Planning with Qualitative Temporal Preferences (2006) (109)
Explanatory Diagnosis: Conjecturing Actions to Explain Observations (1998) (108)
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (2015) (100)
Preferred Explanations: Theory and Generation via Planning (2011) (94)
Hybrid Systems Diagnosis (2000) (91)
Planning with Preferences (2008) (89)
Teaching Multiple Tasks to an RL Agent using LTL (2018) (87)
Monitoring and diagnosing software requirements (2009) (87)
Integrating Preferences into Goal Models for Requirements Engineering (2010) (85)
Formulating diagnostic problem solving using an action language with narratives and sensing (2000) (83)
Partition-Based Logical Reasoning (2000) (82)
Planning with complex actions (2002) (80)
Web Service Composition Via Generic Procedures and Customizing User Preferences (2006) (79)
An automated approach to monitoring and diagnosing requirements (2007) (77)
DAML-S: A Semantic Markup Language For Web Services (2001) (73)
Adapting Golog for Programming the Semantic Web (2001) (73)
Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces (2017) (72)
Monitoring Plan Optimality During Execution (2007) (72)
Learning Reward Machines for Partially Observable Reinforcement Learning (2019) (70)
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners (2007) (68)
Long-term outcome maximization and the reduction of interindividual-intergroup discontinuity. (1998) (68)
Practical Partition-Based Theorem Proving for Large Knowledge Bases (2003) (66)
Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net (2002) (65)
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning (2020) (65)
Computing Contingent Plans via Fully Observable Non-Deterministic Planning (2014) (63)
Theorem Proving with Structured Theories (2001) (63)
Agent-based composite services in DAML-S: The behavior-oriented design of an intelligent semantic web (2003) (62)
Learning Interpretable Models Expressed in Linear Temporal Logic (2019) (60)
Domain-dependent knowledge in answer set planning (2002) (60)
A Bottom-Up Approach to Automating Web Service Discovery, Customization, and Semantic Translation (2003) (59)
Web Service Composition via the Customization of Golog Programs with User Preferences (2009) (59)
Diagnosis as Planning Revisited (2010) (59)
Preference-Based Web Service Composition: A Middle Ground between Execution and Search (2010) (52)
Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping (2021) (49)
Symbolic Plans as High-Level Instructions for Reinforcement Learning (2020) (49)
Finite LTL Synthesis as Planning (2018) (48)
Planning with Temporally Extended Goals Using Heuristic Search (2006) (48)
Optimizing Web Service Composition While Enforcing Regulations (2009) (47)
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond (2008) (42)
Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) (2000) (41)
Web Services, E-Business, and the Semantic Web (2004) (41)
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners (2008) (39)
The Semantic Web – ISWC 2004 (2004) (39)
Toward Behavioral Intelligence in the Semantic Web (2002) (38)
Decision-Theoretic GOLOG with Qualitative Preferences (2006) (36)
On tests for hypothetical reasoning (1992) (35)
Specifying and computing preferred plans (2011) (33)
LTL2Action: Generalizing LTL Instructions for Multi-Task RL (2021) (31)
Representing Actions and State Constraints in Model-Based Diagnosis (1997) (31)
Optimal Partial-Order Plan Relaxation via MaxSAT (2016) (30)
Generating Tests Using Abduction (1994) (29)
Non-Deterministic Planning With Conditional Effects (2014) (27)
Probabilistically Estimating Backbones and Variable Bias: Experimental Overview (2008) (26)
Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach (2001) (26)
From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends (2016) (26)
Epistemic Planning (Dagstuhl Seminar 17231) (2017) (24)
Towards a practical theory of reformulation for reasoning about physical systems (2005) (24)
Monitoring the Execution of Partial-Order Plans via Regression (2011) (24)
On Planning with Preferences in HTN (2009) (23)
Logic-Based Abductive Inference (1998) (23)
Planning from Pixels using Inverse Dynamics Models (2020) (22)
Peer-to-Peer Query Answering with Inconsistent Knowledge (2008) (22)
SPARQL with Qualitative and Quantitative Preferences (2013) (21)
Characterizing Propagation Methods for Boolean Satisfiability (2006) (21)
Generalized Planning via Abstraction: Arbitrary Numbers of Objects (2019) (21)
Towards a formal account of diagnostic problem solving (1997) (21)
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems (2000) (20)
Towards a Unified View of AI Planning and Reactive Synthesis (2019) (20)
Towards Diagnosing Hybrid Systems (1999) (20)
Finite LTL Synthesis with Environment Assumptions and Quality Measures (2018) (20)
Training Binarized Neural Networks Using MIP and CP (2019) (20)
You Can't Count on Luck: Why Decision Transformers Fail in Stochastic Environments (2022) (20)
Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals (2019) (20)
Flexible Execution of Partial Order Plans With Temporal Constraints (2013) (19)
Using Expectation Maximization to Find Likely Assignments for Solving CSP's (2007) (18)
On the Use of Planning Technology for Verification Aws Albarghouthi (2009) (18)
A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services (2008) (18)
Fast d-DNNF Compilation with sharpSAT (2010) (18)
On Planning with Programs that Sense (2006) (18)
Towards the Role of Theory of Mind in Explanation (2020) (16)
Towards Augmenting Requirements Models with Preferences (2009) (16)
Diagnosing Hybrid Systems: a Bayesian Model Selection Approach (2005) (16)
Modeling and Programming Devices and Web Agents (2000) (15)
An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem (2018) (15)
Optimally Relaxing Partial-Order Plans with MaxSAT (2012) (14)
Towards a First-Order Ontology for Semantic Web Services (14)
A First-Order Ontology for Semantic Web Services (13)
Advice-Based Exploration in Model-Based Reinforcement Learning (2018) (13)
LTL Realizability via Safety and Reachability Games (2018) (13)
Computing Robust Plans in Continuous Domains (2009) (13)
Epistemic Plan Recognition (2020) (13)
Generating effective tests for concurrent programs via AI automated planning techniques (2014) (12)
On Domain-Independent Heuristics for Planning with Qualitative Preferences (2007) (12)
Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge (2013) (12)
Exploiting N-Gram Analysis to Predict Operator Sequences (2009) (12)
Preference-Based Planning via MaxSAT (2012) (12)
OWL-S and Agent-Based Systems (2004) (11)
Improving the Efficiency of Reasoning Through Structure-Based Reformulation (2000) (11)
Representing and Reasoning with Preference Requirements Using Goals (revised) No: CSRG-542 (2009) (11)
Qualitative data modeling: application of a mechanism for interpreting graphical data (1989) (10)
Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs (2001) (10)
Strong-Cyclic Planning when Fairness is Not a Valid Assumption (2016) (10)
SynKit: LTL Synthesis as a Service (2018) (10)
Generating Optimal Plans in Highly-Dynamic Domains (2009) (10)
Compiling Qualitative Preferences into Decision-Theoretic Golog Programs (2005) (10)
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search (2009) (9)
Numeric Planning via Abstraction and Policy Guided Search (2017) (9)
Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning (2018) (9)
John McCarthy's legacy (2011) (9)
Towards Tractable Inference for Resource-Bounded Agents (2015) (9)
Viewing Landmarks as Temporally Extended Goals (2009) (8)
Making Reasonable Assumptions to Plan with Incomplete Information: Abridged Report (2012) (8)
Automating Web Service Discovery, Customization, and Semantic Translation with a Semantic Discovery Service (2003) (8)
HTN Planning with Quantitative Preferences via Heuristic Search (2008) (8)
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief (2021) (7)
Planning in The Face of Frequent Exogenous Events (2008) (7)
Embedding Ethics in Computer Science Courses: Does it Work? (2022) (6)
Using Advice in Model-Based Reinforcement Learning (2017) (6)
Towards Empathetic Planning (2019) (6)
Interpretable Sequence Classification via Discrete Optimization (2020) (6)
Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (2014) (6)
OWL-S Technology for Representing Constraints and Capabilities of Web Services (2004) (6)
Exploiting Procedural Domain Control Knowledge in State-ofthe-Art Planners ( extended version ) (2008) (6)
Towards Planning the Transformation of Overlays (2015) (5)
Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications (2019) (5)
Exploiting Preferences over Information Sources to Efficiently Resolve Inconsistencies in Peer-to-peer Query Answering (2007) (5)
Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012 (2012) (5)
Monitoring Plan Optimality during Execution : Theory and Implementation (2007) (5)
Cost-Based Query Optimization via AI Planning (2014) (5)
SAT-Based Approach for Learning Optimal Decision Trees with Non-Binary Features (2021) (5)
Using Metric Temporal Logic to Specify Scheduling Problems (2016) (5)
Semantic Web Services as Behavior-Oriented Agents (2002) (4)
Towards Declarative Programming for Web Services (2004) (4)
The act of remembering: a study in partially observable reinforcement learning (2020) (4)
Bridging the Gap Between LTL Synthesis and Automated Planning (2017) (4)
Numeric Planning via Search Space Abstraction (2016) (4)
Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version) (2016) (4)
Incorporating Action into Diagnostic Problem Solving (An Abridged Report) (1995) (3)
Applying Probabilistic Inference to Heuristic Search by Estimating Variable Bias (2008) (3)
Monitoring Policy Execution (2007) (3)
Be Considerate: Avoiding Negative Side Effects in Reinforcement Learning (2022) (3)
The Role of Redundant Clauses in Solving Satisfiability Problems (2005) (3)
Further contributions to characterizing diagnosis (1994) (3)
Planning the transformation of overlays (2016) (3)
Planning the Transformation of Distributed Messaging Middlewares (2014) (3)
Optimization of Partial-Order Plans via MaxSAT (2011) (3)
Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web (2002) (3)
The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings (2004) (3)
Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus (2018) (3)
SPARQL with Qualitative and Quantitative Preferences (Extended Report) (2013) (3)
Towards Representing What Readers of Fiction Believe (2017) (3)
Decision-Making with Non-Markovian Rewards: Guiding search via automata-based reward shaping ∗ (2017) (2)
A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base (2010) (2)
Learning to Follow Instructions in Text-Based Games (2022) (2)
Logical Filtering and Smoothing: State Estimation in Partially Observable Domains (2017) (2)
Be Considerate: Objectives, Side Effects, and Deciding How to Act (2021) (2)
Strategies for Focusing Structure-Based Theorem Proving (2005) (2)
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014, Portsmouth, New Hampshire, USA, June 21-26, 2014 (2014) (2)
On Experiments for Hypothetical Reasoning (1991) (2)
AppBuddy: Learning to Accomplish Tasks in Mobile Apps via Reinforcement Learning (2021) (2)
Reports of the AAAI 2014 Conference Workshops (2015) (2)
Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search (2010) (2)
Planning with Temporally Extended Preferences by Heuristic Search (2)
Model-Based Programming using Golog and the Situation Calculus (2003) (2)
Type-WA*: Using Exploration in Bounded Suboptimal Planning (2021) (1)
An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic (2006) (1)
Learning Reward Machines: A Study in Partially Observable Reinforcement Learning (2021) (1)
Changing Beliefs about Domain Dynamics in the Situation Calculus (2020) (1)
1 Golog-Style Search Control for Planning (2011) (1)
1 Golog-Style Search Control for Planning (2011) (1)
Leveraging Symbolic Planning Models in Hierarchical Reinforcement Learning (2019) (1)
Complexity Issues of Interval Relaxed Numeric Planning (2015) (1)
Experimental Results on the Satisfiable Core in Random 3SAT (2006) (1)
Qualitative Dynamical Preferences in the Situation Calculus (1)
Learning Symbolic Representations for Reinforcement Learning of Non-Markovian Behavior (2023) (1)
Planning to Avoid Side Effects (2022) (1)
Planning the Transformation of Network Topologies (2012) (1)
Exploiting MaxSAT for Preference-Based Planning (2011) (1)
Resolving Misconceptions about the Plans of Agents via Theory of Mind (2022) (1)
Using Expectation Maximization to Find Likely Assignments for Solving Constraint Satisfaction Problems (2007) (1)
Proactive Robotic Assistance via Theory of Mind (2022) (1)
Knowledge-based programs as building blocks for planning (2021) (1)
A Timed Temporal Logic for Specifying Scheduling Problems (Extended Report) (2015) (1)
Proceedings of the International Workshop on Web Services, e-Business and the Semantic Web (WES) (2002) (1)
Knowing, Reasoning, and Acting (2011) (1)
AAAI 2002 Workshops (2002) (0)
You Can't Count on Luck: Why Decision Transformers and RvS Fail in Stochastic Environments (2022) (0)
SPARQL with Qualitative and Quantitative Preferences Position Paper (2013) (0)
The Open University ’ s repository of research publications and other research outputs Opening up Magpie via semantic services (2010) (0)
Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks (2022) (0)
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada (2014) (0)
Instruction Following in Text-Based Games (0)
resenting Aetio (1999) (0)
Is More Better When Embedding Ethics in CS Courses? (2023) (0)
Invited Talks (2014) (0)
Towards Ontologies in Variation (Extended Abstract) (2015) (0)
Optimal Decision Trees For Interpretable Clustering with Constraints (2023) (0)
Cognitive Robotics (Dagstuhl Seminar 22391) (2022) (0)
Towards Exploiting Generic Procedures in Model-Based Computing (2007) (0)
Generating effective tests for concurrent programs via AI automated planning techniques (2013) (0)
Proceedings of the 3rd International Conference on Semantic Web Conference (2004) (0)
Preface (2007) (0)
NSERC business intelligence network: selected topics (2011) (0)
Mechanism Design for Preference Aggregation over Coalitions (2005) (0)
Applications of Logic Programming in the Semantic Web and Semantic Web Services August (2006) (0)
Explaining the Plans of Agents via Theory of Mind (2021) (0)
Reports on the AAAI Spring Symposia (March 1999) (2000) (0)
Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk) (2017) (0)
Representing and Reasoning with Preferences in Requirements Engineering : A Goal-Oriented Approach (2009) (0)
Thoughts on a Practical Theory of Reformulation for Reasoning aboutPhysical (1998) (0)
Active Goal Recognition (2020) (0)
Using EM to Derive a Convergent Alternative to Loopy Belief Propagation University of Toronto Technical Report CSRG-579 (2008) (0)
Invited talk: towards declarative programming for web services (2004) (0)
A Semantic Web Services for Medical Analysis using the owl-s language (2020) (0)
Exploring Long-Horizon Reasoning with Deep RL in Combinatorially Hard Tasks (2022) (0)
Query Optimization Revisited: An AI Planning Perspective (2013) (0)
Finite LTL Synthesis is EXPTIME-complete (2016) (0)
Proceedings 35th International Conference on Logic Programming (Technical Communications) (2019) (0)
Predicting Atomicity Violations in Concurrent Programs via Planning Niloofar Razavi Azadeh Farzan (2011) (0)
Computability Toniann Pitassi (1998) (0)
R ETURN A UGMENTATION GIVES S UPERVISED RL T EMPORAL C OMPOSITIONALITY (2022) (0)
Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines (2022) (0)
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. (2015) (0)
Invited talk: towards declarative programming for web services (2004) (0)
Report from Dagstuhl Seminar 17231 Epistemic Planning (2017) (0)
Towards Ontologies in Variation (2015) (0)
Hybrid systems and AI : modeling analysis and control of discrete plus continuous systems : papers from the 1999 AAAI Symposium, March 22-24, Stanford, California (1999) (0)
Proceedings, Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (2012) (0)
Numeric Planning via Search Space Abstraction (Extended Abstract) (2021) (0)
A Recap of the AAAI and IAAI 2018 Conferences and the EAAI Symposium (2018) (0)
Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing (2016) (0)

This paper list is powered by the following services:

Other Resources About Sheila McIlraith

What Schools Are Affiliated With Sheila McIlraith?

Sheila McIlraith is affiliated with the following schools:

Sheila McIlraith's Academic­Influence.com Rankings