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. |