Sheila A. McIlraith

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Learning reward machines: a study in partially observable reinforcement learning Artificial Intelligence	2023-10-04	Paper
SAT-based optimal classification trees for non-binary data Constraints	2023-09-15	Paper
Knowledge-based programs as building blocks for planning Artificial Intelligence	2022-03-02	Paper
Reward machines: exploiting reward function structure in reinforcement learning Journal of Artificial Intelligence Research	2022-02-07	Paper
Efficient multi-agent epistemic planning: teaching planners about nested belief Artificial Intelligence	2021-12-13	Paper
Optimal partial-order plan relaxation via MaxSAT The Journal of Artificial Intelligence Research (JAIR)	2016-09-21	Paper
Specifying and computing preferred plans Artificial Intelligence	2011-11-17	Paper
John McCarthy's legacy Artificial Intelligence	2011-06-17	Paper
A heuristic search approach to planning with temporally extended preferences Artificial Intelligence	2009-08-31	Paper
Partition-based logical reasoning for first-order and propositional theories Artificial Intelligence	2007-10-23	Paper
Towards a practical theory of reformulation for reasoning about physical systems Artificial Intelligence	2007-10-23	Paper
Characterizing Propagation Methods for Boolean Satisfiability Lecture Notes in Computer Science	2007-09-04	Paper
Static Analysis Lecture Notes in Computer Science	2005-08-24	Paper
Analysis and simulation of Web services. Computer Networks	2003-08-07	Paper
scientific article; zbMATH DE number 1884393 (Why is no real title available?)	2003-03-18	Paper
scientific article; zbMATH DE number 1759716 (Why is no real title available?)	2002-08-06	Paper
scientific article; zbMATH DE number 1759735 (Why is no real title available?)	2002-07-22	Paper
Solving satisfiability using decomposition and the most constrained subproblem	2001-09-24	Paper
Theorem proving with structured theories. (Preliminary report)	2001-09-24	Paper
scientific article; zbMATH DE number 1444358 (Why is no real title available?)	2000-06-21	Paper
Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) Artificial Intelligence	2000-06-04	Paper
scientific article; zbMATH DE number 1390356 (Why is no real title available?)	2000-03-22	Paper
Further contributions to characterizing diagnosis Annals of Mathematics and Artificial Intelligence	1997-03-25	Paper

Research outcomes over time

This page was built for person: Sheila A. McIlraith