Sheila A. McIlraith

Available identifiers

zbMath Open mcilraith.sheila-aMaRDI QIDQ543572

List of research outcomes

Publication	Date of Publication	Type
Learning reward machines: a study in partially observable reinforcement learning	2023-10-04	Paper
SAT-based optimal classification trees for non-binary data	2023-09-15	Paper
Knowledge-based programs as building blocks for planning	2022-03-02	Paper
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning	2022-02-07	Paper
Efficient multi-agent epistemic planning: teaching planners about nested belief	2021-12-13	Paper
Optimal partial-order plan relaxation via MaxSAT	2016-09-21	Paper
Specifying and computing preferred plans	2011-11-17	Paper
John McCarthy's legacy	2011-06-17	Paper
A heuristic search approach to planning with temporally extended preferences	2009-08-31	Paper
Partition-based logical reasoning for first-order and propositional theories	2007-10-23	Paper
Towards a practical theory of reformulation for reasoning about physical systems	2007-10-23	Paper
Characterizing Propagation Methods for Boolean Satisfiability	2007-09-04	Paper
Static Analysis	2005-08-24	Paper
Analysis and simulation of Web services.	2003-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q4798013	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4536729	2002-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4536750	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
https://portal.mardi4nfdi.de/entity/Q4953400	2000-06-21	Paper
Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)	2000-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4934648	2000-03-22	Paper
Further contributions to characterizing diagnosis	1997-03-25	Paper

Research outcomes over time

This page was built for person: Sheila A. McIlraith