default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSheila A. McIlraith
Person information
- affiliation: University of Toronto, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j32]Eric Horvitz
, Vincent Conitzer, Sheila A. McIlraith, Peter Stone:
Now, Later, and Lasting: 10 Priorities for AI Research, Policy, and Practice. Commun. ACM 67(6): 39-40 (2024)- [c142]Christian Muise, Sheila A. McIlraith, J. Christopher Beck:
PRP Rebooted: Advancing the State of the Art in FOND Planning. AAAI 2024: 20212-20221 - [c141]Parand A. Alamdari, Toryn Q. Klassen, Elliot Creager, Sheila A. McIlraith:
Remembering to Be Fair: Non-Markovian Fairness in Sequential Decision Making. ICML 2024 - [c140]Diane Horton, David Liu, Sheila A. McIlraith, Steven Coyne, Nina Wang:
Do Embedded Ethics Modules Have Impact Beyond the Classroom? SIGCSE (1) 2024: 533-539 - [c139]Pouya Shati, Eldan Cohen, Sheila A. McIlraith:
Neural Sequence Generation with Constraints via Beam Search with Cuts: A Case Study on VRP. SOCS 2024: 118-126 - [i31]Eric Horvitz, Vincent Conitzer, Sheila A. McIlraith, Peter Stone:
Now, Later, and Lasting: Ten Priorities for AI Research, Policy, and Practice. CoRR abs/2404.04750 (2024) - [i30]Andrew C. Li, Zizhao Chen, Toryn Q. Klassen, Pashootan Vaezipoor, Rodrigo Toro Icarte, Sheila A. McIlraith:
Reward Machines for Deep RL in Noisy and Uncertain Environments. CoRR abs/2406.00120 (2024) - 2023
- [j31]Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Valenzano, Margarita P. Castro, Ethan Waldie, Sheila A. McIlraith:
Learning reward machines: A study in partially observable reinforcement learning. Artif. Intell. 323: 103989 (2023) - [j30]Pouya Shati, Eldan Cohen, Sheila A. McIlraith:
SAT-based optimal classification trees for non-binary data. Constraints An Int. J. 28(2): 166-202 (2023) - [c138]Toryn Q. Klassen, Parand Alizadeh Alamdari, Sheila A. McIlraith:
Epistemic Side Effects: An AI Safety Problem. AAMAS 2023: 1797-1801 - [c137]Pouya Shati, Eldan Cohen, Sheila A. McIlraith:
SAT-Based Learning of Compact Binary Decision Diagrams for Classification. CP 2023: 33:1-33:19 - [c136]Andrew Wang, Andrew C. Li, Toryn Q. Klassen, Rodrigo Toro Icarte, Sheila A. McIlraith:
Learning Belief Representations for Partially Observable Deep RL. ICML 2023: 35970-35988 - [c135]Pouya Shati, Eldan Cohen, Sheila A. McIlraith:
Optimal Decision Trees For Interpretable Clustering with Constraints. IJCAI 2023: 2022-2030 - [c134]Toryn Q. Klassen, Christian Muise, Sheila A. McIlraith:
Planning with Epistemic Preferences. KR 2023: 752-756 - [c133]Shalev Lifshitz, Keiran Paster, Harris Chan, Jimmy Ba, Sheila A. McIlraith:
STEVE-1: A Generative Model for Text-to-Behavior in Minecraft. NeurIPS 2023 - [c132]Diane Horton, David Liu, Sheila A. McIlraith, Nina Wang:
Is More Better When Embedding Ethics in CS Courses? SIGCSE (1) 2023: 652-658 - [i29]Phillip J. K. Christoffersen, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith:
Learning Symbolic Representations for Reinforcement Learning of Non-Markovian Behavior. CoRR abs/2301.02952 (2023) - [i28]Pouya Shati, Eldan Cohen, Sheila A. McIlraith:
Optimal Decision Trees For Interpretable Clustering with Constraints. CoRR abs/2301.12671 (2023) - [i27]Shalev Lifshitz, Keiran Paster, Harris Chan, Jimmy Ba, Sheila A. McIlraith:
STEVE-1: A Generative Model for Text-to-Behavior in Minecraft. CoRR abs/2306.00937 (2023) - [i26]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:
Managing AI Risks in an Era of Rapid Progress. CoRR abs/2310.17688 (2023) - [i25]Parand Alizadeh Alamdari, Toryn Q. Klassen, Elliot Creager, Sheila A. McIlraith:
Remembering to Be Fair: On Non-Markovian Fairness in Sequential Decision Making (Preliminary Report). CoRR abs/2312.04772 (2023) - [i24]Christian Muise, Sheila A. McIlraith, J. Christopher Beck:
PRP Rebooted: Advancing the State of the Art in FOND Planning. CoRR abs/2312.11675 (2023) - 2022
- [j29]Christian Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg:
Efficient multi-agent epistemic planning: Teaching planners about nested belief. Artif. Intell. 302: 103605 (2022) - [j28]Jorge A. Baier, Sheila A. McIlraith:
Knowledge-based programs as building blocks for planning. Artif. Intell. 303: 103634 (2022) - [j27]Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith:
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning. J. Artif. Intell. Res. 73: 173-208 (2022) - [c131]Toryn Q. Klassen, Sheila A. McIlraith, Christian Muise, Jarvis Xu:
Planning to Avoid Side Effects. AAAI 2022: 9830-9839 - [c130]Maayan Shvo, Toryn Q. Klassen, Sheila A. McIlraith:
Resolving Misconceptions about the Plans of Agents via Theory of Mind. ICAPS 2022: 719-729 - [c129]Parand Alizadeh Alamdari, Toryn Q. Klassen, Rodrigo Toro Icarte, Sheila A. McIlraith:
Be Considerate: Avoiding Negative Side Effects in Reinforcement Learning. AAMAS 2022: 18-26 - [c128]Maayan Shvo, Ruthrash Hari, Ziggy O'Reilly, Sophia Abolore, Sze-Yuh Nina Wang, Sheila A. McIlraith:
Proactive Robotic Assistance via Theory of Mind. IROS 2022: 9148-9155 - [c127]Keiran Paster, Sheila A. McIlraith, Jimmy Ba:
You Can't Count on Luck: Why Decision Transformers and RvS Fail in Stochastic Environments. NeurIPS 2022 - [c126]Mathieu Tuli, Andrew C. Li, Pashootan Vaezipoor, Toryn Q. Klassen, Scott Sanner, Sheila A. McIlraith:
Learning to Follow Instructions in Text-Based Games. NeurIPS 2022 - [c125]Diane Horton, Sheila A. McIlraith, Nina Wang, Maryam Majedi, Emma McClure, Benjamin Wald:
Embedding Ethics in Computer Science Courses: Does it Work? SIGCSE (1) 2022: 481-487 - [i23]Keiran Paster, Sheila A. McIlraith, Jimmy Ba:
You Can't Count on Luck: Why Decision Transformers Fail in Stochastic Environments. CoRR abs/2205.15967 (2022) - [i22]Andrew C. Li, Pashootan Vaezipoor, Rodrigo Toro Icarte, Sheila A. McIlraith:
Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks. CoRR abs/2206.01812 (2022) - [i21]Mathieu Tuli, Andrew C. Li, Pashootan Vaezipoor, Toryn Q. Klassen, Scott Sanner, Sheila A. McIlraith:
Learning to Follow Instructions in Text-Based Games. CoRR abs/2211.04591 (2022) - [i20]Andrew C. Li, Zizhao Chen, Pashootan Vaezipoor, Toryn Q. Klassen, Rodrigo Toro Icarte, Sheila A. McIlraith:
Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines. CoRR abs/2211.10902 (2022) - [i19]Fredrik Heintz, Gerhard Lakemeyer, Sheila A. McIlraith:
Cognitive Robotics (Dagstuhl Seminar 22391). Dagstuhl Reports 12(9): 200-219 (2022) - 2021
- [c124]Maayan Shvo, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith:
Interpretable Sequence Classification via Discrete Optimization. AAAI 2021: 9647-9656 - [c123]Maayan Shvo, Zhiming Hu, Rodrigo Toro Icarte, Iqbal Mohomed, Allan D. Jepson, Sheila A. McIlraith:
AppBuddy: Learning to Accomplish Tasks in Mobile Apps via Reinforcement Learning. Canadian AI 2021 - [c122]Pouya Shati, Eldan Cohen, Sheila A. McIlraith:
SAT-Based Approach for Learning Optimal Decision Trees with Non-Binary Features. CP 2021: 50:1-50:16 - [c121]Keiran Paster, Sheila A. McIlraith, Jimmy Ba:
Planning from Pixels using Inverse Dynamics Models. ICLR 2021 - [c120]Pashootan Vaezipoor, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith:
LTL2Action: Generalizing LTL Instructions for Multi-Task RL. ICML 2021: 10497-10508 - [c119]Eldan Cohen, Richard Anthony Valenzano, Sheila A. McIlraith:
Type-WA*: Using Exploration in Bounded Suboptimal Planning. IJCAI 2021: 4047-4053 - [i18]Pashootan Vaezipoor, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith:
LTL2Action: Generalizing LTL Instructions for Multi-Task RL. CoRR abs/2102.06858 (2021) - [i17]Maayan Shvo, Zhiming Hu, Rodrigo Toro Icarte, Iqbal Mohomed, Allan D. Jepson, Sheila A. McIlraith:
AppBuddy: Learning to Accomplish Tasks in Mobile Apps via Reinforcement Learning. CoRR abs/2106.00133 (2021) - [i16]Parand Alizadeh Alamdari, Toryn Q. Klassen, Rodrigo Toro Icarte, Sheila A. McIlraith:
Be Considerate: Objectives, Side Effects, and Deciding How to Act. CoRR abs/2106.02617 (2021) - [i15]Christian Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg:
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief. CoRR abs/2110.02480 (2021) - [i14]Rodrigo Toro Icarte, Ethan Waldie, Toryn Q. Klassen, Richard Anthony Valenzano, Margarita P. Castro, Sheila A. McIlraith:
Learning Reward Machines: A Study in Partially Observable Reinforcement Learning. CoRR abs/2112.09477 (2021) - 2020
- [c118]Maayan Shvo, Sheila A. McIlraith:
Active Goal Recognition. AAAI 2020: 9957-9966 - [c117]León Illanes, Xi Yan, Rodrigo Toro Icarte, Sheila A. McIlraith:
Symbolic Plans as High-Level Instructions for Reinforcement Learning. ICAPS 2020: 540-550 - [c116]Maayan Shvo, Toryn Q. Klassen, Sheila A. McIlraith:
Towards the Role of Theory of Mind in Explanation. EXTRAAMAS@AAMAS 2020: 75-93 - [c115]Maayan Shvo, Toryn Q. Klassen, Shirin Sohrabi, Sheila A. McIlraith:
Epistemic Plan Recognition. AAMAS 2020: 1251-1259 - [c114]Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque:
Changing Beliefs about Domain Dynamics in the Situation Calculus. KR 2020: 572-581 - [i13]Maayan Shvo, Toryn Q. Klassen, Sheila A. McIlraith:
Towards the Role of Theory of Mind in Explanation. CoRR abs/2005.02963 (2020) - [i12]Rodrigo Toro Icarte, Richard Anthony Valenzano, Toryn Q. Klassen, Phillip J. K. Christoffersen, Amir-massoud Farahmand, Sheila A. McIlraith:
The act of remembering: a study in partially observable reinforcement learning. CoRR abs/2010.01753 (2020) - [i11]Maayan Shvo, Andrew C. Li, Rodrigo Toro Icarte, Sheila A. McIlraith:
Interpretable Sequence Classification via Discrete Optimization. CoRR abs/2010.02819 (2020) - [i10]Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith:
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning. CoRR abs/2010.03950 (2020) - [i9]Keiran Paster, Sheila A. McIlraith, Jimmy Ba:
Planning from Pixels using Inverse Dynamics Models. CoRR abs/2012.02419 (2020)
2010 – 2019
- 2019
- [c113]León Illanes, Sheila A. McIlraith:
Generalized Planning via Abstraction: Arbitrary Numbers of Objects. AAAI 2019: 7610-7618 - [c112]Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith:
Towards a Unified View of AI Planning and Reactive Synthesis. ICAPS 2019: 58-67 - [c111]Alberto Camacho, Sheila A. McIlraith:
Learning Interpretable Models Expressed in Linear Temporal Logic. ICAPS 2019: 621-630 - [c110]Rodrigo Toro Icarte, León Illanes, Margarita P. Castro, André A. Ciré, Sheila A. McIlraith, J. Christopher Beck:
Training Binarized Neural Networks Using MIP and CP. CP 2019: 401-417 - [c109]Alberto Camacho, Sheila A. McIlraith:
Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals. IJCAI 2019: 5523-5531 - [c108]Alberto Camacho, Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith:
LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning. IJCAI 2019: 6065-6073 - [c107]Rodrigo Toro Icarte, Ethan Waldie, Toryn Q. Klassen, Richard Anthony Valenzano, Margarita P. Castro, Sheila A. McIlraith:
Learning Reward Machines for Partially Observable Reinforcement Learning. NeurIPS 2019: 15497-15508 - [i8]Maayan Shvo, Sheila A. McIlraith:
Towards Empathetic Planning. CoRR abs/1906.06436 (2019) - [i7]Alberto Camacho, Sheila A. McIlraith:
Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications. CoRR abs/1912.13430 (2019) - 2018
- [j26]Sheila A. McIlraith, Kilian Q. Weinberger, G. Michael Youngblood, Karen L. Myers, Eric Eaton, Michael Wollowski:
A Recap of the AAAI and IAAI 2018 Conferences and the EAAI Symposium. AI Mag. 39(4): 3-16 (2018) - [c106]Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith:
Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning. Canadian AI 2018: 45-59 - [c105]Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith:
Advice-Based Exploration in Model-Based Reinforcement Learning. Canadian AI 2018: 72-83 - [c104]Maayan Shvo, Shirin Sohrabi, Sheila A. McIlraith:
An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem. Canadian AI 2018: 253-258 - [c103]Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith:
Finite LTL Synthesis as Planning. ICAPS 2018: 29-38 - [c102]Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith:
Teaching Multiple Tasks to an RL Agent using LTL. AAMAS 2018: 452-461 - [c101]Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith:
Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning. ICML 2018: 2112-2121 - [c100]Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith:
LTL Realizability via Safety and Reachability Games. IJCAI 2018: 4683-4691 - [c99]Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith:
SynKit: LTL Synthesis as a Service. IJCAI 2018: 5817-5819 - [c98]Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque:
Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus. KR 2018: 257-266 - [c97]Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith:
Finite LTL Synthesis with Environment Assumptions and Quality Measures. KR 2018: 454-463 - [e4]Sheila A. McIlraith, Kilian Q. Weinberger:
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018. AAAI Press 2018 [contents] - [i6]Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith:
Finite LTL Synthesis with Environment Assumptions and Quality Measures. CoRR abs/1808.10831 (2018) - 2017
- [c96]Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith:
Logical Filtering and Smoothing: State Estimation in Partially Observable Domains. AAAI 2017: 3613-3621 - [c95]Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith:
Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces. AAAI 2017: 3716-3724 - [c94]Maayan Shvo, Shirin Sohrabi, Sheila A. McIlraith:
An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem (Preliminary Report). AAAI Workshops 2017 - [c93]Toryn Q. Klassen, Hector J. Levesque, Sheila A. McIlraith:
Towards Representing What Readers of Fiction Believe. COMMONSENSE 2017 - [c92]Leon Illanes, Sheila A. McIlraith:
Numeric Planning via Abstraction and Policy Guided Search. IJCAI 2017: 4338-4345 - [c91]Alberto Camacho, Oscar Chen, Scott Sanner, Sheila A. McIlraith:
Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping. SOCS 2017: 159-160 - [c90]Sheila A. McIlraith:
Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk). TIME 2017: 3:1-3:1 - [i5]Chitta Baral, Thomas Bolander, Hans van Ditmarsch, Sheila A. McIlraith:
Epistemic Planning (Dagstuhl Seminar 17231). Dagstuhl Reports 7(6): 1-47 (2017) - 2016
- [j25]Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith:
Optimal Partial-Order Plan Relaxation via MaxSAT. J. Artif. Intell. Res. 57: 113-149 (2016) - [c89]Alberto Camacho, Christian J. Muise, Sheila A. McIlraith:
From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends. ICAPS 2016: 65-69 - [c88]Alberto Camacho, Sheila A. McIlraith:
Strong-Cyclic Planning when Fairness is Not a Valid Assumption. KnowProS@IJCAI 2016 - [c87]Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith:
Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version). KnowProS@IJCAI 2016 - [c86]Leon Illanes, Sheila A. McIlraith:
Numeric Planning via Search Space Abstraction. KnowProS@IJCAI 2016 - [c85]Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith:
Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing. KnowProS@IJCAI 2016 - [c84]Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith:
Using Metric Temporal Logic to Specify Scheduling Problems. KR 2016: 581-584 - [c83]Young Yoon, Nathan Robinson, Vinod Muthusamy, Sheila A. McIlraith, Hans-Arno Jacobsen:
Planning the transformation of overlays. SAC 2016: 500-507 - [c82]Leon Illanes, Sheila A. McIlraith:
Numeric Planning via Search Space Abstraction (Extended Abstract). SOCS 2016: 133-134 - 2015
- [j24]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:
Reports of the AAAI 2014 Conference Workshops. AI Mag. 36(1): 87-98 (2015) - [c81]Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg:
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. AAAI 2015: 3327-3334 - [c80]Torsten Hahmann, Sheila A. McIlraith:
Towards Ontologies in Variation. AAAI Spring Symposia 2015 - [c79]Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque:
Towards Tractable Inference for Resource-Bounded Agents. AAAI Spring Symposia 2015 - [c78]Young Yoon, Nathan Robinson, Vinod Muthusamy, Sheila A. McIlraith, Hans-Arno Jacobsen:
Towards Planning the Transformation of Overlays. ICDCS 2015: 782-783 - 2014
- [j23]Niloofar Razavi, Azadeh Farzan, Sheila A. McIlraith:
Generating effective tests for concurrent programs via AI automated planning techniques. Int. J. Softw. Tools Technol. Transf. 16(1): 49-65 (2014) - [c77]Christian J. Muise, Vaishak Belle, Sheila A. McIlraith:
Computing Contingent Plans via Fully Observable Non-Deterministic Planning. AAAI 2014: 2322-2329 - [c76]Nathan Robinson, Sheila A. McIlraith, David Toman:
Cost-Based Query Optimization via AI Planning. AAAI 2014: 2344-2351 - [c75]Christian J. Muise, Sheila A. McIlraith, Vaishak Belle:
Non-Deterministic Planning With Conditional Effects. ICAPS 2014 - [c74]Franz Baader, Anthony G. Cohn, Georg Gottlob, Sheila A. McIlraith:
Invited Talks. KR 2014 - [c73]Jorge A. Baier, Brent Mombourquette, Sheila A. McIlraith:
Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals. KR 2014 - 2013
- [c72]Sammy Davis-Mendelow, Jorge A. Baier, Sheila A. McIlraith:
Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge. AAAI 2013: 209-216 - [c71]Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith:
Flexible Execution of Partial Order Plans With Temporal Constraints. IJCAI 2013: 2328-2335 - [c70]Marina Gueroussova, Axel Polleres, Sheila A. McIlraith:
SPARQL with Qualitative and Quantitative Preferences. OrdRing@ISWC 2013: 2-8 - [i4]Uri Lerner, Brooks Moses, Maricia Scott, Sheila A. McIlraith, Daphne Koller:
Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net. CoRR abs/1301.0582 (2013) - 2012
- [c69]Farah Juma, Eric I. Hsu, Sheila A. McIlraith:
Preference-Based Planning via MaxSAT. Canadian AI 2012: 109-120 - [c68]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu:
Dsharp: Fast d-DNNF Compilation with sharpSAT. Canadian AI 2012: 356-361 - [c67]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck:
Improved Non-Deterministic Planning by Exploiting State Relevance. ICAPS 2012 - [c66]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck:
Optimally Relaxing Partial-Order Plans with MaxSAT. ICAPS 2012 - [e3]Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith:
Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. AAAI Press 2012, ISBN 978-1-57735-560-1 [contents] - [i3]Christian Fritz, Sheila A. McIlraith:
Generating Optimal Plans in Highly-Dynamic Domains. CoRR abs/1205.2647 (2012) - 2011
- [j22]Leora Morgenstern, Sheila A. McIlraith:
John McCarthy's legacy. Artif. Intell. 175(1): 1-24 (2011) - [j21]Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith:
Specifying and computing preferred plans. Artif. Intell. 175(7-8): 1308-1345 (2011) - [j20]Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos:
Representing and reasoning about preferences in requirements engineering. Requir. Eng. 16(3): 227-249 (2011) - [c65]Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith:
Preferred Explanations: Theory and Generation via Planning. AAAI 2011: 261-267 - [c64]Renée J. Miller, Frank Wm. Tompa, Sheila A. McIlraith, Jacob Slonim, Eric S. K. Yu:
NSERC business intelligence network: selected topics. CASCON 2011: 313-315 - [c63]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck:
Monitoring the Execution of Partial-Order Plans via Regression. IJCAI 2011: 1975-1982 - 2010
- [c62]Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu:
Fast d-DNNF Compilation with sharpSAT. Abstraction, Reformulation, and Approximation 2010 - [c61]Vinay K. Chaudhri, Bert Bredeweg, Richard Fikes, Sheila A. McIlraith, Michael P. Wellman:
A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base. FOIS 2010: 158-171 - [c60]Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith:
Diagnosis as Planning Revisited. KR 2010 - [c59]Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos:
Integrating Preferences into Goal Models for Requirements Engineering. RE 2010: 135-144 - [c58]Shirin Sohrabi, Sheila A. McIlraith:
Preference-Based Web Service Composition: A Middle Ground between Execution and Search. ISWC (1) 2010: 713-729 - [c57]Eric I. Hsu, Sheila A. McIlraith:
Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search. SOCS 2010: 111-112
2000 – 2009
- 2009
- [j19]Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith:
A heuristic search approach to planning with temporally extended preferences. Artif. Intell. 173(5-6): 593-618 (2009) - [j18]Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos:
Monitoring and diagnosing software requirements. Autom. Softw. Eng. 16(1): 3-35 (2009) - [c56]Christian Fritz, Sheila A. McIlraith:
Computing Robust Plans in Continuous Domains. ICAPS 2009 - [c55]Christian J. Muise, Sheila A. McIlraith, Jorge A. Baier, Michael Reimer:
Exploiting N-Gram Analysis to Predict Operator Sequences. ICAPS 2009 - [c54]Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McIlraith:
Web Service Composition via the Customization of Golog Programs with User Preferences. Conceptual Modeling: Foundations and Applications 2009: 319-334 - [c53]Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith:
HTN Planning with Preferences. IJCAI 2009: 1790-1797 - [c52]Sotirios Liaskos, Sheila A. McIlraith, John Mylopoulos:
Towards Augmenting Requirements Models with Preferences. ASE 2009: 565-569 - [c51]Eric I. Hsu, Sheila A. McIlraith:
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search. SAT 2009: 377-390 - [c50]Shirin Sohrabi, Sheila A. McIlraith:
Optimizing Web Service Composition While Enforcing Regulations. ISWC 2009: 601-617 - [c49]Christian Fritz, Sheila A. McIlraith:
Generating Optimal Plans in Highly-Dynamic Domains. UAI 2009: 177-184 - [i2]Shirin Sohrabi, Sheila A. McIlraith:
On Planning with Preferences in HTN. CoRR abs/0909.0682 (2009) - 2008
- [j17]Jorge A. Baier, Sheila A. McIlraith:
Planning with Preferences. AI Mag. 29(4): 25-36 (2008) - [j16]Michael Grüninger, Richard Hull, Sheila A. McIlraith:
A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services. IEEE Data Eng. Bull. 31(3): 3-7 (2008) - [c48]Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith:
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. AAAI 2008: 1509-1512 - [c47]Eric I. Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith:
Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. CP 2008: 613-617 - [c46]Arnold Binas, Sheila A. McIlraith:
Peer-to-Peer Query Answering with Inconsistent Knowledge. KR 2008: 329-339 - [c45]Christian Fritz, Jorge A. Baier, Sheila A. McIlraith:
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. KR 2008: 600-610 - 2007
- [j15]David L. Martin, Mark H. Burstein, Drew V. McDermott, Sheila A. McIlraith, Massimo Paolucci, Katia P. Sycara, Deborah L. McGuinness, Evren Sirin, Naveen Srinivasan:
Bringing Semantics to Web Services with OWL-S. World Wide Web(3): 243-277 (2007) - [j14]Sheila A. McIlraith, Pavlos Peppas, Michael Thielscher:
Preface. J. Log. Comput. 17(5): 847-849 (2007) - [c44]Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. McIlraith:
Using Expectation Maximization to Find Likely Assignments for Solving CSP's. AAAI 2007: 224-230 - [c43]Jorge A. Baier, Sheila A. McIlraith:
On Domain-Independent Heuristics for Planning with Qualitative Preferences. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 7-12 - [c42]Jorge A. Baier, Christian Fritz, Sheila A. McIlraith:
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners. ICAPS 2007: 26-33 - [c41]Christian Fritz, Sheila A. McIlraith:
Monitoring Plan Optimality During Execution. ICAPS 2007: 144-151 - [c40]Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith:
A Heuristic Search Approach to Planning with Temporally Extended Preferences. IJCAI 2007: 1808-1815 - [c39]Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos:
An automated approach to monitoring and diagnosing requirements. ASE 2007: 293-302 - 2006
- [j13]Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith:
Domain-dependent knowledge in answer set planning. ACM Trans. Comput. Log. 7(4): 613-657 (2006) - [c38]Jorge A. Baier, Sheila A. McIlraith:
Planning with First-Order Temporally Extended Goals using Heuristic Search. AAAI 2006: 788-795 - [c37]Jorge A. Baier, Sheila A. McIlraith:
Planning with Temporally Extended Goals Using Heuristic Search. ICAPS 2006: 342-345 - [c36]Honglei Zeng, Sheila A. McIlraith:
Experimental Results on the Satisfiable Core in Random 3SAT. AI&M 2006 - [c35]Scott Sanner, Sheila A. McIlraith:
An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic. KR 2006: 100-111 - [c34]Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith:
Planning with Qualitative Temporal Preferences. KR 2006: 134-144 - [c33]Christian Fritz, Sheila A. McIlraith:
Decision-Theoretic GOLOG with Qualitative Preferences. KR 2006: 153-163 - [c32]Jorge A. Baier, Sheila A. McIlraith:
On Planning with Programs that Sense. KR 2006: 492-502 - [c31]Eric I. Hsu, Sheila A. McIlraith:
Characterizing Propagation Methods for Boolean Satisfiability. SAT 2006: 325-338 - [c30]Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McIlraith:
Web Service Composition Via Generic Procedures and Customizing User Preferences. ISWC 2006: 597-611 - 2005
- [j12]Eyal Amir, Sheila A. McIlraith:
Partition-based logical reasoning for first-order and propositional theories. Artif. Intell. 162(1-2): 49-88 (2005) - [j11]Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlraith:
Towards a practical theory of reformulation for reasoning about physical systems. Artif. Intell. 162(1-2): 145-204 (2005) - [j10]Sheila A. McIlraith, Dimitris Plexousakis:
Preface. J. Web Semant. 3(2-3): 77-78 (2005) - [c29]Eric I. Hsu, Sheila A. McIlraith:
Mechanism Design for Preference Aggregation over Coalitions. CP 2005: 852 - [c28]Honglei Zeng, Sheila A. McIlraith:
The Role of Redundant Clauses in Solving Satisfiability Problems. CP 2005: 873 - 2004
- [c27]Sheila A. McIlraith:
Invited talk: towards declarative programming for web services. PEPM 2004: 1-2 - [c26]Sheila A. McIlraith:
Invited talk: towards declarative programming for web services. PPDP 2004: 3-4 - [c25]Sheila A. McIlraith:
Towards Declarative Programming for Web Services. SAS 2004: 21 - [c24]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:
Bringing Semantics to Web Services: The OWL-S Approach. SWSWPC 2004: 26-42 - [e2]Sheila A. McIlraith, Dimitris Plexousakis, Frank van Harmelen:
The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings. Lecture Notes in Computer Science 3298, Springer 2004, ISBN 3-540-23798-4 [contents] - 2003
- [j9]Srini Narayanan, Sheila A. McIlraith:
Analysis and simulation of Web services. Comput. Networks 42(5): 675-693 (2003) - [j8]Sheila A. McIlraith, David L. Martin:
Bringing Semantics to Web Services. IEEE Intell. Syst. 18(1): 90-93 (2003) - [c23]Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe:
Practical Partition-Based Theorem Proving for Large Knowledge Bases. IJCAI 2003: 89-98 - [c22]Daniel J. Mandell, Sheila A. McIlraith:
Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation. ISWC 2003: 227-241 - [c21]Daniel J. Mandell, Sheila A. McIlraith:
Automating Web Service Discovery, Customization, and Semantic Translation with a Semantic Discovery Service. WWW (Posters) 2003 - 2002
- [j7]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:
AAAI 2002 Workshops. AI Mag. 23(4): 113-121 (2002) - [j6]Joanna Bryson, David L. Martin, Sheila A. McIlraith, Lynn Andrea Stein:
Toward Behavioral Intelligence in the Semantic Web. Computer 35(11): 48-54 (2002) - [c20]Sheila A. McIlraith, Tran Cao Son:
Adapting Golog for Composition of Semantic Web Services. KR 2002: 482-496 - [c19]Sheila A. McIlraith, Ronald Fadel:
Planning with complex actions. NMR 2002: 356-364 - [c18]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:
DAML-S: Web Service Description for the Semantic Web. ISWC 2002: 348-363 - [c17]Uri Lerner, Brooks Moses, Maricia Scott, Sheila A. McIlraith, Daphne Koller:
Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net. UAI 2002: 301-310 - [c16]Srini Narayanan, Sheila A. McIlraith:
Simulation, verification and automated composition of web services. WWW 2002: 77-88 - [e1]Christoph Bussler, Richard Hull, Sheila A. McIlraith, Maria E. Orlowska, Barbara Pernici, Jian Yang:
Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, May 27-28, 2002, Revised Papers. Lecture Notes in Computer Science 2512, Springer 2002, ISBN 3-540-00198-0 [contents] - [i1]Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith:
Domain-Dependent Knowledge in Answer Set Planning. CoRR cs.AI/0207023 (2002) - 2001
- [j5]Sheila A. McIlraith, Tran Cao Son, Honglei Zeng:
Semantic Web Services. IEEE Intell. Syst. 16(2): 46-53 (2001) - [c15]Tran Cao Son, Chitta Baral, Sheila A. McIlraith:
Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs. Answer Set Programming 2001 - [c14]Sheila A. McIlraith, Eyal Amir:
Theorem Proving with Structured Theories. IJCAI 2001: 624-634 - [c13]Tran Cao Son, Chitta Baral, Sheila A. McIlraith:
Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. LPNMR 2001: 226-239 - [c12]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:
DAML-S: Semantic Markup for Web Services. SWWS 2001: 411-430 - [c11]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:
DAML-S: Semantic Markup for Web Services. The Emerging Semantic Web 2001 - [c10]Sheila A. McIlraith, Tran Cao Son, Honglei Zeng:
Mobilizing the Semantic Web with DAML-enabled Web Services. SemWeb 2001 - 2000
- [j4]Sheila A. McIlraith:
Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes). Artif. Intell. 116(1-2): 87-121 (2000) - [j3]David J. Musliner, Barney Pell, Wolff Dobson, Kai Goebel, Gautam Biswas, Sheila A. McIlraith, Giuseppina C. Gini, Sven Koenig, Shlomo Zilberstein, Weixiong Zhang:
Reports on the AAAI Spring Symposia (March 1999). AI Mag. 21(2): 79-84 (2000) - [c9]Sheila A. McIlraith, Richard B. Scherl:
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems. AAAI/IAAI 2000: 483-490 - [c8]Sheila A. McIlraith:
Modeling and Programming Devices and Web Agents. FAABS 2000: 63-77 - [c7]Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta:
Hybrid Systems Diagnosis. HSCC 2000: 282-295 - [c6]Chitta Baral, Sheila A. McIlraith, Tran Cao Son:
Formulating diagnostic problem solving using an action language with narratives and sensing. KR 2000: 311-322 - [c5]Eyal Amir, Sheila A. McIlraith:
Partition-Based Logical Reasoning. KR 2000: 389-400 - [c4]Eyal Amir, Sheila A. McIlraith:
Improving the Efficiency of Reasoning Through Structure-Based Reformulation. SARA 2000: 247-259
1990 – 1999
- 1998
- [c3]Sheila A. McIlraith:
Explanatory Diagnosis: Conjecturing Actions to Explain Observations. KR 1998: 167-179 - 1997
- [b1]Sheila A. McIlraith:
Towards a formal account of diagnostic problem solving. University of Toronto, Canada, 1997 - [c2]Sheila A. McIlraith:
Representing Actions and State Constraints in Model-Based Diagnosis. AAAI/IAAI 1997: 43-49 - 1994
- [j2]Sheila A. McIlraith:
Further Contributions to Characterizing Diagnosis. Ann. Math. Artif. Intell. 11(1-4): 137-167 (1994) - [c1]Sheila A. McIlraith:
Generating Tests Using Abduction. KR 1994: 449-460
1980 – 1989
- 1989
- [j1]Sheila A. McIlraith:
Qualitative data modeling: application of a mechanism for interpreting graphical data. Comput. Intell. 5: 111-120 (1989)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-20 21:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
