217 results on '"Sheila A. McIlraith"'
Search Results
2. Do Embedded Ethics Modules Have Impact Beyond the Classroom?
3. PRP Rebooted: Advancing the State of the Art in FOND Planning.
4. Remembering to Be Fair: Non-Markovian Fairness in Sequential Decision Making.
5. Planning with Epistemic Preferences.
6. Optimal Decision Trees For Interpretable Clustering with Constraints.
7. Is More Better When Embedding Ethics in CS Courses?
8. Epistemic Side Effects: An AI Safety Problem.
9. SAT-Based Learning of Compact Binary Decision Diagrams for Classification.
10. Learning Belief Representations for Partially Observable Deep RL.
11. Proactive Robotic Assistance via Theory of Mind.
12. Resolving Misconceptions about the Plans of Agents via Theory of Mind.
13. Embedding Ethics in Computer Science Courses: Does it Work?
14. Be Considerate: Avoiding Negative Side Effects in Reinforcement Learning.
15. Planning to Avoid Side Effects.
16. STEVE-1: A Generative Model for Text-to-Behavior in Minecraft.
17. Type-WA*: Using Exploration in Bounded Suboptimal Planning.
18. SAT-Based Approach for Learning Optimal Decision Trees with Non-Binary Features.
19. LTL2Action: Generalizing LTL Instructions for Multi-Task RL.
20. Interpretable Sequence Classification via Discrete Optimization.
21. Changing Beliefs about Domain Dynamics in the Situation Calculus.
22. Symbolic Plans as High-Level Instructions for Reinforcement Learning.
23. Epistemic Plan Recognition.
24. Towards the Role of Theory of Mind in Explanation.
25. Active Goal Recognition.
26. You Can't Count on Luck: Why Decision Transformers and RvS Fail in Stochastic Environments.
27. Learning to Follow Instructions in Text-Based Games.
28. Learning Reward Machines for Partially Observable Reinforcement Learning.
29. LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning.
30. Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals.
31. Towards a Unified View of AI Planning and Reactive Synthesis.
32. Learning Interpretable Models Expressed in Linear Temporal Logic.
33. Training Binarized Neural Networks Using MIP and CP.
34. Generalized Planning via Abstraction: Arbitrary Numbers of Objects.
35. Planning from Pixels using Inverse Dynamics Models.
36. AppBuddy: Learning to Accomplish Tasks in Mobile Apps via Reinforcement Learning.
37. Finite LTL Synthesis with Environment Assumptions and Quality Measures.
38. Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus.
39. An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem.
40. Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning.
41. Advice-Based Exploration in Model-Based Reinforcement Learning.
42. LTL Realizability via Safety and Reachability Games.
43. Finite LTL Synthesis as Planning.
44. Teaching Multiple Tasks to an RL Agent using LTL.
45. Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning.
46. Numeric Planning via Abstraction and Policy Guided Search.
47. Logical Filtering and Smoothing: State Estimation in Partially Observable Domains.
48. Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces.
49. SynKit: LTL Synthesis as a Service.
50. Using Metric Temporal Logic to Specify Scheduling Problems.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.