Остановите войну!
for scientists:
default search action
Sheila A. McIlraith
- > Home > Persons > Sheila A. McIlraith
Publications
- 2022
- [j28]Jorge A. Baier, Sheila A. McIlraith:
Knowledge-based programs as building blocks for planning. Artif. Intell. 303: 103634 (2022) - 2018
- [c106]Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith:
Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning. Canadian AI 2018: 45-59 - [c103]Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith:
Finite LTL Synthesis as Planning. ICAPS 2018: 29-38 - [c100]Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith:
LTL Realizability via Safety and Reachability Games. IJCAI 2018: 4683-4691 - [c99]Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith:
SynKit: LTL Synthesis as a Service. IJCAI 2018: 5817-5819 - 2017
- [c95]Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith:
Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces. AAAI 2017: 3716-3724 - 2016
- [c87]Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith:
Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version). KnowProS@IJCAI 2016 - 2014
- [c73]Jorge A. Baier, Brent Mombourquette, Sheila A. McIlraith:
Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals. KR 2014 - 2013
- [c72]Sammy Davis-Mendelow, Jorge A. Baier, Sheila A. McIlraith:
Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge. AAAI 2013: 209-216 - 2011
- [c65]Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith:
Preferred Explanations: Theory and Generation via Planning. AAAI 2011: 261-267 - 2010
- [c60]Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith:
Diagnosis as Planning Revisited. KR 2010 - 2009
- [j19]Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith:
A heuristic search approach to planning with temporally extended preferences. Artif. Intell. 173(5-6): 593-618 (2009) - [c55]Christian J. Muise, Sheila A. McIlraith, Jorge A. Baier, Michael Reimer:
Exploiting N-Gram Analysis to Predict Operator Sequences. ICAPS 2009 - [c53]Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith:
HTN Planning with Preferences. IJCAI 2009: 1790-1797 - 2008
- [j17]Jorge A. Baier, Sheila A. McIlraith:
Planning with Preferences. AI Mag. 29(4): 25-36 (2008) - [c48]Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith:
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. AAAI 2008: 1509-1512 - [c45]Christian Fritz, Jorge A. Baier, Sheila A. McIlraith:
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. KR 2008: 600-610 - 2007
- [c43]Jorge A. Baier, Sheila A. McIlraith:
On Domain-Independent Heuristics for Planning with Qualitative Preferences. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 7-12 - [c42]Jorge A. Baier, Christian Fritz, Sheila A. McIlraith:
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners. ICAPS 2007: 26-33 - [c40]Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith:
A Heuristic Search Approach to Planning with Temporally Extended Preferences. IJCAI 2007: 1808-1815 - 2006
- [c38]Jorge A. Baier, Sheila A. McIlraith:
Planning with First-Order Temporally Extended Goals using Heuristic Search. AAAI 2006: 788-795 - [c37]Jorge A. Baier, Sheila A. McIlraith:
Planning with Temporally Extended Goals Using Heuristic Search. ICAPS 2006: 342-345 - [c32]Jorge A. Baier, Sheila A. McIlraith:
On Planning with Programs that Sense. KR 2006: 492-502
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint