( en | de | ru )

 

Disambiguierung von "McIlraith, Sheila A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning.

, , , und . Canadian AI, Volume 10832 von Lecture Notes in Computer Science, Seite 45-59. Springer, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sheila Müller

Sheila Kannookadan

Sheila Och

Sheila Lutz

Sheila Liz

 

Weitere Publikationen von Autoren mit dem selben Namen

Numeric Planning via Abstraction and Policy Guided Search., und . IJCAI, Seite 4338-4345. ijcai.org, (2017)Practical Partition-Based Theorem Proving for Large Knowledge Bases., , , und . IJCAI, Seite 89-98. Morgan Kaufmann, (2003)Improving the Efficiency of Reasoning Through Structure-Based Reformulation., und . SARA, Volume 1864 von Lecture Notes in Computer Science, Seite 247-259. Springer, (2000)A Heuristic Search Approach to Planning with Temporally Extended Preferences., , und . IJCAI, Seite 1808-1815. (2007)Planning with Preferences., und . AI Magazine, 29 (4): 25-36 (2008)A Recap of the AAAI and IAAI 2018 Conferences and the EAAI Symposium., , , , , und . AI Magazine, 39 (4): 3-16 (2018)Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning., , , und . J. Artif. Intell. Res., (2022)Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net, , , , und . CoRR, (2013)A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base., , , , und . FOIS, Volume 209 von Frontiers in Artificial Intelligence and Applications, Seite 158-171. IOS Press, (2010)Simulation, verification and automated composition of web services., und . WWW, Seite 77-88. ACM, (2002)