Sheila A. McIlraith

According to our database, Sheila A. McIlraith authored at least 189 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Now, Later, and Lasting: 10 Priorities for AI Research, Policy, and Practice.

Eric Horvitz, Vincent Conitzer, Sheila A. McIlraith, Peter Stone

Commun. ACM, June, 2024

Pluralistic Alignment Over Time.

Toryn Q. Klassen, Parand A. Alamdari, Sheila A. McIlraith

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

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

CoRR, 2024

Now, Later, and Lasting: Ten Priorities for AI Research, Policy, and Practice.

Eric Horvitz, Vincent Conitzer, Sheila A. McIlraith, Peter Stone

CoRR, 2024

Neural Sequence Generation with Constraints via Beam Search with Cuts: A Case Study on VRP.

Pouya Shati, Eldan Cohen, Sheila A. McIlraith

Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024

Do Embedded Ethics Modules Have Impact Beyond the Classroom?

Diane Horton, David Liu, Sheila A. McIlraith, Steven Coyne, Nina Wang

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

Remembering to Be Fair: Non-Markovian Fairness in Sequential Decision Making.

Parand A. Alamdari, Toryn Q. Klassen, Elliot Creager, Sheila A. McIlraith

Proceedings of the Forty-first International Conference on Machine Learning, 2024

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

Christian Muise, Sheila A. McIlraith, J. Christopher Beck

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

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., October, 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

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, 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

CoRR, 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

SAT-based optimal classification trees for non-binary data.

Pouya Shati, Eldan Cohen, Sheila A. McIlraith

Constraints An Int. J., 2023

Is More Better When Embedding Ethics in CS Courses?

Diane Horton, David Liu, Sheila A. McIlraith, Nina Wang

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.

Shalev Lifshitz, Keiran Paster, Harris Chan, Jimmy Ba, Sheila A. McIlraith

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Planning with Epistemic Preferences.

Toryn Q. Klassen, Christian Muise, Sheila A. McIlraith

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Optimal Decision Trees For Interpretable Clustering with Constraints.

Pouya Shati, Eldan Cohen, Sheila A. McIlraith

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Learning Belief Representations for Partially Observable Deep RL.

Andrew Wang, Andrew C. Li, Toryn Q. Klassen, Rodrigo Toro Icarte, Sheila A. McIlraith

Proceedings of the International Conference on Machine Learning, 2023

SAT-Based Learning of Compact Binary Decision Diagrams for Classification.

Pouya Shati, Eldan Cohen, Sheila A. McIlraith

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

Epistemic Side Effects: An AI Safety Problem.

Toryn Q. Klassen, Parand Alizadeh Alamdari, Sheila A. McIlraith

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Cognitive Robotics (Dagstuhl Seminar 22391).

Fredrik Heintz, Gerhard Lakemeyer, Sheila A. McIlraith

Dagstuhl Reports, September, 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

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

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

Andrew C. Li, Pashootan Vaezipoor, Rodrigo Toro Icarte, Sheila A. McIlraith

CoRR, 2022

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

Keiran Paster, Sheila A. McIlraith, Jimmy Ba

CoRR, 2022

Efficient multi-agent epistemic planning: Teaching planners about nested belief.

Christian Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg

Artif. Intell., 2022

Knowledge-based programs as building blocks for planning.

Jorge A. Baier, Sheila A. McIlraith

Artif. Intell., 2022

Embedding Ethics in Computer Science Courses: Does it Work?

Diane Horton, Sheila A. McIlraith, Nina Wang, Maryam Majedi, Emma McClure, Benjamin Wald

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

Learning to Follow Instructions in Text-Based Games.

Mathieu Tuli, Andrew C. Li, Pashootan Vaezipoor, Toryn Q. Klassen, Scott Sanner, Sheila A. McIlraith

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.

Keiran Paster, Sheila A. McIlraith, Jimmy Ba

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.

Maayan Shvo, Ruthrash Hari, Ziggy O'Reilly, Sophia Abolore, Sze-Yuh Nina Wang, Sheila A. McIlraith

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Be Considerate: Avoiding Negative Side Effects in Reinforcement Learning.

Parand Alizadeh Alamdari, Toryn Q. Klassen, Rodrigo Toro Icarte, Sheila A. McIlraith

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Resolving Misconceptions about the Plans of Agents via Theory of Mind.

Maayan Shvo, Toryn Q. Klassen, Sheila A. McIlraith

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Planning to Avoid Side Effects.

Toryn Q. Klassen, Sheila A. McIlraith, Christian Muise, Jarvis Xu

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

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

Type-WA*: Using Exploration in Bounded Suboptimal Planning.

Eldan Cohen, Richard Anthony Valenzano, Sheila A. McIlraith

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

LTL2Action: Generalizing LTL Instructions for Multi-Task RL.

Pashootan Vaezipoor, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith

Proceedings of the 38th International Conference on Machine Learning, 2021

Planning from Pixels using Inverse Dynamics Models.

Keiran Paster, Sheila A. McIlraith, Jimmy Ba

Proceedings of the 9th International Conference on Learning Representations, 2021

SAT-Based Approach for Learning Optimal Decision Trees with Non-Binary Features.

Pouya Shati, Eldan Cohen, Sheila A. McIlraith

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.

Maayan Shvo, Zhiming Hu, Rodrigo Toro Icarte, Iqbal Mohomed, Allan D. Jepson, Sheila A. McIlraith

Proceedings of the 34th Canadian Conference on Artificial Intelligence, 2021

Interpretable Sequence Classification via Discrete Optimization.

Maayan Shvo, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

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

Changing Beliefs about Domain Dynamics in the Situation Calculus.

Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Epistemic Plan Recognition.

Maayan Shvo, Toryn Q. Klassen, Shirin Sohrabi, Sheila A. McIlraith

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Towards the Role of Theory of Mind in Explanation.

Maayan Shvo, Toryn Q. Klassen, Sheila A. McIlraith

Proceedings of the Explainable, Transparent Autonomous Agents and Multi-Agent Systems, 2020

Symbolic Plans as High-Level Instructions for Reinforcement Learning.

León Illanes, Xi Yan, Rodrigo Toro Icarte, Sheila A. McIlraith

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

Active Goal Recognition.

Maayan Shvo, Sheila A. McIlraith

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

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

Alberto Camacho, Sheila A. McIlraith

CoRR, 2019

Towards Empathetic Planning.

Maayan Shvo, Sheila A. McIlraith

CoRR, 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

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.

Alberto Camacho, Sheila A. McIlraith

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 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

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 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

Proceedings of the Principles and Practice of Constraint Programming, 2019

Learning Interpretable Models Expressed in Linear Temporal Logic.

Alberto Camacho, Sheila A. McIlraith

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Towards a Unified View of AI Planning and Reactive Synthesis.

Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Generalized Planning via Abstraction: Arbitrary Numbers of Objects.

León Illanes, Sheila A. McIlraith

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.

Sheila A. McIlraith, Kilian Q. Weinberger, G. Michael Youngblood, Karen L. Myers, Eric Eaton, Michael Wollowski

AI Mag., 2018

Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus.

Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque

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.

Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

SynKit: LTL Synthesis as a Service.

Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

LTL Realizability via Safety and Reachability Games.

Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith

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.

Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith

Proceedings of the 35th International Conference on Machine Learning, 2018

Teaching Multiple Tasks to an RL Agent using LTL.

Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Finite LTL Synthesis as Planning.

Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith

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.

Maayan Shvo, Shirin Sohrabi, Sheila A. McIlraith

Proceedings of the Advances in Artificial Intelligence, 2018

Advice-Based Exploration in Model-Based Reinforcement Learning.

Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith

Proceedings of the Advances in Artificial Intelligence, 2018

Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning.

Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith

Proceedings of the Advances in Artificial Intelligence, 2018

2017

Epistemic Planning (Dagstuhl Seminar 17231).

Chitta Baral, Thomas Bolander, Hans van Ditmarsch, Sheila A. McIlraith

Dagstuhl Reports, 2017

Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk).

Sheila A. McIlraith

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping.

Alberto Camacho, Oscar Chen, Scott Sanner, Sheila A. McIlraith

Proceedings of the Tenth International Symposium on Combinatorial Search, 2017

Numeric Planning via Abstraction and Policy Guided Search.

Leon Illanes, Sheila A. McIlraith

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Towards Representing What Readers of Fiction Believe.

Toryn Q. Klassen, Hector J. Levesque, Sheila A. McIlraith

Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017

An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem (Preliminary Report).

Maayan Shvo, Shirin Sohrabi, Sheila A. McIlraith

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.

Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

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

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Optimal Partial-Order Plan Relaxation via MaxSAT.

Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith

J. Artif. Intell. Res., 2016

Numeric Planning via Search Space Abstraction (Extended Abstract).

Leon Illanes, Sheila A. McIlraith

Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016

Planning the transformation of overlays.

Young Yoon, Nathan Robinson, Vinod Muthusamy, Sheila A. McIlraith, Hans-Arno Jacobsen

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Using Metric Temporal Logic to Specify Scheduling Problems.

Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith

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.

Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith

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.

Leon Illanes, Sheila A. McIlraith

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).

Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith

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.

Alberto Camacho, Sheila A. McIlraith

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.

Alberto Camacho, Christian J. Muise, Sheila A. McIlraith

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

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, 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

AI Mag., 2015

Towards Planning the Transformation of Overlays.

Young Yoon, Nathan Robinson, Vinod Muthusamy, Sheila A. McIlraith, Hans-Arno Jacobsen

Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015

Towards Tractable Inference for Resource-Bounded Agents.

Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque

Proceedings of the 2015 AAAI Spring Symposia, 2015

Towards Ontologies in Variation.

Torsten Hahmann, Sheila A. McIlraith

Proceedings of the 2015 AAAI Spring Symposia, 2015

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

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

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

Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals.

Jorge A. Baier, Brent Mombourquette, Sheila A. McIlraith

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

Invited Talks.

Franz Baader, Anthony G. Cohn, Georg Gottlob, Sheila A. McIlraith

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

Non-Deterministic Planning With Conditional Effects.

Christian J. Muise, Sheila A. McIlraith, Vaishak Belle

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

Cost-Based Query Optimization via AI Planning.

Nathan Robinson, Sheila A. McIlraith, David Toman

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Computing Contingent Plans via Fully Observable Non-Deterministic Planning.

Christian J. Muise, Vaishak Belle, Sheila A. McIlraith

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

SPARQL with Qualitative and Quantitative Preferences.

Marina Gueroussova, Axel Polleres, Sheila A. McIlraith

Proceedings of the 2nd International Workshop on Ordering and Reasoning, 2013

Flexible Execution of Partial Order Plans With Temporal Constraints.

Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith

Proceedings of the IJCAI 2013, 2013

Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge.

Sammy Davis-Mendelow, Jorge A. Baier, Sheila A. McIlraith

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Optimally Relaxing Partial-Order Plans with MaxSAT.

Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck

Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

Improved Non-Deterministic Planning by Exploiting State Relevance.

Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck

Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

Dsharp: Fast d-DNNF Compilation with sharpSAT.

Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu

Proceedings of the Advances in Artificial Intelligence, 2012

Preference-Based Planning via MaxSAT.

Farah Juma, Eric I. Hsu, Sheila A. McIlraith

Proceedings of the Advances in Artificial Intelligence, 2012

2011

Representing and reasoning about preferences in requirements engineering.

Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos

Requir. Eng., 2011

John McCarthy's legacy.

Leora Morgenstern, Sheila A. McIlraith

Artif. Intell., 2011

Specifying and computing preferred plans.

Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith

Artif. Intell., 2011

Monitoring the Execution of Partial-Order Plans via Regression.

Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck

Proceedings of the IJCAI 2011, 2011

NSERC business intelligence network: selected topics.

Renée J. Miller, Frank Wm. Tompa, Sheila A. McIlraith, Jacob Slonim, Eric S. K. Yu

Proceedings of the Center for Advanced Studies on Collaborative Research, 2011

Preferred Explanations: Theory and Generation via Planning.

Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search.

Eric I. Hsu, Sheila A. McIlraith

Proceedings of the Third Annual Symposium on Combinatorial Search, 2010

Preference-Based Web Service Composition: A Middle Ground between Execution and Search.

Shirin Sohrabi, Sheila A. McIlraith

Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Integrating Preferences into Goal Models for Requirements Engineering.

Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Diagnosis as Planning Revisited.

Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith

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.

Vinay K. Chaudhri, Bert Bredeweg, Richard Fikes, Sheila A. McIlraith, Michael P. Wellman

Proceedings of the Formal Ontology in Information Systems, 2010

Fast d-DNNF Compilation with sharpSAT.

Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu

Proceedings of the Abstraction, 2010

2009

On Planning with Preferences in HTN

Shirin Sohrabi, Sheila A. McIlraith

CoRR, 2009

Monitoring and diagnosing software requirements.

Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos

Autom. Softw. Eng., 2009

A heuristic search approach to planning with temporally extended preferences.

Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith

Artif. Intell., 2009

Generating Optimal Plans in Highly-Dynamic Domains.

Christian Fritz, Sheila A. McIlraith

Proceedings of the UAI 2009, 2009

Optimizing Web Service Composition While Enforcing Regulations.

Shirin Sohrabi, Sheila A. McIlraith

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search.

Eric I. Hsu, Sheila A. McIlraith

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Towards Augmenting Requirements Models with Preferences.

Sotirios Liaskos, Sheila A. McIlraith, John Mylopoulos

Proceedings of the ASE 2009, 2009

HTN Planning with Preferences.

Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith

Proceedings of the IJCAI 2009, 2009

Web Service Composition via the Customization of Golog Programs with User Preferences.

Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McIlraith

Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

Exploiting N-Gram Analysis to Predict Operator Sequences.

Christian J. Muise, Sheila A. McIlraith, Jorge A. Baier, Michael Reimer

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

Computing Robust Plans in Continuous Domains.

Christian Fritz, Sheila A. McIlraith

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.

Michael Grüninger, Richard Hull, Sheila A. McIlraith

IEEE Data Eng. Bull., 2008

Planning with Preferences.

Jorge A. Baier, Sheila A. McIlraith

AI Mag., 2008

ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.

Christian Fritz, Jorge A. Baier, Sheila A. McIlraith

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Peer-to-Peer Query Answering with Inconsistent Knowledge.

Arnold Binas, Sheila A. McIlraith

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Probabilistically Estimating Backbones and Variable Bias: Experimental Overview.

Eric I. Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith

Proceedings of the Principles and Practice of Constraint Programming, 2008

Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners.

Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Preface.

Sheila A. McIlraith, Pavlos Peppas, Michael Thielscher

J. Log. Comput., 2007

Bringing Semantics to Web Services with OWL-S.

David L. Martin, Mark H. Burstein, Drew V. McDermott, Sheila A. McIlraith, Massimo Paolucci, Katia P. Sycara, Deborah L. McGuinness, Evren Sirin, Naveen Srinivasan

World Wide Web, 2007

An automated approach to monitoring and diagnosing requirements.

Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Monitoring Plan Optimality During Execution.

Christian Fritz, Sheila A. McIlraith

Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners.

Jorge A. Baier, Christian Fritz, Sheila A. McIlraith

Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

On Domain-Independent Heuristics for Planning with Qualitative Preferences.

Jorge A. Baier, Sheila A. McIlraith

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

Using Expectation Maximization to Find Likely Assignments for Solving CSP's.

Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. McIlraith

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Domain-dependent knowledge in answer set planning.

Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith

ACM Trans. Comput. Log., 2006

Web Service Composition Via Generic Procedures and Customizing User Preferences.

Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McIlraith

Proceedings of the Semantic Web - ISWC 2006, 5th International Semantic Web Conference, 2006

Characterizing Propagation Methods for Boolean Satisfiability.

Eric I. Hsu, Sheila A. McIlraith

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.

Scott Sanner, Sheila A. McIlraith

Proceedings of the Proceedings, 2006

Decision-Theoretic GOLOG with Qualitative Preferences.

Christian Fritz, Sheila A. McIlraith

Proceedings of the Proceedings, 2006

Planning with Qualitative Temporal Preferences.

Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith

Proceedings of the Proceedings, 2006

On Planning with Programs that Sense.

Jorge A. Baier, Sheila A. McIlraith

Proceedings of the Proceedings, 2006

Experimental Results on the Satisfiable Core in Random 3SAT.

Honglei Zeng, Sheila A. McIlraith

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2006

Planning with Temporally Extended Goals Using Heuristic Search.

Jorge A. Baier, Sheila A. McIlraith

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Planning with First-Order Temporally Extended Goals using Heuristic Search.

Jorge A. Baier, Sheila A. McIlraith

Proceedings of the Proceedings, 2006

2005

Preface.

Sheila A. McIlraith, Dimitris Plexousakis

J. Web Semant., 2005

Towards a practical theory of reformulation for reasoning about physical systems.

Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlraith

Artif. Intell., 2005

Partition-based logical reasoning for first-order and propositional theories.

Eyal Amir, Sheila A. McIlraith

Artif. Intell., 2005

The Role of Redundant Clauses in Solving Satisfiability Problems.

Honglei Zeng, Sheila A. McIlraith

Proceedings of the Principles and Practice of Constraint Programming, 2005

Mechanism Design for Preference Aggregation over Coalitions.

Eric I. Hsu, Sheila A. McIlraith

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Bringing Semantics to Web Services: The OWL-S Approach.

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

Proceedings of the Semantic Web Services and Web Process Composition, 2004

Towards Declarative Programming for Web Services.

Sheila A. McIlraith

Proceedings of the Static Analysis, 11th International Symposium, 2004

Invited talk: towards declarative programming for web services.

Sheila A. McIlraith

Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

2003

Bringing Semantics to Web Services.

Sheila A. McIlraith, David L. Martin

IEEE Intell. Syst., 2003

Analysis and simulation of Web services.

Srini Narayanan, Sheila A. McIlraith

Comput. Networks, 2003

Automating Web Service Discovery, Customization, and Semantic Translation with a Semantic Discovery Service.

Daniel J. Mandell, Sheila A. McIlraith

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.

Daniel J. Mandell, Sheila A. McIlraith

Proceedings of the Semantic Web, 2003

Practical Partition-Based Theorem Proving for Large Knowledge Bases.

Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe

Proceedings of the IJCAI-03, 2003

2002

Toward Behavioral Intelligence in the Semantic Web.

Joanna Bryson, David L. Martin, Sheila A. McIlraith, Lynn Andrea Stein

Computer, 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, 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

AI Mag., 2002

Simulation, verification and automated composition of web services.

Srini Narayanan, Sheila A. McIlraith

Proceedings of the Eleventh International World Wide Web Conference, 2002

Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net.

Uri Lerner, Brooks Moses, Maricia Scott, Sheila A. McIlraith, Daphne Koller

Proceedings of the UAI '02, 2002

DAML-S: Web Service Description for the Semantic Web.

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

Proceedings of the Semantic Web, 2002

Planning with complex actions.

Sheila A. McIlraith, Ronald Fadel

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Adapting Golog for Composition of Semantic Web Services.

Sheila A. McIlraith, Tran Cao Son

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

2001

Semantic Web Services.

Sheila A. McIlraith, Tran Cao Son, Honglei Zeng

IEEE Intell. Syst., 2001

Mobilizing the Semantic Web with DAML-enabled Web Services.

Sheila A. McIlraith, Tran Cao Son, Honglei Zeng

Proceedings of the Second International Workshop on the Semantic Web, 2001

DAML-S: Semantic Markup for Web Services.

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

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.

Tran Cao Son, Chitta Baral, Sheila A. McIlraith

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Theorem Proving with Structured Theories.

Sheila A. McIlraith, Eyal Amir

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.

Tran Cao Son, Chitta Baral, Sheila A. McIlraith

Proceedings of the Answer Set Programming, 2001

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

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

Sheila A. McIlraith

Artif. Intell., 2000

Improving the Efficiency of Reasoning Through Structure-Based Reformulation.

Eyal Amir, Sheila A. McIlraith

Proceedings of the Abstraction, 2000

Formulating diagnostic problem solving using an action language with narratives and sensing.

Chitta Baral, Sheila A. McIlraith, Tran Cao Son

Proceedings of the KR 2000, 2000

Partition-Based Logical Reasoning.

Eyal Amir, Sheila A. McIlraith

Proceedings of the KR 2000, 2000

Hybrid Systems Diagnosis.

Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta

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

Modeling and Programming Devices and Web Agents.

Sheila A. McIlraith

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.

Sheila A. McIlraith, Richard B. Scherl

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.

Sheila A. McIlraith

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.

Sheila A. McIlraith

PhD thesis, 1997

Representing Actions and State Constraints in Model-Based Diagnosis.

Sheila A. McIlraith

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1994

Further Contributions to Characterizing Diagnosis.

Sheila A. McIlraith

Ann. Math. Artif. Intell., 1994

Generating Tests Using Abduction.

Sheila A. McIlraith

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.

Sheila A. McIlraith

Comput. Intell., 1989