Sheila A. McIlraith
Orcid: 0000-0003-4953-0945Affiliations:
- University of Toronto, Canada
According to our database1,
Sheila A. McIlraith
authored at least 186 papers
between 1989 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2019, "For contributions to knowledge representation and its applications to automated planning and semantic web services".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Commun. ACM, June, 2024
CoRR, 2024
Neural Sequence Generation with Constraints via Beam Search with Cuts: A Case Study on VRP.
Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024
Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Artif. Intell., October, 2023
Remembering to Be Fair: On Non-Markovian Fairness in Sequential Decision Making (Preliminary Report).
CoRR, 2023
Learning Symbolic Representations for Reinforcement Learning of Non-Markovian Behavior.
CoRR, 2023
Constraints An Int. J., 2023
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the International Conference on Machine Learning, 2023
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
2022
J. Artif. Intell. Res., 2022
CoRR, 2022
CoRR, 2022
Artif. Intell., 2022
Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
You Can't Count on Luck: Why Decision Transformers and RvS Fail in Stochastic Environments.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the 38th International Conference on Machine Learning, 2021
Proceedings of the 9th International Conference on Learning Representations, 2021
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
Proceedings of the 34th Canadian Conference on Artificial Intelligence, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
CoRR, 2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020
Proceedings of the Explainable, Transparent Autonomous Agents and Multi-Agent Systems, 2020
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
CoRR, 2019
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the Principles and Practice of Constraint Programming, 2019
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning.
Proceedings of the 35th International Conference on Machine Learning, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
Proceedings of the Advances in Artificial Intelligence, 2018
Proceedings of the Advances in Artificial Intelligence, 2018
Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning.
Proceedings of the Advances in Artificial Intelligence, 2018
2017
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017
Proceedings of the Tenth International Symposium on Combinatorial Search, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017
An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem (Preliminary Report).
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Proceedings of the Ninth Annual Symposium on Combinatorial Search, 2016
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing.
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016
Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version).
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016
Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016
From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016
2015
Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015
Proceedings of the 2015 AAAI Spring Symposia, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Generating effective tests for concurrent programs via AI automated planning techniques.
Int. J. Softw. Tools Technol. Transf., 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
Proceedings of the 2nd International Workshop on Ordering and Reasoning, 2013
Proceedings of the IJCAI 2013, 2013
Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
2012
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012
Proceedings of the Advances in Artificial Intelligence, 2012
Proceedings of the Advances in Artificial Intelligence, 2012
2011
Requir. Eng., 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the Center for Advanced Studies on Collaborative Research, 2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
2010
Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search.
Proceedings of the Third Annual Symposium on Combinatorial Search, 2010
Preference-Based Web Service Composition: A Middle Ground between Execution and Search.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base.
Proceedings of the Formal Ontology in Information Systems, 2010
2009
Artif. Intell., 2009
Proceedings of the UAI 2009, 2009
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009
Proceedings of the Theory and Applications of Satisfiability Testing, 2009
Proceedings of the ASE 2009, 2009
Web Service Composition via the Customization of Golog Programs with User Preferences.
Proceedings of the Conceptual Modeling: Foundations and Applications, 2009
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009
2008
IEEE Data Eng. Bull., 2008
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the Principles and Practice of Constraint Programming, 2008
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Proceedings of the Semantic Web - ISWC 2006, 5th International Semantic Web Conference, 2006
Proceedings of the Theory and Applications of Satisfiability Testing, 2006
An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic.
Proceedings of the Proceedings, 2006
Proceedings of the Proceedings, 2006
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2006
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006
Proceedings of the Proceedings, 2006
2005
Artif. Intell., 2005
Artif. Intell., 2005
Proceedings of the Principles and Practice of Constraint Programming, 2005
Proceedings of the Principles and Practice of Constraint Programming, 2005
2004
Proceedings of the Semantic Web Services and Web Process Composition, 2004
Proceedings of the Static Analysis, 11th International Symposium, 2004
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004
2003
Automating Web Service Discovery, Customization, and Semantic Translation with a Semantic Discovery Service.
Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003
Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation.
Proceedings of the Semantic Web, 2003
Proceedings of the IJCAI-03, 2003
2002
Proceedings of the Eleventh International World Wide Web Conference, 2002
Proceedings of the UAI '02, 2002
Proceedings of the Semantic Web, 2002
Planning with complex actions.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002
Adapting Golog for Composition of Semantic Web Services.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002
2001
Proceedings of the Second International Workshop on the Semantic Web, 2001
Proceedings of SWWS'01, The first Semantic Web Working Symposium, Stanford University, California, USA, July 30, 2001
Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
Theorem Proving with Structured Theories.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs.
Proceedings of the Answer Set Programming, 2001
2000
Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes).
Artif. Intell., 2000
Proceedings of the Abstraction, 2000
Formulating diagnostic problem solving using an action language with narratives and sensing.
Proceedings of the KR 2000, 2000
Partition-Based Logical Reasoning.
Proceedings of the KR 2000, 2000
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000
1998
Explanatory Diagnosis: Conjecturing Actions to Explain Observations.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998
1997
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997
1994
Generating Tests Using Abduction.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994
1989
Qualitative data modeling: application of a mechanism for interpreting graphical data.
Comput. Intell., 1989