Sheila A. McIlraith
University of Toronto, Canada
http://www.cs.toronto.edu/~sheila/
https://scholar.google.com/citations?user=ny2zuvMAAAAJ
https://dl.acm.org/profile/81100097614
https://mathscinet.ams.org/mathscinet/MRAuthorID/654844
https://mathgenealogy.org/id.php?id=124166
https://en.wikipedia.org/wiki/Sheila_McIlraith
https://orcid.org/0000-0003-4953-0945
https://www.wikidata.org/entity/Q64819738
https://id.loc.gov/authorities/names/no2002089256
Christian Muise
Sheila A. McIlraith
J. Christopher Beck
PRP Rebooted: Advancing the State of the Art in FOND Planning.
20212-20221
2024
AAAI
https://doi.org/10.1609/aaai.v38i18.30001
conf/aaai/2024
db/conf/aaai/aaai2024.html#MuiseMB24
Diane Horton
David Liu 0002
Sheila A. McIlraith
Steven Coyne
Nina Wang
Do Embedded Ethics Modules Have Impact Beyond the Classroom?
533-539
2024
SIGCSE (1)
https://doi.org/10.1145/3626252.3630834
conf/sigcse/2024-1
db/conf/sigcse/sigcse2024-1.html#Horton0MCW24
Rodrigo Toro Icarte
Toryn Q. Klassen
Richard Valenzano
Margarita P. Castro
Ethan Waldie
Sheila A. McIlraith
Learning reward machines: A study in partially observable reinforcement learning.
103989
2023
October
323
Artif. Intell.
https://doi.org/10.1016/j.artint.2023.103989
db/journals/ai/ai323.html#IcarteKVCWM23
Pouya Shati
Eldan Cohen
Sheila A. McIlraith
SAT-based optimal classification trees for non-binary data.
166-202
2023
28
Constraints An Int. J.
2
https://doi.org/10.1007/s10601-023-09348-1
db/journals/constraints/constraints28.html#ShatiCM23
Toryn Q. Klassen
Parand Alizadeh Alamdari
Sheila A. McIlraith
Epistemic Side Effects: An AI Safety Problem.
1797-1801
2023
AAMAS
https://dl.acm.org/doi/10.5555/3545946.3598842
conf/atal/2023
db/conf/atal/aamas2023.html#KlassenAM23
Pouya Shati
Eldan Cohen
Sheila A. McIlraith
SAT-Based Learning of Compact Binary Decision Diagrams for Classification.
33:1-33:19
2023
CP
https://doi.org/10.4230/LIPIcs.CP.2023.33
conf/cp/2023
db/conf/cp/cp2023.html#ShatiCM23
Andrew Wang
Andrew C. Li
Toryn Q. Klassen
Rodrigo Toro Icarte
Sheila A. McIlraith
Learning Belief Representations for Partially Observable Deep RL.
35970-35988
2023
ICML
https://proceedings.mlr.press/v202/wang23p.html
conf/icml/2023
db/conf/icml/icml2023.html#WangLKIM23
Pouya Shati
Eldan Cohen
Sheila A. McIlraith
Optimal Decision Trees For Interpretable Clustering with Constraints.
2022-2030
2023
IJCAI
https://doi.org/10.24963/ijcai.2023/225
conf/ijcai/2023
db/conf/ijcai/ijcai2023.html#ShatiCM23
Toryn Q. Klassen
Christian Muise
Sheila A. McIlraith
Planning with Epistemic Preferences.
752-756
2023
KR
https://doi.org/10.24963/kr.2023/76
conf/kr/2023
db/conf/kr/kr2023.html#KlassenMM23
Shalev Lifshitz
Keiran Paster
Harris Chan
Jimmy Ba
Sheila A. McIlraith
STEVE-1: A Generative Model for Text-to-Behavior in Minecraft.
2023
NeurIPS
http://papers.nips.cc/paper_files/paper/2023/hash/dd03f856fc7f2efeec8b1c796284561d-Abstract-Conference.html
conf/nips/2023
db/conf/nips/neurips2023.html#LifshitzPCBM23
Diane Horton
David Liu 0002
Sheila A. McIlraith
Nina Wang
Is More Better When Embedding Ethics in CS Courses?
652-658
2023
SIGCSE (1)
https://doi.org/10.1145/3545945.3569881
conf/sigcse/2023-1
db/conf/sigcse/sigcse2023-1.html#HortonLMW23
Phillip J. K. Christoffersen
Andrew C. Li
Rodrigo Toro Icarte
Sheila A. McIlraith
Learning Symbolic Representations for Reinforcement Learning of Non-Markovian Behavior.
2023
abs/2301.02952
CoRR
https://doi.org/10.48550/arXiv.2301.02952
db/journals/corr/corr2301.html#abs-2301-02952
Pouya Shati
Eldan Cohen
Sheila A. McIlraith
Optimal Decision Trees For Interpretable Clustering with Constraints.
2023
abs/2301.12671
CoRR
https://doi.org/10.48550/arXiv.2301.12671
db/journals/corr/corr2301.html#abs-2301-12671
Shalev Lifshitz
Keiran Paster
Harris Chan
Jimmy Ba
Sheila A. McIlraith
STEVE-1: A Generative Model for Text-to-Behavior in Minecraft.
2023
abs/2306.00937
CoRR
https://doi.org/10.48550/arXiv.2306.00937
db/journals/corr/corr2306.html#abs-2306-00937
Yoshua Bengio
Geoffrey E. Hinton
Andrew Yao
Dawn Song
Pieter Abbeel
Yuval Noah Harari
Ya-Qin Zhang
Lan Xue
Shai Shalev-Shwartz
Gillian K. Hadfield
Jeff Clune
Tegan Maharaj
Frank Hutter
Atilim Günes Baydin
Sheila A. McIlraith
Qiqi Gao
Ashwin Acharya
David Krueger
Anca D. Dragan
Philip H. S. Torr
Stuart Russell 0001
Daniel Kahneman
Jan Brauner
Sören Mindermann
Managing AI Risks in an Era of Rapid Progress.
2023
abs/2310.17688
CoRR
https://doi.org/10.48550/arXiv.2310.17688
db/journals/corr/corr2310.html#abs-2310-17688
Parand Alizadeh Alamdari
Toryn Q. Klassen
Elliot Creager
Sheila A. McIlraith
Remembering to Be Fair: On Non-Markovian Fairness in Sequential Decision Making (Preliminary Report).
2023
abs/2312.04772
CoRR
https://doi.org/10.48550/arXiv.2312.04772
db/journals/corr/corr2312.html#abs-2312-04772
Christian Muise
Sheila A. McIlraith
J. Christopher Beck
PRP Rebooted: Advancing the State of the Art in FOND Planning.
2023
abs/2312.11675
CoRR
https://doi.org/10.48550/arXiv.2312.11675
db/journals/corr/corr2312.html#abs-2312-11675
Christian Muise
Vaishak Belle
Paolo Felli
Sheila A. McIlraith
Tim Miller 0001
Adrian R. Pearce
Liz Sonenberg
Efficient multi-agent epistemic planning: Teaching planners about nested belief.
103605
2022
302
Artif. Intell.
https://doi.org/10.1016/j.artint.2021.103605
db/journals/ai/ai302.html#MuiseBFMMPS22
Jorge A. Baier
Sheila A. McIlraith
Knowledge-based programs as building blocks for planning.
103634
2022
303
Artif. Intell.
https://doi.org/10.1016/j.artint.2021.103634
db/journals/ai/ai303.html#BaierM22
Rodrigo Toro Icarte
Toryn Q. Klassen
Richard Anthony Valenzano
Sheila A. McIlraith
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning.
173-208
2022
73
J. Artif. Intell. Res.
https://doi.org/10.1613/jair.1.12440
db/journals/jair/jair73.html#IcarteKVM22
Toryn Q. Klassen
Sheila A. McIlraith
Christian Muise
Jarvis Xu
Planning to Avoid Side Effects.
9830-9839
2022
AAAI
https://doi.org/10.1609/aaai.v36i9.21219
conf/aaai/2022
db/conf/aaai/aaai2022.html#KlassenMMX22
Maayan Shvo
Toryn Q. Klassen
Sheila A. McIlraith
Resolving Misconceptions about the Plans of Agents via Theory of Mind.
719-729
2022
ICAPS
https://ojs.aaai.org/index.php/ICAPS/article/view/19862
conf/aips/2022
db/conf/aips/icaps2022.html#ShvoKM22
Parand Alizadeh Alamdari
Toryn Q. Klassen
Rodrigo Toro Icarte
Sheila A. McIlraith
Be Considerate: Avoiding Negative Side Effects in Reinforcement Learning.
18-26
2022
AAMAS
https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p18.pdf
https://dl.acm.org/doi/10.5555/3535850.3535854
conf/atal/2022
db/conf/atal/aamas2022.html#AlamdariKIM22
Maayan Shvo
Ruthrash Hari
Ziggy O'Reilly
Sophia Abolore
Sze-Yuh Nina Wang
Sheila A. McIlraith
Proactive Robotic Assistance via Theory of Mind.
9148-9155
2022
IROS
https://doi.org/10.1109/IROS47612.2022.9981627
conf/iros/2022
db/conf/iros/iros2022.html#ShvoHOAWM22
Keiran Paster
Sheila A. McIlraith
Jimmy Ba
You Can't Count on Luck: Why Decision Transformers and RvS Fail in Stochastic Environments.
2022
conf/nips/2022
NeurIPS
http://papers.nips.cc/paper_files/paper/2022/hash/fe90657b12193c7b52a3418bdc351807-Abstract-Conference.html
db/conf/nips/neurips2022.html#PasterMB22
Mathieu Tuli
Andrew C. Li
Pashootan Vaezipoor
Toryn Q. Klassen
Scott Sanner
Sheila A. McIlraith
Learning to Follow Instructions in Text-Based Games.
2022
conf/nips/2022
NeurIPS
http://papers.nips.cc/paper_files/paper/2022/hash/7b24015f3af598e1d9179f6e06353780-Abstract-Conference.html
db/conf/nips/neurips2022.html#TuliLVKSM22
Diane Horton
Sheila A. McIlraith
Nina Wang
Maryam Majedi
Emma McClure
Benjamin Wald
Embedding Ethics in Computer Science Courses: Does it Work?
481-487
2022
SIGCSE (1)
https://doi.org/10.1145/3478431.3499407
conf/sigcse/2022-1
db/conf/sigcse/sigcse2022-1.html#HortonMWMMW21
Keiran Paster
Sheila A. McIlraith
Jimmy Ba
You Can't Count on Luck: Why Decision Transformers Fail in Stochastic Environments.
2022
abs/2205.15967
CoRR
https://doi.org/10.48550/arXiv.2205.15967
db/journals/corr/corr2205.html#abs-2205-15967
Andrew C. Li
Pashootan Vaezipoor
Rodrigo Toro Icarte
Sheila A. McIlraith
Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks.
2022
abs/2206.01812
CoRR
https://doi.org/10.48550/arXiv.2206.01812
db/journals/corr/corr2206.html#abs-2206-01812
Mathieu Tuli
Andrew C. Li
Pashootan Vaezipoor
Toryn Q. Klassen
Scott Sanner
Sheila A. McIlraith
Learning to Follow Instructions in Text-Based Games.
2022
abs/2211.04591
CoRR
https://doi.org/10.48550/arXiv.2211.04591
db/journals/corr/corr2211.html#abs-2211-04591
Andrew C. Li
Zizhao Chen
Pashootan Vaezipoor
Toryn Q. Klassen
Rodrigo Toro Icarte
Sheila A. McIlraith
Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines.
2022
abs/2211.10902
CoRR
https://doi.org/10.48550/arXiv.2211.10902
db/journals/corr/corr2211.html#abs-2211-10902
Fredrik Heintz
Gerhard Lakemeyer
Sheila A. McIlraith
Cognitive Robotics (Dagstuhl Seminar 22391).
200-219
2022
September
12
Dagstuhl Reports
9
https://doi.org/10.4230/DagRep.12.9.200
db/journals/dagstuhl-reports/dagstuhl-reports12.html#HeintzLM22
Maayan Shvo
Andrew C. Li
Rodrigo Toro Icarte
Sheila A. McIlraith
Interpretable Sequence Classification via Discrete Optimization.
9647-9656
2021
AAAI
https://doi.org/10.1609/aaai.v35i11.17161
conf/aaai/2021
db/conf/aaai/aaai2021.html#ShvoLIM21
Maayan Shvo
Zhiming Hu
Rodrigo Toro Icarte
Iqbal Mohomed
Allan D. Jepson
Sheila A. McIlraith
AppBuddy: Learning to Accomplish Tasks in Mobile Apps via Reinforcement Learning.
2021
Canadian AI
https://caiac.pubpub.org/pub/5agsashz
conf/ai/2021
db/conf/ai/ai2021.html#ShvoHIMJM21
Pouya Shati
Eldan Cohen
Sheila A. McIlraith
SAT-Based Approach for Learning Optimal Decision Trees with Non-Binary Features.
50:1-50:16
2021
CP
https://doi.org/10.4230/LIPIcs.CP.2021.50
conf/cp/2021
db/conf/cp/cp2021.html#ShatiCM21
Keiran Paster
Sheila A. McIlraith
Jimmy Ba
Planning from Pixels using Inverse Dynamics Models.
2021
ICLR
https://openreview.net/forum?id=V6BjBgku7Ro
conf/iclr/2021
db/conf/iclr/iclr2021.html#PasterMB21
Pashootan Vaezipoor
Andrew C. Li
Rodrigo Toro Icarte
Sheila A. McIlraith
LTL2Action: Generalizing LTL Instructions for Multi-Task RL.
10497-10508
2021
ICML
http://proceedings.mlr.press/v139/vaezipoor21a.html
conf/icml/2021
db/conf/icml/icml2021.html#VaezipoorLIM21
Eldan Cohen
Richard Anthony Valenzano
Sheila A. McIlraith
Type-WA*: Using Exploration in Bounded Suboptimal Planning.
4047-4053
2021
IJCAI
https://doi.org/10.24963/ijcai.2021/557
conf/ijcai/2021
db/conf/ijcai/ijcai2021.html#CohenVM21
Pashootan Vaezipoor
Andrew C. Li
Rodrigo Toro Icarte
Sheila A. McIlraith
LTL2Action: Generalizing LTL Instructions for Multi-Task RL.
2021
abs/2102.06858
CoRR
https://arxiv.org/abs/2102.06858
db/journals/corr/corr2102.html#abs-2102-06858
Maayan Shvo
Zhiming Hu
Rodrigo Toro Icarte
Iqbal Mohomed
Allan D. Jepson
Sheila A. McIlraith
AppBuddy: Learning to Accomplish Tasks in Mobile Apps via Reinforcement Learning.
2021
abs/2106.00133
CoRR
https://arxiv.org/abs/2106.00133
db/journals/corr/corr2106.html#abs-2106-00133
Parand Alizadeh Alamdari
Toryn Q. Klassen
Rodrigo Toro Icarte
Sheila A. McIlraith
Be Considerate: Objectives, Side Effects, and Deciding How to Act.
2021
abs/2106.02617
CoRR
https://arxiv.org/abs/2106.02617
db/journals/corr/corr2106.html#abs-2106-02617
Christian Muise
Vaishak Belle
Paolo Felli
Sheila A. McIlraith
Tim Miller 0001
Adrian R. Pearce
Liz Sonenberg
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief.
2021
abs/2110.02480
CoRR
https://arxiv.org/abs/2110.02480
db/journals/corr/corr2110.html#abs-2110-02480
Rodrigo Toro Icarte
Ethan Waldie
Toryn Q. Klassen
Richard Anthony Valenzano
Margarita P. Castro
Sheila A. McIlraith
Learning Reward Machines: A Study in Partially Observable Reinforcement Learning.
2021
abs/2112.09477
CoRR
https://arxiv.org/abs/2112.09477
db/journals/corr/corr2112.html#abs-2112-09477
Maayan Shvo
Sheila A. McIlraith
Active Goal Recognition.
9957-9966
2020
AAAI
https://doi.org/10.1609/aaai.v34i06.6551
conf/aaai/2020
db/conf/aaai/aaai2020.html#ShvoM20
León Illanes
Xi Yan 0003
Rodrigo Toro Icarte
Sheila A. McIlraith
Symbolic Plans as High-Level Instructions for Reinforcement Learning.
540-550
2020
ICAPS
https://ojs.aaai.org/index.php/ICAPS/article/view/6750
conf/aips/2020
db/conf/aips/icaps2020.html#IllanesYIM20
Maayan Shvo
Toryn Q. Klassen
Sheila A. McIlraith
Towards the Role of Theory of Mind in Explanation.
75-93
2020
EXTRAAMAS@AAMAS
https://doi.org/10.1007/978-3-030-51924-7_5
https://www.wikidata.org/entity/Q102131095
conf/atal/2020extraamas
db/conf/atal/extraamas2020.html#ShvoKM20
Maayan Shvo
Toryn Q. Klassen
Shirin Sohrabi
Sheila A. McIlraith
Epistemic Plan Recognition.
1251-1259
2020
AAMAS
https://dl.acm.org/doi/10.5555/3398761.3398906
https://www.ifaamas.org/Proceedings/aamas2020/pdfs/p1251.pdf
conf/atal/2020
db/conf/atal/aamas2020.html#ShvoKSM20
Toryn Q. Klassen
Sheila A. McIlraith
Hector J. Levesque
Changing Beliefs about Domain Dynamics in the Situation Calculus.
572-581
2020
KR
https://doi.org/10.24963/kr.2020/57
conf/kr/2020
db/conf/kr/kr2020.html#KlassenML20
Maayan Shvo
Toryn Q. Klassen
Sheila A. McIlraith
Towards the Role of Theory of Mind in Explanation.
2020
abs/2005.02963
CoRR
https://arxiv.org/abs/2005.02963
db/journals/corr/corr2005.html#abs-2005-02963
Rodrigo Toro Icarte
Richard Anthony Valenzano
Toryn Q. Klassen
Phillip J. K. Christoffersen
Amir-massoud Farahmand
Sheila A. McIlraith
The act of remembering: a study in partially observable reinforcement learning.
2020
abs/2010.01753
CoRR
https://arxiv.org/abs/2010.01753
db/journals/corr/corr2010.html#abs-2010-01753
Maayan Shvo
Andrew C. Li
Rodrigo Toro Icarte
Sheila A. McIlraith
Interpretable Sequence Classification via Discrete Optimization.
2020
abs/2010.02819
CoRR
https://arxiv.org/abs/2010.02819
db/journals/corr/corr2010.html#abs-2010-02819
Rodrigo Toro Icarte
Toryn Q. Klassen
Richard Anthony Valenzano
Sheila A. McIlraith
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning.
2020
abs/2010.03950
CoRR
https://arxiv.org/abs/2010.03950
db/journals/corr/corr2010.html#abs-2010-03950
Keiran Paster
Sheila A. McIlraith
Jimmy Ba
Planning from Pixels using Inverse Dynamics Models.
2020
abs/2012.02419
CoRR
https://arxiv.org/abs/2012.02419
db/journals/corr/corr2012.html#abs-2012-02419
León Illanes
Sheila A. McIlraith
Generalized Planning via Abstraction: Arbitrary Numbers of Objects.
7610-7618
2019
AAAI
https://doi.org/10.1609/aaai.v33i01.33017610
conf/aaai/2019
db/conf/aaai/aaai2019.html#IllanesM19
Alberto Camacho
Meghyn Bienvenu
Sheila A. McIlraith
Towards a Unified View of AI Planning and Reactive Synthesis.
58-67
2019
ICAPS
https://ojs.aaai.org/index.php/ICAPS/article/view/3460
conf/aips/2019
db/conf/aips/icaps2019.html#CamachoBM19
Alberto Camacho
Sheila A. McIlraith
Learning Interpretable Models Expressed in Linear Temporal Logic.
621-630
2019
ICAPS
https://ojs.aaai.org/index.php/ICAPS/article/view/3529
conf/aips/2019
db/conf/aips/icaps2019.html#CamachoM19
Rodrigo Toro Icarte
León Illanes
Margarita P. Castro
André A. Ciré
Sheila A. McIlraith
J. Christopher Beck
Training Binarized Neural Networks Using MIP and CP.
401-417
2019
CP
https://doi.org/10.1007/978-3-030-30048-7_24
conf/cp/2019
db/conf/cp/cp2019.html#IcarteICCMB19
Alberto Camacho
Sheila A. McIlraith
Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals.
2019
IJCAI
https://doi.org/10.24963/ijcai.2019/767
conf/ijcai/2019
db/conf/ijcai/ijcai2019.html#CamachoM19
5523-5531
Alberto Camacho
Rodrigo Toro Icarte
Toryn Q. Klassen
Richard Anthony Valenzano
Sheila A. McIlraith
LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning.
2019
IJCAI
https://doi.org/10.24963/ijcai.2019/840
conf/ijcai/2019
db/conf/ijcai/ijcai2019.html#CamachoIKVM19
6065-6073
Rodrigo Toro Icarte
Ethan Waldie
Toryn Q. Klassen
Richard Anthony Valenzano
Margarita P. Castro
Sheila A. McIlraith
Learning Reward Machines for Partially Observable Reinforcement Learning.
15497-15508
2019
NeurIPS
https://proceedings.neurips.cc/paper/2019/hash/532435c44bec236b471a47a88d63513d-Abstract.html
http://papers.nips.cc/paper/9685-learning-reward-machines-for-partially-observable-reinforcement-learning
conf/nips/2019
db/conf/nips/nips2019.html#IcarteWKVCM19
Maayan Shvo
Sheila A. McIlraith
Towards Empathetic Planning.
2019
abs/1906.06436
CoRR
http://arxiv.org/abs/1906.06436
db/journals/corr/corr1906.html#abs-1906-06436
Alberto Camacho
Sheila A. McIlraith
Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications.
2019
abs/1912.13430
CoRR
http://arxiv.org/abs/1912.13430
db/journals/corr/corr1912.html#abs-1912-13430
Sheila A. McIlraith
Kilian Q. Weinberger
G. Michael Youngblood
Karen L. Myers
Eric Eaton
Michael Wollowski
A Recap of the AAAI and IAAI 2018 Conferences and the EAAI Symposium.
2018
39
AI Mag.
4
https://doi.org/10.1609/aimag.v39i4.2843
db/journals/aim/aim39.html#McIlraithWYMEW18
3-16
Alberto Camacho
Jorge A. Baier
Christian J. Muise
Sheila A. McIlraith
Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning.
45-59
2018
Canadian AI
https://doi.org/10.1007/978-3-319-89656-4_4
conf/ai/2018
db/conf/ai/ai2018.html#CamachoBMM18
Rodrigo Toro Icarte
Toryn Q. Klassen
Richard Anthony Valenzano
Sheila A. McIlraith
Advice-Based Exploration in Model-Based Reinforcement Learning.
72-83
2018
Canadian AI
https://doi.org/10.1007/978-3-319-89656-4_6
conf/ai/2018
db/conf/ai/ai2018.html#IcarteKVM18
Maayan Shvo
Shirin Sohrabi
Sheila A. McIlraith
An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem.
253-258
2018
Canadian AI
https://doi.org/10.1007/978-3-319-89656-4_23
conf/ai/2018
db/conf/ai/ai2018.html#ShvoSM18
Alberto Camacho
Jorge A. Baier
Christian J. Muise
Sheila A. McIlraith
Finite LTL Synthesis as Planning.
29-38
2018
ICAPS
https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17790
conf/aips/2018
db/conf/aips/icaps2018.html#CamachoBMM18
Rodrigo Toro Icarte
Toryn Q. Klassen
Richard Anthony Valenzano
Sheila A. McIlraith
Teaching Multiple Tasks to an RL Agent using LTL.
452-461
2018
AAMAS
http://dl.acm.org/citation.cfm?id=3237452
conf/atal/2018
db/conf/atal/aamas2018.html#IcarteKVM18
Rodrigo Toro Icarte
Toryn Q. Klassen
Richard Anthony Valenzano
Sheila A. McIlraith
Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning.
2112-2121
2018
ICML
http://proceedings.mlr.press/v80/icarte18a.html
conf/icml/2018
db/conf/icml/icml2018.html#IcarteKVM18
Alberto Camacho
Christian J. Muise
Jorge A. Baier
Sheila A. McIlraith
LTL Realizability via Safety and Reachability Games.
4683-4691
2018
IJCAI
https://doi.org/10.24963/ijcai.2018/651
conf/ijcai/2018
db/conf/ijcai/ijcai2018.html#CamachoMBM18
Alberto Camacho
Christian J. Muise
Jorge A. Baier
Sheila A. McIlraith
SynKit: LTL Synthesis as a Service.
5817-5819
2018
IJCAI
https://doi.org/10.24963/ijcai.2018/848
conf/ijcai/2018
db/conf/ijcai/ijcai2018.html#CamachoMBM18a
Toryn Q. Klassen
Sheila A. McIlraith
Hector J. Levesque
Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus.
257-266
2018
KR
https://aaai.org/ocs/index.php/KR/KR18/paper/view/18051
conf/kr/2018
db/conf/kr/kr2018.html#KlassenML18
Alberto Camacho
Meghyn Bienvenu
Sheila A. McIlraith
Finite LTL Synthesis with Environment Assumptions and Quality Measures.
454-463
2018
KR
https://aaai.org/ocs/index.php/KR/KR18/paper/view/18072
conf/kr/2018
db/conf/kr/kr2018.html#CamachoBM18
Sheila A. McIlraith
Kilian Q. Weinberger
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
AAAI
2018
AAAI Press
https://ojs.aaai.org/index.php/AAAI/issue/view/301
db/conf/aaai/aaai2018.html
Alberto Camacho
Meghyn Bienvenu
Sheila A. McIlraith
Finite LTL Synthesis with Environment Assumptions and Quality Measures.
2018
abs/1808.10831
CoRR
http://arxiv.org/abs/1808.10831
db/journals/corr/corr1808.html#abs-1808-10831
Brent Mombourquette
Christian J. Muise
Sheila A. McIlraith
Logical Filtering and Smoothing: State Estimation in Partially Observable Domains.
3613-3621
2017
AAAI
https://doi.org/10.1609/aaai.v31i1.11031
conf/aaai/2017
db/conf/aaai/aaai2017.html#MombourquetteMM17
Alberto Camacho
Eleni Triantafillou
Christian J. Muise
Jorge A. Baier
Sheila A. McIlraith
Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces.
3716-3724
2017
AAAI
https://doi.org/10.1609/aaai.v31i1.11058
conf/aaai/2017
db/conf/aaai/aaai2017.html#CamachoTMBM17
Maayan Shvo
Shirin Sohrabi
Sheila A. McIlraith
An AI Planning-Based Approach to the Multi-Agent Plan Recognition Problem (Preliminary Report).
2017
AAAI Workshops
http://aaai.org/ocs/index.php/WS/AAAIW17/paper/view/15121
conf/aaai/2017w
db/conf/aaai/aaai2017w.html#ShvoSM17
Toryn Q. Klassen
Hector J. Levesque
Sheila A. McIlraith
Towards Representing What Readers of Fiction Believe.
2017
COMMONSENSE
https://ceur-ws.org/Vol-2052/paper12.pdf
conf/commonsense/2017
db/conf/commonsense/commonsense2017.html#KlassenLM17
Leon Illanes
Sheila A. McIlraith
Numeric Planning via Abstraction and Policy Guided Search.
4338-4345
2017
IJCAI
https://doi.org/10.24963/ijcai.2017/606
conf/ijcai/2017
db/conf/ijcai/ijcai2017.html#IllanesM17
Alberto Camacho
Oscar Chen
Scott Sanner
Sheila A. McIlraith
Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping.
159-160
2017
SOCS
https://doi.org/10.1609/socs.v8i1.18421
conf/socs/2017
db/conf/socs/socs2017.html#CamachoCSM17
Sheila A. McIlraith
Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk).
3:1-3:1
2017
TIME
https://doi.org/10.4230/LIPIcs.TIME.2017.3
conf/time/2017
db/conf/time/time2017.html#McIlraith17
Chitta Baral
Thomas Bolander
Hans van Ditmarsch
Sheila A. McIlraith
Epistemic Planning (Dagstuhl Seminar 17231).
1-47
2017
7
Dagstuhl Reports
6
https://doi.org/10.4230/DagRep.7.6.1
db/journals/dagstuhl-reports/dagstuhl-reports7.html#BaralBDM17
Christian J. Muise
J. Christopher Beck
Sheila A. McIlraith
Optimal Partial-Order Plan Relaxation via MaxSAT.
113-149
2016
57
J. Artif. Intell. Res.
https://doi.org/10.1613/jair.5128
db/journals/jair/jair57.html#MuiseBM16
Alberto Camacho
Christian J. Muise
Sheila A. McIlraith
From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends.
65-69
2016
ICAPS
http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13188
conf/aips/2016
db/conf/aips/icaps2016.html#CamachoMM16
Alberto Camacho
Sheila A. McIlraith
Strong-Cyclic Planning when Fairness is Not a Valid Assumption.
2016
KnowProS@IJCAI
https://ceur-ws.org/Vol-1648/paper11.pdf
conf/ijcai/2016knowpros
db/conf/ijcai/knowpros2016.html#CamachoM16
Alberto Camacho
Eleni Triantafillou
Christian J. Muise
Jorge A. Baier
Sheila A. McIlraith
Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version).
2016
KnowProS@IJCAI
https://ceur-ws.org/Vol-1648/paper10.pdf
conf/ijcai/2016knowpros
db/conf/ijcai/knowpros2016.html#CamachoTMBM16
Leon Illanes
Sheila A. McIlraith
Numeric Planning via Search Space Abstraction.
2016
KnowProS@IJCAI
https://ceur-ws.org/Vol-1648/paper9.pdf
conf/ijcai/2016knowpros
db/conf/ijcai/knowpros2016.html#IllanesM16
Brent Mombourquette
Christian J. Muise
Sheila A. McIlraith
Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing.
2016
KnowProS@IJCAI
https://ceur-ws.org/Vol-1648/paper8.pdf
conf/ijcai/2016knowpros
db/conf/ijcai/knowpros2016.html#MombourquetteMM16
Roy Luo
Richard Anthony Valenzano
Yi Li 0008
J. Christopher Beck
Sheila A. McIlraith
Using Metric Temporal Logic to Specify Scheduling Problems.
581-584
2016
KR
http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12909
conf/kr/2016
db/conf/kr/kr2016.html#LuoVLBM16
Young Yoon
Nathan Robinson
Vinod Muthusamy
Sheila A. McIlraith
Hans-Arno Jacobsen
Planning the transformation of overlays.
500-507
2016
SAC
https://doi.org/10.1145/2851613.2851639
conf/sac/2016
db/conf/sac/sac2016.html#YoonRMMJ16
Leon Illanes
Sheila A. McIlraith
Numeric Planning via Search Space Abstraction (Extended Abstract).
133-134
2016
SOCS
https://doi.org/10.1609/socs.v7i1.18409
conf/socs/2016
db/conf/socs/socs2016.html#IllanesM16
Stefano V. Albrecht
André da Motta Salles Barreto
Darius Braziunas
David L. Buckeridge
Heriberto Cuayáhuitl
Nina Dethlefs
Markus Endres
Amir-massoud Farahmand
Mark Fox
Lutz Frommberger
Sam Ganzfried
Yolanda Gil
Sébastien Guillet
Lawrence E. Hunter
Arnav Jhala
Kristian Kersting
George Dimitri Konidaris
Freddy Lécué
Sheila A. McIlraith
Sriraam Natarajan
Zeinab Noorian
David Poole 0001
Rémi Ronfard
Alessandro Saffiotti
Arash Shaban-Nejad
Biplav Srivastava
Gerald Tesauro
Rosario Uceda-Sosa
Guy Van den Broeck
Martijn van Otterlo
Byron C. Wallace
Paul Weng
Jenna Wiens
Jie Zhang
Reports of the AAAI 2014 Conference Workshops.
87-98
2015
36
AI Mag.
1
https://doi.org/10.1609/aimag.v36i1.2575
https://www.wikidata.org/entity/Q62637832
db/journals/aim/aim36.html#AlbrechtBBBCDEF15
Christian J. Muise
Vaishak Belle
Paolo Felli
Sheila A. McIlraith
Tim Miller 0001
Adrian R. Pearce
Liz Sonenberg
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach.
3327-3334
2015
AAAI
https://doi.org/10.1609/aaai.v29i1.9665
conf/aaai/2015
db/conf/aaai/aaai2015.html#MuiseBFMMPS15
Torsten Hahmann
Sheila A. McIlraith
Towards Ontologies in Variation.
2015
AAAI Spring Symposia
http://www.aaai.org/ocs/index.php/SSS/SSS15/paper/view/10330
conf/aaaiss/2015
db/conf/aaaiss/aaaiss2015.html#HahmannM15
Toryn Q. Klassen
Sheila A. McIlraith
Hector J. Levesque
Towards Tractable Inference for Resource-Bounded Agents.
2015
AAAI Spring Symposia
http://www.aaai.org/ocs/index.php/SSS/SSS15/paper/view/10291
conf/aaaiss/2015
db/conf/aaaiss/aaaiss2015.html#KlassenML15
Young Yoon
Nathan Robinson
Vinod Muthusamy
Sheila A. McIlraith
Hans-Arno Jacobsen
Towards Planning the Transformation of Overlays.
782-783
2015
ICDCS
https://doi.org/10.1109/ICDCS.2015.107
https://doi.ieeecomputersociety.org/10.1109/ICDCS.2015.107
conf/icdcs/2015
db/conf/icdcs/icdcs2015.html#YoonRMMJ15
Niloofar Razavi
Azadeh Farzan
Sheila A. McIlraith
Generating effective tests for concurrent programs via AI automated planning techniques.
49-65
2014
16
Int. J. Softw. Tools Technol. Transf.
1
https://doi.org/10.1007/s10009-013-0277-y
db/journals/sttt/sttt16.html#RazaviFM14
Christian J. Muise
Vaishak Belle
Sheila A. McIlraith
Computing Contingent Plans via Fully Observable Non-Deterministic Planning.
2322-2329
2014
AAAI
https://doi.org/10.1609/aaai.v28i1.9049
conf/aaai/2014
db/conf/aaai/aaai2014.html#MuiseBM14
Nathan Robinson
Sheila A. McIlraith
David Toman 0001
Cost-Based Query Optimization via AI Planning.
2344-2351
2014
AAAI
https://doi.org/10.1609/aaai.v28i1.9045
conf/aaai/2014
db/conf/aaai/aaai2014.html#RobinsonMT14
Christian J. Muise
Sheila A. McIlraith
Vaishak Belle
Non-Deterministic Planning With Conditional Effects.
2014
ICAPS
http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7950
conf/aips/2014
db/conf/aips/icaps2014.html#MuiseMB14
Franz Baader
Anthony G. Cohn 0001
Georg Gottlob
Sheila A. McIlraith
Invited Talks.
2014
KR
http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8702
conf/kr/2014
db/conf/kr/kr2014.html#BaaderCGM14
Jorge A. Baier
Brent Mombourquette
Sheila A. McIlraith
Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals.
2014
KR
http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8019
conf/kr/2014
db/conf/kr/kr2014.html#BaierMM14
Sammy Davis-Mendelow
Jorge A. Baier
Sheila A. McIlraith
Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge.
2013
AAAI
https://doi.org/10.1609/aaai.v27i1.8687
conf/aaai/2013
db/conf/aaai/aaai2013.html#Davis-MendelowBM13
209-216
Christian J. Muise
J. Christopher Beck
Sheila A. McIlraith
Flexible Execution of Partial Order Plans With Temporal Constraints.
2013
IJCAI
http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6950
http://ijcai.org/Abstract/13/343
conf/ijcai/2013
db/conf/ijcai/ijcai2013.html#MuiseBM13
2328-2335
Marina Gueroussova
Axel Polleres
Sheila A. McIlraith
SPARQL with Qualitative and Quantitative Preferences.
2-8
2013
OrdRing@ISWC
https://ceur-ws.org/Vol-1059/ordring2013-paper1.pdf
conf/semweb/2013ordring
db/conf/semweb/ordring2013.html#GueroussovaPM13
Uri Lerner
Brooks Moses
Maricia Scott
Sheila A. McIlraith
Daphne Koller
Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net
http://arxiv.org/abs/1301.0582
2013
CoRR
abs/1301.0582
db/journals/corr/corr1301.html#abs-1301-0582
Farah Juma
Eric I. Hsu
Sheila A. McIlraith
Preference-Based Planning via MaxSAT.
109-120
2012
Canadian AI
https://doi.org/10.1007/978-3-642-30353-1_10
conf/ai/2012
db/conf/ai/ai2012.html#JumaHM12
Christian J. Muise
Sheila A. McIlraith
J. Christopher Beck
Eric I. Hsu
Dsharp: Fast d-DNNF Compilation with sharpSAT.
356-361
2012
Canadian AI
https://doi.org/10.1007/978-3-642-30353-1_36
conf/ai/2012
db/conf/ai/ai2012.html#MuiseMBH12
Christian J. Muise
Sheila A. McIlraith
J. Christopher Beck
Improved Non-Deterministic Planning by Exploiting State Relevance.
2012
ICAPS
http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4718
conf/aips/2012
db/conf/aips/icaps2012.html#MuiseMB12
Christian J. Muise
Sheila A. McIlraith
J. Christopher Beck
Optimally Relaxing Partial-Order Plans with MaxSAT.
2012
ICAPS
http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4719
conf/aips/2012
db/conf/aips/icaps2012.html#MuiseMB12a
Gerhard Brewka
Thomas Eiter
Sheila A. McIlraith
Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012
978-1-57735-560-1
AAAI Press
2012
KR
db/conf/kr/kr2012.html
Christian Fritz 0001
Sheila A. McIlraith
Generating Optimal Plans in Highly-Dynamic Domains
http://arxiv.org/abs/1205.2647
2012
CoRR
abs/1205.2647
db/journals/corr/corr1205.html#abs-1205-2647
Leora Morgenstern
Sheila A. McIlraith
John McCarthy's legacy.
1-24
2011
175
Artif. Intell.
1
https://doi.org/10.1016/j.artint.2010.11.003
db/journals/ai/ai175.html#MorgensternM11
Meghyn Bienvenu
Christian Fritz 0001
Sheila A. McIlraith
Specifying and computing preferred plans.
1308-1345
2011
175
Artif. Intell.
7-8
https://doi.org/10.1016/j.artint.2010.11.021
db/journals/ai/ai175.html#BienvenuFM11
Sotirios Liaskos
Sheila A. McIlraith
Shirin Sohrabi
John Mylopoulos
Representing and reasoning about preferences in requirements engineering.
227-249
2011
16
Requir. Eng.
3
https://doi.org/10.1007/s00766-011-0129-9
db/journals/re/re16.html#LiaskosMSM11
Shirin Sohrabi
Jorge A. Baier
Sheila A. McIlraith
Preferred Explanations: Theory and Generation via Planning.
2011
AAAI
https://doi.org/10.1609/aaai.v25i1.7845
conf/aaai/2011
db/conf/aaai/aaai2011.html#SohrabiBM11
261-267
Renée J. Miller
Frank Wm. Tompa
Sheila A. McIlraith
Jacob Slonim
Eric S. K. Yu
NSERC business intelligence network: selected topics.
313-315
2011
CASCON
http://dl.acm.org/citation.cfm?id=2093925
conf/cascon/2011
db/conf/cascon/cascon2011.html#MillerTMSY01
Christian J. Muise
Sheila A. McIlraith
J. Christopher Beck
Monitoring the Execution of Partial-Order Plans via Regression.
1975-1982
2011
IJCAI
https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-330
conf/ijcai/2011
db/conf/ijcai/ijcai2011.html#MuiseMB11
Christian J. Muise
Sheila A. McIlraith
J. Christopher Beck
Eric I. Hsu
Fast d-DNNF Compilation with sharpSAT.
2010
Abstraction, Reformulation, and Approximation
http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2069
conf/aaai/2010abstr
db/conf/aaai/abstr2010.html#MuiseMBH10
Vinay K. Chaudhri
Bert Bredeweg
Richard Fikes
Sheila A. McIlraith
Michael P. Wellman
A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base.
158-171
2010
FOIS
https://doi.org/10.3233/978-1-60750-535-8-158
conf/fois/2010
db/conf/fois/fois2010.html#ChaudhriBFMW10
Shirin Sohrabi
Jorge A. Baier
Sheila A. McIlraith
Diagnosis as Planning Revisited.
2010
KR
http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1300
conf/kr/2010
db/conf/kr/kr2010.html#SohrabiBM10
Sotirios Liaskos
Sheila A. McIlraith
Shirin Sohrabi
John Mylopoulos
Integrating Preferences into Goal Models for Requirements Engineering.
135-144
2010
RE
https://doi.org/10.1109/RE.2010.26
https://doi.ieeecomputersociety.org/10.1109/RE.2010.26
conf/re/2010
db/conf/re/re2010.html#LiaskosMSM10
Shirin Sohrabi
Sheila A. McIlraith
Preference-Based Web Service Composition: A Middle Ground between Execution and Search.
713-729
2010
ISWC (1)
https://doi.org/10.1007/978-3-642-17746-0_45
conf/semweb/2010-1
db/conf/semweb/iswc2010-1.html#SohrabiM10
Eric I. Hsu
Sheila A. McIlraith
Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search.
2010
SOCS
https://doi.org/10.1609/socs.v1i1.18180
conf/socs/2010
db/conf/socs/socs2010.html#HsuM10
111-112
Jorge A. Baier
Fahiem Bacchus
Sheila A. McIlraith
A heuristic search approach to planning with temporally extended preferences.
593-618
2009
173
Artif. Intell.
5-6
https://doi.org/10.1016/j.artint.2008.11.011
db/journals/ai/ai173.html#BaierBM09
Yiqiao Wang 0001
Sheila A. McIlraith
Yijun Yu
John Mylopoulos
Monitoring and diagnosing software requirements.
3-35
2009
16
Autom. Softw. Eng.
1
https://doi.org/10.1007/s10515-008-0042-8
db/journals/ase/ase16.html#WangMYM09
Christian Fritz 0001
Sheila A. McIlraith
Computing Robust Plans in Continuous Domains.
2009
ICAPS
conf/aips/2009
db/conf/aips/icaps2009.html#FritzM09
http://aaai.org/ocs/index.php/ICAPS/ICAPS09/paper/view/723
Christian J. Muise
Sheila A. McIlraith
Jorge A. Baier
Michael Reimer
Exploiting N-Gram Analysis to Predict Operator Sequences.
2009
ICAPS
conf/aips/2009
db/conf/aips/icaps2009.html#MuiseMBR09
http://aaai.org/ocs/index.php/ICAPS/ICAPS09/paper/view/741
Shirin Sohrabi
Nataliya Prokoshyna
Sheila A. McIlraith
Web Service Composition via the Customization of Golog Programs with User Preferences.
319-334
2009
Conceptual Modeling: Foundations and Applications
https://doi.org/10.1007/978-3-642-02463-4_17
conf/birthday/2009mylopoulos
db/conf/birthday/mylopoulos2009.html#SohrabiPM09
Shirin Sohrabi
Jorge A. Baier
Sheila A. McIlraith
HTN Planning with Preferences.
1790-1797
2009
IJCAI
http://ijcai.org/Proceedings/09/Papers/298.pdf
conf/ijcai/2009
db/conf/ijcai/ijcai2009.html#SohrabiBM09
Sotirios Liaskos
Sheila A. McIlraith
John Mylopoulos
Towards Augmenting Requirements Models with Preferences.
565-569
2009
ASE
https://doi.org/10.1109/ASE.2009.91
https://doi.ieeecomputersociety.org/10.1109/ASE.2009.91
conf/kbse/2009
db/conf/kbse/ase2009.html#LiaskosMM09
Eric I. Hsu
Sheila A. McIlraith
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search.
377-390
2009
SAT
https://doi.org/10.1007/978-3-642-02777-2_35
conf/sat/2009
db/conf/sat/sat2009.html#HsuM09
Shirin Sohrabi
Sheila A. McIlraith
Optimizing Web Service Composition While Enforcing Regulations.
601-617
2009
ISWC
https://doi.org/10.1007/978-3-642-04930-9_38
conf/semweb/2009
db/conf/semweb/iswc2009.html#SohrabiM09
Christian Fritz 0001
Sheila A. McIlraith
Generating Optimal Plans in Highly-Dynamic Domains.
177-184
2009
UAI
https://www.auai.org/uai2009/papers/UAI2009_0152_537260571e49317d509e2e82e9365ef8.pdf
conf/uai/2009
db/conf/uai/uai2009.html#FritzM09
Shirin Sohrabi
Sheila A. McIlraith
On Planning with Preferences in HTN
http://arxiv.org/abs/0909.0682
2009
CoRR
abs/0909.0682
db/journals/corr/corr0909.html#abs-0909-0682
Jorge A. Baier
Sheila A. McIlraith
Planning with Preferences.
25-36
2008
29
AI Mag.
4
https://doi.org/10.1609/aimag.v29i4.2204
db/journals/aim/aim29.html#BaierM08
Michael Grüninger
Richard Hull 0001
Sheila A. McIlraith
A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services.
3-7
2008
31
IEEE Data Eng. Bull.
3
http://sites.computer.org/debull/A08Sept/gruninger.pdf
db/journals/debu/debu31.html#GruningerHM08
Jorge A. Baier
Christian Fritz 0001
Meghyn Bienvenu
Sheila A. McIlraith
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners.
1509-1512
2008
AAAI
conf/aaai/2008
db/conf/aaai/aaai2008.html#BaierFBM08
http://www.aaai.org/Library/AAAI/2008/aaai08-251.php
Eric I. Hsu
Christian J. Muise
J. Christopher Beck
Sheila A. McIlraith
Probabilistically Estimating Backbones and Variable Bias: Experimental Overview.
613-617
2008
CP
https://doi.org/10.1007/978-3-540-85958-1_52
conf/cp/2008
db/conf/cp/cp2008.html#HsuMBM08
Arnold Binas
Sheila A. McIlraith
Peer-to-Peer Query Answering with Inconsistent Knowledge.
329-339
2008
KR
conf/kr/2008
db/conf/kr/kr2008.html#BinasM08
http://www.aaai.org/Library/KR/2008/kr08-032.php
Christian Fritz 0001
Jorge A. Baier
Sheila A. McIlraith
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.
600-610
2008
KR
conf/kr/2008
db/conf/kr/kr2008.html#FritzBM08
http://www.aaai.org/Library/KR/2008/kr08-059.php
David L. Martin 0001
Mark H. Burstein
Drew V. McDermott
Sheila A. McIlraith
Massimo Paolucci 0001
Katia P. Sycara
Deborah L. McGuinness
Evren Sirin
Naveen Srinivasan
Bringing Semantics to Web Services with OWL-S.
243-277
2007
World Wide Web
3
https://doi.org/10.1007/s11280-007-0033-x
db/journals/www/www10.html#MartinBMMPSMSS07
Sheila A. McIlraith
Pavlos Peppas
Michael Thielscher
Preface.
847-849
2007
17
J. Log. Comput.
5
https://doi.org/10.1093/logcom/exm044
db/journals/logcom/logcom17.html#McIlraithPT07
Eric I. Hsu
Matthew Kitching
Fahiem Bacchus
Sheila A. McIlraith
Using Expectation Maximization to Find Likely Assignments for Solving CSP's.
224-230
2007
conf/aaai/2007
AAAI
db/conf/aaai/aaai2007.html#HsuKBM07
http://www.aaai.org/Library/AAAI/2007/aaai07-034.php
Jorge A. Baier
Sheila A. McIlraith
On Domain-Independent Heuristics for Planning with Qualitative Preferences.
7-12
2007
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-003.php
conf/aaaiss/2007-5
db/conf/aaaiss/aaaiss2007-5.html#BaierM07
Jorge A. Baier
Christian Fritz 0001
Sheila A. McIlraith
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners.
26-33
2007
ICAPS
conf/aips/2007
db/conf/aips/icaps2007.html#BaierFM07
http://www.aaai.org/Library/ICAPS/2007/icaps07-004.php
Christian Fritz 0001
Sheila A. McIlraith
Monitoring Plan Optimality During Execution.
144-151
2007
ICAPS
conf/aips/2007
db/conf/aips/icaps2007.html#FritzM07
http://www.aaai.org/Library/ICAPS/2007/icaps07-019.php
Jorge A. Baier
Fahiem Bacchus
Sheila A. McIlraith
A Heuristic Search Approach to Planning with Temporally Extended Preferences.
1808-1815
2007
conf/ijcai/2007
IJCAI
http://ijcai.org/Proceedings/07/Papers/292.pdf
db/conf/ijcai/ijcai2007.html#BaierBM07
Yiqiao Wang 0001
Sheila A. McIlraith
Yijun Yu
John Mylopoulos
An automated approach to monitoring and diagnosing requirements.
293-302
2007
conf/kbse/2007
ASE
https://doi.org/10.1145/1321631.1321675
db/conf/kbse/ase2007.html#WangMYM07
Tran Cao Son
Chitta Baral
Tran Hoai Nam
Sheila A. McIlraith
Domain-dependent knowledge in answer set planning.
613-657
2006
7
ACM Trans. Comput. Log.
4
https://doi.org/10.1145/1183278.1183279
db/journals/tocl/tocl7.html#SonBTM06
Jorge A. Baier
Sheila A. McIlraith
Planning with First-Order Temporally Extended Goals using Heuristic Search.
2006
conf/aaai/2006
AAAI
db/conf/aaai/aaai2006.html#BaierM06
http://www.aaai.org/Library/AAAI/2006/aaai06-125.php
788-795
Jorge A. Baier
Sheila A. McIlraith
Planning with Temporally Extended Goals Using Heuristic Search.
342-345
2006
conf/aips/2006
ICAPS
db/conf/aips/icaps2006.html#BaierM06
http://www.aaai.org/Library/ICAPS/2006/icaps06-036.php
Honglei Zeng
Sheila A. McIlraith
Experimental Results on the Satisfiable Core in Random 3SAT.
2006
AI&M
http://anytime.cs.umass.edu/aimath06/proceedings/P46.pdf
conf/isaim/2006
db/conf/isaim/isaim2006.html#ZengM06
Scott Sanner
Sheila A. McIlraith
An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic.
100-111
2006
conf/kr/2006
KR
db/conf/kr/kr2006.html#SannerM06
http://www.aaai.org/Library/KR/2006/kr06-013.php
Meghyn Bienvenu
Christian Fritz 0001
Sheila A. McIlraith
Planning with Qualitative Temporal Preferences.
134-144
2006
conf/kr/2006
KR
db/conf/kr/kr2006.html#BienvenuFM06
http://www.aaai.org/Library/KR/2006/kr06-016.php
Christian Fritz 0001
Sheila A. McIlraith
Decision-Theoretic GOLOG with Qualitative Preferences.
153-163
2006
conf/kr/2006
KR
db/conf/kr/kr2006.html#FritzM06
http://www.aaai.org/Library/KR/2006/kr06-018.php
Jorge A. Baier
Sheila A. McIlraith
On Planning with Programs that Sense.
492-502
2006
conf/kr/2006
KR
db/conf/kr/kr2006.html#BaierM06
http://www.aaai.org/Library/KR/2006/kr06-051.php
Eric I. Hsu
Sheila A. McIlraith
Characterizing Propagation Methods for Boolean Satisfiability.
325-338
2006
conf/sat/2006
SAT
https://doi.org/10.1007/11814948_31
db/conf/sat/sat2006.html#HsuM06
Shirin Sohrabi
Nataliya Prokoshyna
Sheila A. McIlraith
Web Service Composition Via Generic Procedures and Customizing User Preferences.
597-611
2006
conf/semweb/2006
ISWC
https://doi.org/10.1007/11926078_43
db/conf/semweb/iswc2006.html#SohrabiPM06
Eyal Amir
Sheila A. McIlraith
Partition-based logical reasoning for first-order and propositional theories.
49-88
2005
162
Artif. Intell.
1-2
https://doi.org/10.1016/j.artint.2004.11.004
db/journals/ai/ai162.html#AmirM05
Berthe Y. Choueiry
Yumi Iwasaki
Sheila A. McIlraith
Towards a practical theory of reformulation for reasoning about physical systems.
145-204
2005
162
Artif. Intell.
1-2
https://doi.org/10.1016/j.artint.2004.01.004
db/journals/ai/ai162.html#ChoueiryIM05
Sheila A. McIlraith
Dimitris Plexousakis
Preface.
77-78
2005
3
J. Web Semant.
2-3
https://doi.org/10.1016/j.websem.2005.07.002
db/journals/ws/ws3.html#McIlraithP05
Eric I. Hsu
Sheila A. McIlraith
Mechanism Design for Preference Aggregation over Coalitions.
852
2005
conf/cp/2005
CP
https://doi.org/10.1007/11564751_90
db/conf/cp/cp2005.html#HsuM05
Honglei Zeng
Sheila A. McIlraith
The Role of Redundant Clauses in Solving Satisfiability Problems.
873
2005
conf/cp/2005
CP
https://doi.org/10.1007/11564751_111
db/conf/cp/cp2005.html#ZengM05
Sheila A. McIlraith
Invited talk: towards declarative programming for web services.
1-2
2004
conf/pepm/2004
PEPM
https://doi.org/10.1145/1014007.1014008
db/conf/pepm/pepm2004.html#McIlraith04
Sheila A. McIlraith
Invited talk: towards declarative programming for web services.
3-4
2004
conf/ppdp/2004
PPDP
https://doi.org/10.1145/1013963.1013965
db/conf/ppdp/ppdp2004.html#McIlraith04
Sheila A. McIlraith
Towards Declarative Programming for Web Services.
21
https://doi.org/10.1007/978-3-540-27864-1_4
2004
conf/sas/2004
SAS
db/conf/sas/sas2004.html#McIlraith04
David L. Martin 0001
Massimo Paolucci 0001
Sheila A. McIlraith
Mark H. Burstein
Drew V. McDermott
Deborah L. McGuinness
Bijan Parsia
Terry R. Payne
Marta Sabou
Monika Solanki
Naveen Srinivasan
Katia P. Sycara
Bringing Semantics to Web Services: The OWL-S Approach.
26-42
https://doi.org/10.1007/978-3-540-30581-1_4
2004
conf/semweb/2004swswpc
SWSWPC
db/conf/semweb/swswpc2004.html#MartinPMBMMPPSSSS04
Sheila A. McIlraith
Dimitris Plexousakis
Frank van Harmelen
The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings
3298
2004
3-540-23798-4
ISWC
Lecture Notes in Computer Science
Springer
https://doi.org/10.1007/b102467
https://www.wikidata.org/entity/Q56834677
db/conf/semweb/iswc2004.html
Srini Narayanan
Sheila A. McIlraith
Analysis and simulation of Web services.
675-693
2003
42
Comput. Networks
5
https://doi.org/10.1016/S1389-1286(03)00228-7
db/journals/cn/cn42.html#NarayananM03
Sheila A. McIlraith
David L. Martin 0001
Bringing Semantics to Web Services.
90-93
2003
18
IEEE Intell. Syst.
1
https://doi.org/10.1109/MIS.2003.1179199
http://doi.ieeecomputersociety.org/10.1109/MIS.2003.1179199
db/journals/expert/expert18.html#McIlraithM03
Bill MacCartney
Sheila A. McIlraith
Eyal Amir
Tomás E. Uribe
Practical Partition-Based Theorem Proving for Large Knowledge Bases.
89-98
2003
conf/ijcai/2003
IJCAI
db/conf/ijcai/ijcai2003.html#MacCartneyMAU03
http://ijcai.org/Proceedings/03/Papers/013.pdf
Daniel J. Mandell
Sheila A. McIlraith
Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation.
227-241
https://doi.org/10.1007/978-3-540-39718-2_15
2003
conf/semweb/2003
ISWC
db/conf/semweb/iswc2003.html#MandellM03
Daniel J. Mandell
Sheila A. McIlraith
Automating Web Service Discovery, Customization, and Semantic Translation with a Semantic Discovery Service.
2003
conf/www/2003p
WWW (Posters)
http://www2003.org/cdrom/papers/poster/p333/p333-mandell.html
db/conf/www/www2003p.html#MandellM03
M. Brian Blake
Karen Zita Haigh
Henry Hexmoor
Rino Falcone
Leen-Kiat Soh
Chitta Baral
Sheila A. McIlraith
Piotr J. Gmytrasiewicz
Simon Parsons
Rainer Malaka
Antonio Krüger
Paolo Bouquet
Bill Smart
Koichi Kurumantani
Adam Pease
Michael Brenner 0001
Marie desJardins
Ulrich Junker
James P. Delgrande
Jon Doyle
Francesca Rossi 0001
Torsten Schaub
Carla P. Gomes
Toby Walsh
Haipeng Guo
Eric Horvitz
Nancy Ide
Christopher A. Welty
Frank D. Anger
Hans W. Guesgen
Gérard Ligozat
AAAI 2002 Workshops.
113-121
2002
23
AI Mag.
4
db/journals/aim/aim23.html#BlakeHHFSBMGPMKBSKPBdJDDRSGWGHIWAGL02
https://doi.org/10.1609/aimag.v23i4.1678
Joanna Bryson
David L. Martin 0001
Sheila A. McIlraith
Lynn Andrea Stein
Toward Behavioral Intelligence in the Semantic Web.
48-54
2002
35
Computer
11
https://doi.org/10.1109/MC.2002.1046974
http://doi.ieeecomputersociety.org/10.1109/MC.2002.1046974
https://www.wikidata.org/entity/Q62635357
db/journals/computer/computer35.html#BrysonMMS02
Sheila A. McIlraith
Tran Cao Son
Adapting Golog for Composition of Semantic Web Services.
482-496
2002
conf/kr/2002
KR
db/conf/kr/kr2002.html#McIlraithS02
Sheila A. McIlraith
Ronald Fadel
Planning with complex actions.
356-364
2002
conf/nmr/2002
NMR
db/conf/nmr/nmr2002.html#McIlraithF02
Mark H. Burstein
Jerry R. Hobbs
Ora Lassila
David L. Martin 0001
Drew V. McDermott
Sheila A. McIlraith
Srini Narayanan
Massimo Paolucci 0001
Terry R. Payne
Katia P. Sycara
DAML-S: Web Service Description for the Semantic Web.
348-363
2002
conf/semweb/2002
ISWC
https://doi.org/10.1007/3-540-48005-6_27
db/conf/semweb/semweb2002.html#BursteinHLMMMNPPS02
Uri Lerner
Brooks Moses
Maricia Scott
Sheila A. McIlraith
Daphne Koller
Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net.
301-310
2002
conf/uai/2002
UAI
db/conf/uai/uai2002.html#LernerMMMK02
https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=873&proceeding_id=18
Srini Narayanan
Sheila A. McIlraith
Simulation, verification and automated composition of web services.
77-88
2002
conf/www/2002
WWW
https://doi.org/10.1145/511446.511457
db/conf/www/www2002.html#NarayananM02
Christoph Bussler
Richard Hull 0001
Sheila A. McIlraith
Maria E. Orlowska
Barbara Pernici
Jian Yang 0001
Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, May 27-28, 2002, Revised Papers
WES
Lecture Notes in Computer Science
2512
Springer
2002
3-540-00198-0
https://doi.org/10.1007/3-540-36189-8
db/conf/wes/wes2002.html
Tran Cao Son
Chitta Baral
Tran Hoai Nam
Sheila A. McIlraith
Domain-Dependent Knowledge in Answer Set Planning
https://arxiv.org/abs/cs/0207023
2002
CoRR
cs.AI/0207023
db/journals/corr/corr0207.html#cs-AI-0207023
Sheila A. McIlraith
Tran Cao Son
Honglei Zeng
Semantic Web Services.
46-53
2001
16
IEEE Intell. Syst.
2
https://doi.org/10.1109/5254.920599
http://doi.ieeecomputersociety.org/10.1109/5254.920599
https://www.wikidata.org/entity/Q59567480
db/journals/expert/expert16.html#McIlraithSZ01
Tran Cao Son
Chitta Baral
Sheila A. McIlraith
Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs.
2001
conf/asp/2001
Answer Set Programming
http://www.cs.nmsu.edu/~tson/ASP2001/2.ps
db/conf/asp/asp2001.html#SonBM01
Sheila A. McIlraith
Eyal Amir
Theorem Proving with Structured Theories.
624-634
2001
conf/ijcai/2001
IJCAI
db/conf/ijcai/ijcai2001.html#McIlraithA01
Tran Cao Son
Chitta Baral
Sheila A. McIlraith
Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach.
226-239
2001
conf/lpnmr/2001
LPNMR
https://doi.org/10.1007/3-540-45402-0_17
db/conf/lpnmr/lpnmr2001.html#SonBM01
Anupriya Ankolekar
Mark H. Burstein
Jerry R. Hobbs
Ora Lassila
David L. Martin 0001
Sheila A. McIlraith
Srini Narayanan
Massimo Paolucci 0001
Terry R. Payne
Katia P. Sycara
Honglei Zeng
DAML-S: Semantic Markup for Web Services.
411-430
2001
conf/semweb/2001swws
SWWS
http://www.semanticweb.org/SWWS/program/full/paper57.pdf
db/conf/semweb/swws2001.html#AnkolenkarBHLMMNPPSZ01
Anupriya Ankolekar
Mark H. Burstein
Jerry R. Hobbs
Ora Lassila
David L. Martin 0001
Sheila A. McIlraith
Srini Narayanan
Massimo Paolucci 0001
Terry R. Payne
Katia P. Sycara
Honglei Zeng
DAML-S: Semantic Markup for Web Services.
2001
conf/semweb/2001swwsbook
The Emerging Semantic Web
db/conf/semweb/swws2001book.html#AnkolenkarBHLMMNPPSZ01a
Sheila A. McIlraith
Tran Cao Son
Honglei Zeng
Mobilizing the Semantic Web with DAML-enabled Web Services.
2001
conf/sww/2001
SemWeb
http://CEUR-WS.org/Vol-40/mcilraith-semweb-2.pdf
db/conf/semweb/semweb2001.html#McIlraithSZ01
Sheila A. McIlraith
Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes).
87-121
2000
116
Artif. Intell.
1-2
db/journals/ai/ai116.html#McIlraith00
https://doi.org/10.1016/S0004-3702(99)00087-9
David J. Musliner
Barney Pell
Wolff Dobson
Kai Goebel
Gautam Biswas
Sheila A. McIlraith
Giuseppina C. Gini
Sven Koenig
Shlomo Zilberstein
Weixiong Zhang
Reports on the AAAI Spring Symposia (March 1999).
79-84
2000
21
AI Mag.
2
db/journals/aim/aim21.html#MuslinerPDGVMGKZZ00
https://doi.org/10.1609/aimag.v21i2.1510
Sheila A. McIlraith
Richard B. Scherl
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems.
483-490
2000
conf/aaai/2000
AAAI/IAAI
db/conf/aaai/aaai2000.html#McIlraithS00
http://www.aaai.org/Library/AAAI/2000/aaai00-074.php
Sheila A. McIlraith
Modeling and Programming Devices and Web Agents.
63-77
2000
conf/faabs/2000
FAABS
https://doi.org/10.1007/3-540-45484-5_5
db/conf/faabs/faabs2000.html#McIlraith00
Sheila A. McIlraith
Gautam Biswas
Dan Clancy
Vineet Gupta 0001
Hybrid Systems Diagnosis.
282-295
https://doi.org/10.1007/3-540-46430-1_25
2000
conf/hybrid/2000
HSCC
db/conf/hybrid/hscc2000.html#McIlraithBCG00
Chitta Baral
Sheila A. McIlraith
Tran Cao Son
Formulating diagnostic problem solving using an action language with narratives and sensing.
311-322
2000
conf/kr/2000
KR
db/conf/kr/kr2000.html#BaralMS00
Eyal Amir
Sheila A. McIlraith
Partition-Based Logical Reasoning.
389-400
2000
conf/kr/2000
KR
db/conf/kr/kr2000.html#AmirM00
Eyal Amir
Sheila A. McIlraith
Improving the Efficiency of Reasoning Through Structure-Based Reformulation.
247-259
2000
conf/sara/2000
SARA
https://doi.org/10.1007/3-540-44914-0_15
db/conf/sara/sara2000.html#AmirM00
Sheila A. McIlraith
Explanatory Diagnosis: Conjecturing Actions to Explain Observations.
167-179
1998
conf/kr/1998
KR
db/conf/kr/kr98.html#McIlraith98
Sheila A. McIlraith
Towards a formal account of diagnostic problem solving.
University of Toronto, Canada
1997
https://librarysearch.library.utoronto.ca/permalink/01UTORONTO_INST/14bjeso/alma991106114492806196
Sheila A. McIlraith
Representing Actions and State Constraints in Model-Based Diagnosis.
43-49
1997
conf/aaai/1997
AAAI/IAAI
db/conf/aaai/aaai97.html#McIlraith97
http://www.aaai.org/Library/AAAI/1997/aaai97-007.php
Sheila A. McIlraith
Further Contributions to Characterizing Diagnosis.
137-167
1994
11
Ann. Math. Artif. Intell.
1-4
db/journals/amai/amai11.html#McIlraith94
https://doi.org/10.1007/BF01530740
Sheila A. McIlraith
Generating Tests Using Abduction.
449-460
1994
conf/kr/1994
KR
db/conf/kr/kr94.html#McIlraith94
Sheila A. McIlraith
Qualitative data modeling: application of a mechanism for interpreting graphical data.
111-120
1989
5
Comput. Intell.
db/journals/ci/ci5.html#McIlraith89
https://doi.org/10.1111/j.1467-8640.1989.tb00320.x
Pieter Abbeel
Sophia Abolore
Ashwin Acharya
Parand Alizadeh Alamdari
Stefano V. Albrecht
Eyal Amir
Frank D. Anger
Anupriya Ankolekar
Jimmy Ba
Franz Baader
Fahiem Bacchus
Jorge A. Baier
Chitta Baral
André Barreto 0001André da Motta Salles Barreto
Atilim Günes Baydin
J. Christopher Beck
Vaishak Belle
Yoshua Bengio
Meghyn Bienvenu
Arnold Binas
Gautam Biswas
M. Brian Blake
Thomas Bolander
Paolo Bouquet
Jan Markus BraunerJan Brauner
Darius Braziunas
Bert Bredeweg
Michael Brenner 0001
Gerhard Brewka
Guy Van den Broeck
Joanna Bryson
David L. Buckeridge
Mark H. Burstein
Christoph Bussler
Alberto Camacho
Margarita P. Castro
Harris Chan
Vinay K. Chaudhri
Oscar Chen
Zizhao Chen
Berthe Y. Choueiry
Phillip J. K. Christoffersen
André Augusto CiréAndré A. Ciré
Daniel J. Clancy 0001Dan Clancy
Jeff Clune
Eldan Cohen
Anthony G. Cohn 0001
Steven Coyne
Elliot Creager
Heriberto Cuayáhuitl
Sammy Davis-Mendelow
James P. Delgrande
Marie desJardins
Nina Dethlefs
Hans van Ditmarsch
Wolff Dobson
Jon Doyle
Anca D. Dragan
Eric Eaton
Thomas Eiter
Markus Endres
Ronald Fadel
Rino Falcone
Amir-massoud Farahmand
Azadeh Farzan
Paolo Felli
Richard Fikes
Mark Fox
Christian Fritz 0001
Lutz Frommberger
Sam Ganzfried
Qiqi Gao
Yolanda Gil
Giuseppina GiniGiuseppina C. Gini
Piotr J. Gmytrasiewicz
Kai Goebel
Carla P. Gomes
Georg Gottlob
Michael Grüninger
Marina Gueroussova
Hans W. Guesgen
Sébastien Guillet
Haipeng Guo
Vineet Gupta 0001
Gillian K. Hadfield
Torsten Hahmann
Karen Zita Haigh
Yuval Noah Harari
Ruthrash Hari
Frank van Harmelen
Fredrik Heintz
Henry Hexmoor
Geoffrey E. Hinton
Jerry R. Hobbs
Diane Horton
Eric Horvitz
Eric I. Hsu
Zhiming Hu
Richard Hull 0001
Lawrence HunterLawrence E. Hunter
Frank Hutter
Rodrigo Toro Icarte
Nancy Ide
Leon IllanesLeón Illanes
Yumi Iwasaki
Hans-Arno Jacobsen
Allan Douglas JepsonAllan D. Jepson
Arnav Jhala
Farah Juma
Ulrich Junker
Daniel Kahneman
Kristian Kersting
Matthew Kitching
Toryn Q. Klassen
Sven Koenig
Daphne Koller
George Dimitri Konidaris
David Krueger
Antonio Krüger
Koichi Kurumantani
Gerhard Lakemeyer
Ora Lassila
Freddy Lécué
Uri Lerner
Hector J. Levesque
Andrew C. Li
Yi Li 0008
Sotirios Liaskos
Shalev Lifshitz
Gérard Ligozat
David Liu 0002
Roy Luo
Bill MacCartney
Tegan Maharaj
Maryam Majedi
Rainer Malaka
Daniel J. Mandell
David L. Martin 0001
Emma McClure
Drew McDermottDrew V. McDermott
Deborah L. McGuinness
Renée J. Miller
Tim Miller 0001
Sören Mindermann
Iqbal Mohomed
Brent Mombourquette
Leora Morgenstern
Brooks Moses
Christian J. MuiseChristian Muise
David J. Musliner
Vinod Muthusamy
Karen L. Myers
John Mylopoulos
Tran Hoai Nam
Srini Narayanan
Sriraam Natarajan
Zeinab Noorian
Ziggy O'Reilly
Maria E. Orlowska
Martijn van Otterlo
Massimo Paolucci 0001
Bijan Parsia
Simon Parsons
Keiran Paster
Terry R. Payne
Adrian R. Pearce
Adam Pease
Barney Pell
Pavlos Peppas
Barbara Pernici
Dimitris Plexousakis
Axel Polleres
David Poole 0001
Nataliya Prokoshyna
Niloofar Razavi
Michael Reimer
Nathan Robinson
Rémi Ronfard
Francesca Rossi 0001
Stuart Russell 0001
Marta Sabou
Alessandro Saffiotti
Scott Sanner
Torsten Schaub
Richard B. Scherl
Maricia Scott
Arash Shaban-Nejad
Shai Shalev-Shwartz
Pouya Shati
Maayan Shvo
Evren Sirin
Jacob Slonim
Bill Smart
Leen-Kiat Soh
Shirin Sohrabi
Monika Solanki
Tran Cao Son
Liz Sonenberg
Dawn Song
Naveen Srinivasan
Biplav Srivastava
Lynn Andrea Stein
Katia P. Sycara
Gerald Tesauro
Michael Thielscher
David Toman 0001
Frank Wm. Tompa
Philip H. S. Torr
Eleni Triantafillou
Mathieu Tuli
Rosario Uceda-Sosa
Tomás E. Uribe
Pashootan Vaezipoor
Richard Anthony ValenzanoRichard Valenzano
Benjamin Wald
Ethan Waldie
Byron C. Wallace
Toby Walsh
Andrew Wang
Nina Wang
Sze-Yuh Nina Wang
Yiqiao Wang 0001
Kilian Q. Weinberger
Michael P. Wellman
Christopher A. Welty
Paul Weng
Jenna Wiens
Michael Wollowski
Jarvis Xu
Lan Xue
Xi Yan 0003
Jian Yang 0001
Andrew Yao
Young Yoon
G. Michael Youngblood
Eric S. K. Yu
Yijun Yu
Honglei Zeng
Jie Zhang
Weixiong Zhang
Ya-Qin Zhang
Shlomo Zilberstein