Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sheila A. McIlraith
@inproceedings{DBLP:conf/aaai/MuiseMB24,
author = {Christian Muise and
Sheila A. McIlraith and
J. Christopher Beck},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {{PRP} Rebooted: Advancing the State of the Art in {FOND} Planning},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {20212--20221},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i18.30001},
doi = {10.1609/AAAI.V38I18.30001},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MuiseMB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/Horton0MCW24,
author = {Diane Horton and
David Liu and
Sheila A. McIlraith and
Steven Coyne and
Nina Wang},
editor = {Ben Stephenson and
Jeffrey A. Stone and
Lina Battestilli and
Samuel A. Rebelsky and
Libby Shoop},
title = {Do Embedded Ethics Modules Have Impact Beyond the Classroom?},
booktitle = {Proceedings of the 55th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2024, Volume 1, Portland, OR, USA, March 20-23,
2024},
pages = {533--539},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3626252.3630834},
doi = {10.1145/3626252.3630834},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/Horton0MCW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/IcarteKVCWM23,
author = {Rodrigo Toro Icarte and
Toryn Q. Klassen and
Richard Valenzano and
Margarita P. Castro and
Ethan Waldie and
Sheila A. McIlraith},
title = {Learning reward machines: {A} study in partially observable reinforcement
learning},
journal = {Artif. Intell.},
volume = {323},
pages = {103989},
year = {2023},
url = {https://doi.org/10.1016/j.artint.2023.103989},
doi = {10.1016/J.ARTINT.2023.103989},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/IcarteKVCWM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/ShatiCM23,
author = {Pouya Shati and
Eldan Cohen and
Sheila A. McIlraith},
title = {SAT-based optimal classification trees for non-binary data},
journal = {Constraints An Int. J.},
volume = {28},
number = {2},
pages = {166--202},
year = {2023},
url = {https://doi.org/10.1007/s10601-023-09348-1},
doi = {10.1007/S10601-023-09348-1},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/ShatiCM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/KlassenAM23,
author = {Toryn Q. Klassen and
Parand Alizadeh Alamdari and
Sheila A. McIlraith},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {Epistemic Side Effects: An {AI} Safety Problem},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {1797--1801},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598842},
doi = {10.5555/3545946.3598842},
timestamp = {Tue, 23 May 2023 14:27:14 +0200},
biburl = {https://dblp.org/rec/conf/atal/KlassenAM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ShatiCM23,
author = {Pouya Shati and
Eldan Cohen and
Sheila A. McIlraith},
editor = {Roland H. C. Yap},
title = {SAT-Based Learning of Compact Binary Decision Diagrams for Classification},
booktitle = {29th International Conference on Principles and Practice of Constraint
Programming, {CP} 2023, August 27-31, 2023, Toronto, Canada},
series = {LIPIcs},
volume = {280},
pages = {33:1--33:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CP.2023.33},
doi = {10.4230/LIPICS.CP.2023.33},
timestamp = {Tue, 26 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ShatiCM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/WangLKIM23,
author = {Andrew Wang and
Andrew C. Li and
Toryn Q. Klassen and
Rodrigo Toro Icarte and
Sheila A. McIlraith},
editor = {Andreas Krause and
Emma Brunskill and
Kyunghyun Cho and
Barbara Engelhardt and
Sivan Sabato and
Jonathan Scarlett},
title = {Learning Belief Representations for Partially Observable Deep {RL}},
booktitle = {International Conference on Machine Learning, {ICML} 2023, 23-29 July
2023, Honolulu, Hawaii, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {202},
pages = {35970--35988},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v202/wang23p.html},
timestamp = {Mon, 28 Aug 2023 17:23:08 +0200},
biburl = {https://dblp.org/rec/conf/icml/WangLKIM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ShatiCM23,
author = {Pouya Shati and
Eldan Cohen and
Sheila A. McIlraith},
title = {Optimal Decision Trees For Interpretable Clustering with Constraints},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {2022--2030},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/225},
doi = {10.24963/IJCAI.2023/225},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ShatiCM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KlassenMM23,
author = {Toryn Q. Klassen and
Christian Muise and
Sheila A. McIlraith},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Planning with Epistemic Preferences},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {752--756},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/76},
doi = {10.24963/KR.2023/76},
timestamp = {Tue, 05 Sep 2023 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/kr/KlassenMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/LifshitzPCBM23,
author = {Shalev Lifshitz and
Keiran Paster and
Harris Chan and
Jimmy Ba and
Sheila A. McIlraith},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {{STEVE-1:} {A} Generative Model for Text-to-Behavior in Minecraft},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/dd03f856fc7f2efeec8b1c796284561d-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/LifshitzPCBM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/HortonLMW23,
author = {Diane Horton and
David Liu and
Sheila A. McIlraith and
Nina Wang},
editor = {Maureen Doyle and
Ben Stephenson and
Brian Dorn and
Leen{-}Kiat Soh and
Lina Battestilli},
title = {Is More Better When Embedding Ethics in {CS} Courses?},
booktitle = {Proceedings of the 54th {ACM} Technical Symposium on Computer Science
Education, Volume 1, {SIGCSE} 2023, Toronto, ON, Canada, March 15-18,
2023},
pages = {652--658},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3545945.3569881},
doi = {10.1145/3545945.3569881},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/HortonLMW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-02952,
author = {Phillip J. K. Christoffersen and
Andrew C. Li and
Rodrigo Toro Icarte and
Sheila A. McIlraith},
title = {Learning Symbolic Representations for Reinforcement Learning of Non-Markovian
Behavior},
journal = {CoRR},
volume = {abs/2301.02952},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.02952},
doi = {10.48550/ARXIV.2301.02952},
eprinttype = {arXiv},
eprint = {2301.02952},
timestamp = {Tue, 10 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-02952.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-12671,
author = {Pouya Shati and
Eldan Cohen and
Sheila A. McIlraith},
title = {Optimal Decision Trees For Interpretable Clustering with Constraints},
journal = {CoRR},
volume = {abs/2301.12671},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.12671},
doi = {10.48550/ARXIV.2301.12671},
eprinttype = {arXiv},
eprint = {2301.12671},
timestamp = {Wed, 01 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-12671.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-00937,
author = {Shalev Lifshitz and
Keiran Paster and
Harris Chan and
Jimmy Ba and
Sheila A. McIlraith},
title = {{STEVE-1:} {A} Generative Model for Text-to-Behavior in Minecraft},
journal = {CoRR},
volume = {abs/2306.00937},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.00937},
doi = {10.48550/ARXIV.2306.00937},
eprinttype = {arXiv},
eprint = {2306.00937},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-00937.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-17688,
author = {Yoshua Bengio and
Geoffrey E. Hinton and
Andrew Yao and
Dawn Song and
Pieter Abbeel and
Yuval Noah Harari and
Ya{-}Qin Zhang and
Lan Xue and
Shai Shalev{-}Shwartz and
Gillian K. Hadfield and
Jeff Clune and
Tegan Maharaj and
Frank Hutter and
Atilim G{\"{u}}nes Baydin and
Sheila A. McIlraith and
Qiqi Gao and
Ashwin Acharya and
David Krueger and
Anca D. Dragan and
Philip H. S. Torr and
Stuart Russell and
Daniel Kahneman and
Jan Brauner and
S{\"{o}}ren Mindermann},
title = {Managing {AI} Risks in an Era of Rapid Progress},
journal = {CoRR},
volume = {abs/2310.17688},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.17688},
doi = {10.48550/ARXIV.2310.17688},
eprinttype = {arXiv},
eprint = {2310.17688},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-17688.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-04772,
author = {Parand Alizadeh Alamdari and
Toryn Q. Klassen and
Elliot Creager and
Sheila A. McIlraith},
title = {Remembering to Be Fair: On Non-Markovian Fairness in Sequential Decision
Making (Preliminary Report)},
journal = {CoRR},
volume = {abs/2312.04772},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.04772},
doi = {10.48550/ARXIV.2312.04772},
eprinttype = {arXiv},
eprint = {2312.04772},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-04772.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-11675,
author = {Christian Muise and
Sheila A. McIlraith and
J. Christopher Beck},
title = {{PRP} Rebooted: Advancing the State of the Art in {FOND} Planning},
journal = {CoRR},
volume = {abs/2312.11675},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.11675},
doi = {10.48550/ARXIV.2312.11675},
eprinttype = {arXiv},
eprint = {2312.11675},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-11675.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MuiseBFMMPS22,
author = {Christian Muise and
Vaishak Belle and
Paolo Felli and
Sheila A. McIlraith and
Tim Miller and
Adrian R. Pearce and
Liz Sonenberg},
title = {Efficient multi-agent epistemic planning: Teaching planners about
nested belief},
journal = {Artif. Intell.},
volume = {302},
pages = {103605},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2021.103605},
doi = {10.1016/J.ARTINT.2021.103605},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/MuiseBFMMPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BaierM22,
author = {Jorge A. Baier and
Sheila A. McIlraith},
title = {Knowledge-based programs as building blocks for planning},
journal = {Artif. Intell.},
volume = {303},
pages = {103634},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2021.103634},
doi = {10.1016/J.ARTINT.2021.103634},
timestamp = {Thu, 06 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BaierM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/IcarteKVM22,
author = {Rodrigo Toro Icarte and
Toryn Q. Klassen and
Richard Anthony Valenzano and
Sheila A. McIlraith},
title = {Reward Machines: Exploiting Reward Function Structure in Reinforcement
Learning},
journal = {J. Artif. Intell. Res.},
volume = {73},
pages = {173--208},
year = {2022},
url = {https://doi.org/10.1613/jair.1.12440},
doi = {10.1613/JAIR.1.12440},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/IcarteKVM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KlassenMMX22,
author = {Toryn Q. Klassen and
Sheila A. McIlraith and
Christian Muise and
Jarvis Xu},
title = {Planning to Avoid Side Effects},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {9830--9839},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i9.21219},
doi = {10.1609/AAAI.V36I9.21219},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KlassenMMX22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ShvoKM22,
author = {Maayan Shvo and
Toryn Q. Klassen and
Sheila A. McIlraith},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Resolving Misconceptions about the Plans of Agents via Theory of Mind},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {719--729},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19862},
timestamp = {Wed, 20 Jul 2022 14:27:38 +0200},
biburl = {https://dblp.org/rec/conf/aips/ShvoKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AlamdariKIM22,
author = {Parand Alizadeh Alamdari and
Toryn Q. Klassen and
Rodrigo Toro Icarte and
Sheila A. McIlraith},
editor = {Piotr Faliszewski and
Viviana Mascardi and
Catherine Pelachaud and
Matthew E. Taylor},
title = {Be Considerate: Avoiding Negative Side Effects in Reinforcement Learning},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
pages = {18--26},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
{(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p18.pdf},
doi = {10.5555/3535850.3535854},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/AlamdariKIM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/ShvoHOAWM22,
author = {Maayan Shvo and
Ruthrash Hari and
Ziggy O'Reilly and
Sophia Abolore and
Sze{-}Yuh Nina Wang and
Sheila A. McIlraith},
title = {Proactive Robotic Assistance via Theory of Mind},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2022, Kyoto, Japan, October 23-27, 2022},
pages = {9148--9155},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IROS47612.2022.9981627},
doi = {10.1109/IROS47612.2022.9981627},
timestamp = {Tue, 03 Jan 2023 14:18:21 +0100},
biburl = {https://dblp.org/rec/conf/iros/ShvoHOAWM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/PasterMB22,
author = {Keiran Paster and
Sheila A. McIlraith and
Jimmy Ba},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {You Can't Count on Luck: Why Decision Transformers and RvS Fail in
Stochastic Environments},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/fe90657b12193c7b52a3418bdc351807-Abstract-Conference.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/PasterMB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/TuliLVKSM22,
author = {Mathieu Tuli and
Andrew C. Li and
Pashootan Vaezipoor and
Toryn Q. Klassen and
Scott Sanner and
Sheila A. McIlraith},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {Learning to Follow Instructions in Text-Based Games},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/7b24015f3af598e1d9179f6e06353780-Abstract-Conference.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/TuliLVKSM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/HortonMWMMW21,
author = {Diane Horton and
Sheila A. McIlraith and
Nina Wang and
Maryam Majedi and
Emma McClure and
Benjamin Wald},
editor = {Larry Merkle and
Maureen Doyle and
Judithe Sheard and
Leen{-}Kiat Soh and
Brian Dorn},
title = {Embedding Ethics in Computer Science Courses: Does it Work?},
booktitle = {{SIGCSE} 2022: The 53rd {ACM} Technical Symposium on Computer Science
Education, Providence, RI, USA, March 3-5, 2022, Volume 1},
pages = {481--487},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3478431.3499407},
doi = {10.1145/3478431.3499407},
timestamp = {Mon, 07 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/HortonMWMMW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-15967,
author = {Keiran Paster and
Sheila A. McIlraith and
Jimmy Ba},
title = {You Can't Count on Luck: Why Decision Transformers Fail in Stochastic
Environments},
journal = {CoRR},
volume = {abs/2205.15967},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.15967},
doi = {10.48550/ARXIV.2205.15967},
eprinttype = {arXiv},
eprint = {2205.15967},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-15967.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-01812,
author = {Andrew C. Li and
Pashootan Vaezipoor and
Rodrigo Toro Icarte and
Sheila A. McIlraith},
title = {Challenges to Solving Combinatorially Hard Long-Horizon Deep {RL}
Tasks},
journal = {CoRR},
volume = {abs/2206.01812},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.01812},
doi = {10.48550/ARXIV.2206.01812},
eprinttype = {arXiv},
eprint = {2206.01812},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-01812.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-04591,
author = {Mathieu Tuli and
Andrew C. Li and
Pashootan Vaezipoor and
Toryn Q. Klassen and
Scott Sanner and
Sheila A. McIlraith},
title = {Learning to Follow Instructions in Text-Based Games},
journal = {CoRR},
volume = {abs/2211.04591},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.04591},
doi = {10.48550/ARXIV.2211.04591},
eprinttype = {arXiv},
eprint = {2211.04591},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-04591.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-10902,
author = {Andrew C. Li and
Zizhao Chen and
Pashootan Vaezipoor and
Toryn Q. Klassen and
Rodrigo Toro Icarte and
Sheila A. McIlraith},
title = {Noisy Symbolic Abstractions for Deep {RL:} {A} case study with Reward
Machines},
journal = {CoRR},
volume = {abs/2211.10902},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.10902},
doi = {10.48550/ARXIV.2211.10902},
eprinttype = {arXiv},
eprint = {2211.10902},
timestamp = {Thu, 24 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-10902.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HeintzLM22,
author = {Fredrik Heintz and
Gerhard Lakemeyer and
Sheila A. McIlraith},
title = {Cognitive Robotics (Dagstuhl Seminar 22391)},
journal = {Dagstuhl Reports},
volume = {12},
number = {9},
pages = {200--219},
year = {2022},
url = {https://doi.org/10.4230/DagRep.12.9.200},
doi = {10.4230/DAGREP.12.9.200},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/HeintzLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ShvoLIM21,
author = {Maayan Shvo and
Andrew C. Li and
Rodrigo Toro Icarte and
Sheila A. McIlraith},
title = {Interpretable Sequence Classification via Discrete Optimization},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {9647--9656},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i11.17161},
doi = {10.1609/AAAI.V35I11.17161},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ShvoLIM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/ShvoHIMJM21,
author = {Maayan Shvo and
Zhiming Hu and
Rodrigo Toro Icarte and
Iqbal Mohomed and
Allan D. Jepson and
Sheila A. McIlraith},
editor = {Luiza Antonie and
Pooya Moradian Zadeh},
title = {AppBuddy: Learning to Accomplish Tasks in Mobile Apps via Reinforcement
Learning},
booktitle = {Proceedings of the 34th Canadian Conference on Artificial Intelligence,
Canadian {AI} 2021, online, May 2021},
publisher = {Canadian Artificial Intelligence Association},
year = {2021},
url = {https://caiac.pubpub.org/pub/5agsashz},
timestamp = {Thu, 28 Sep 2023 12:27:21 +0200},
biburl = {https://dblp.org/rec/conf/ai/ShvoHIMJM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ShatiCM21,
author = {Pouya Shati and
Eldan Cohen and
Sheila A. McIlraith},
editor = {Laurent D. Michel},
title = {SAT-Based Approach for Learning Optimal Decision Trees with Non-Binary
Features},
booktitle = {27th International Conference on Principles and Practice of Constraint
Programming, {CP} 2021, Montpellier, France (Virtual Conference),
October 25-29, 2021},
series = {LIPIcs},
volume = {210},
pages = {50:1--50:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CP.2021.50},
doi = {10.4230/LIPICS.CP.2021.50},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ShatiCM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/PasterMB21,
author = {Keiran Paster and
Sheila A. McIlraith and
Jimmy Ba},
title = {Planning from Pixels using Inverse Dynamics Models},
booktitle = {9th International Conference on Learning Representations, {ICLR} 2021,
Virtual Event, Austria, May 3-7, 2021},
publisher = {OpenReview.net},
year = {2021},
url = {https://openreview.net/forum?id=V6BjBgku7Ro},
timestamp = {Wed, 23 Jun 2021 17:36:39 +0200},
biburl = {https://dblp.org/rec/conf/iclr/PasterMB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/VaezipoorLIM21,
author = {Pashootan Vaezipoor and
Andrew C. Li and
Rodrigo Toro Icarte and
Sheila A. McIlraith},
editor = {Marina Meila and
Tong Zhang},
title = {LTL2Action: Generalizing {LTL} Instructions for Multi-Task {RL}},
booktitle = {Proceedings of the 38th International Conference on Machine Learning,
{ICML} 2021, 18-24 July 2021, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {139},
pages = {10497--10508},
publisher = {{PMLR}},
year = {2021},
url = {http://proceedings.mlr.press/v139/vaezipoor21a.html},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/VaezipoorLIM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CohenVM21,
author = {Eldan Cohen and
Richard Anthony Valenzano and
Sheila A. McIlraith},
editor = {Zhi{-}Hua Zhou},
title = {Type-WA*: Using Exploration in Bounded Suboptimal Planning},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {4047--4053},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/557},
doi = {10.24963/IJCAI.2021/557},
timestamp = {Wed, 25 Aug 2021 17:11:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CohenVM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-06858,
author = {Pashootan Vaezipoor and
Andrew C. Li and
Rodrigo Toro Icarte and
Sheila A. McIlraith},
title = {LTL2Action: Generalizing {LTL} Instructions for Multi-Task {RL}},
journal = {CoRR},
volume = {abs/2102.06858},
year = {2021},
url = {https://arxiv.org/abs/2102.06858},
eprinttype = {arXiv},
eprint = {2102.06858},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-06858.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-00133,
author = {Maayan Shvo and
Zhiming Hu and
Rodrigo Toro Icarte and
Iqbal Mohomed and
Allan D. Jepson and
Sheila A. McIlraith},
title = {AppBuddy: Learning to Accomplish Tasks in Mobile Apps via Reinforcement
Learning},
journal = {CoRR},
volume = {abs/2106.00133},
year = {2021},
url = {https://arxiv.org/abs/2106.00133},
eprinttype = {arXiv},
eprint = {2106.00133},
timestamp = {Wed, 09 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-00133.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-02617,
author = {Parand Alizadeh Alamdari and
Toryn Q. Klassen and
Rodrigo Toro Icarte and
Sheila A. McIlraith},
title = {Be Considerate: Objectives, Side Effects, and Deciding How to Act},
journal = {CoRR},
volume = {abs/2106.02617},
year = {2021},
url = {https://arxiv.org/abs/2106.02617},
eprinttype = {arXiv},
eprint = {2106.02617},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-02617.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-02480,
author = {Christian Muise and
Vaishak Belle and
Paolo Felli and
Sheila A. McIlraith and
Tim Miller and
Adrian R. Pearce and
Liz Sonenberg},
title = {Efficient Multi-agent Epistemic Planning: Teaching Planners About
Nested Belief},
journal = {CoRR},
volume = {abs/2110.02480},
year = {2021},
url = {https://arxiv.org/abs/2110.02480},
eprinttype = {arXiv},
eprint = {2110.02480},
timestamp = {Fri, 08 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-02480.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-09477,
author = {Rodrigo Toro Icarte and
Ethan Waldie and
Toryn Q. Klassen and
Richard Anthony Valenzano and
Margarita P. Castro and
Sheila A. McIlraith},
title = {Learning Reward Machines: {A} Study in Partially Observable Reinforcement
Learning},
journal = {CoRR},
volume = {abs/2112.09477},
year = {2021},
url = {https://arxiv.org/abs/2112.09477},
eprinttype = {arXiv},
eprint = {2112.09477},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-09477.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ShvoM20,
author = {Maayan Shvo and
Sheila A. McIlraith},
title = {Active Goal Recognition},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {9957--9966},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i06.6551},
doi = {10.1609/AAAI.V34I06.6551},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ShvoM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/IllanesYIM20,
author = {Le{\'{o}}n Illanes and
Xi Yan and
Rodrigo Toro Icarte and
Sheila A. McIlraith},
editor = {J. Christopher Beck and
Olivier Buffet and
J{\"{o}}rg Hoffmann and
Erez Karpas and
Shirin Sohrabi},
title = {Symbolic Plans as High-Level Instructions for Reinforcement Learning},
booktitle = {Proceedings of the Thirtieth International Conference on Automated
Planning and Scheduling, Nancy, France, October 26-30, 2020},
pages = {540--550},
publisher = {{AAAI} Press},
year = {2020},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/6750},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/IllanesYIM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ShvoKM20,
author = {Maayan Shvo and
Toryn Q. Klassen and
Sheila A. McIlraith},
editor = {Davide Calvaresi and
Amro Najjar and
Michael Winikoff and
Kary Fr{\"{a}}mling},
title = {Towards the Role of Theory of Mind in Explanation},
booktitle = {Explainable, Transparent Autonomous Agents and Multi-Agent Systems
- Second International Workshop, {EXTRAAMAS} 2020, Auckland, New Zealand,
May 9-13, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12175},
pages = {75--93},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51924-7\_5},
doi = {10.1007/978-3-030-51924-7\_5},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/ShvoKM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ShvoKSM20,
author = {Maayan Shvo and
Toryn Q. Klassen and
Shirin Sohrabi and
Sheila A. McIlraith},
editor = {Amal El Fallah Seghrouchni and
Gita Sukthankar and
Bo An and
Neil Yorke{-}Smith},
title = {Epistemic Plan Recognition},
booktitle = {Proceedings of the 19th International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13,
2020},
pages = {1251--1259},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2020},
url = {https://dl.acm.org/doi/10.5555/3398761.3398906},
doi = {10.5555/3398761.3398906},
timestamp = {Tue, 26 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/ShvoKSM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KlassenML20,
author = {Toryn Q. Klassen and
Sheila A. McIlraith and
Hector J. Levesque},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Changing Beliefs about Domain Dynamics in the Situation Calculus},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {572--581},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/57},
doi = {10.24963/KR.2020/57},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KlassenML20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-02963,
author = {Maayan Shvo and
Toryn Q. Klassen and
Sheila A. McIlraith},
title = {Towards the Role of Theory of Mind in Explanation},
journal = {CoRR},
volume = {abs/2005.02963},
year = {2020},
url = {https://arxiv.org/abs/2005.02963},
eprinttype = {arXiv},
eprint = {2005.02963},
timestamp = {Sat, 09 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-02963.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-01753,
author = {Rodrigo Toro Icarte and
Richard Anthony Valenzano and
Toryn Q. Klassen and
Phillip J. K. Christoffersen and
Amir{-}massoud Farahmand and
Sheila A. McIlraith},
title = {The act of remembering: a study in partially observable reinforcement
learning},
journal = {CoRR},
volume = {abs/2010.01753},
year = {2020},
url = {https://arxiv.org/abs/2010.01753},
eprinttype = {arXiv},
eprint = {2010.01753},
timestamp = {Tue, 10 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-01753.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-02819,
author = {Maayan Shvo and
Andrew C. Li and
Rodrigo Toro Icarte and
Sheila A. McIlraith},
title = {Interpretable Sequence Classification via Discrete Optimization},
journal = {CoRR},
volume = {abs/2010.02819},
year = {2020},
url = {https://arxiv.org/abs/2010.02819},
eprinttype = {arXiv},
eprint = {2010.02819},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-02819.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-03950,
author = {Rodrigo Toro Icarte and
Toryn Q. Klassen and
Richard Anthony Valenzano and
Sheila A. McIlraith},
title = {Reward Machines: Exploiting Reward Function Structure in Reinforcement
Learning},
journal = {CoRR},
volume = {abs/2010.03950},
year = {2020},
url = {https://arxiv.org/abs/2010.03950},
eprinttype = {arXiv},
eprint = {2010.03950},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-03950.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-02419,
author = {Keiran Paster and
Sheila A. McIlraith and
Jimmy Ba},
title = {Planning from Pixels using Inverse Dynamics Models},
journal = {CoRR},
volume = {abs/2012.02419},
year = {2020},
url = {https://arxiv.org/abs/2012.02419},
eprinttype = {arXiv},
eprint = {2012.02419},
timestamp = {Wed, 09 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-02419.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/IllanesM19,
author = {Le{\'{o}}n Illanes and
Sheila A. McIlraith},
title = {Generalized Planning via Abstraction: Arbitrary Numbers of Objects},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {7610--7618},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33017610},
doi = {10.1609/AAAI.V33I01.33017610},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/IllanesM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/CamachoBM19,
author = {Alberto Camacho and
Meghyn Bienvenu and
Sheila A. McIlraith},
editor = {J. Benton and
Nir Lipovetzky and
Eva Onaindia and
David E. Smith and
Siddharth Srivastava},
title = {Towards a Unified View of {AI} Planning and Reactive Synthesis},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
2019},
pages = {58--67},
publisher = {{AAAI} Press},
year = {2019},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/3460},
timestamp = {Thu, 10 Aug 2023 15:31:45 +0200},
biburl = {https://dblp.org/rec/conf/aips/CamachoBM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/CamachoM19,
author = {Alberto Camacho and
Sheila A. McIlraith},
editor = {J. Benton and
Nir Lipovetzky and
Eva Onaindia and
David E. Smith and
Siddharth Srivastava},
title = {Learning Interpretable Models Expressed in Linear Temporal Logic},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
2019},
pages = {621--630},
publisher = {{AAAI} Press},
year = {2019},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/3529},
timestamp = {Mon, 07 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/CamachoM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/IcarteICCMB19,
author = {Rodrigo Toro Icarte and
Le{\'{o}}n Illanes and
Margarita P. Castro and
Andr{\'{e}} A. Cir{\'{e}} and
Sheila A. McIlraith and
J. Christopher Beck},
editor = {Thomas Schiex and
Simon de Givry},
title = {Training Binarized Neural Networks Using {MIP} and {CP}},
booktitle = {Principles and Practice of Constraint Programming - 25th International
Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11802},
pages = {401--417},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30048-7\_24},
doi = {10.1007/978-3-030-30048-7\_24},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/IcarteICCMB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CamachoM19,
author = {Alberto Camacho and
Sheila A. McIlraith},
editor = {Sarit Kraus},
title = {Strong Fully Observable Non-Deterministic Planning with {LTL} and
LTLf Goals},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {5523--5531},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/767},
doi = {10.24963/IJCAI.2019/767},
timestamp = {Tue, 20 Aug 2019 16:18:18 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CamachoM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CamachoIKVM19,
author = {Alberto Camacho and
Rodrigo Toro Icarte and
Toryn Q. Klassen and
Richard Anthony Valenzano and
Sheila A. McIlraith},
editor = {Sarit Kraus},
title = {{LTL} and Beyond: Formal Languages for Reward Function Specification
in Reinforcement Learning},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {6065--6073},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/840},
doi = {10.24963/IJCAI.2019/840},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CamachoIKVM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/IcarteWKVCM19,
author = {Rodrigo Toro Icarte and
Ethan Waldie and
Toryn Q. Klassen and
Richard Anthony Valenzano and
Margarita P. Castro and
Sheila A. McIlraith},
editor = {Hanna M. Wallach and
Hugo Larochelle and
Alina Beygelzimer and
Florence d'Alch{\'{e}}{-}Buc and
Emily B. Fox and
Roman Garnett},
title = {Learning Reward Machines for Partially Observable Reinforcement Learning},
booktitle = {Advances in Neural Information Processing Systems 32: Annual Conference
on Neural Information Processing Systems 2019, NeurIPS 2019, December
8-14, 2019, Vancouver, BC, Canada},
pages = {15497--15508},
year = {2019},
url = {https://proceedings.neurips.cc/paper/2019/hash/532435c44bec236b471a47a88d63513d-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/IcarteWKVCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-06436,
author = {Maayan Shvo and
Sheila A. McIlraith},
title = {Towards Empathetic Planning},
journal = {CoRR},
volume = {abs/1906.06436},
year = {2019},
url = {http://arxiv.org/abs/1906.06436},
eprinttype = {arXiv},
eprint = {1906.06436},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-06436.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-13430,
author = {Alberto Camacho and
Sheila A. McIlraith},
title = {Towards Neural-Guided Program Synthesis for Linear Temporal Logic
Specifications},
journal = {CoRR},
volume = {abs/1912.13430},
year = {2019},
url = {http://arxiv.org/abs/1912.13430},
eprinttype = {arXiv},
eprint = {1912.13430},
timestamp = {Tue, 07 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-13430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/McIlraithWYMEW18,
author = {Sheila A. McIlraith and
Kilian Q. Weinberger and
G. Michael Youngblood and
Karen L. Myers and
Eric Eaton and
Michael Wollowski},
title = {A Recap of the {AAAI} and {IAAI} 2018 Conferences and the {EAAI} Symposium},
journal = {{AI} Mag.},
volume = {39},
number = {4},
pages = {3--16},
year = {2018},
url = {https://doi.org/10.1609/aimag.v39i4.2843},
doi = {10.1609/AIMAG.V39I4.2843},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/McIlraithWYMEW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/CamachoBMM18,
author = {Alberto Camacho and
Jorge A. Baier and
Christian J. Muise and
Sheila A. McIlraith},
editor = {Ebrahim Bagheri and
Jackie Chi Kit Cheung},
title = {Synthesizing Controllers: On the Correspondence Between {LTL} Synthesis
and Non-deterministic Planning},
booktitle = {Advances in Artificial Intelligence - 31st Canadian Conference on
Artificial Intelligence, Canadian {AI} 2018, Toronto, ON, Canada,
May 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10832},
pages = {45--59},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89656-4\_4},
doi = {10.1007/978-3-319-89656-4\_4},
timestamp = {Thu, 28 Sep 2023 12:27:18 +0200},
biburl = {https://dblp.org/rec/conf/ai/CamachoBMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/IcarteKVM18,
author = {Rodrigo Toro Icarte and
Toryn Q. Klassen and
Richard Anthony Valenzano and
Sheila A. McIlraith},
editor = {Ebrahim Bagheri and
Jackie Chi Kit Cheung},
title = {Advice-Based Exploration in Model-Based Reinforcement Learning},
booktitle = {Advances in Artificial Intelligence - 31st Canadian Conference on
Artificial Intelligence, Canadian {AI} 2018, Toronto, ON, Canada,
May 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10832},
pages = {72--83},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89656-4\_6},
doi = {10.1007/978-3-319-89656-4\_6},
timestamp = {Thu, 28 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ai/IcarteKVM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/ShvoSM18,
author = {Maayan Shvo and
Shirin Sohrabi and
Sheila A. McIlraith},
editor = {Ebrahim Bagheri and
Jackie Chi Kit Cheung},
title = {An {AI} Planning-Based Approach to the Multi-Agent Plan Recognition
Problem},
booktitle = {Advances in Artificial Intelligence - 31st Canadian Conference on
Artificial Intelligence, Canadian {AI} 2018, Toronto, ON, Canada,
May 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10832},
pages = {253--258},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89656-4\_23},
doi = {10.1007/978-3-319-89656-4\_23},
timestamp = {Thu, 28 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ai/ShvoSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/CamachoBMM18,
author = {Alberto Camacho and
Jorge A. Baier and
Christian J. Muise and
Sheila A. McIlraith},
editor = {Mathijs de Weerdt and
Sven Koenig and
Gabriele R{\"{o}}ger and
Matthijs T. J. Spaan},
title = {Finite {LTL} Synthesis as Planning},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated
Planning and Scheduling, {ICAPS} 2018, Delft, The Netherlands, June
24-29, 2018},
pages = {29--38},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17790},
timestamp = {Mon, 25 Jun 2018 13:32:06 +0200},
biburl = {https://dblp.org/rec/conf/aips/CamachoBMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/IcarteKVM18,
author = {Rodrigo Toro Icarte and
Toryn Q. Klassen and
Richard Anthony Valenzano and
Sheila A. McIlraith},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Teaching Multiple Tasks to an {RL} Agent using {LTL}},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {452--461},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3237452},
timestamp = {Sat, 30 Sep 2023 09:34:53 +0200},
biburl = {https://dblp.org/rec/conf/atal/IcarteKVM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/IcarteKVM18,
author = {Rodrigo Toro Icarte and
Toryn Q. Klassen and
Richard Anthony Valenzano and
Sheila A. McIlraith},
editor = {Jennifer G. Dy and
Andreas Krause},
title = {Using Reward Machines for High-Level Task Specification and Decomposition
in Reinforcement Learning},
booktitle = {Proceedings of the 35th International Conference on Machine Learning,
{ICML} 2018, Stockholmsm{\"{a}}ssan, Stockholm, Sweden, July
10-15, 2018},
series = {Proceedings of Machine Learning Research},
volume = {80},
pages = {2112--2121},
publisher = {{PMLR}},
year = {2018},
url = {http://proceedings.mlr.press/v80/icarte18a.html},
timestamp = {Wed, 03 Apr 2019 18:17:30 +0200},
biburl = {https://dblp.org/rec/conf/icml/IcarteKVM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CamachoMBM18,
author = {Alberto Camacho and
Christian J. Muise and
Jorge A. Baier and
Sheila A. McIlraith},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {{LTL} Realizability via Safety and Reachability Games},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {4683--4691},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/651},
doi = {10.24963/IJCAI.2018/651},
timestamp = {Tue, 20 Aug 2019 16:19:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CamachoMBM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CamachoMBM18a,
author = {Alberto Camacho and
Christian J. Muise and
Jorge A. Baier and
Sheila A. McIlraith},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {SynKit: {LTL} Synthesis as a Service},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {5817--5819},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/848},
doi = {10.24963/IJCAI.2018/848},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CamachoMBM18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KlassenML18,
author = {Toryn Q. Klassen and
Sheila A. McIlraith and
Hector J. Levesque},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Specifying Plausibility Levels for Iterated Belief Change in the Situation
Calculus},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {257--266},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18051},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/KlassenML18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CamachoBM18,
author = {Alberto Camacho and
Meghyn Bienvenu and
Sheila A. McIlraith},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Finite {LTL} Synthesis with Environment Assumptions and Quality Measures},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {454--463},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18072},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CamachoBM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2018,
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
publisher = {{AAAI} Press},
year = {2018},
url = {https://ojs.aaai.org/index.php/AAAI/issue/view/301},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-10831,
author = {Alberto Camacho and
Meghyn Bienvenu and
Sheila A. McIlraith},
title = {Finite {LTL} Synthesis with Environment Assumptions and Quality Measures},
journal = {CoRR},
volume = {abs/1808.10831},
year = {2018},
url = {http://arxiv.org/abs/1808.10831},
eprinttype = {arXiv},
eprint = {1808.10831},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-10831.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MombourquetteMM17,
author = {Brent Mombourquette and
Christian J. Muise and
Sheila A. McIlraith},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Logical Filtering and Smoothing: State Estimation in Partially Observable
Domains},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {3613--3621},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.11031},
doi = {10.1609/AAAI.V31I1.11031},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MombourquetteMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CamachoTMBM17,
author = {Alberto Camacho and
Eleni Triantafillou and
Christian J. Muise and
Jorge A. Baier and
Sheila A. McIlraith},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Non-Deterministic Planning with Temporally Extended Goals: {LTL} over
Finite and Infinite Traces},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {3716--3724},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.11058},
doi = {10.1609/AAAI.V31I1.11058},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CamachoTMBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ShvoSM17,
author = {Maayan Shvo and
Shirin Sohrabi and
Sheila A. McIlraith},
title = {An {AI} Planning-Based Approach to the Multi-Agent Plan Recognition
Problem (Preliminary Report)},
booktitle = {The Workshops of the The Thirty-First {AAAI} Conference on Artificial
Intelligence, Saturday, February 4-9, 2017, San Francisco, California,
{USA}},
series = {{AAAI} Technical Report},
volume = {{WS-17}},
publisher = {{AAAI} Press},
year = {2017},
url = {http://aaai.org/ocs/index.php/WS/AAAIW17/paper/view/15121},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ShvoSM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/commonsense/KlassenLM17,
author = {Toryn Q. Klassen and
Hector J. Levesque and
Sheila A. McIlraith},
editor = {Andrew S. Gordon and
Rob Miller and
Gy{\"{o}}rgy Tur{\'{a}}n},
title = {Towards Representing What Readers of Fiction Believe},
booktitle = {Proceedings of the Thirteenth International Symposium on Commonsense
Reasoning, {COMMONSENSE} 2017, London, UK, November 6-8, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {2052},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-2052/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/commonsense/KlassenLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/IllanesM17,
author = {Leon Illanes and
Sheila A. McIlraith},
editor = {Carles Sierra},
title = {Numeric Planning via Abstraction and Policy Guided Search},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {4338--4345},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/606},
doi = {10.24963/IJCAI.2017/606},
timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/IllanesM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/CamachoCSM17,
author = {Alberto Camacho and
Oscar Chen and
Scott Sanner and
Sheila A. McIlraith},
editor = {Alex Fukunaga and
Akihiro Kishimoto},
title = {Non-Markovian Rewards Expressed in {LTL:} Guiding Search Via Reward
Shaping},
booktitle = {Proceedings of the Tenth International Symposium on Combinatorial
Search, {SOCS} 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, {USA}},
pages = {159--160},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/socs.v8i1.18421},
doi = {10.1609/SOCS.V8I1.18421},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/CamachoCSM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/McIlraith17,
author = {Sheila A. McIlraith},
editor = {Sven Schewe and
Thomas Schneider and
Jef Wijsen},
title = {Plan and Program Synthesis: {A} New Look at Some Old Problems (Invited
Talk)},
booktitle = {24th International Symposium on Temporal Representation and Reasoning,
{TIME} 2017, October 16-18, 2017, Mons, Belgium},
series = {LIPIcs},
volume = {90},
pages = {3:1--3:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.TIME.2017.3},
doi = {10.4230/LIPICS.TIME.2017.3},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/time/McIlraith17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BaralBDM17,
author = {Chitta Baral and
Thomas Bolander and
Hans van Ditmarsch and
Sheila A. McIlraith},
title = {Epistemic Planning (Dagstuhl Seminar 17231)},
journal = {Dagstuhl Reports},
volume = {7},
number = {6},
pages = {1--47},
year = {2017},
url = {https://doi.org/10.4230/DagRep.7.6.1},
doi = {10.4230/DAGREP.7.6.1},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BaralBDM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/MuiseBM16,
author = {Christian J. Muise and
J. Christopher Beck and
Sheila A. McIlraith},
title = {Optimal Partial-Order Plan Relaxation via MaxSAT},
journal = {J. Artif. Intell. Res.},
volume = {57},
pages = {113--149},
year = {2016},
url = {https://doi.org/10.1613/jair.5128},
doi = {10.1613/JAIR.5128},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/MuiseBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/CamachoMM16,
author = {Alberto Camacho and
Christian J. Muise and
Sheila A. McIlraith},
editor = {Amanda Jane Coles and
Andrew Coles and
Stefan Edelkamp and
Daniele Magazzeni and
Scott Sanner},
title = {From {FOND} to Robust Probabilistic Planning: Computing Compact Policies
that Bypass Avoidable Deadends},
booktitle = {Proceedings of the Twenty-Sixth International Conference on Automated
Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016},
pages = {65--69},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13188},
timestamp = {Wed, 08 Jun 2016 12:49:09 +0200},
biburl = {https://dblp.org/rec/conf/aips/CamachoMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CamachoM16,
author = {Alberto Camacho and
Sheila A. McIlraith},
editor = {Roman Bart{\'{a}}k and
Thomas Leo McCluskey and
Enrico Pontelli},
title = {Strong-Cyclic Planning when Fairness is Not a Valid Assumption},
booktitle = {Proceedings of the Workshop on Knowledge-based Techniques for Problem
Solving and Reasoning co-located with 25th International Joint Conference
on Artificial Intelligence {(IJCAI} 2016), New York City, USA, July
10, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1648},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1648/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:32 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/CamachoM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CamachoTMBM16,
author = {Alberto Camacho and
Eleni Triantafillou and
Christian J. Muise and
Jorge A. Baier and
Sheila A. McIlraith},
editor = {Roman Bart{\'{a}}k and
Thomas Leo McCluskey and
Enrico Pontelli},
title = {Non-Deterministic Planning with Temporally Extended Goals: Completing
the Story for Finite and Infinite {LTL} (Amended Version)},
booktitle = {Proceedings of the Workshop on Knowledge-based Techniques for Problem
Solving and Reasoning co-located with 25th International Joint Conference
on Artificial Intelligence {(IJCAI} 2016), New York City, USA, July
10, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1648},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1648/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/CamachoTMBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/IllanesM16,
author = {Leon Illanes and
Sheila A. McIlraith},
editor = {Roman Bart{\'{a}}k and
Thomas Leo McCluskey and
Enrico Pontelli},
title = {Numeric Planning via Search Space Abstraction},
booktitle = {Proceedings of the Workshop on Knowledge-based Techniques for Problem
Solving and Reasoning co-located with 25th International Joint Conference
on Artificial Intelligence {(IJCAI} 2016), New York City, USA, July
10, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1648},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1648/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/IllanesM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MombourquetteMM16,
author = {Brent Mombourquette and
Christian J. Muise and
Sheila A. McIlraith},
editor = {Roman Bart{\'{a}}k and
Thomas Leo McCluskey and
Enrico Pontelli},
title = {Belief State Estimation for Planning via Approximate Logical Filtering
and Smoothing},
booktitle = {Proceedings of the Workshop on Knowledge-based Techniques for Problem
Solving and Reasoning co-located with 25th International Joint Conference
on Artificial Intelligence {(IJCAI} 2016), New York City, USA, July
10, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1648},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1648/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/MombourquetteMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LuoVLBM16,
author = {Roy Luo and
Richard Anthony Valenzano and
Yi Li and
J. Christopher Beck and
Sheila A. McIlraith},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Using Metric Temporal Logic to Specify Scheduling Problems},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {581--584},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12909},
timestamp = {Tue, 09 Feb 2021 08:33:50 +0100},
biburl = {https://dblp.org/rec/conf/kr/LuoVLBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/YoonRMMJ16,
author = {Young Yoon and
Nathan Robinson and
Vinod Muthusamy and
Sheila A. McIlraith and
Hans{-}Arno Jacobsen},
editor = {Sascha Ossowski},
title = {Planning the transformation of overlays},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {500--507},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851639},
doi = {10.1145/2851613.2851639},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/YoonRMMJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/IllanesM16,
author = {Leon Illanes and
Sheila A. McIlraith},
editor = {Jorge A. Baier and
Adi Botea},
title = {Numeric Planning via Search Space Abstraction (Extended Abstract)},
booktitle = {Proceedings of the Ninth Annual Symposium on Combinatorial Search,
{SOCS} 2016, Tarrytown, NY, USA, July 6-8, 2016},
pages = {133--134},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/socs.v7i1.18409},
doi = {10.1609/SOCS.V7I1.18409},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/IllanesM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/AlbrechtBBBCDEF15,
author = {Stefano V. Albrecht and
Andr{\'{e}} da Motta Salles Barreto and
Darius Braziunas and
David L. Buckeridge and
Heriberto Cuay{\'{a}}huitl and
Nina Dethlefs and
Markus Endres and
Amir{-}massoud Farahmand and
Mark Fox and
Lutz Frommberger and
Sam Ganzfried and
Yolanda Gil and
S{\'{e}}bastien Guillet and
Lawrence E. Hunter and
Arnav Jhala and
Kristian Kersting and
George Dimitri Konidaris and
Freddy L{\'{e}}cu{\'{e}} and
Sheila A. McIlraith and
Sriraam Natarajan and
Zeinab Noorian and
David Poole and
R{\'{e}}mi Ronfard and
Alessandro Saffiotti and
Arash Shaban{-}Nejad and
Biplav Srivastava and
Gerald Tesauro and
Rosario Uceda{-}Sosa and
Guy Van den Broeck and
Martijn van Otterlo and
Byron C. Wallace and
Paul Weng and
Jenna Wiens and
Jie Zhang},
title = {Reports of the {AAAI} 2014 Conference Workshops},
journal = {{AI} Mag.},
volume = {36},
number = {1},
pages = {87--98},
year = {2015},
url = {https://doi.org/10.1609/aimag.v36i1.2575},
doi = {10.1609/AIMAG.V36I1.2575},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/AlbrechtBBBCDEF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MuiseBFMMPS15,
author = {Christian J. Muise and
Vaishak Belle and
Paolo Felli and
Sheila A. McIlraith and
Tim Miller and
Adrian R. Pearce and
Liz Sonenberg},
editor = {Blai Bonet and
Sven Koenig},
title = {Planning Over Multi-Agent Epistemic States: {A} Classical Planning
Approach},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {3327--3334},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9665},
doi = {10.1609/AAAI.V29I1.9665},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MuiseBFMMPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/HahmannM15,
author = {Torsten Hahmann and
Sheila A. McIlraith},
title = {Towards Ontologies in Variation},
booktitle = {2015 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
USA, March 22-25, 2015},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS15/paper/view/10330},
timestamp = {Wed, 14 Nov 2018 14:01:49 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/HahmannM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/KlassenML15,
author = {Toryn Q. Klassen and
Sheila A. McIlraith and
Hector J. Levesque},
title = {Towards Tractable Inference for Resource-Bounded Agents},
booktitle = {2015 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
USA, March 22-25, 2015},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS15/paper/view/10291},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/KlassenML15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/YoonRMMJ15,
author = {Young Yoon and
Nathan Robinson and
Vinod Muthusamy and
Sheila A. McIlraith and
Hans{-}Arno Jacobsen},
title = {Towards Planning the Transformation of Overlays},
booktitle = {35th {IEEE} International Conference on Distributed Computing Systems,
{ICDCS} 2015, Columbus, OH, USA, June 29 - July 2, 2015},
pages = {782--783},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICDCS.2015.107},
doi = {10.1109/ICDCS.2015.107},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/YoonRMMJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/RazaviFM14,
author = {Niloofar Razavi and
Azadeh Farzan and
Sheila A. McIlraith},
title = {Generating effective tests for concurrent programs via {AI} automated
planning techniques},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {1},
pages = {49--65},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0277-y},
doi = {10.1007/S10009-013-0277-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/RazaviFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MuiseBM14,
author = {Christian J. Muise and
Vaishak Belle and
Sheila A. McIlraith},
editor = {Carla E. Brodley and
Peter Stone},
title = {Computing Contingent Plans via Fully Observable Non-Deterministic
Planning},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {2322--2329},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.9049},
doi = {10.1609/AAAI.V28I1.9049},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MuiseBM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RobinsonMT14,
author = {Nathan Robinson and
Sheila A. McIlraith and
David Toman},
editor = {Carla E. Brodley and
Peter Stone},
title = {Cost-Based Query Optimization via {AI} Planning},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {2344--2351},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.9045},
doi = {10.1609/AAAI.V28I1.9045},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RobinsonMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/MuiseMB14,
author = {Christian J. Muise and
Sheila A. McIlraith and
Vaishak Belle},
editor = {Steve A. Chien and
Minh Binh Do and
Alan Fern and
Wheeler Ruml},
title = {Non-Deterministic Planning With Conditional Effects},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Automated
Planning and Scheduling, {ICAPS} 2014, Portsmouth, New Hampshire,
USA, June 21-26, 2014},
publisher = {{AAAI}},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7950},
timestamp = {Thu, 19 Nov 2015 08:52:28 +0100},
biburl = {https://dblp.org/rec/conf/aips/MuiseMB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaaderCGM14,
author = {Franz Baader and
Anthony G. Cohn and
Georg Gottlob and
Sheila A. McIlraith},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {Invited Talks},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8702},
timestamp = {Tue, 20 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BaaderCGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaierMM14,
author = {Jorge A. Baier and
Brent Mombourquette and
Sheila A. McIlraith},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8019},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BaierMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Davis-MendelowBM13,
author = {Sammy Davis{-}Mendelow and
Jorge A. Baier and
Sheila A. McIlraith},
editor = {Marie desJardins and
Michael L. Littman},
title = {Assumption-Based Planning: Generating Plans and Explanations under
Incomplete Knowledge},
booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
pages = {209--216},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/aaai.v27i1.8687},
doi = {10.1609/AAAI.V27I1.8687},
timestamp = {Mon, 04 Sep 2023 15:56:33 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Davis-MendelowBM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MuiseBM13,
author = {Christian J. Muise and
J. Christopher Beck and
Sheila A. McIlraith},
editor = {Francesca Rossi},
title = {Flexible Execution of Partial Order Plans With Temporal Constraints},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {2328--2335},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6950},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/MuiseBM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GueroussovaPM13,
author = {Marina Gueroussova and
Axel Polleres and
Sheila A. McIlraith},
editor = {Irene Celino and
Emanuele Della Valle and
Markus Kr{\"{o}}tzsch and
Stefan Schlobach},
title = {{SPARQL} with Qualitative and Quantitative Preferences},
booktitle = {Proceedings of the 2nd International Workshop on Ordering and Reasoning,
OrdRing 2013, Co-located with the 12th International Semantic Web
Conference {(ISWC} 2013), Sydney, Australia, October 22nd, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1059},
pages = {2--8},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1059/ordring2013-paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:04 +0100},
biburl = {https://dblp.org/rec/conf/semweb/GueroussovaPM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-0582,
author = {Uri Lerner and
Brooks Moses and
Maricia Scott and
Sheila A. McIlraith and
Daphne Koller},
title = {Monitoring a Complez Physical System using a Hybrid Dynamic Bayes
Net},
journal = {CoRR},
volume = {abs/1301.0582},
year = {2013},
url = {http://arxiv.org/abs/1301.0582},
eprinttype = {arXiv},
eprint = {1301.0582},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-0582.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/JumaHM12,
author = {Farah Juma and
Eric I. Hsu and
Sheila A. McIlraith},
editor = {Leila Kosseim and
Diana Inkpen},
title = {Preference-Based Planning via MaxSAT},
booktitle = {Advances in Artificial Intelligence - 25th Canadian Conference on
Artificial Intelligence, Canadian {AI} 2012, Toronto, ON, Canada,
May 28-30, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7310},
pages = {109--120},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30353-1\_10},
doi = {10.1007/978-3-642-30353-1\_10},
timestamp = {Thu, 28 Sep 2023 12:27:12 +0200},
biburl = {https://dblp.org/rec/conf/ai/JumaHM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/MuiseMBH12,
author = {Christian J. Muise and
Sheila A. McIlraith and
J. Christopher Beck and
Eric I. Hsu},
editor = {Leila Kosseim and
Diana Inkpen},
title = {Dsharp: Fast d-DNNF Compilation with sharpSAT},
booktitle = {Advances in Artificial Intelligence - 25th Canadian Conference on
Artificial Intelligence, Canadian {AI} 2012, Toronto, ON, Canada,
May 28-30, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7310},
pages = {356--361},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30353-1\_36},
doi = {10.1007/978-3-642-30353-1\_36},
timestamp = {Thu, 28 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ai/MuiseMBH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/MuiseMB12,
author = {Christian J. Muise and
Sheila A. McIlraith and
J. Christopher Beck},
editor = {Lee McCluskey and
Brian Charles Williams and
Jos{\'{e}} Reinaldo Silva and
Blai Bonet},
title = {Improved Non-Deterministic Planning by Exploiting State Relevance},
booktitle = {Proceedings of the Twenty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2012, Atibaia, S{\~{a}}o Paulo, Brazil,
June 25-19, 2012},
publisher = {{AAAI}},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4718},
timestamp = {Wed, 01 Mar 2017 18:10:41 +0100},
biburl = {https://dblp.org/rec/conf/aips/MuiseMB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/MuiseMB12a,
author = {Christian J. Muise and
Sheila A. McIlraith and
J. Christopher Beck},
editor = {Lee McCluskey and
Brian Charles Williams and
Jos{\'{e}} Reinaldo Silva and
Blai Bonet},
title = {Optimally Relaxing Partial-Order Plans with MaxSAT},
booktitle = {Proceedings of the Twenty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2012, Atibaia, S{\~{a}}o Paulo, Brazil,
June 25-19, 2012},
publisher = {{AAAI}},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4719},
timestamp = {Tue, 10 Jul 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/MuiseMB12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2012,
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
isbn = {978-1-57735-560-1},
timestamp = {Wed, 11 Jul 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-2647,
author = {Christian Fritz and
Sheila A. McIlraith},
title = {Generating Optimal Plans in Highly-Dynamic Domains},
journal = {CoRR},
volume = {abs/1205.2647},
year = {2012},
url = {http://arxiv.org/abs/1205.2647},
eprinttype = {arXiv},
eprint = {1205.2647},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-2647.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MorgensternM11,
author = {Leora Morgenstern and
Sheila A. McIlraith},
title = {John McCarthy's legacy},
journal = {Artif. Intell.},
volume = {175},
number = {1},
pages = {1--24},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2010.11.003},
doi = {10.1016/J.ARTINT.2010.11.003},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/MorgensternM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BienvenuFM11,
author = {Meghyn Bienvenu and
Christian Fritz and
Sheila A. McIlraith},
title = {Specifying and computing preferred plans},
journal = {Artif. Intell.},
volume = {175},
number = {7-8},
pages = {1308--1345},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2010.11.021},
doi = {10.1016/J.ARTINT.2010.11.021},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BienvenuFM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/LiaskosMSM11,
author = {Sotirios Liaskos and
Sheila A. McIlraith and
Shirin Sohrabi and
John Mylopoulos},
title = {Representing and reasoning about preferences in requirements engineering},
journal = {Requir. Eng.},
volume = {16},
number = {3},
pages = {227--249},
year = {2011},
url = {https://doi.org/10.1007/s00766-011-0129-9},
doi = {10.1007/S00766-011-0129-9},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/re/LiaskosMSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SohrabiBM11,
author = {Shirin Sohrabi and
Jorge A. Baier and
Sheila A. McIlraith},
editor = {Wolfram Burgard and
Dan Roth},
title = {Preferred Explanations: Theory and Generation via Planning},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {261--267},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7845},
doi = {10.1609/AAAI.V25I1.7845},
timestamp = {Mon, 04 Sep 2023 16:05:54 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SohrabiBM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/MillerTMSY01,
author = {Ren{\'{e}}e J. Miller and
Frank Wm. Tompa and
Sheila A. McIlraith and
Jacob Slonim and
Eric S. K. Yu},
editor = {Joanna W. Ng and
Christian Couturier and
Marin Litoiu and
Eleni Stroulia},
title = {{NSERC} business intelligence network: selected topics},
booktitle = {Center for Advanced Studies on Collaborative Research, {CASCON} '11,
Toronto, ON, Canada, November 7-10, 2011},
pages = {313--315},
publisher = {{IBM} / {ACM}},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=2093925},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cascon/MillerTMSY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MuiseMB11,
author = {Christian J. Muise and
Sheila A. McIlraith and
J. Christopher Beck},
editor = {Toby Walsh},
title = {Monitoring the Execution of Partial-Order Plans via Regression},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {1975--1982},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-330},
doi = {10.5591/978-1-57735-516-8/IJCAI11-330},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MuiseMB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MuiseMBH10,
author = {Christian J. Muise and
Sheila A. McIlraith and
J. Christopher Beck and
Eric I. Hsu},
title = {Fast d-DNNF Compilation with sharpSAT},
booktitle = {Abstraction, Reformulation, and Approximation, Papers from the 2010
{AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
series = {{AAAI} Technical Report},
volume = {{WS-10-08}},
publisher = {{AAAI}},
year = {2010},
url = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2069},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MuiseMBH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fois/ChaudhriBFMW10,
author = {Vinay K. Chaudhri and
Bert Bredeweg and
Richard Fikes and
Sheila A. McIlraith and
Michael P. Wellman},
editor = {Antony Galton and
Riichiro Mizoguchi},
title = {A Categorization of KR{\&}R Methods for Requirement Analysis of
a Query Answering Knowledge Base},
booktitle = {Formal Ontology in Information Systems, Proceedings of the Sixth International
Conference, {FOIS} 2010, Toronto, Canada, May 11-14, 2010},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {209},
pages = {158--171},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-535-8-158},
doi = {10.3233/978-1-60750-535-8-158},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fois/ChaudhriBFMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SohrabiBM10,
author = {Shirin Sohrabi and
Jorge A. Baier and
Sheila A. McIlraith},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {Diagnosis as Planning Revisited},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1300},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/SohrabiBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LiaskosMSM10,
author = {Sotirios Liaskos and
Sheila A. McIlraith and
Shirin Sohrabi and
John Mylopoulos},
title = {Integrating Preferences into Goal Models for Requirements Engineering},
booktitle = {{RE} 2010, 18th {IEEE} International Requirements Engineering Conference,
Sydney, New South Wales, Australia, September 27 - October 1, 2010},
pages = {135--144},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/RE.2010.26},
doi = {10.1109/RE.2010.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/LiaskosMSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/SohrabiM10,
author = {Shirin Sohrabi and
Sheila A. McIlraith},
editor = {Peter F. Patel{-}Schneider and
Yue Pan and
Pascal Hitzler and
Peter Mika and
Lei Zhang and
Jeff Z. Pan and
Ian Horrocks and
Birte Glimm},
title = {Preference-Based Web Service Composition: {A} Middle Ground between
Execution and Search},
booktitle = {The Semantic Web - {ISWC} 2010 - 9th International Semantic Web Conference,
{ISWC} 2010, Shanghai, China, November 7-11, 2010, Revised Selected
Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6496},
pages = {713--729},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17746-0\_45},
doi = {10.1007/978-3-642-17746-0\_45},
timestamp = {Tue, 12 Apr 2022 14:46:29 +0200},
biburl = {https://dblp.org/rec/conf/semweb/SohrabiM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/HsuM10,
author = {Eric I. Hsu and
Sheila A. McIlraith},
editor = {Ariel Felner and
Nathan R. Sturtevant},
title = {Computing Equivalent Transformations for Combinatorial Optimization
by Branch-and-Bound Search},
booktitle = {Proceedings of the Third Annual Symposium on Combinatorial Search,
{SOCS} 2010, Stone Mountain, Atlanta, Georgia, USA, July 8-10, 2010},
pages = {111--112},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/socs.v1i1.18180},
doi = {10.1609/SOCS.V1I1.18180},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/HsuM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BaierBM09,
author = {Jorge A. Baier and
Fahiem Bacchus and
Sheila A. McIlraith},
title = {A heuristic search approach to planning with temporally extended preferences},
journal = {Artif. Intell.},
volume = {173},
number = {5-6},
pages = {593--618},
year = {2009},
url = {https://doi.org/10.1016/j.artint.2008.11.011},
doi = {10.1016/J.ARTINT.2008.11.011},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BaierBM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/WangMYM09,
author = {Yiqiao Wang and
Sheila A. McIlraith and
Yijun Yu and
John Mylopoulos},
title = {Monitoring and diagnosing software requirements},
journal = {Autom. Softw. Eng.},
volume = {16},
number = {1},
pages = {3--35},
year = {2009},
url = {https://doi.org/10.1007/s10515-008-0042-8},
doi = {10.1007/S10515-008-0042-8},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ase/WangMYM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/FritzM09,
author = {Christian Fritz and
Sheila A. McIlraith},
editor = {Alfonso Gerevini and
Adele E. Howe and
Amedeo Cesta and
Ioannis Refanidis},
title = {Computing Robust Plans in Continuous Domains},
booktitle = {Proceedings of the 19th International Conference on Automated Planning
and Scheduling, {ICAPS} 2009, Thessaloniki, Greece, September 19-23,
2009},
publisher = {{AAAI}},
year = {2009},
url = {http://aaai.org/ocs/index.php/ICAPS/ICAPS09/paper/view/723},
timestamp = {Tue, 10 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/FritzM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/MuiseMBR09,
author = {Christian J. Muise and
Sheila A. McIlraith and
Jorge A. Baier and
Michael Reimer},
editor = {Alfonso Gerevini and
Adele E. Howe and
Amedeo Cesta and
Ioannis Refanidis},
title = {Exploiting N-Gram Analysis to Predict Operator Sequences},
booktitle = {Proceedings of the 19th International Conference on Automated Planning
and Scheduling, {ICAPS} 2009, Thessaloniki, Greece, September 19-23,
2009},
publisher = {{AAAI}},
year = {2009},
url = {http://aaai.org/ocs/index.php/ICAPS/ICAPS09/paper/view/741},
timestamp = {Thu, 13 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/MuiseMBR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SohrabiPM09,
author = {Shirin Sohrabi and
Nataliya Prokoshyna and
Sheila A. McIlraith},
editor = {Alexander Borgida and
Vinay K. Chaudhri and
Paolo Giorgini and
Eric S. K. Yu},
title = {Web Service Composition via the Customization of Golog Programs with
User Preferences},
booktitle = {Conceptual Modeling: Foundations and Applications - Essays in Honor
of John Mylopoulos},
series = {Lecture Notes in Computer Science},
volume = {5600},
pages = {319--334},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02463-4\_17},
doi = {10.1007/978-3-642-02463-4\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SohrabiPM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SohrabiBM09,
author = {Shirin Sohrabi and
Jorge A. Baier and
Sheila A. McIlraith},
editor = {Craig Boutilier},
title = {{HTN} Planning with Preferences},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {1790--1797},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/298.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SohrabiBM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiaskosMM09,
author = {Sotirios Liaskos and
Sheila A. McIlraith and
John Mylopoulos},
title = {Towards Augmenting Requirements Models with Preferences},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {565--569},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.91},
doi = {10.1109/ASE.2009.91},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LiaskosMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HsuM09,
author = {Eric I. Hsu and
Sheila A. McIlraith},
editor = {Oliver Kullmann},
title = {{VARSAT:} Integrating Novel Probabilistic Inference Techniques with
{DPLL} Search},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2009, 12th
International Conference, {SAT} 2009, Swansea, UK, June 30 - July
3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5584},
pages = {377--390},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02777-2\_35},
doi = {10.1007/978-3-642-02777-2\_35},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/HsuM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/SohrabiM09,
author = {Shirin Sohrabi and
Sheila A. McIlraith},
editor = {Abraham Bernstein and
David R. Karger and
Tom Heath and
Lee Feigenbaum and
Diana Maynard and
Enrico Motta and
Krishnaprasad Thirunarayan},
title = {Optimizing Web Service Composition While Enforcing Regulations},
booktitle = {The Semantic Web - {ISWC} 2009, 8th International Semantic Web Conference,
{ISWC} 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5823},
pages = {601--617},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04930-9\_38},
doi = {10.1007/978-3-642-04930-9\_38},
timestamp = {Tue, 07 Sep 2021 13:47:49 +0200},
biburl = {https://dblp.org/rec/conf/semweb/SohrabiM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/FritzM09,
author = {Christian Fritz and
Sheila A. McIlraith},
editor = {Jeff A. Bilmes and
Andrew Y. Ng},
title = {Generating Optimal Plans in Highly-Dynamic Domains},
booktitle = {{UAI} 2009, Proceedings of the Twenty-Fifth Conference on Uncertainty
in Artificial Intelligence, Montreal, QC, Canada, June 18-21, 2009},
pages = {177--184},
publisher = {{AUAI} Press},
year = {2009},
url = {https://www.auai.org/uai2009/papers/UAI2009\_0152\_537260571e49317d509e2e82e9365ef8.pdf},
timestamp = {Tue, 25 Oct 2022 12:03:45 +0200},
biburl = {https://dblp.org/rec/conf/uai/FritzM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0909-0682,
author = {Shirin Sohrabi and
Sheila A. McIlraith},
title = {On Planning with Preferences in {HTN}},
journal = {CoRR},
volume = {abs/0909.0682},
year = {2009},
url = {http://arxiv.org/abs/0909.0682},
eprinttype = {arXiv},
eprint = {0909.0682},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0909-0682.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/BaierM08,
author = {Jorge A. Baier and
Sheila A. McIlraith},
title = {Planning with Preferences},
journal = {{AI} Mag.},
volume = {29},
number = {4},
pages = {25--36},
year = {2008},
url = {https://doi.org/10.1609/aimag.v29i4.2204},
doi = {10.1609/AIMAG.V29I4.2204},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/BaierM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/GruningerHM08,
author = {Michael Gr{\"{u}}ninger and
Richard Hull and
Sheila A. McIlraith},
title = {A Short Overview of {FLOWS:} {A} First-Order Logic Ontology for Web
Services},
journal = {{IEEE} Data Eng. Bull.},
volume = {31},
number = {3},
pages = {3--7},
year = {2008},
url = {http://sites.computer.org/debull/A08Sept/gruninger.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/GruningerHM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BaierFBM08,
author = {Jorge A. Baier and
Christian Fritz and
Meghyn Bienvenu and
Sheila A. McIlraith},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Beyond Classical Planning: Procedural Control Knowledge and Preferences
in State-of-the-Art Planners},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {1509--1512},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-251.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BaierFBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HsuMBM08,
author = {Eric I. Hsu and
Christian J. Muise and
J. Christopher Beck and
Sheila A. McIlraith},
editor = {Peter J. Stuckey},
title = {Probabilistically Estimating Backbones and Variable Bias: Experimental
Overview},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {613--617},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_52},
doi = {10.1007/978-3-540-85958-1\_52},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/HsuMBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BinasM08,
author = {Arnold Binas and
Sheila A. McIlraith},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Peer-to-Peer Query Answering with Inconsistent Knowledge},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {329--339},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-032.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BinasM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FritzBM08,
author = {Christian Fritz and
Jorge A. Baier and
Sheila A. McIlraith},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories
for Planning and Beyond},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {600--610},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-059.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/FritzBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:conf/www/MartinBMMPSMSS07,
author = {David L. Martin and
Mark H. Burstein and
Drew V. McDermott and
Sheila A. McIlraith and
Massimo Paolucci and
Katia P. Sycara and
Deborah L. McGuinness and
Evren Sirin and
Naveen Srinivasan},
title = {Bringing Semantics to Web Services with {OWL-S}},
journal = {World Wide Web},
number = {3},
pages = {243--277},
year = {2007},
url = {https://doi.org/10.1007/s11280-007-0033-x},
doi = {10.1007/S11280-007-0033-X},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/MartinBMMPSMSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/McIlraithPT07,
author = {Sheila A. McIlraith and
Pavlos Peppas and
Michael Thielscher},
title = {Preface},
journal = {J. Log. Comput.},
volume = {17},
number = {5},
pages = {847--849},
year = {2007},
url = {https://doi.org/10.1093/logcom/exm044},
doi = {10.1093/LOGCOM/EXM044},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/McIlraithPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HsuKBM07,
author = {Eric I. Hsu and
Matthew Kitching and
Fahiem Bacchus and
Sheila A. McIlraith},
title = {Using Expectation Maximization to Find Likely Assignments for Solving
CSP's},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {224--230},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-034.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HsuKBM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/BaierM07,
author = {Jorge A. Baier and
Sheila A. McIlraith},
title = {On Domain-Independent Heuristics for Planning with Qualitative Preferences},
booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2007
{AAAI} Spring Symposium, Technical Report SS-07-05, Stanford, California,
USA, March 26-28, 2007},
pages = {7--12},
publisher = {{AAAI}},
year = {2007},
url = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-003.php},
timestamp = {Fri, 17 Feb 2012 14:14:44 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/BaierM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BaierFM07,
author = {Jorge A. Baier and
Christian Fritz and
Sheila A. McIlraith},
editor = {Mark S. Boddy and
Maria Fox and
Sylvie Thi{\'{e}}baux},
title = {Exploiting Procedural Domain Control Knowledge in State-of-the-Art
Planners},
booktitle = {Proceedings of the Seventeenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2007, Providence, Rhode Island, USA,
September 22-26, 2007},
pages = {26--33},
publisher = {{AAAI}},
year = {2007},
url = {http://www.aaai.org/Library/ICAPS/2007/icaps07-004.php},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/aips/BaierFM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/FritzM07,
author = {Christian Fritz and
Sheila A. McIlraith},
editor = {Mark S. Boddy and
Maria Fox and
Sylvie Thi{\'{e}}baux},
title = {Monitoring Plan Optimality During Execution},
booktitle = {Proceedings of the Seventeenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2007, Providence, Rhode Island, USA,
September 22-26, 2007},
pages = {144--151},
publisher = {{AAAI}},
year = {2007},
url = {http://www.aaai.org/Library/ICAPS/2007/icaps07-019.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/FritzM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BaierBM07,
author = {Jorge A. Baier and
Fahiem Bacchus and
Sheila A. McIlraith},
editor = {Manuela M. Veloso},
title = {A Heuristic Search Approach to Planning with Temporally Extended Preferences},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {1808--1815},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/292.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BaierBM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WangMYM07,
author = {Yiqiao Wang and
Sheila A. McIlraith and
Yijun Yu and
John Mylopoulos},
editor = {R. E. Kurt Stirewalt and
Alexander Egyed and
Bernd Fischer},
title = {An automated approach to monitoring and diagnosing requirements},
booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
pages = {293--302},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1321631.1321675},
doi = {10.1145/1321631.1321675},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WangMYM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/SonBTM06,
author = {Tran Cao Son and
Chitta Baral and
Tran Hoai Nam and
Sheila A. McIlraith},
title = {Domain-dependent knowledge in answer set planning},
journal = {{ACM} Trans. Comput. Log.},
volume = {7},
number = {4},
pages = {613--657},
year = {2006},
url = {https://doi.org/10.1145/1183278.1183279},
doi = {10.1145/1183278.1183279},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/SonBTM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BaierM06,
author = {Jorge A. Baier and
Sheila A. McIlraith},
title = {Planning with First-Order Temporally Extended Goals using Heuristic
Search},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {788--795},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-125.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BaierM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BaierM06,
author = {Jorge A. Baier and
Sheila A. McIlraith},
editor = {Derek Long and
Stephen F. Smith and
Daniel Borrajo and
Lee McCluskey},
title = {Planning with Temporally Extended Goals Using Heuristic Search},
booktitle = {Proceedings of the Sixteenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006},
pages = {342--345},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/ICAPS/2006/icaps06-036.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/BaierM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/ZengM06,
author = {Honglei Zeng and
Sheila A. McIlraith},
title = {Experimental Results on the Satisfiable Core in Random 3SAT},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
AI{\&}Math 2006, Fort Lauderdale, Florida, USA, January 4-6, 2006},
year = {2006},
url = {http://anytime.cs.umass.edu/aimath06/proceedings/P46.pdf},
timestamp = {Tue, 08 Feb 2022 09:27:30 +0100},
biburl = {https://dblp.org/rec/conf/isaim/ZengM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SannerM06,
author = {Scott Sanner and
Sheila A. McIlraith},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order
Extensions of Description Logic},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {100--111},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-013.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/SannerM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BienvenuFM06,
author = {Meghyn Bienvenu and
Christian Fritz and
Sheila A. McIlraith},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {Planning with Qualitative Temporal Preferences},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {134--144},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-016.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BienvenuFM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FritzM06,
author = {Christian Fritz and
Sheila A. McIlraith},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {Decision-Theoretic {GOLOG} with Qualitative Preferences},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {153--163},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-018.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/FritzM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaierM06,
author = {Jorge A. Baier and
Sheila A. McIlraith},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {On Planning with Programs that Sense},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {492--502},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-051.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BaierM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HsuM06,
author = {Eric I. Hsu and
Sheila A. McIlraith},
editor = {Armin Biere and
Carla P. Gomes},
title = {Characterizing Propagation Methods for Boolean Satisfiability},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2006, 9th
International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4121},
pages = {325--338},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814948\_31},
doi = {10.1007/11814948\_31},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/HsuM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/SohrabiPM06,
author = {Shirin Sohrabi and
Nataliya Prokoshyna and
Sheila A. McIlraith},
editor = {Isabel F. Cruz and
Stefan Decker and
Dean Allemang and
Chris Preist and
Daniel Schwabe and
Peter Mika and
Michael Uschold and
Lora Aroyo},
title = {Web Service Composition Via Generic Procedures and Customizing User
Preferences},
booktitle = {The Semantic Web - {ISWC} 2006, 5th International Semantic Web Conference,
{ISWC} 2006, Athens, GA, USA, November 5-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4273},
pages = {597--611},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11926078\_43},
doi = {10.1007/11926078\_43},
timestamp = {Tue, 07 Sep 2021 13:48:11 +0200},
biburl = {https://dblp.org/rec/conf/semweb/SohrabiPM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AmirM05,
author = {Eyal Amir and
Sheila A. McIlraith},
title = {Partition-based logical reasoning for first-order and propositional
theories},
journal = {Artif. Intell.},
volume = {162},
number = {1-2},
pages = {49--88},
year = {2005},
url = {https://doi.org/10.1016/j.artint.2004.11.004},
doi = {10.1016/J.ARTINT.2004.11.004},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AmirM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ChoueiryIM05,
author = {Berthe Y. Choueiry and
Yumi Iwasaki and
Sheila A. McIlraith},
title = {Towards a practical theory of reformulation for reasoning about physical
systems},
journal = {Artif. Intell.},
volume = {162},
number = {1-2},
pages = {145--204},
year = {2005},
url = {https://doi.org/10.1016/j.artint.2004.01.004},
doi = {10.1016/J.ARTINT.2004.01.004},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/ChoueiryIM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/McIlraithP05,
author = {Sheila A. McIlraith and
Dimitris Plexousakis},
title = {Preface},
journal = {J. Web Semant.},
volume = {3},
number = {2-3},
pages = {77--78},
year = {2005},
url = {https://doi.org/10.1016/j.websem.2005.07.002},
doi = {10.1016/J.WEBSEM.2005.07.002},
timestamp = {Tue, 29 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ws/McIlraithP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HsuM05,
author = {Eric I. Hsu and
Sheila A. McIlraith},
editor = {Peter van Beek},
title = {Mechanism Design for Preference Aggregation over Coalitions},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {852},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_90},
doi = {10.1007/11564751\_90},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/HsuM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ZengM05,
author = {Honglei Zeng and
Sheila A. McIlraith},
editor = {Peter van Beek},
title = {The Role of Redundant Clauses in Solving Satisfiability Problems},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {873},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_111},
doi = {10.1007/11564751\_111},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ZengM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/McIlraith04,
author = {Sheila A. McIlraith},
editor = {Nevin Heintze and
Peter Sestoft},
title = {Invited talk: towards declarative programming for web services},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2004, Verona, Italy, August
24-25, 2004},
pages = {1--2},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1014007.1014008},
doi = {10.1145/1014007.1014008},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/McIlraith04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/McIlraith04,
author = {Sheila A. McIlraith},
editor = {Eugenio Moggi and
David Scott Warren},
title = {Invited talk: towards declarative programming for web services},
booktitle = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 24-26 August 2004,
Verona, Italy},
pages = {3--4},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1013963.1013965},
doi = {10.1145/1013963.1013965},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/McIlraith04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/McIlraith04,
author = {Sheila A. McIlraith},
editor = {Roberto Giacobazzi},
title = {Towards Declarative Programming for Web Services},
booktitle = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
Italy, August 26-28, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3148},
pages = {21},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27864-1\_4},
doi = {10.1007/978-3-540-27864-1\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/McIlraith04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/MartinPMBMMPPSSSS04,
author = {David L. Martin and
Massimo Paolucci and
Sheila A. McIlraith and
Mark H. Burstein and
Drew V. McDermott and
Deborah L. McGuinness and
Bijan Parsia and
Terry R. Payne and
Marta Sabou and
Monika Solanki and
Naveen Srinivasan and
Katia P. Sycara},
editor = {Jorge Cardoso and
Amit P. Sheth},
title = {Bringing Semantics to Web Services: The {OWL-S} Approach},
booktitle = {Semantic Web Services and Web Process Composition, First International
Workshop, {SWSWPC} 2004, San Diego, CA, USA, July 6, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3387},
pages = {26--42},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30581-1\_4},
doi = {10.1007/978-3-540-30581-1\_4},
timestamp = {Thu, 03 Feb 2022 09:27:48 +0100},
biburl = {https://dblp.org/rec/conf/semweb/MartinPMBMMPPSSSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2004,
editor = {Sheila A. McIlraith and
Dimitris Plexousakis and
Frank van Harmelen},
title = {The Semantic Web - {ISWC} 2004: Third International Semantic Web Conference,Hiroshima,
Japan, November 7-11, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3298},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b102467},
doi = {10.1007/B102467},
isbn = {3-540-23798-4},
timestamp = {Tue, 07 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/NarayananM03,
author = {Srini Narayanan and
Sheila A. McIlraith},
title = {Analysis and simulation of Web services},
journal = {Comput. Networks},
volume = {42},
number = {5},
pages = {675--693},
year = {2003},
url = {https://doi.org/10.1016/S1389-1286(03)00228-7},
doi = {10.1016/S1389-1286(03)00228-7},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/NarayananM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/McIlraithM03,
author = {Sheila A. McIlraith and
David L. Martin},
title = {Bringing Semantics to Web Services},
journal = {{IEEE} Intell. Syst.},
volume = {18},
number = {1},
pages = {90--93},
year = {2003},
url = {https://doi.org/10.1109/MIS.2003.1179199},
doi = {10.1109/MIS.2003.1179199},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/expert/McIlraithM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MacCartneyMAU03,
author = {Bill MacCartney and
Sheila A. McIlraith and
Eyal Amir and
Tom{\'{a}}s E. Uribe},
editor = {Georg Gottlob and
Toby Walsh},
title = {Practical Partition-Based Theorem Proving for Large Knowledge Bases},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {89--98},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/013.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MacCartneyMAU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/MandellM03,
author = {Daniel J. Mandell and
Sheila A. McIlraith},
editor = {Dieter Fensel and
Katia P. Sycara and
John Mylopoulos},
title = {Adapting {BPEL4WS} for the Semantic Web: The Bottom-Up Approach to
Web Service Interoperation},
booktitle = {The Semantic Web - {ISWC} 2003, Second International Semantic Web
Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2870},
pages = {227--241},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39718-2\_15},
doi = {10.1007/978-3-540-39718-2\_15},
timestamp = {Tue, 07 Sep 2021 13:48:16 +0200},
biburl = {https://dblp.org/rec/conf/semweb/MandellM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/MandellM03,
author = {Daniel J. Mandell and
Sheila A. McIlraith},
editor = {Irwin King and
Tam{\'{a}}s M{\'{a}}ray},
title = {Automating Web Service Discovery, Customization, and Semantic Translation
with a Semantic Discovery Service},
booktitle = {Proceedings of the Twelfth International World Wide Web Conference
- Posters, {WWW} 2003, Budapest, Hungary, May 20-24, 2003},
year = {2003},
url = {http://www2003.org/cdrom/papers/poster/p333/p333-mandell.html},
timestamp = {Wed, 17 Jul 2013 16:59:51 +0200},
biburl = {https://dblp.org/rec/conf/www/MandellM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/BlakeHHFSBMGPMKBSKPBdJDDRSGWGHIWAGL02,
author = {M. Brian Blake and
Karen Zita Haigh and
Henry Hexmoor and
Rino Falcone and
Leen{-}Kiat Soh and
Chitta Baral and
Sheila A. McIlraith and
Piotr J. Gmytrasiewicz and
Simon Parsons and
Rainer Malaka and
Antonio Kr{\"{u}}ger and
Paolo Bouquet and
Bill Smart and
Koichi Kurumantani and
Adam Pease and
Michael Brenner and
Marie desJardins and
Ulrich Junker and
James P. Delgrande and
Jon Doyle and
Francesca Rossi and
Torsten Schaub and
Carla P. Gomes and
Toby Walsh and
Haipeng Guo and
Eric Horvitz and
Nancy Ide and
Christopher A. Welty and
Frank D. Anger and
Hans W. Guesgen and
G{\'{e}}rard Ligozat},
title = {{AAAI} 2002 Workshops},
journal = {{AI} Mag.},
volume = {23},
number = {4},
pages = {113--121},
year = {2002},
url = {https://doi.org/10.1609/aimag.v23i4.1678},
doi = {10.1609/AIMAG.V23I4.1678},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/BlakeHHFSBMGPMKBSKPBdJDDRSGWGHIWAGL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BrysonMMS02,
author = {Joanna Bryson and
David L. Martin and
Sheila A. McIlraith and
Lynn Andrea Stein},
title = {Toward Behavioral Intelligence in the Semantic Web},
journal = {Computer},
volume = {35},
number = {11},
pages = {48--54},
year = {2002},
url = {https://doi.org/10.1109/MC.2002.1046974},
doi = {10.1109/MC.2002.1046974},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BrysonMMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/McIlraithS02,
author = {Sheila A. McIlraith and
Tran Cao Son},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Adapting Golog for Composition of Semantic Web Services},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {482--496},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 15:20:23 +0200},
biburl = {https://dblp.org/rec/conf/kr/McIlraithS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/McIlraithF02,
author = {Sheila A. McIlraith and
Ronald Fadel},
editor = {Salem Benferhat and
Enrico Giunchiglia},
title = {Planning with complex actions},
booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
April 19-21, Toulouse, France, Proceedings},
pages = {356--364},
year = {2002},
timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
biburl = {https://dblp.org/rec/conf/nmr/McIlraithF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BursteinHLMMMNPPS02,
author = {Mark H. Burstein and
Jerry R. Hobbs and
Ora Lassila and
David L. Martin and
Drew V. McDermott and
Sheila A. McIlraith and
Srini Narayanan and
Massimo Paolucci and
Terry R. Payne and
Katia P. Sycara},
editor = {Ian Horrocks and
James A. Hendler},
title = {{DAML-S:} Web Service Description for the Semantic Web},
booktitle = {The Semantic Web - {ISWC} 2002, First International Semantic Web Conference,
Sardinia, Italy, June 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2342},
pages = {348--363},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48005-6\_27},
doi = {10.1007/3-540-48005-6\_27},
timestamp = {Tue, 12 Apr 2022 14:46:29 +0200},
biburl = {https://dblp.org/rec/conf/semweb/BursteinHLMMMNPPS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/LernerMMMK02,
author = {Uri Lerner and
Brooks Moses and
Maricia Scott and
Sheila A. McIlraith and
Daphne Koller},
editor = {Adnan Darwiche and
Nir Friedman},
title = {Monitoring a Complez Physical System using a Hybrid Dynamic Bayes
Net},
booktitle = {{UAI} '02, Proceedings of the 18th Conference in Uncertainty in Artificial
Intelligence, University of Alberta, Edmonton, Alberta, Canada, August
1-4, 2002},
pages = {301--310},
publisher = {Morgan Kaufmann},
year = {2002},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=873\&\#38;proceeding\_id=18},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/LernerMMMK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/NarayananM02,
author = {Srini Narayanan and
Sheila A. McIlraith},
editor = {David Lassner and
David De Roure and
Arun Iyengar},
title = {Simulation, verification and automated composition of web services},
booktitle = {Proceedings of the Eleventh International World Wide Web Conference,
{WWW} 2002, May 7-11, 2002, Honolulu, Hawaii, {USA}},
pages = {77--88},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/511446.511457},
doi = {10.1145/511446.511457},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/NarayananM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wes/2002,
editor = {Christoph Bussler and
Richard Hull and
Sheila A. McIlraith and
Maria E. Orlowska and
Barbara Pernici and
Jian Yang},
title = {Web Services, E-Business, and the Semantic Web, CAiSE 2002 International
Workshop, {WES} 2002, Toronto, Canada, May 27-28, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2512},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36189-8},
doi = {10.1007/3-540-36189-8},
isbn = {3-540-00198-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wes/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0207023,
author = {Tran Cao Son and
Chitta Baral and
Tran Hoai Nam and
Sheila A. McIlraith},
title = {Domain-Dependent Knowledge in Answer Set Planning},
journal = {CoRR},
volume = {cs.AI/0207023},
year = {2002},
url = {https://arxiv.org/abs/cs/0207023},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0207023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/McIlraithSZ01,
author = {Sheila A. McIlraith and
Tran Cao Son and
Honglei Zeng},
title = {Semantic Web Services},
journal = {{IEEE} Intell. Syst.},
volume = {16},
number = {2},
pages = {46--53},
year = {2001},
url = {https://doi.org/10.1109/5254.920599},
doi = {10.1109/5254.920599},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/expert/McIlraithSZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/SonBM01,
author = {Tran Cao Son and
Chitta Baral and
Sheila A. McIlraith},
editor = {Alessandro Provetti and
Tran Cao Son},
title = {Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic
Choice, and Procedure Constructs},
booktitle = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation
and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford,
CA, USA, March 26-28, 2001},
year = {2001},
url = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/2.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/SonBM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McIlraithA01,
author = {Sheila A. McIlraith and
Eyal Amir},
editor = {Bernhard Nebel},
title = {Theorem Proving with Structured Theories},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {624--634},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/McIlraithA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/SonBM01,
author = {Tran Cao Son and
Chitta Baral and
Sheila A. McIlraith},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Planning with Different Forms of Domain-Dependent Control Knowledge
- An Answer Set Programming Approach},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {226--239},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_17},
doi = {10.1007/3-540-45402-0\_17},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/SonBM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/AnkolenkarBHLMMNPPSZ01,
author = {Anupriya Ankolekar and
Mark H. Burstein and
Jerry R. Hobbs and
Ora Lassila and
David L. Martin and
Sheila A. McIlraith and
Srini Narayanan and
Massimo Paolucci and
Terry R. Payne and
Katia P. Sycara and
Honglei Zeng},
editor = {Isabel F. Cruz and
Stefan Decker and
J{\'{e}}r{\^{o}}me Euzenat and
Deborah L. McGuinness},
title = {{DAML-S:} Semantic Markup for Web Services},
booktitle = {Proceedings of SWWS'01, The first Semantic Web Working Symposium,
Stanford University, California, USA, July 30 - August 1, 2001},
pages = {411--430},
year = {2001},
url = {http://www.semanticweb.org/SWWS/program/full/paper57.pdf},
timestamp = {Wed, 20 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/AnkolenkarBHLMMNPPSZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/AnkolenkarBHLMMNPPSZ01a,
author = {Anupriya Ankolekar and
Mark H. Burstein and
Jerry R. Hobbs and
Ora Lassila and
David L. Martin and
Sheila A. McIlraith and
Srini Narayanan and
Massimo Paolucci and
Terry R. Payne and
Katia P. Sycara and
Honglei Zeng},
editor = {Isabel F. Cruz and
Stefan Decker and
J{\'{e}}r{\^{o}}me Euzenat and
Deborah L. McGuinness},
title = {{DAML-S:} Semantic Markup for Web Services},
booktitle = {The Emerging Semantic Web, Selected papers from the first Semantic
web working symposium, Stanford University, California, USA, July
30 - August 1, 2001},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {75},
publisher = {{IOS} press},
year = {2001},
timestamp = {Wed, 20 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/AnkolenkarBHLMMNPPSZ01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/McIlraithSZ01,
author = {Sheila A. McIlraith and
Tran Cao Son and
Honglei Zeng},
editor = {Stefan Decker and
Dieter A. Fensel and
Amit P. Sheth and
Steffen Staab},
title = {Mobilizing the Semantic Web with DAML-enabled Web Services},
booktitle = {Proceedings of the Second International Workshop on the Semantic Web
- SemWeb'2001, Hongkong, China, May 1, 2001},
series = {{CEUR} Workshop Proceedings},
volume = {40},
publisher = {CEUR-WS.org},
year = {2001},
url = {http://CEUR-WS.org/Vol-40/mcilraith-semweb-2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:43 +0100},
biburl = {https://dblp.org/rec/conf/semweb/McIlraithSZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/McIlraith00,
author = {Sheila A. McIlraith},
title = {Integrating actions and state constraints: {A} closed-form solution
to the ramification problem (sometimes)},
journal = {Artif. Intell.},
volume = {116},
number = {1-2},
pages = {87--121},
year = {2000},
url = {https://doi.org/10.1016/S0004-3702(99)00087-9},
doi = {10.1016/S0004-3702(99)00087-9},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/McIlraith00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/MuslinerPDGVMGKZZ00,
author = {David J. Musliner and
Barney Pell and
Wolff Dobson and
Kai Goebel and
Gautam Biswas and
Sheila A. McIlraith and
Giuseppina C. Gini and
Sven Koenig and
Shlomo Zilberstein and
Weixiong Zhang},
title = {Reports on the {AAAI} Spring Symposia (March 1999)},
journal = {{AI} Mag.},
volume = {21},
number = {2},
pages = {79--84},
year = {2000},
url = {https://doi.org/10.1609/aimag.v21i2.1510},
doi = {10.1609/AIMAG.V21I2.1510},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/MuslinerPDGVMGKZZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/McIlraithS00,
author = {Sheila A. McIlraith and
Richard B. Scherl},
editor = {Henry A. Kautz and
Bruce W. Porter},
title = {What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical
Systems},
booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
and Twelfth Conference on on Innovative Applications of Artificial
Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
pages = {483--490},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Library/AAAI/2000/aaai00-074.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/McIlraithS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/McIlraith00,
author = {Sheila A. McIlraith},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {Modeling and Programming Devices and Web Agents},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {63--77},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_5},
doi = {10.1007/3-540-45484-5\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/faabs/McIlraith00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/McIlraithBCG00,
author = {Sheila A. McIlraith and
Gautam Biswas and
Dan Clancy and
Vineet Gupta},
editor = {Nancy A. Lynch and
Bruce H. Krogh},
title = {Hybrid Systems Diagnosis},
booktitle = {Hybrid Systems: Computation and Control, Third International Workshop,
{HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1790},
pages = {282--295},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46430-1\_25},
doi = {10.1007/3-540-46430-1\_25},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/McIlraithBCG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaralMS00,
author = {Chitta Baral and
Sheila A. McIlraith and
Tran Cao Son},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Formulating diagnostic problem solving using an action language with
narratives and sensing},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {311--322},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/BaralMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AmirM00,
author = {Eyal Amir and
Sheila A. McIlraith},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Partition-Based Logical Reasoning},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {389--400},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/AmirM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/AmirM00,
author = {Eyal Amir and
Sheila A. McIlraith},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Improving the Efficiency of Reasoning Through Structure-Based Reformulation},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {247--259},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_15},
doi = {10.1007/3-540-44914-0\_15},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sara/AmirM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/McIlraith98,
author = {Sheila A. McIlraith},
editor = {Anthony G. Cohn and
Lenhart K. Schubert and
Stuart C. Shapiro},
title = {Explanatory Diagnosis: Conjecturing Actions to Explain Observations},
booktitle = {Proceedings of the Sixth International Conference on Principles of
Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
2-5, 1998},
pages = {167--179},
publisher = {Morgan Kaufmann},
year = {1998},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/McIlraith98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ca/McIlraith97,
author = {Sheila A. McIlraith},
title = {Towards a formal account of diagnostic problem solving},
school = {University of Toronto, Canada},
year = {1997},
url = {https://librarysearch.library.utoronto.ca/permalink/01UTORONTO\_INST/14bjeso/alma991106114492806196},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ca/McIlraith97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/McIlraith97,
author = {Sheila A. McIlraith},
editor = {Benjamin Kuipers and
Bonnie L. Webber},
title = {Representing Actions and State Constraints in Model-Based Diagnosis},
booktitle = {Proceedings of the Fourteenth National Conference on Artificial Intelligence
and Ninth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 97, {IAAI} 97, July 27-31, 1997, Providence, Rhode Island,
{USA}},
pages = {43--49},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1997},
url = {http://www.aaai.org/Library/AAAI/1997/aaai97-007.php},
timestamp = {Tue, 05 Sep 2023 08:53:09 +0200},
biburl = {https://dblp.org/rec/conf/aaai/McIlraith97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/McIlraith94,
author = {Sheila A. McIlraith},
title = {Further Contributions to Characterizing Diagnosis},
journal = {Ann. Math. Artif. Intell.},
volume = {11},
number = {1-4},
pages = {137--167},
year = {1994},
url = {https://doi.org/10.1007/BF01530740},
doi = {10.1007/BF01530740},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/McIlraith94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/McIlraith94,
author = {Sheila A. McIlraith},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {Generating Tests Using Abduction},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {449--460},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 15:02:59 +0200},
biburl = {https://dblp.org/rec/conf/kr/McIlraith94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/McIlraith89,
author = {Sheila A. McIlraith},
title = {Qualitative data modeling: application of a mechanism for interpreting
graphical data},
journal = {Comput. Intell.},
volume = {5},
pages = {111--120},
year = {1989},
url = {https://doi.org/10.1111/j.1467-8640.1989.tb00320.x},
doi = {10.1111/J.1467-8640.1989.TB00320.X},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/McIlraith89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-03 20:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
