Sheila A. McIlraith - Publications

Affiliations: 
Computer Science University of Toronto, Toronto, ON, Canada 
Area:
Computer Science, Web Studies

36 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Muise CJ, Beck JC, McIlraith SA. Optimal Partial-Order Plan Relaxation via MaxSAT Journal of Artificial Intelligence Research. 57: 113-149. DOI: 10.1613/Jair.5128  0.546
2016 Mombourquette B, Muise C, McIlraith SA. Belief state estimation for planning via approximate logical filtering and smoothing Ceur Workshop Proceedings. 1648.  0.664
2016 Camacho A, Triantafillou E, Muise C, Baier JA, McIlraith SA. Non-deterministic planning with temporally extended goals: Completing the story for finite and infinite LTL (Amended Version) Ceur Workshop Proceedings. 1648.  0.73
2016 Illanes L, McIlraith SA. Numeric planning via search space abstraction Ceur Workshop Proceedings. 1648.  0.386
2014 Razavi N, Farzan A, McIlraith SA. Generating effective tests for concurrent programs via AI automated planning techniques International Journal On Software Tools For Technology Transfer. 16: 49-65. DOI: 10.1007/S10009-013-0277-Y  0.382
2014 Muise C, Belle V, McIlraith SA. Computing contingent plans via fully observable non-deterministic planning Proceedings of the National Conference On Artificial Intelligence. 3: 2322-2329.  0.73
2014 Robinson N, McIlraith SA, Toman D. Cost-based query optimization via AI planning Proceedings of the National Conference On Artificial Intelligence. 3: 2344-2351.  0.396
2014 Baier JA, Mombourquette B, McIlraith SA. Diagnostic problem solving via planning with ontic and epistemic goals 14th International Conference On the Principles of Knowledge Representation and Reasoning, Kr 2014. 388-397.  0.33
2013 Muise C, Beck JC, McIlraith SA. Flexible execution of partial order planswith temporal constraints Ijcai International Joint Conference On Artificial Intelligence. 2328-2335.  0.677
2013 Davis-Mendelow S, Baier JA, McIlraith SA. Assumption-based planning: Generating plans and explanations under incomplete knowledge Proceedings of the 27th Aaai Conference On Artificial Intelligence, Aaai 2013. 209-216.  0.447
2012 Muise C, McIlraith SA, Beck JC, Hsu EI. DSHARP: Fast d-DNNF compilation with sharpSAT Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7310: 356-361. DOI: 10.1007/978-3-642-30353-1_36  0.604
2012 Juma F, Hsu EI, McIlraith SA. Preference-based planning via MaxSAT Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7310: 109-120. DOI: 10.1007/978-3-642-30353-1_10  0.397
2012 Davis-Mendelow S, Baier JA, McIlraith SA. Making reasonable assumptions to plan with incomplete information: Abridged report Aaai Workshop - Technical Report. 16-22.  0.442
2012 Muise C, McIlraith SA, Beck JC. Improved non-deterministic planning by exploiting state relevance Icaps 2012 - Proceedings of the 22nd International Conference On Automated Planning and Scheduling. 172-180.  0.705
2012 Muise C, McIlraith SA, Beck JC. Optimally relaxing partial-order plans with MaxSAT Icaps 2012 - Proceedings of the 22nd International Conference On Automated Planning and Scheduling. 358-362.  0.707
2011 Muise C, McIlraith SA, Beck JC. Monitoring the execution of partial-order plans via regression Ijcai International Joint Conference On Artificial Intelligence. 1975-1982. DOI: 10.5591/978-1-57735-516-8/IJCAI11-330  0.725
2011 Bienvenu M, Fritz C, McIlraith SA. Specifying and computing preferred plans Artificial Intelligence. 175: 1308-1345. DOI: 10.1016/J.Artint.2010.11.021  0.443
2011 Liaskos S, McIlraith SA, Sohrabi S, Mylopoulos J. Representing and reasoning about preferences in requirements engineering Requirements Engineering. 16: 227-249. DOI: 10.1007/S00766-011-0129-9  0.334
2011 Juma F, Hsu EI, McIlraith SA. Exploiting MaxSAT for preference-based planning Coplas 2011 - Proceedings of the Workshop On Constraint Satisfaction Techniques For Planning and Scheduling Problems. 39-46.  0.36
2011 Sohrabi S, Baier JA, McIlraith SA. Preferred explanations: Theory and generation via planning Proceedings of the National Conference On Artificial Intelligence. 1: 261-267.  0.313
2011 Muise C, McIlraith SA, Christopher Beck J. Optimization of partial-order plans via MaxSAT Coplas 2011 - Proceedings of the Workshop On Constraint Satisfaction Techniques For Planning and Scheduling Problems. 31-38.  0.733
2010 Sohrabi S, Baier JA, McIlraith SA. Diagnosis as planning revisited Principles of Knowledge Representation and Reasoning: Proceedings of the 12th International Conference, Kr 2010. 26-36.  0.308
2009 Sohrabi S, Baier JA, McIlraith SA. HTN planning with preferences Ijcai International Joint Conference On Artificial Intelligence. 1790-1797.  0.388
2008 Baier JA, McIlraith SA. Planning with preferences Ai Magazine. 29: 25-36. DOI: 10.1609/Aimag.V29I4.2204  0.502
2008 Hsu EI, Muise CJ, Beck JC, McIlraith SA. Probabilistically estimating backbones and variable bias: Experimental overview Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5202: 613-617. DOI: 10.1007/978-3-540-85958-1_52  0.615
2008 Fritz C, Baier JA, McIlraith SA. ConGolog, sin trans: Compiling ConGolog into basic action theories for planning and beyond Principles of Knowledge Representation and Reasoning: Proceedings of the 11th International Conference, Kr 2008. 600-610.  0.302
2008 Sohrabi S, McIlraith SA. On planning with preferences in HTN Aaai Workshop - Technical Report. 103-109.  0.383
2008 Baier JA, Fritz C, Bienvenu M, McIlraith SA. Beyond classical planning: Procedural control knowledge and preferences in state-of-the-art planners Proceedings of the National Conference On Artificial Intelligence. 3: 1509-1512.  0.41
2007 Baier JA, Bacchus F, McIlraith SA. A heuristic search approach to planning with temporally extended preferences Ijcai International Joint Conference On Artificial Intelligence. 1808-1815. DOI: 10.1016/J.Artint.2008.11.011  0.498
2007 Baier JA, McIlraith SA. On domain-independent heuristics for planning with qualitative preferences Aaai Spring Symposium - Technical Report. 7-12.  0.393
2007 Fritz C, McIlraith SA. Monitoring plan optimality during execution Icaps 2007, 17th International Conference On Automated Planning and Scheduling. 144-151.  0.441
2006 Son TC, Baral C, Tran N, Mcilraith S. Domain-dependent knowledge in answer set planning Acm Transactions On Computational Logic. 7: 613-657. DOI: 10.1145/1183278.1183279  0.445
2006 Bienvenu M, Fritz C, McIlraith SA. Planning with qualitative temporal preferences Proceedings, 10th International Conference On Principles of Knowledge Representation and Reasoning, Kr 2006. 134-144.  0.39
2006 Baier JA, McIlraith SA. Planning with first-order temporally extended goals using heuristic search Proceedings of the National Conference On Artificial Intelligence. 1: 788-795.  0.455
2006 Baier JA, McIlraith SA. Planning with temporally extended goals using heuristic search Icaps 2006 - Proceedings, Sixteenth International Conference On Automated Planning and Scheduling. 2006: 342-345.  0.456
2002 Blake B, Haigh K, Hexmoor H, Falcone R, Soh L, Baral C, McIlraith S, Gmytrasiewicz P, Parsons S, Malaka R, Krueger A, Bouquet P, Smart B, Kurumantani K, Pease A, et al. AAAI 2002 Workshops Ai Magazine. 23: 113-121. DOI: 10.1609/Aimag.V23I4.1678  0.352
Show low-probability matches.