\n\n \n\n \n\n \n \n\n \n\n \n \n\n \n\n \n

\n generated by\n \n $\"bibbase.org\"\n$ \n \n

\n \n\n

\n\n

\n \n Group by\n \n \n
- \n Year\n
- \n Author\n
- \n Type\n
- \n Keyword\n
- \n Downloads\n
\n
\n \n \n \n \n
- \n \n Expand/Collapse All\n \n
- \n \n Download BibTeX\n \n
- \n \n RSS Feed\n \n
\n

\n\n\n

\n\n Excellent! Next you can\n create a new website with this list, or\n embed it in an existing web page by copying & pasting\n any of the following snippets.\n\n

\n JavaScript\n (easiest)\n

\n            <script src=\"https://bibbase.org/show?bib=https://uqtmiller.github.io/files/pubs.bib&theme=dividers&jsonp=1&jsonp=1\"></script>\n

\n\n PHP\n

\n            <?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=https://uqtmiller.github.io/files/pubs.bib&theme=dividers&jsonp=1\");\n            print_r($contents);\n            ?>\n

\n\n iFrame\n (not recommended)\n

\n            <iframe src=\"https://bibbase.org/show?bib=https://uqtmiller.github.io/files/pubs.bib&theme=dividers&jsonp=1\"></iframe>\n

\n\n

\n For more details see the documention.\n

\n\n

\n\n This is a preview! To use this list on your own web site\n or create a new web site from it,\n create a free account. The file will be added\n and you will be able to edit it in the File Manager.\n We will show you instructions once you've created your account.\n

\n\n

To the site owner:

\n\n

Action required! Mendeley is changing its\n API. In order to keep using Mendeley with BibBase past April\n 14th, you need to:\n

renew the authorization for BibBase on Mendeley, and
update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n

\n\n

\n \n \n Fix it now\n

\n\n

\n\n\n

\n \n \n

\n \n 2023\n \n \n (17)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Increasing the Value of XAI for Users: A Psychological Perspective.\n \n \n \n \n\n\n \n Hoffman, R. R; Miller, T.; Klein, G.; Mueller, S. T; and Clancey, W. J\n\n\n \n\n\n\n KI-Künstliche Intelligenz,1–11. 2023.\n \n\n\n\n
\n\n\n\n \n \n $\"Increasing$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 10 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{hoffman2023increasing,\n  title={Increasing the Value of XAI for Users: A Psychological Perspective},\n  author={Hoffman, Robert R and Miller, Timothy and Klein, Gary and Mueller, Shane T and Clancey, William J},\n  journal={KI-K{\\"u}nstliche Intelligenz},\n  pages={1--11},\n  year={2023},\n  url={https://link.springer.com/article/10.1007/s13218-023-00806-9},\n  doi={https://doi.org/10.1007/s13218-023-00806-9},\n  publisher={Springer}\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Diverse, Top-k, and Top-Quality Planning Over Simulators.\n \n \n \n \n\n\n \n Benke, L.; Miller, T.; Papasimeon, M.; and Lipovetzky, N.\n\n\n \n\n\n\n In Proceedings of 26th European Conference on Artificial Intelligence (ECAI 2023), pages 231-238, 2023. IOS Press Ebooks\n \n\n\n\n
\n\n\n\n \n \n $\"Diverse,$ arxiv\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{benke2023diverse,\n  title={Diverse, Top-k, and Top-Quality Planning Over Simulators},\n  author={Benke, Lyndon and Miller, Tim and Papasimeon, Michael and Lipovetzky, Nir},\n  booktitle={Proceedings of 26th European Conference on Artificial Intelligence (ECAI 2023)},\n  editors={Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein, Roxana Rădulescu},\n  pages={231-238},\n  url_arXiv={https://arxiv.org/abs/2308.13147},\n  doi={http://dx.doi.org/10.3233/FAIA230275},\n  publisher={IOS Press Ebooks},\n  year={2023}\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Directive explanations for actionable explainability in machine learning applications.\n \n \n \n \n\n\n \n Singh, R.; Miller, T.; Lyons, H.; Sonenberg, L.; Velloso, E.; Vetere, F.; Howe, P.; and Dourish, P.\n\n\n \n\n\n\n ACM Transactions on Interactive Intelligent Systems. 2023.\n \n\n\n\n
\n\n\n\n \n \n $\"Directive$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{singh2023directive,\n  title={Directive explanations for actionable explainability in machine learning applications},\n  author={Singh, Ronal and Miller, Tim and Lyons, Henrietta and Sonenberg, Liz and Velloso, Eduardo and Vetere, Frank and Howe, Piers and Dourish, Paul},\n  journal={ACM Transactions on Interactive Intelligent Systems},\n  year={2023},\n  publisher={ACM New York, NY},\n  url={https://dl.acm.org/doi/abs/10.1145/3579363},\n  doi={https://doi.org/10.1145/3579363},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Demystifying Consumer-Facing Fintech: Accountability for Automated Advice Tools.\n \n \n \n \n\n\n \n Paterson, J. M.; Miller, T.; and Lyons, H.\n\n\n \n\n\n\n In Bednarz, Z.; and Zalnieriute, M., editor(s), Money, Power and AI: From Automated Banks to Automated States. Cambridge University Press, 2023.\n \n\n\n\n
\n\n\n\n \n \n $\"Demystifying$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@incollection{paterson2023demystifying,\n  title={Demystifying Consumer-Facing Fintech: Accountability for Automated Advice Tools},\n  author={Paterson, Jeannie Marie and Miller, Tim and Lyons, Henrietta},\n  year={2023},\n  booktitle={Money, Power and AI: From Automated Banks to Automated States},\n  editor={Zofia Bednarz and Monika Zalnieriute},\n  publisher={Cambridge University Press},\n  url={https://papers.ssrn.com/sol3/papers.cfm?abstract_id=4414789},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Unicode Analogies: An Anti-Objectivist Visual Reasoning Challenge.\n \n \n \n \n\n\n \n Spratley, S.; Ehinger, K. A; and Miller, T.\n\n\n \n\n\n\n In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, pages 19082–19091, 2023. \n \n\n\n\n
\n\n\n\n \n \n $\"Unicode$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{spratley2023unicode,\n  title={Unicode Analogies: An Anti-Objectivist Visual Reasoning Challenge},\n  author={Spratley, Steven and Ehinger, Krista A and Miller, Tim},\n  booktitle={Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition},\n  pages={19082--19091},\n  year={2023},\n  url={https://openaccess.thecvf.com/content/CVPR2023/html/Spratley_Unicode_Analogies_An_Anti-Objectivist_Visual_Reasoning_Challenge_CVPR_2023_paper.html},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n The effects of explanations on automation bias.\n \n \n \n \n\n\n \n Vered, M.; Livni, T.; Howe, P. D. L.; Miller, T.; and Sonenberg, L.\n\n\n \n\n\n\n Artificial Intelligence,103952. 2023.\n \n\n\n\n
\n\n\n\n \n \n $\"The$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{vered2023effects,\n  title={The effects of explanations on automation bias},\n  author={Vered, Mor and Livni, Tali and Howe, Piers Douglas Lionel and Miller, Tim and Sonenberg, Liz},\n  journal={Artificial Intelligence},\n  pages={103952},\n  year={2023},\n  publisher={Elsevier},\n  url={https://www.sciencedirect.com/science/article/pii/S000437022300098X},\n  doi={https://doi.org/10.1016/j.artint.2023.103952},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Algorithmic Decisions, Desire for Control, and the Preference for Human Review over Algorithmic Review.\n \n \n \n \n\n\n \n Lyons, H.; Miller, T.; and Velloso, E.\n\n\n \n\n\n\n In Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency (FAccT), pages 764–774, 2023. \n \n\n\n\n
\n\n\n\n \n \n $\"Algorithmic$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{lyons2023algorithmic,\n  title={Algorithmic Decisions, Desire for Control, and the Preference for Human Review over Algorithmic Review},\n  author={Lyons, Henrietta and Miller, Tim and Velloso, Eduardo},\n  booktitle={Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency (FAccT)},\n  pages={764--774},\n  year={2023},\n  url={https://dl.acm.org/doi/abs/10.1145/3593013.3594041},\n  doi={https://doi.org/10.1145/3593013.3594041},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Explainable AI is Dead, Long Live Explainable AI! Hypothesis-driven Decision Support using Evaluative AI.\n \n \n \n \n\n\n \n Miller, T.\n\n\n \n\n\n\n In Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency (FAccT), pages 333–342, 2023. \n \n\n\n\n
\n\n\n\n \n \n $\"Explainable$ Paper\n \n \n \n $\"Explainable$ arxiv\n \n \n \n $\"Explainable$ video\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 25 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2023explainable,\n  title={Explainable AI is Dead, Long Live Explainable AI! Hypothesis-driven Decision Support using Evaluative AI},\n  author={Miller, Tim},\n  booktitle={Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency (FAccT)},\n  pages={333--342},\n  year={2023},\n  url={https://dl.acm.org/doi/abs/10.1145/3593013.3594001},\n  doi={https://doi.org/10.1145/3593013.3594001},\n  url_arXiv={https://arxiv.org/abs/2302.12389},\n  url_video={https://www.youtube.com/watch?v=2OO2wkzig-E},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Theory of mind for selective communication and enhanced situational awareness.\n \n \n \n \n\n\n \n Desai, P.; Singh, R.; and Miller, T.\n\n\n \n\n\n\n In AIAC 2023: 20th Australian International Aerospace Congress: 20th Australian International Aerospace Congress, pages 413–418, 2023. Engineers Australia Melbourne\n \n\n\n\n
\n\n\n\n \n \n $\"Theory$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{desai2023theory,\n  title={Theory of mind for selective communication and enhanced situational awareness},\n  author={Desai, Prajakta and Singh, Ronal and Miller, Tim},\n  booktitle={AIAC 2023: 20th Australian International Aerospace Congress: 20th Australian International Aerospace Congress},\n  pages={413--418},\n  year={2023},\n  organization={Engineers Australia Melbourne},\n  url={https://search.informit.org/doi/abs/10.3316/informit.066079795299019},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Fast Concept-based Counterfactual Explanations for Images.\n \n \n \n \n\n\n \n Zhang, R.; Miller, T.; Ehinger, K.; and Rubinstein, B.\n\n\n \n\n\n\n In Proceedings of the Workshop on Explainable AI @ IJCAI 2023, 2023. \n \n\n\n\n
\n\n\n\n \n \n $\"Fast$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 6 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{zhange2023counterfactual,\n  title={Fast Concept-based Counterfactual Explanations for Images},\n  author={Ruihan Zhang and Tim Miller and Krista Ehinger and Benjamin Rubinstein},\n  booktitle={Proceedings of the Workshop on Explainable AI @ IJCAI 2023},\n  year={2023},\n  url={https://drive.google.com/file/d/1YCm5xVpvbMzfOoiiEWpTffuhkhKZsI7O/view?usp=sharing},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Comparison of Supervised and Unsupervised Concepts in Concept-based Interpretable Models.\n \n \n \n \n\n\n \n Zhang, R.; Miller, T.; Ehinger, K.; and Rubinstein, B.\n\n\n \n\n\n\n In Proceedings of the Workshop on Explainable AI @ IJCAI 2023, 2023. \n \n\n\n\n
\n\n\n\n \n \n $\"Comparison$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{zhange2023comparison,\n  title={Comparison of Supervised and Unsupervised Concepts in Concept-based Interpretable Models},\n  author={Ruihan Zhang and Tim Miller and Krista Ehinger and Benjamin Rubinstein},\n  booktitle={Proceedings of the Workshop on Explainable AI @ IJCAI 2023},\n  year={2023},\n  url={https://drive.google.com/file/d/13MPWLMARWIKMJqeL2mazfQvOK6-QcmEG/view?usp=sharing},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Model tree methods for explaining deep reinforcement learning agents in real-time robotic applications.\n \n \n \n \n\n\n \n Gjærum, V. B; Strümke, I.; Løver, J.; Miller, T.; and Lekkas, A. M\n\n\n \n\n\n\n Neurocomputing, 515: 133-144. 2023.\n \n\n\n\n
\n\n\n\n \n \n $\"Model$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{gjaerum2023model,\n  title={Model tree methods for explaining deep reinforcement learning agents in real-time robotic applications},\n  author={Gj{\\ae}rum, Vilde B and Str{\\"u}mke, Inga and L{\\o}ver, Jakob and Miller, Timothy and Lekkas, Anastasios M},\n  journal={Neurocomputing},\n  volume={515},\n  pages={133-144},\n  year={2023},\n  publisher={Elsevier},\n  url={https://www.sciencedirect.com/science/article/pii/S0925231222012735},\n  doi={https://doi.org/10.1016/j.neucom.2022.10.014},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n Real-Time Counterfactual Explanations For Robotic Systems With Multiple Continuous Outputs.\n \n \n \n\n\n \n Gjærum, V. B; Strümke, I.; Lekkas, A. M; and Miller, T.\n\n\n \n\n\n\n In International Federation of Automatic Control World Congress, 2023. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{gjaerum2023real,\n  title={Real-Time Counterfactual Explanations For Robotic Systems With Multiple Continuous Outputs},\n  author={Gj{\\ae}rum, Vilde B and Str{\\"u}mke, Inga and Lekkas, Anastasios M and Miller, Tim},\n  booktitle={International Federation of Automatic Control World Congress},\n  year={2023}\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Explaining Model Confidence Using Counterfactuals.\n \n \n \n \n\n\n \n Le, T.; Miller, T.; Singh, R.; and Sonenberg, L.\n\n\n \n\n\n\n In Proceedings of the AAAI Conference on Artificial Intelligence, volume 37, 2023. \n \n\n\n\n
\n\n\n\n \n \n $\"Explaining$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{le2023explaining,\n  title={Explaining Model Confidence Using Counterfactuals},\n  author={Le, Thao and Miller, Tim and Singh, Ronal and Sonenberg, Liz},\n  booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},\n  volume={37},\n  number={10},\n  doi={https://doi.org/10.1609/aaai.v37i10.26399},\n  url={https://ojs.aaai.org/index.php/AAAI/article/view/26399},\n  year={2023}\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Explainable Goal Recognition: A Framework Based on Weight of Evidence.\n \n \n \n \n\n\n \n Alshehri, A.; Miller, T.; and Vered, M.\n\n\n \n\n\n\n In Proceedings of the International Conference on Automated Planning and Scheduling, volume 33, pages 7-16, 2023. \n \n\n\n\n
\n\n\n\n \n \n $\"Explainable$ Paper\n \n \n \n $\"Explainable$ arxiv\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{alshehri2023explainable,\n  title={Explainable Goal Recognition: A Framework Based on Weight of Evidence},\n  author={Alshehri, Abeer and Miller, Tim and Vered, Mor},\n  booktitle={Proceedings of the International Conference on Automated Planning and Scheduling},  \n  volume={33},\n  number={1},\n  pages={7-16},\n  year={2023},\n  url={https://ojs.aaai.org/index.php/ICAPS/article/view/27173},\n  doi={10.1609/icaps.v33i1.27173},\n  url_arXiv={https://arxiv.org/abs/2303.05622}\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Deceptive Reinforcement Learning in Model-Free Domains.\n \n \n \n \n\n\n \n Lewis, A.; and Miller, T.\n\n\n \n\n\n\n In Proceedings of the International Conference on Automated Planning and Scheduling, volume 33, pages 587-595, 2023. \n \n\n\n\n
\n\n\n\n \n \n $\"Deceptive$ Paper\n \n \n \n $\"Deceptive$ arxiv\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{lewis2023deceptive,\n  title={Deceptive Reinforcement Learning in Model-Free Domains},\n  author={Lewis, Alan and Miller, Tim},\n  booktitle={Proceedings of the International Conference on Automated Planning and Scheduling},\n  volume={33},\n  number={1},\n  url={https://ojs.aaai.org/index.php/ICAPS/article/view/27240},\n  doi={10.1609/icaps.v33i1.27240},\n  pages={587-595},\n  year={2023},\n  url_arXiv={https://arxiv.org/abs/2303.10838},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Planning with Multi-agent Belief Using Justified Perspectives.\n \n \n \n \n\n\n \n Hu, G.; Miller, T.; and Lipovetzky, N.\n\n\n \n\n\n\n In Proceedings of the International Conference on Automated Planning and Scheduling, volume 33, pages 180-188, 2023. \n \n\n\n\n
\n\n\n\n \n \n $\"Planning$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{hu2023planning,\n  title={Planning with Multi-agent Belief Using Justified Perspectives},\n  author={Hu, Guang and Miller, Tim and Lipovetzky, Nir},\n  volume={33},\n  number={1},\n  booktitle={Proceedings of the International Conference on Automated Planning and Scheduling},\n  url={https://ojs.aaai.org/index.php/ICAPS/article/view/27193}, \n  doi={10.1609/icaps.v33i1.27193}, \n  pages={180-188},\n  year={2023},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2022\n \n \n (9)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Psychology and AI at a Crossroads: How Might Complex Systems Explain Themselves?.\n \n \n \n \n\n\n \n Hoffman, R. R; Miller, T.; and Clancey, W. J\n\n\n \n\n\n\n The American journal of psychology, 135(4): 365–378. 2022.\n \n\n\n\n
\n\n\n\n \n \n $\"Psychology$ Paper\n \n \n \n $\"Psychology$ preprint\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{hoffman2022psychology,\n  title={Psychology and {AI} at a Crossroads: How Might Complex Systems Explain Themselves?},\n  author={Hoffman, Robert R and Miller, Timothy and Clancey, William J},\n  journal={The American journal of psychology},\n  volume={135},\n  number={4},\n  pages={365--378},\n  year={2022},\n  publisher={University of Illinois Press},\n  url={https://scholarlypublishingcollective.org/uip/ajp/article-abstract/135/4/365/343047/Psychology-and-AI-at-a-Crossroads-How-Might},\n  url_preprint={https://www.ihmc.us/wp-content/uploads/2023/10/PsychAI-@-Crossroads_American-J-of-Psychology-2022.pdf},\n  doi={https://doi.org/10.5406/19398298.135.4.01},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Special issue on explainable artificial intelligence (XAI).\n \n \n \n \n\n\n \n Miller, T.; Hoffman, R.; Amir, O.; and Holzinger, A.\n\n\n \n\n\n\n 2022.\n \n\n\n\n
\n\n\n\n \n \n $\"Special$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@misc{miller2022special,\n  title={Special issue on explainable artificial intelligence (XAI)},\n  author={Miller, Tim and Hoffman, Robert and Amir, Ofra and Holzinger, Andreas},\n  journal={Artificial Intelligence},\n  volume={307},\n  pages={103705},\n  year={2022},\n  publisher={Elsevier},\n  url={https://www.sciencedirect.com/science/article/pii/S0004370222000455},\n  doi={https://doi.org/10.1016/j.artint.2022.103705},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n The Effect of Diversity in Counterfactual Machine Learning Explanations.\n \n \n \n \n\n\n \n Tompkins, R.; Singh, R.; and Miller, T.\n\n\n \n\n\n\n In Proceedings of the Workshop on Explainable AI @ IJCAI 2022, 2022. \n \n\n\n\n
\n\n\n\n \n \n $\"The$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{tompkins2023diversity,\n  title={The Effect of Diversity in Counterfactual Machine Learning Explanations},\n  author={Rick Tompkins and Ronal Singh and Tim Miller},\n  booktitle={Proceedings of the Workshop on Explainable AI @ IJCAI 2022},\n  year={2022},\n  url={https://uqtmiller.github.io/files/Counterfactual_Diversity.pdf},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Collaborative Human-Agent Planning for Resilience.\n \n \n \n \n\n\n \n Singh, R.; Miller, T.; and Reid, D.\n\n\n \n\n\n\n In International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIV: COINE 2021, pages 28-43, 2022. Springer International Publishing Cham\n \n\n\n\n
\n\n\n\n \n \n $\"Collaborative$ Paper\n \n \n \n $\"Collaborative$ arxiv\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{singh2022collaborative,\n  title={Collaborative Human-Agent Planning for Resilience},\n  author={Singh, Ronal and Miller, Tim and Reid, Darryn},\n  booktitle={International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIV: COINE 2021},\n  pages={28-43},\n  year={2022},\n  organization={Springer International Publishing Cham},\n  url={https://link.springer.com/chapter/10.1007/978-3-031-16617-4_3},\n  doi={https://doi.org/10.1007/978-3-031-16617-4_3},\n  url_arXiv={https://arxiv.org/abs/2104.14089},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n Efficient multi-agent epistemic planning: Teaching planners about nested belief.\n \n \n \n\n\n \n \n\n\n \n\n\n\n Artificial Intelligence, 302: 103605. 2022.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n What's the appeal? Perceptions of review processes for algorithmic decisions.\n \n \n \n \n\n\n \n Lyons, H.; Wijenayake, S.; Miller, T.; and Velloso, E.\n\n\n \n\n\n\n In Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems, pages 1-15, 2022. \n \n\n\n\n
\n\n\n\n \n \n $\"What's$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{lyons2022s,\n  title={What's the appeal? Perceptions of review processes for algorithmic decisions},\n  author={Lyons, Henrietta and Wijenayake, Senuri and Miller, Tim and Velloso, Eduardo},\n  booktitle={Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems},\n  pages={1-15},\n  year={2022},\n  url={https://dl.acm.org/doi/abs/10.1145/3491102.3517606},\n  doi={https://doi.org/10.1145/3491102.3517606},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Are we measuring trust correctly in explainability, interpretability, and transparency research?.\n \n \n \n \n\n\n \n Miller, T.\n\n\n \n\n\n\n In CHI TRAIT Workshop, 2022. \n \n\n\n\n
\n\n\n\n \n \n $\"Are$ Paper\n \n \n \n $\"Are$ video\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2022we,\n  title={Are we measuring trust correctly in explainability, interpretability, and transparency research?},\n  author={Miller, Tim},\n  booktitle={CHI TRAIT Workshop},\n  year={2022},\n  url={https://arxiv.org/abs/2209.00651},\n  url_video={https://youtu.be/mH8gIjmL-eI},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Planning with Perspectives: Decomposing Epistemic Planning using Functional STRIPS.\n \n \n \n \n\n\n \n Hu, G.; Miller, T.; and Lipovetzky, N.\n\n\n \n\n\n\n Journal of Artificial Intelligence Research, 75: 489-539. 2022.\n \n\n\n\n
\n\n\n\n \n \n $\"Planning$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{hu2022planning,\n  title={Planning with Perspectives: Decomposing Epistemic Planning using Functional STRIPS},\n  author={Hu, Guang and Miller, Tim and Lipovetzky, Nir},\n  journal={Journal of Artificial Intelligence Research},\n  volume={75},\n  pages={489-539},\n  year={2022},\n  url={https://www.jair.org/index.php/jair/article/view/13446},\n  doi={https://doi.org/10.1613/jair.1.13446},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n Technology for societal change: Evaluating a mobile app addressing the emotional needs of people experiencing homelessness.\n \n \n \n\n\n \n Burrows, R.; Mendoza, A.; Pedell, S.; Sterling, L.; Miller, T.; and Lopez-Lorca, A.\n\n\n \n\n\n\n Health Informatics Journal, 28(4): 14604582221146720. 2022.\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{burrows2022technology,\n  title={Technology for societal change: Evaluating a mobile app addressing the emotional needs of people experiencing homelessness},\n  author={Burrows, Rachel and Mendoza, Antonette and Pedell, Sonja and Sterling, Leon and Miller, Tim and Lopez-Lorca, Alexi},\n  journal={Health Informatics Journal},\n  volume={28},\n  number={4},\n  pages={14604582221146720},\n  year={2022},\n  publisher={SAGE Publications Sage UK: London, England},\n  doi={https://doi.org/10.1177/1460458222114},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2021\n \n \n (9)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Contrastive explanation: A structural-model approach.\n \n \n \n \n\n\n \n Miller, T.\n\n\n \n\n\n\n The Knowledge Engineering Review, 36: e14. 2021.\n \n\n\n\n
\n\n\n\n \n \n $\"Contrastive$ Paper\n \n \n \n $\"Contrastive$ arxiv\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{miller2021contrastive,\n  title={Contrastive explanation: A structural-model approach},\n  author={Miller, Tim},\n  journal={The Knowledge Engineering Review},\n  volume={36},\n  pages={e14},\n  year={2021},\n  publisher={Cambridge University Press},\n  doi={https://doi.org/10.1017/S0269888921000102},\n  url={https://www.cambridge.org/core/journals/knowledge-engineering-review/article/abs/contrastive-explanation-a-structuralmodel-approach/69A2E32B160C2C7FB65BC88670D7AEA7},\n  url_arXiv={https://arxiv.org/abs/1811.03163},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Emotionalism Within People-Oriented Software Design.\n \n \n \n \n\n\n \n Sherkat, M.; Miller, T.; Mendoza, A.; and Burrows, R.\n\n\n \n\n\n\n Frontiers in Computer Science, 3: 717787. 2021.\n \n\n\n\n
\n\n\n\n \n \n $\"Emotionalism$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{sherkat2021emotionalism,\n  title={Emotionalism Within People-Oriented Software Design},\n  author={Sherkat, Mohammadhossein and Miller, Tim and Mendoza, Antonette and Burrows, Rachel},\n  journal={Frontiers in Computer Science},\n  volume={3},\n  pages={717787},\n  year={2021},\n  publisher={Frontiers Media SA},\n  url={https://www.frontiersin.org/articles/10.3389/fcomp.2021.717787/full},\n  doi={https://doi.org/10.3389/fcomp.2021.717787},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Good proctor or ``big brother''? Ethics of online exam supervision technologies.\n \n \n \n \n\n\n \n Coghlan, S.; Miller, T.; and Paterson, J.\n\n\n \n\n\n\n Philosophy & Technology, 34(4): 1581-1606. 2021.\n \n\n\n\n
\n\n\n\n \n \n $\"Good$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{coghlan2021good,\n  title={Good proctor or ``big brother''? Ethics of online exam supervision technologies},\n  author={Coghlan, Simon and Miller, Tim and Paterson, Jeannie},\n  journal={Philosophy \\& Technology},\n  volume={34},\n  number={4},\n  pages={1581-1606},\n  year={2021},\n  publisher={Springer Netherlands},\n  url={https://link.springer.com/article/10.1007/s13347-021-00476-1},\n  doi={https://doi.org/10.1007/s13347-021-00476-1},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Observing Multiplayer Boardgame Play at a Distance.\n \n \n \n \n\n\n \n Rogerson, M. J; Newn, J.; Singh, R.; Baillie, E.; Papasimeon, M.; Benke, L.; and Miller, T.\n\n\n \n\n\n\n In Extended Abstracts of the 2021 Annual Symposium on Computer-Human Interaction in Play, pages 262-267, 2021. \n \n\n\n\n
\n\n\n\n \n \n $\"Observing$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{rogerson2021observing,\n  title={Observing Multiplayer Boardgame Play at a Distance},\n  author={Rogerson, Melissa J and Newn, Joshua and Singh, Ronal and Baillie, Emma and Papasimeon, Michael and Benke, Lyndon and Miller, Tim},\n  booktitle={Extended Abstracts of the 2021 Annual Symposium on Computer-Human Interaction in Play},\n  pages={262-267},\n  year={2021},\n  url={https://dl.acm.org/doi/abs/10.1145/3450337.3483485},\n  doi={https://doi.org/10.1145/3450337.3483485},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Formalizing trust in artificial intelligence: Prerequisites, causes and goals of human trust in AI.\n \n \n \n \n\n\n \n Jacovi, A.; Marasović, A.; Miller, T.; and Goldberg, Y.\n\n\n \n\n\n\n In Proceedings of the 2021 ACM conference on fairness, accountability, and transparency, pages 624–635, 2021. \n \n\n\n\n
\n\n\n\n \n \n $\"Formalizing$ Paper\n \n \n \n $\"Formalizing$ arxiv\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{jacovi2021formalizing,\n  title={Formalizing trust in artificial intelligence: Prerequisites, causes and goals of human trust in {AI}},\n  author={Jacovi, Alon and Marasovi{\\'c}, Ana and Miller, Tim and Goldberg, Yoav},\n  booktitle={Proceedings of the 2021 ACM conference on fairness, accountability, and transparency},\n  pages={624--635},\n  url={https://dl.acm.org/doi/abs/10.1145/3442188.3445923},\n  url_arXiv={https://arxiv.org/abs/2010.07487},\n  doi={https://doi.org/10.1145/3442188.3445923},\n  year={2021},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Modeling communication of collaborative multiagent system under epistemic planning.\n \n \n \n \n\n\n \n Alshehri, A.; Miller, T.; and Sonenberg, L.\n\n\n \n\n\n\n International Journal of Intelligent Systems, ( ): . 2021.\n \n\n\n\n
\n\n\n\n \n \n $\"Modeling$ Paper\n \n \n \n $\"Modeling$ arxiv\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{alshehri2021modeling,\nauthor = {Alshehri, Abeer and Miller, Tim and Sonenberg, Liz},\ntitle = {Modeling communication of collaborative multiagent system under epistemic planning},\njournal = {International Journal of Intelligent Systems},\nvolume = {~},\nnumber = {~},\npages = {~},\ndoi = {https://doi.org/10.1002/int.22536},\nurl = {https://onlinelibrary.wiley.com/doi/abs/10.1002/int.22536},\nurl_arXiv = {https://arxiv.org/abs/1910.02607},\nyear={2021},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Invertible Concept-based Explanations for CNN Models with Non-negative Concept Activation Vectors.\n \n \n \n \n\n\n \n Zhang, R.; Madumal, P.; Miller, T.; Ehinger, K. A.; and Rubinstein, B. I. P.\n\n\n \n\n\n\n In Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), 2021. \n \n\n\n\n
\n\n\n\n \n \n $\"Invertible$ Paper\n \n \n \n $\"Invertible$ arxiv\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 17 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{zhang2021improving,\n title={Invertible Concept-based Explanations for {CNN} Models with Non-negative Concept Activation Vectors}, \n author={Ruihan Zhang and Prashan Madumal and Tim Miller and Krista A. Ehinger and Benjamin I. P. Rubinstein},\n booktitle={Proceedings of the Thirty-Fifth {AAAI} Conference on Artificial Intelligence (AAAI 2021)},\n year={2021},\n url={https://ojs.aaai.org/index.php/AAAI/article/view/17389},\n url_arXiv={https://arxiv.org/abs/2006.15417},\n core={A*},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Deceptive Reinforcement Learning for Privacy-Preserving Planning.\n \n \n \n \n\n\n \n Liu, Z.; Yang, Y.; Miller, T.; and Masters, P.\n\n\n \n\n\n\n In Proceedings of the Autonomous Agents and Multi-agent Systems (AAMAS 2021), 2021. \n \n\n\n\n
\n\n\n\n \n \n $\"Deceptive$ Paper\n \n \n \n $\"Deceptive$ arxiv\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 6 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{liu2021deceptive,\n title={Deceptive Reinforcement Learning for Privacy-Preserving Planning}, \n author={Zhengshang Liu and Yue Yang and Tim Miller and Peta Masters},\n booktitle={Proceedings of the Autonomous Agents and Multi-agent Systems (AAMAS 2021)},\n year={2021},\n core={A*},\n url={http://www.ifaamas.org/Proceedings/aamas2021/pdfs/p818.pdf},\n url_arXiv={https://arxiv.org/abs/2102.03022},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Conceptualising Contestability: Perspectives on Contesting Algorithmic Decisions.\n \n \n \n \n\n\n \n Lyons, H.; Velloso, E.; and Miller, T.\n\n\n \n\n\n\n In Proceedings of the Computer-Supported Cooperative Work (CSCW 2021), 2021. \n \n\n\n\n
\n\n\n\n \n \n $\"Conceptualising$ Paper\n \n \n \n $\"Conceptualising$ arxiv\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{lyons2021conceptualising,\n title={Conceptualising Contestability: Perspectives on Contesting Algorithmic Decisions}, \n author={Henrietta Lyons and Eduardo Velloso and Tim Miller},\n booktitle={Proceedings of the Computer-Supported Cooperative Work (CSCW 2021)},\n year={2021},\n core={A},\n url={https://dl.acm.org/doi/abs/10.1145/3449180},\n url_arXiv={https://arxiv.org/abs/2103.01774},\n doi={https://doi.org/10.1145/3449180},\n}\n\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2020\n \n \n (6)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n A Closer Look at Generalisation in RAVEN.\n \n \n \n \n\n\n \n Spratley, S.; Ehinger, K.; and Miller, T.\n\n\n \n\n\n\n In 16th European Conference on Computer Vision, pages 1-16, 2020. \n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n \n $\"A$ pdf\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 7 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{spratley2020raven,\n  title={A Closer Look at Generalisation in {RAVEN}},\n  author={Steven Spratley and Krista Ehinger and Tim Miller},\n  booktitle={16th European Conference on Computer Vision},\n  pages={1-16},\n  year={2020},\n  url={https://link.springer.com/chapter/10.1007/978-3-030-58583-9_36},\n  url_pdf={http://www.ecva.net/papers/eccv_2020/papers_ECCV/papers/123720596.pdf},\n  doi={https://doi.org/10.1007/978-3-030-58583-9_36},\n  core={A},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Demand-Driven Transparency For Monitoring Intelligent Agents.\n \n \n \n \n\n\n \n Vered, M.; Howe, P.; Miller, T.; Sonenberg, L.; and Vellosa, E.\n\n\n \n\n\n\n IEEE Transactions on Human-Machine Systems, 50(3): 264-275. 2020.\n \n\n\n\n
\n\n\n\n \n \n $\"Demand-Driven$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{vered2020demand,\n  title={Demand-Driven Transparency For Monitoring Intelligent Agents}, \n  author={Mor Vered and Piers Howe and Tim Miller and Liz Sonenberg and Eduardo Vellosa},\n  journal={IEEE Transactions on Human-Machine Systems},\n  volume={50},\n  number={3},\n  pages={264-275},\n  year={2020},\n  url={https://ieeexplore.ieee.org/document/9097427},\n  doi={10.1109/THMS.2020.2988859},\n  core={B},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Explainable Artificial Intelligence Models Using Real-World Electronic Health Records Data: a Systematic Scoping Review.\n \n \n \n \n\n\n \n Payrovnaziri, S. N.; Chen, Z.; Rengifo-Moreno, P.; Miller, T.; Bian, J.; Chen, J. H.; Liu, X.; ; and He, Z.\n\n\n \n\n\n\n Journal of the American Medical Informatics Association. 2020.\n \n\n\n\n
\n\n\n\n \n \n $\"Explainable$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 21 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{he2020explainable,\n  title={Explainable Artificial Intelligence Models Using Real-World Electronic Health Records Data: a Systematic Scoping Review},\n  author={Seyedeh Neelufar Payrovnaziri and Zhaoyi Chen and Pablo Rengifo-Moreno and Tim Miller and Jiang Bian and Jonathan H. Chen and Xiuwen Liu and and Zhe He},\n  journal={Journal of the American Medical Informatics Association},\n  url={https://academic.oup.com/jamia/article-abstract/27/7/1173/5838471},\n  doi={https://doi.org/10.1093/jamia/ocaa053},\n  core={NA},\n  year={2020},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Combining gaze and AI planning for online human intention recognition.\n \n \n \n \n\n\n \n Singh, R.; Miller, T.; Newn, J.; Velloso, E.; Vetere, F.; and Sonenberg, L.\n\n\n \n\n\n\n Artificial Intelligence,103275. 2020.\n \n\n\n\n
\n\n\n\n \n \n $\"Combining$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{singh2020combining,\n  title={Combining gaze and AI planning for online human intention recognition},\n  author={Singh, Ronal and Miller, Tim and Newn, Joshua and Velloso, Eduardo and Vetere, Frank and Sonenberg, Liz},\n  journal={Artificial Intelligence},\n  pages={103275},\n  year={2020},\n  publisher={Elsevier},\n  url={https://www.sciencedirect.com/science/article/pii/S0004370218307628},\n  doi={https://doi.org/10.1016/j.artint.2020.103275},\n  core={A*},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Implicit Coordination Using FOND Planning.\n \n \n \n \n\n\n \n Engesser, T.; and Miller, T.\n\n\n \n\n\n\n In Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020. \n \n\n\n\n
\n\n\n\n \n \n $\"Implicit$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{engesser2020implicit,\n title={Implicit Coordination Using {FOND} Planning},\n  author={Thorsten Engesser and Tim Miller},\n  booktitle={Proceedings of the Thirty-Fourth {AAAI} Conference on Artificial Intelligence},\n  year={2020},\n  url={https://ojs.aaai.org/index.php/AAAI/article/view/6204},\n  core={A*},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Explainable Reinforcement Learning Through a Causal Lens.\n \n \n \n \n\n\n \n Madumal, P.; Miller, T.; Sonenberg, L.; and Vetere, F.\n\n\n \n\n\n\n In Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020. \n \n\n\n\n
\n\n\n\n \n \n $\"Explainable$ Paper\n \n \n \n $\"Explainable$ arxiv\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 31 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{madumal2020explainable,\n title={Explainable Reinforcement Learning Through a Causal Lens},\n  author={Madumal, Prashan and Miller, Tim and Sonenberg, Liz and Vetere, Frank},\n  booktitle={Proceedings of the Thirty-Fourth {AAAI} Conference on Artificial Intelligence},\n  year={2020},\n  url={https://ojs.aaai.org/index.php/AAAI/article/view/5631},\n  doi={https://doi.org/10.1609/aaai.v34i03.5631},\n  url_arXiv={https://arxiv.org/abs/1905.10958},\n  core={A*},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2019\n \n \n (5)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Evaluating Ask Izzy: A Mobile Web App for People Experiencing Homelessness.\n \n \n \n \n\n\n \n Burrows, R.; Mendoza, A.; Sterling, L.; Miller, T.; and Pedell, S.\n\n\n \n\n\n\n In Proceedings of 17th European Conference on Computer-Supported Cooperative Work (ECSCW), 2019. \n \n\n\n\n
\n\n\n\n \n \n $\"Evaluating$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{burrows2019evaluating,   \n title={Evaluating {Ask Izzy}: A Mobile Web App for People Experiencing Homelessness},   \n author={Burrows, Rachel and Mendoza, Antonette and Sterling, Leon and  Miller, Tim and Pedell, Sonja},   \n booktitle={Proceedings of 17th European Conference on Computer-Supported Cooperative Work (ECSCW)}, \n year={2019},   \n url={https://www.rachelburrows.net/wp-content/uploads/2017/11/ECSCW2019_paper_25.pdf},\n  core={B},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n Motivational Modelling in Software for Homelessness: Lessons from an Industrial Study.\n \n \n \n\n\n \n Burrows, R.; Lopez-Lorca, A.; Sterling, L.; Miller, T.; Mendoza, A.; and Pedell, S.\n\n\n \n\n\n\n In 2019 IEEE 27th International Requirements Engineering Conference (RE), pages 297-307, 2019. IEEE\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{burrows2019motivational,\n  title={Motivational Modelling in Software for Homelessness: Lessons from an Industrial Study},\n  author={Burrows, Rachel and Lopez-Lorca, Antonio and Sterling, Leon and Miller, Tim and Mendoza, Antonette and Pedell, Sonja},\n  booktitle={2019 IEEE 27th International Requirements Engineering Conference (RE)},\n  pages={297-307},\n  year={2019},\n  organization={IEEE},\n  doi={10.1109/RE.2019.00039},\n  core={A},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n XAI: Explainable artificial intelligence.\n \n \n \n \n\n\n \n Gunning, D.; Stefik, M.; Choi, J.; Miller, T.; Stumpf, S.; and Yang, G.\n\n\n \n\n\n\n Science Robotics, 4(37). 2019.\n \n\n\n\n
\n\n\n\n \n \n $\"XAI:$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 51 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article {gunning2019xai,\nauthor = {Gunning, David and Stefik, Mark and Choi, Jaesik and Miller, Timothy and Stumpf, Simone and Yang, Guang-Zhong},\ntitle = {{XAI}: Explainable artificial intelligence},\nvolume = {4},\nnumber = {37},\nyear = {2019},\ndoi = {10.1126/scirobotics.aay7120},\nURL = {https://robotics.sciencemag.org/content/4/37/eaay7120},\neprint = {https://robotics.sciencemag.org/content/4/37/eaay7120.full.pdf},\njournal = {Science Robotics}\n}\n\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n A Grounded Interaction Protocol for Explainable Artificial Intelligence.\n \n \n \n \n\n\n \n Madumal, P.; Miller, T.; Sonenberg, L.; and Vetere, F.\n\n\n \n\n\n\n In AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019. \n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n \n $\"A$ arxiv\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 9 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{madumal2019grounded,\n  title={A Grounded Interaction Protocol for Explainable Artificial Intelligence},\n  author={Madumal, Prashan and Miller, Tim and Sonenberg, Liz and Vetere, Frank},\n  booktitle={AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems},\n  year={2019},\n  url={https://dl.acm.org/doi/abs/10.5555/3306127.3331801},\n  url_arXiv={https://arxiv.org/pdf/1903.02409},\n  core={A*},\n}\n\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Explanation in Artificial Intelligence: Insights from the Social Sciences.\n \n \n \n \n\n\n \n Miller, T.\n\n\n \n\n\n\n Artificial Intelligence, 267: 1-38. February 2019.\n \n\n\n\n
\n\n\n\n \n \n $\"Explanation$ Paper\n \n \n \n $\"Explanation$ arxiv\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 76 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{miller2018insights,\n  title={Explanation in Artificial Intelligence: Insights from the Social Sciences},\n  author={Tim Miller},\n  journal={Artificial Intelligence},\n  volume={267}, month={February}, pages={1-38}, year={2019},  \n  url={https://www.sciencedirect.com/science/article/pii/S0004370218305988},\n  url_arXiv={https://arxiv.org/abs/1706.07269},\n  doi={https://doi.org/10.1016/j.artint.2018.07.007},\n  core={A*},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2018\n \n \n (7)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Inventory routing for defense: Moving supplies in adversarial and partially observable environments.\n \n \n \n \n\n\n \n Blom, M.; Shekh, S.; Gossink, D.; Miller, T.; and Pearce, A. R\n\n\n \n\n\n\n The Journal of Defense Modeling and Simulation. 2018.\n \n\n\n\n
\n\n\n\n \n \n $\"Inventory$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{blom2018inventory,\n  title={Inventory routing for defense: Moving supplies in adversarial and partially observable environments},\n  author={Blom, Michelle and Shekh, Slava and Gossink, Don and Miller, Tim and Pearce, Adrian R},\n  journal={The Journal of Defense Modeling and Simulation},\n  year={2018},\n  url={https://doi.org/10.1177%2F1548512918798056},\n  publisher={SAGE Publications Sage UK: London, England}\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Explaining Explanation, Part 4: A Deep Dive on Deep Nets.\n \n \n \n \n\n\n \n Hoffman, R.; Miller, T.; Mueller, S. T; Klein, G.; and Clancey, W. J\n\n\n \n\n\n\n IEEE Intelligent Systems, 33(3): 87-95. 2018.\n \n\n\n\n
\n\n\n\n \n \n $\"Explaining$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 6 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{hoffman2018explaining,\n\ttitle={Explaining Explanation, Part 4: A Deep Dive on Deep Nets},\n\tauthor={Hoffman, Robert and Miller, Tim and Mueller, Shane T and Klein, Gary and Clancey, William J},\n\tjournal={IEEE Intelligent Systems},\n\tvolume={33},\n\tnumber={3},\n\tpages={87-95},\n\tyear={2018},\n\tpublisher={IEEE},\n\turl={https://ieeexplore.ieee.org/abstract/document/8423529/},\n        core={A},\n}\n\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Combining Planning with Gaze for Online Human Intention Recognition.\n \n \n \n \n\n\n \n Singh, R.; Miller, T.; Newn, J.; Sonenberg, L.; Velloso, E.; and Vetere, F.\n\n\n \n\n\n\n In Proceedings of AAMAS 2018, 2018. \n \n\n\n\n
\n\n\n\n \n \n $\"Combining$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{singh2018combining,\n title = {Combining Planning with Gaze for Online Human Intention Recognition},\n author = {Ronal Singh and Tim Miller and Joshua Newn and Liz Sonenberg and Eduardo Velloso and Frank Vetere},\n booktitle={Proceedings of AAMAS 2018},\n url={http://people.eng.unimelb.edu.au/tmiller/pubs/aamas2018-gaze.pdf},\n year = {2018},\n  core={A*},\n }\n \n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n Integrated Hybrid Planning and Programmed Control for Real-Time UAV Maneuvering.\n \n \n \n\n\n \n Ramirez, M.; Lipovetsky, N.; Benke, L.; Papasimeon, M.; Miller, T.; and Pearce, A.\n\n\n \n\n\n\n In Proceedings of AAMAS 2018, 2018. \n To appear\n\n\n\n
\n\n\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{ramirez2018integrated,\n title = {Integrated Hybrid Planning and Programmed Control for Real-Time {UAV} Maneuvering},\n author = {Miguel Ramirez and Nir Lipovetsky and Lyndon Benke and Michael Papasimeon and Tim Miller and Adrian Pearce},\n booktitle={Proceedings of AAMAS 2018},\n note={To appear},\n year = {2018},\n  core={A*},\n }\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Towards a Grounded Dialog Model for Explainable Artificial Intelligence.\n \n \n \n \n\n\n \n Madumal, P.; Miller, T.; Vetere, F.; and Sonenberg, L.\n\n\n \n\n\n\n In First international workshop on socio-cognitive systems at IJCAI 2018, 2018. \n \n\n\n\n
\n\n\n\n \n \n $\"Towards$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{madumal2018towards,\n title = {Towards a Grounded Dialog Model for Explainable Artificial Intelligence},\n author = {Prashan Madumal and Tim Miller and Frank Vetere and Liz Sonenberg},\n booktitle = {First international workshop on socio-cognitive systems at IJCAI 2018},\n year = {2018},\n url={https://arxiv.org/abs/1806.08055},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n Planning for Human-Agent collaboration using Social Practices.\n \n \n \n\n\n \n Miller, T.; Dignum, V.; and Dignum, F.\n\n\n \n\n\n\n In First international workshop on socio-cognitive systems at IJCAI 2018, 2018. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2017planning,\n title = {Planning for Human-Agent collaboration using Social Practices},\n author = {Tim Miller and Virginia Dignum and Frank Dignum},\n booktitle = {First international workshop on socio-cognitive systems at IJCAI 2018},\n year = {2018},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n Social Planning for Trusted Autonomy.\n \n \n \n\n\n \n Miller, T.; Pearce, A. R.; and Sonenberg, L.\n\n\n \n\n\n\n In Hussein A. Abbass, J. S., editor(s), Foundations of Trusted Autonomy, 3. Springer International Publishing, 2018.\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@incollection{miller2018trusted,\n  author = {Tim Miller and Adrian R. Pearce and Liz Sonenberg},\n  title = {Social Planning for Trusted Autonomy},\n  booktitle = {Foundations of Trusted Autonomy},\n  page = {67-86},\n  editor = {Hussein A. Abbass, Jason Scholz, Darryn J. Reid},\n  chapter = {3},\n  publisher={Springer International Publishing},\n  doi={10.1007/978-3-319-64816-3_4},\n  year = {2018},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2017\n \n \n (7)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n The minds of many: opponent modelling in a stochastic game.\n \n \n \n \n\n\n \n von der Osten, F. B.; Kirley, M.; and Miller, T.\n\n\n \n\n\n\n In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, 19-25 August, pages 3845–3851, 2017. \n \n\n\n\n
\n\n\n\n \n \n $\"The$ Paper\n \n \n \n $\"The$ pdf\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{von2017minds,\n  title={The minds of many: opponent modelling in a stochastic game},\n  author={Friedrich Burkhard von der Osten and Michael Kirley and Tim Miller},\n  booktitle={Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, 19-25 August},\n  year={2017},\n  pages = {3845–3851},\n  url={https://dl.acm.org/doi/abs/10.5555/3172077.3172426},\n  url_pdf={https://www.ijcai.org/Proceedings/2017/0537.pdf},\n  doi={10.24963/ijcai.2017/537},\n  core={A*},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Sustainability is possible despite greed-Exploring the nexus between profitability and sustainability in common pool resource systems.\n \n \n \n \n\n\n \n von der Osten, F. B.; Kirley, M.; and Miller, T.\n\n\n \n\n\n\n Scientific Reports, 7(1): 2307. 2017.\n \n\n\n\n
\n\n\n\n \n \n $\"Sustainability$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{von2017sustainability,\n  title={Sustainability is possible despite greed-Exploring the nexus between profitability and sustainability in common pool resource systems},\n  author={von der Osten, Friedrich Burkhard and Kirley, Michael and Miller, Tim},\n  journal={Scientific Reports},\n  volume={7},\n  number={1},\n  pages={2307},\n  year={2017},\n  publisher={Nature Publishing Group},\n  url={http://rdcu.be/sNCZ},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Explainable AI: Beware of Inmates Running the Asylum.\n \n \n \n \n\n\n \n Miller, T.; Howe, P.; and Sonenberg, L.\n\n\n \n\n\n\n In IJCAI 2017 Workshop on Explainable Artificial Intelligence (XAI), 2017. \n \n\n\n\n
\n\n\n\n \n \n $\"Explainable$ arxiv\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 10 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2017inmates,\n  title={Explainable {AI}: Beware of Inmates Running the Asylum},\n  author={Tim Miller and Piers Howe and Liz Sonenberg},\n  booktitle={IJCAI 2017 Workshop on Explainable Artificial Intelligence (XAI)},\n  url_arXiv={https://arxiv.org/abs/1712.00547},\n  year={2017},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n A Framework for Automatically Ensuring The Conformance of Agent Designs.\n \n \n \n \n\n\n \n Abushark, Y.; Thangarajah, J.; Miller, T.; and Harland, J.\n\n\n \n\n\n\n Journal of Systems and Software, 131: 266-310. 2017.\n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{Abushark2017framework,\n  title={A Framework for Automatically Ensuring The Conformance of Agent Designs},\n  author={Yoosef Abushark and John Thangarajah and Tim Miller  and James Harland},\n  journal={Journal of Systems and Software},\n  volume={131},\n  pages={266-310},\n  year={2017},\n  doi = {https://doi.org/10.1016/j.jss.2017.05.098},\n  url = {http://www.sciencedirect.com/science/article/pii/S0164121217301048},\n  publisher={Elsevier},\n  core={A},\n}\n\n\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n An overview and evaluation of the CAT Market Design competition.\n \n \n \n \n\n\n \n Miller, T.; Niu, J.; Chapman, M.; and McBurney, P.\n\n\n \n\n\n\n In Chen, S.; and Kaboudak, M., editor(s), OUP Handbook on Computational Economics and Finance. Oxford University Press, 2017.\n \n\n\n\n
\n\n\n\n \n \n $\"An$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@incollection{miller2017oup,\n author = {Tim Miller and Jinzhong Niu and Martin Chapman and Peter McBurney}, \n title = {An overview and evaluation of the {CAT} {Market} {Design} competition},\n booktitle = {OUP Handbook on Computational Economics and Finance},\n publisher = {Oxford University Press}, \n year = {2017},\n editor = {S-H. Chen and M. Kaboudak}, \n url={https://academic.oup.com/edited-volume/41262/chapter/350851081},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Logics of common ground.\n \n \n \n \n\n\n \n Miller, T.; Pfau, J.; Sonenberg, L.; and Kashima, Y.\n\n\n \n\n\n\n Journal of Artificial Intelligence Research, 58: 859-904. 2017.\n \n\n\n\n
\n\n\n\n \n \n $\"Logics$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{miller2017logics,\n author={Tim Miller and Jens Pfau and Liz Sonenberg and Yoshi Kashima},\n title={Logics of common ground},\n journal={Journal of Artificial Intelligence Research},\n volume={58}, \n pages={859-904},\n year={2017},\n url={https://www.jair.org/index.php/jair/article/view/11059},\n doi={https://doi.org/10.1613/jair.5381},\ncore={A},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Methods for Supporting Older Users in Communicating Their Emotions at Different Phases of a Living Lab Project.\n \n \n \n \n\n\n \n Pedell, S.; Keirnan, A.; Priday, G.; Miller, T.; Mendoza, A.; Lopez-Lorca, A.; and Sterling, L.\n\n\n \n\n\n\n Technology Innovation Management Review,7. 2017.\n \n\n\n\n
\n\n\n\n \n \n $\"Methods$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{pedell2017methods,\n  title={Methods for Supporting Older Users in Communicating Their Emotions at Different Phases of a Living Lab Project},\n  author={Pedell, Sonja and Keirnan, Alen and Priday, Gareth and Miller, Tim and Mendoza, Antonette and Lopez-Lorca, Antonio and Sterling, Leon},\n  journal={Technology Innovation Management Review},\n  pages={7},\n  year={2017},\n  url={https://timreview.ca/sites/default/files/Issue_PDF/TIMReview_February2017.pdf#page=7},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2016\n \n \n (7)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n 'Knowing Whether' in Proper Epistemic Knowledge Bases.\n \n \n \n \n\n\n \n Miller, T.; Felli, P.; Muise, C. J.; Pearce, A. R.; and Sonenberg, L.\n\n\n \n\n\n\n In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA., pages 1044-1050, 2016. \n \n\n\n\n
\n\n\n\n \n \n $\"'Knowing$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 6 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2016knowing,\n  author    = {Tim Miller and\n               Paolo Felli and\n               Christian J. Muise and\n               Adrian R. Pearce and\n               Liz Sonenberg},\n  title     = {'Knowing Whether' in Proper Epistemic Knowledge Bases},\n  booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,\n               February 12-17, 2016, Phoenix, Arizona, {USA.}},\n  pages     = {1044-1050},\n  year      = {2016},\n  url={https://ojs.aaai.org/index.php/AAAI/article/view/10110},\n  doi={https://doi.org/10.1609/aaai.v30i1.10110},\n  core={A*},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n Compositional Symbolic Execution: Incremental Solving Revisited.\n \n \n \n\n\n \n Lin, Y.; Miller, T.; and Søndergaard, H.\n\n\n \n\n\n\n In 23rd Asia-Pacific Software Engineering Conference (APSEC), pages 273-280, 2016. IEEE\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{lin2016compositional,\n  title={Compositional Symbolic Execution: Incremental Solving Revisited},\n  author={Lin, Yude and Miller, Tim and S{\\o}ndergaard, Harald},\n  booktitle={23rd Asia-Pacific Software Engineering Conference (APSEC)},\n  pages={273-280},\n  year={2016},\n  organization={IEEE},\n  core={B},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Requirements specification via activity diagrams for agent-based systems.\n \n \n \n \n\n\n \n Abushark, Y.; Miller, T.; Thangarajah, J.; Winikoff, M.; and Harland, J.\n\n\n \n\n\n\n Autonomous Agents and Multi-Agent Systems,1-46. 2016.\n \n\n\n\n
\n\n\n\n \n \n $\"Requirements$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{Abushark2016,\nauthor="Abushark, Yoosef and Miller, Tim and Thangarajah, John and Winikoff, Michael and Harland, James",\ntitle="Requirements specification via activity diagrams for agent-based systems",\njournal="Autonomous Agents and Multi-Agent Systems",\nyear="2016",\npages="1-46",\ndoi="10.1007/s10458-016-9327-7",\nurl="http://dx.doi.org/10.1007/s10458-016-9327-7",\n  core={A},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Does It Fit Me Better? User Segmentation in Requirements Engineering.\n \n \n \n \n\n\n \n Sherkat, M.; Miller, T.; and Mendoza, A.\n\n\n \n\n\n\n In Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC), 2016. \n \n\n\n\n
\n\n\n\n \n \n $\"Does$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{sherkat2016does,\n author={Mohammad Sherkat and T. Miller and A. Mendoza},\n title={Does It Fit Me Better? {User} Segmentation in Requirements Engineering},\n booktitle={Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC)},\n year={2016},\n url={https://ieeexplore.ieee.org/abstract/document/7890572/},\n doi={https://doi.org/10.1109/APSEC.2016.020},\n  core={B},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Communication and Shared Mental Models for Teams Performing Interdependent Tasks.\n \n \n \n \n\n\n \n Singh, R.; Sonenberg, L.; and Miller, T.\n\n\n \n\n\n\n In International Conference on Autonomous Agents and Multiagent Systems - AAMAS 2016 Workshops, Best Papers, pages 163-179, 2016. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n \n $\"Communication$ Paper\n \n \n \n $\"Communication$ pdf\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{singh2016communication,\n  title={Communication and Shared Mental Models for Teams Performing Interdependent Tasks},\n  author={Singh, Ronal and Sonenberg, Liz and Miller, Tim},\n  booktitle={International Conference on Autonomous Agents and Multiagent Systems - AAMAS 2016 Workshops, Best Papers},\n  pages={163-179},\n  year={2016},\n  organization={Springer International Publishing},\n  url={https://link.springer.com/chapter/10.1007/978-3-319-46882-2_10},\n  doi={https://doi.org/10.1007/978-3-319-46882-2_10},\n  url_pdf={http://people.eng.unimelb.edu.au/tmiller/pubs/communication-in-smm.pdf},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Planning for a Single Agent in a Multi-Agent Environment Using FOND.\n \n \n \n \n\n\n \n Muise, C. J.; Felli, P.; Miller, T.; Pearce, A. R.; and Sonenberg, L.\n\n\n \n\n\n\n In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 3206-3212, 2016. \n \n\n\n\n
\n\n\n\n \n \n $\"Planning$ Paper\n \n \n \n $\"Planning$ pdf\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{muise-ijcai16-mapasfond,\n  author    = {Christian J. Muise and\n               Paolo Felli and\n               Tim Miller and\n               Adrian R. Pearce and\n               Liz Sonenberg},\n  title     = {Planning for a Single Agent in a Multi-Agent Environment Using {FOND}},\n  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on\n               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July\n               2016},\n  pages     = {3206-3212},\n  year      = {2016},\n  url = {https://dl.acm.org/doi/abs/10.5555/3061053.3061070},\n  url_pdf = {https://www.ijcai.org/Proceedings/16/Papers/454.pdf},\n  core={A*},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Belief Update for Proper Epistemic Knowledge Bases.\n \n \n \n \n\n\n \n Miller, T.; and Muise, C. J.\n\n\n \n\n\n\n In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 1209-1215, 2016. \n \n\n\n\n
\n\n\n\n \n \n $\"Belief$ Paper\n \n \n \n $\"Belief$ pdf\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 10 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller-ijcai16,\n  author    = {Tim Miller and\n               Christian J. Muise},\n  title     = {Belief Update for Proper Epistemic Knowledge Bases},\n  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on\n               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July\n               2016},\n  pages     = {1209-1215},\n  year      = {2016},\n  url       = {https://dl.acm.org/doi/abs/10.5555/3060621.3060789},\n  url_pdf   = {https://www.ijcai.org/Proceedings/16/Papers/175.pdf},\n  core={A*},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2015\n \n \n (9)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Planning Over Multi-Agent Epistemic States: A Classical Planning Approach.\n \n \n \n \n\n\n \n Muise, C.; Belle, V.; Felli, P.; McIlraith, S.; Miller, T.; Pearce, A. R; and Sonenberg, L.\n\n\n \n\n\n\n In Bonet, B; and Koenig, S, editor(s), Proceedings of AAAI 2015, pages 1-8, 2015. \n \n\n\n\n
\n\n\n\n \n \n $\"Planning$ Paper\n \n \n \n $\"Planning$ pdf\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 12 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{muise2015aaai,\n\tAuthor = {Muise, Christian and Belle, Vaishak and Felli, Paolo and McIlraith, Sheila and Miller, Tim and Pearce, Adrian R and Sonenberg, Liz},\n\tBooktitle = {Proceedings of AAAI 2015},\n\tEditor = {B Bonet and S Koenig},\n\tPages = {1-8},\n\tTitle = {Planning Over Multi-Agent Epistemic States: A Classical Planning Approach},\n\tYear = {2015},\n  url  = {https://ojs.aaai.org/index.php/AAAI/article/view/9665},\n  doi = {https://doi.org/10.1609/aaai.v29i1.9665},\n  url_pdf = {https://ojs.aaai.org/index.php/AAAI/article/view/9665/9524},\n  core={A*},\n}\n\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n Viewpoint modelling with emotions: A Case Study.\n \n \n \n\n\n \n Curumsing, M. K.; Lopez-Lorca, A. A.; Miller, T.; Sterling, L.; and Vasa, R.\n\n\n \n\n\n\n International Journal of People-oriented Programming. 2015.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n\n\n\n

@article{curumsing2015viewpoint,\n title = {Viewpoint modelling with emotions: A Case Study},\n author = {Maheswaree Kissoon Curumsing and Antonio A. Lopez-Lorca and Tim Miller and Leon Sterling and Rajesh Vasa},\n journal = {International Journal of People-oriented Programming},\n year = {2015},\n keywords={pose},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Communication in Human-Agent Teams for Tasks with Joint Action.\n \n \n \n \n\n\n \n Li, S.; Sun, W.; and Miller, T.\n\n\n \n\n\n\n In COIN 2015: The XIX International Workshop on Coordination, Organizations, Institutions and Norms in Multiagent Systems, pages 111-126, 2015. \n \n\n\n\n
\n\n\n\n \n \n $\"Communication$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{li2015communication,\n  title={Communication in Human-Agent Teams for Tasks with Joint Action},\n  author={Sirui Li and Weixing Sun and Tim Miller},\n  booktitle={COIN 2015: The XIX International Workshop on Coordination, Organizations, Institutions and Norms in Multiagent Systems},\n  pages={111-126},\n  year={2015},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/communication-in-hat.pdf},\n  core={B},\n}\n\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Towards Team Formation via Automated Planning.\n \n \n \n \n\n\n \n Muise, C.; Dignum, F.; Felli, P.; Miller, T.; Pearce, A. R.; and Sonenberg, L.\n\n\n \n\n\n\n In International Workshop on Coordination, Organisation, Institutions and Norms in Multi-Agent Systems, 2015. \n \n\n\n\n
\n\n\n\n \n \n $\"Towards$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n\n\n\n

@inproceedings{ muise-coin15-teamwork,\n  title = {Towards Team Formation via Automated Planning},\n  author = {Christian Muise and Frank Dignum and Paolo Felli and Tim Miller and Adrian R. Pearce and Liz Sonenberg},\n  booktitle = {International Workshop on Coordination, Organisation, Institutions and Norms in Multi-Agent Systems},\n  year = {2015},\n  keywords = {multi-agent planning, epistemic reasoning},\n  url = {http://www.haz.ca/papers/muise-coinATijcai-15.pdf},\n  core={B},\n}\n\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Leveraging FOND Planning Technology to Solve Multi-Agent Planning Problems.\n \n \n \n \n\n\n \n Muise, C.; Felli, P.; Miller, T.; Pearce, A. R.; and Sonenberg, L.\n\n\n \n\n\n\n In Workshop on Distributed and Multi-Agent Planning (DMAP'15), 2015. \n \n\n\n\n
\n\n\n\n \n \n $\"Leveraging$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n\n\n\n

@inproceedings{ muise-dmap15-mapasfond,\n  title = {Leveraging FOND Planning Technology to Solve Multi-Agent Planning Problems},\n  author = {Christian Muise and Paolo Felli and Tim Miller and Adrian R. Pearce and Liz Sonenberg},\n  booktitle = {Workshop on Distributed and Multi-Agent Planning ({DMAP}'15)},\n  year = {2015},\n  keywords = {non-deterministic planning, multi-agent planning},\n  url = {http://www.haz.ca/papers/muise-dmap15-mapasfond.pdf},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Computing Social Behaviours Using Agent Models.\n \n \n \n \n\n\n \n Felli, P.; Miller, T.; Muise, C.; Pearce, A. R.; and Sonenberg, L.\n\n\n \n\n\n\n In International Joint Conference on Artificial Intelligence, IJCAI 2015, 2015. \n \n\n\n\n
\n\n\n\n \n \n $\"Computing$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n\n\n\n

@inproceedings{ felli-ijcai-2015,\n  title = {Computing Social Behaviours Using Agent Models},\n  author = {Felli, Paolo and Miller, Tim and Muise, Christian and Pearce, Adrian R. and Sonenberg, Liz},\n  booktitle = {International Joint Conference on Artificial Intelligence, {IJCAI} 2015},\n  year = {2015},\n  keywords = {human-agent collaboration},\n  url = {http://www.haz.ca/papers/felli-ijcai15.pdf},\n  abstract = {Agents can be thought of as following a social behaviour, depending on the context in which they are interacting. We devise a computationally grounded mechanism to represent and reason about others in social terms, reflecting the local perspective of an agent (first-person view), to support both stereotypical and empathetic reasoning. We use a hierarchy of agent models to discriminate which behaviours of others are plausible, and decide which behaviour for ourselves is socially acceptable, i.e. conforms to the social context. To this aim, we investigate the implications of considering agents capable of various degrees of Theory of Mind, and discuss a scenario showing how this affects behaviour.},\n  core={A*},\n}\n\n\n\n

\n\n\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Early detection of design faults relative to requirement specifications in agent-based models.\n \n \n \n \n\n\n \n Abushark, Y.; Thangarajah, J.; Miller, T.; Harland, J.; and Winikoff, M.\n\n\n \n\n\n\n In Proceedings of the 14th International Conference on Autonomous Agents and Multi-Agent Systems, May 2015. \n \n\n\n\n
\n\n\n\n \n \n $\"Early$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{abushark2015early,\n author = {Yoosef Abushark and John Thangarajah and Tim Miller  and James Harland and Michael Winikoff},\n title = {Early detection of design faults relative to requirement specifications in agent-based models},\n booktitle = {Proceedings of the 14th International Conference on Autonomous Agents and Multi-Agent Systems},\n month = {May},\n year = {2015},\n url={http://people.eng.unimelb.edu.au/tmiller/pubs/aamas2015-reqs.pdf},\n  core={A*},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases.\n \n \n \n \n\n\n \n Muise, C.; Miller, T.; Felli, P.; Pearce, A.; and Sonenberg, L.\n\n\n \n\n\n\n In Proceedings of the 14th International Conference on Autonomous Agents and Multi-Agent Systems, May 2015. \n \n\n\n\n
\n\n\n\n \n \n $\"Efficient$ Paper\n \n \n \n $\"Efficient$ pdf\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{muise2015efficient,\n author = {Chistian Muise and Tim Miller and Paolo Felli and Adrian Pearce and Liz Sonenberg},\n title = {Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases},\n booktitle = {Proceedings of the 14th International Conference on Autonomous Agents and Multi-Agent Systems},\n month = {May},\n year = {2015},\n url={https://dl.acm.org/doi/abs/10.5555/2772879.2773339},\n url_pdf={https://www.ifaamas.org/Proceedings/aamas2015/aamas/p1461.pdf},\n  core={A*},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systems.\n \n \n \n \n\n\n \n Miller, T.; Pedell, S.; Lopez-Lorca, A. A; Mendoza, A.; Sterling, L.; and Keirnan, A.\n\n\n \n\n\n\n Journal of Systems and Software, 105: 54-71. 2015.\n \n\n\n\n
\n\n\n\n \n \n $\"Emotion-led$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{miller2015emotion,\n  title={Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systems},\n  author={Miller, Tim and Pedell, Sonja and Lopez-Lorca, Antonio A and Mendoza, Antonette and Sterling, Leon and Keirnan, Alen},\n  journal={Journal of Systems and Software},\n  volume={105},\n  pages={54-71},\n  year={2015},\n  publisher={Elsevier},\n  doi={https://doi.org/10.1016/j.jss.2015.03.044},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/emotional-goals.pdf},\n  core={A},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2014\n \n \n (9)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n One size doesn't fit all: diversifying the user using personas and emotional scenarios.\n \n \n \n \n\n\n \n Lopez-Lorca, A. A; Miller, T.; Pedell, S.; Mendoza, A.; Keirnan, A.; and Sterling, L.\n\n\n \n\n\n\n In Proceedings of the 6th International Workshop on Social Software Engineering, pages 25-32, 2014. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"One$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n\n\n\n

@inproceedings{lopez2014one,\n  title={One size doesn't fit all: diversifying the user using personas and emotional scenarios},\n  author={Lopez-Lorca, Antonio A and Miller, Tim and Pedell, Sonja and Mendoza, Antonette and Keirnan, Alen and Sterling, Leon},\n  booktitle={Proceedings of the 6th International Workshop on Social Software Engineering},\n  pages={25-32},\n  year={2014},\n  organization={ACM},\n  keywords={pose},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/sse2014_workshop_emotional_scenarios.pdf},\n}\n\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n A Preliminary Analysis of Interdependence in Multiagent Systems.\n \n \n \n \n\n\n \n Singh, R.; Miller, T.; and Sonenberg, L.\n\n\n \n\n\n\n In PRIMA 2014: Principles and Practice of Multi-Agent Systems, pages 381-389, 2014. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{singh2014preliminary,\n  title={A Preliminary Analysis of Interdependence in Multiagent Systems},\n  author={Singh, Ronal and Miller, Tim and Sonenberg, Liz},\n  booktitle={PRIMA 2014: Principles and Practice of Multi-Agent Systems},\n  pages={381-389},\n  year={2014},\n  publisher={Springer},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/prima2014.pdf},\n  core={B},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Artificial social reasoning: computational mechanisms for reasoning about others.\n \n \n \n \n\n\n \n Felli, P.; Miller, T.; Muise, C.; Pearce, A. R.; and Sonenberg, L.\n\n\n \n\n\n\n In The International Conference on Social Robotics, 2014. \n \n\n\n\n
\n\n\n\n \n \n $\"Artificial$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 67 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n\n\n\n

@inproceedings{ felli-icsr-2014,\n  abstract = {With a view to supporting expressive, but tractable, collaborative interactions between humans and agents, we propose an approach for representing heterogeneous agent models, i.e., with potentially diverse mental abilities and holding stereotypical characteristics as members of a social reference group. We build a computationally grounded mechanism for progressing their beliefs about others' beliefs, supporting stereotypical as well as empathic reasoning. We comment on how this approach can be used to build finite-state games, restricting the analysis of possibly large-scale problems by focusing only on the set of plausible evolutions.},\n  title = {Artificial social reasoning: computational mechanisms for reasoning about others},\n  author = {Felli, Paolo and Miller, Tim and Muise, Christian and Pearce, Adrian R. and Sonenberg, Liz},\n  booktitle = {The International Conference on Social Robotics},\n  keywords = {human-agent collaboration},\n  year = {2014},\n  url = {http://agentlab.cis.unimelb.edu.au/papers/felli-icsr-2014.pdf},\n  core={A},\n}\n\n\n

\n\n\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Socially-Oriented Requirements Engineering: Software Engineering Meets Ethnography.\n \n \n \n \n\n\n \n Pedell, S.; Miller, T.; Vetere, F.; Sterling, L.; and Howard, S.\n\n\n \n\n\n\n In Perspectives on Culture and Agent-based Simulations, pages 191-210. Springer International Publishing, 2014.\n \n\n\n\n
\n\n\n\n \n \n $\"Socially-Oriented$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@incollection{pedell2014socially,\n  title={Socially-Oriented Requirements Engineering: Software Engineering Meets Ethnography},\n  author={Pedell, Sonja and Miller, Tim and Vetere, Frank and Sterling, Leon and Howard, Steve},\n  booktitle={Perspectives on Culture and Agent-based Simulations},\n  pages={191-210},\n  year={2014},\n  publisher={Springer International Publishing},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/integrating-cultures-chapter.pdf},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Requirements elicitation and specification using the agent paradigm: the case study of an aircraft turnaround simulator.\n \n \n \n \n\n\n \n Miller, T.; Lu, B.; Sterling, L.; Beydoun, G.; and Taveter, K.\n\n\n \n\n\n\n IEEE Transactions on Software Engineering, 40(10): 1007-1024. 2014.\n \n\n\n\n
\n\n\n\n \n \n $\"Requirements$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{millerrequirements,\n  title={Requirements elicitation and specification using the agent paradigm: the case study of an aircraft turnaround simulator},\n  author={Miller, Tim and Lu, Bin and Sterling, Leon and Beydoun, Ghassan and Taveter, Kuldar},\n  journal={IEEE Transactions on Software Engineering},\n  volume={40},\n  number={10},\n  pages={1007-1024},\n  year={2014},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/tse2014-aore.pdf},\n  doi={10.1109/TSE.2014.2339827},\n  core={A*},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Robust anticipatory stigmergic collision avoidance in multi-agent systems.\n \n \n \n \n\n\n \n von der Osten, F. B.; Kirley, M.; and Miller, T.\n\n\n \n\n\n\n In Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems, pages 1403-1404, 2014. International Foundation for Autonomous Agents and Multiagent Systems\n \n\n\n\n
\n\n\n\n \n \n $\"Robust$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{von2014robust,\n  title={Robust anticipatory stigmergic collision avoidance in multi-agent systems},\n  author={von der Osten, Friedrich Burkhard and Kirley, Michael and Miller, Tim},\n  booktitle={Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems},\n  pages={1403-1404},\n  year={2014},\n  organization={International Foundation for Autonomous Agents and Multiagent Systems},\n  url={http://aamas2014.lip6.fr/proceedings/aamas/p1403.pdf},\n  core={A*},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Modelling and Using Common Ground in Human-agent Collaboration during Spacecraft Operations.\n \n \n \n \n\n\n \n Pfau, J.; Miller, T.; and Sonenberg, L.\n\n\n \n\n\n\n In SpaceOps 2014: 13th International Conference on Space Operations, May 2014. \n \n\n\n\n
\n\n\n\n \n \n $\"Modelling$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{pfaumodelling,\n  title={Modelling and Using Common Ground in Human-agent Collaboration during Spacecraft Operations},\n  author={Pfau, Jens and Miller, Tim and Sonenberg, Liz},\n  booktitle={SpaceOps 2014: 13th International Conference on Space Operations},\n  month={May}, \n  year={2014},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/spaceops-2014.pdf},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Checking consistency of agent designs against interaction protocols for early-phase defect location.\n \n \n \n \n\n\n \n Abushark, Y.; Thangarajah, J.; Miller, T.; and Harland, J.\n\n\n \n\n\n\n In Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems, pages 933-940, 2014. International Foundation for Autonomous Agents and Multiagent Systems\n \n\n\n\n
\n\n\n\n \n \n $\"Checking$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{abushark2014checking,\n  title={Checking consistency of agent designs against interaction protocols for early-phase defect location},\n  author={Abushark, Yoosef and Thangarajah, John and Miller, Tim and Harland, James},\n  booktitle={Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems},\n  pages={933-940},\n  year={2014},\n  organization={International Foundation for Autonomous Agents and Multiagent Systems},\n  url={http://aamas2014.lip6.fr/proceedings/aamas/p933.pdf},\n  core={A*},\n}\n\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Anticipatory stigmergic collision avoidance under noise.\n \n \n \n \n\n\n \n von der Osten, F. B.; Kirley, M.; and Miller, T.\n\n\n \n\n\n\n In Proceedings of the 2014 conference on Genetic and evolutionary computation, pages 65-72, 2014. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"Anticipatory$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{von2014anticipatory,\n  title={Anticipatory stigmergic collision avoidance under noise},\n  author={von der Osten, Friedrich Burkhard and Kirley, Michael and Miller, Tim},\n  booktitle={Proceedings of the 2014 conference on Genetic and evolutionary computation},\n  pages={65-72},\n  year={2014},\n  organization={ACM},\n  url={http://dx.doi.org/10.1145/2576768.2598389},\n  core={A},\n}\n\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2013\n \n \n (4)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Using dependency structures for prioritization of functional test suites.\n \n \n \n \n\n\n \n Haidry, S; and Miller, T.\n\n\n \n\n\n\n IEEE Transactions on Software Engineering, 39(2): 258-275. 2013.\n \n\n\n\n
\n\n\n\n \n \n $\"Using$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 15 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{haidry2013using,\n  title={Using dependency structures for prioritization of functional test suites},\n  author={Haidry, S and Miller, Tim},\n  journal={IEEE Transactions on Software Engineering},\n  volume={39},\n  number={2},\n  pages={258-275},\n  year={2013},\n  publisher={IEEE},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/tse-2012-dsp-prioritisation.pdf},\n  doi={10.1109/TSE.2012.26},\n  core={A*},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies.\n \n \n \n \n\n\n \n Miller, T.; and McBurney, P.\n\n\n \n\n\n\n Multiagent and Grid Systems, 9(2): 101-134. 2013.\n \n\n\n\n
\n\n\n\n \n \n $\"Efficient$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{miller2013efficient,\n  title={Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies},\n  author={Miller, Tim and McBurney, Peter},\n  journal={Multiagent and Grid Systems},\n  volume={9},\n  number={2},\n  pages={101-134},\n  year={2013},\n  publisher={IOS Press},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/efficient-annotations.pdf},\n  doi={10.3233/MGS-130202},\n  core={B},\n}\n\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Model-based test oracle generation for automated unit testing of agent systems.\n \n \n \n \n\n\n \n Padgham, L.; Zhang, Z.; Thangarajah, J.; and Miller, T.\n\n\n \n\n\n\n IEEE Transactions on Software Engineering, 39(9): 1230-1244. 2013.\n \n\n\n\n
\n\n\n\n \n \n $\"Model-based$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{padgham2013model,\n  title={Model-based test oracle generation for automated unit testing of agent systems},\n  author={Padgham, Lin and Zhang, Zhiyong and Thangarajah, John and Miller, Tim},\n  journal={IEEE Transactions on Software Engineering},\n  volume={39},\n  number={9},\n  pages={1230-1244},\n  year={2013},\n  publisher={IEEE},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/tse-2012-agent-unit-testing.pdf},\n  core={A*},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n The role of users’ emotions and associated quality goals on appropriation of systems: two case studies.\n \n \n \n \n\n\n \n Mendoza, A.; Miller, T.; Pedell, S.; and Sterling, L.\n\n\n \n\n\n\n In 24th Australasian Conference on Information Systems, 2013. \n \n\n\n\n
\n\n\n\n \n \n $\"The$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{mendoza2013role,\n  title={The role of users’ emotions and associated quality goals on appropriation of systems: two case studies},\n  author={Mendoza, Antonette and Miller, Tim and Pedell, Sonja and Sterling, Leon},\n  booktitle={24th Australasian Conference on Information Systems},\n  year={2013},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/acis13.pdf},\n  core={A},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2012\n \n \n (4)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n A case study in model-based testing of specifications and implementations.\n \n \n \n \n\n\n \n Miller, T.; and Strooper, P.\n\n\n \n\n\n\n Software Testing, Verification and Reliability, 22(1): 33-63. 2012.\n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{miller2012case,\n  title={A case study in model-based testing of specifications and implementations},\n  author={Miller, Tim and Strooper, Paul},\n  journal={Software Testing, Verification and Reliability},\n  volume={22},\n  number={1},\n  pages={33-63},\n  year={2012},\n  publisher={Wiley Online Library},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/stvr2011.pdf},\n  core={B},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n An assessment of strategies for choosing between competitive marketplaces.\n \n \n \n \n\n\n \n Miller, T; and Niu, J.\n\n\n \n\n\n\n Electronic Commerce Research and Applications, 11(1): 14-23. 2012.\n \n\n\n\n
\n\n\n\n \n \n $\"An$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{miller2012assessment,\n  title={An assessment of strategies for choosing between competitive marketplaces},\n  author={Miller, T and Niu, Jinzhong},\n  journal={Electronic Commerce Research and Applications},\n  volume={11},\n  number={1},\n  pages={14-23},\n  year={2012},\n  publisher={Elsevier},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/ecra2012.pdf},\n  core={C},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Understanding socially oriented roles and goals through motivational modelling.\n \n \n \n \n\n\n \n Miller, T.; Pedell, S.; Sterling, L.; Vetere, F.; and Howard, S.\n\n\n \n\n\n\n Journal of Systems and Software, 85(9): 2160-2170. 2012.\n \n\n\n\n
\n\n\n\n \n \n $\"Understanding$ Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{miller2012understanding,\n  title={Understanding socially oriented roles and goals through motivational modelling},\n  author={Miller, Tim and Pedell, Sonja and Sterling, Leon and Vetere, Frank and Howard, Steve},\n  journal={Journal of Systems and Software},\n  volume={85},\n  number={9},\n  pages={2160-2170},\n  year={2012},\n  publisher={Elsevier},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/social-roles.pdf},\n  doi={10.1016/j.jss.2012.04.049},\n  core={A},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Substantiating agent-based quality goals for understanding socio-technical systems.\n \n \n \n \n\n\n \n Pedell, S.; Miller, T.; Sterling, L.; Vetere, F.; and Howard, S.\n\n\n \n\n\n\n In Advanced Agent Technology, pages 80-95, 2012. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Substantiating$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{pedell2012substantiating,\n  title={Substantiating agent-based quality goals for understanding socio-technical systems},\n  author={Pedell, Sonja and Miller, Tim and Sterling, Leon and Vetere, Frank and Howard, Steve},\n  booktitle={Advanced Agent Technology},\n  pages={80-95},\n  year={2012},\n  publisher={Springer},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/ample2011.pdf},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2011\n \n \n (6)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Propositional dynamic logic for reasoning about first-class agent interaction protocols.\n \n \n \n \n\n\n \n Miller, T.; and McBurney, P.\n\n\n \n\n\n\n Computational Intelligence, 27(3): 422-457. 2011.\n \n\n\n\n
\n\n\n\n \n \n $\"Propositional$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{miller2011propositional,\n  title={Propositional dynamic logic for reasoning about first-class agent interaction protocols},\n  author={Miller, Tim and McBurney, Peter},\n  journal={Computational Intelligence},\n  volume={27},\n  number={3},\n  pages={422-457},\n  year={2011},\n  publisher={Wiley Online Library},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/coin2011.pdf},\n  core={A},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Test coverage criteria for agent interaction testing.\n \n \n \n \n\n\n \n Miller, T.; Padgham, L.; and Thangarajah, J.\n\n\n \n\n\n\n In Agent-Oriented Software Engineering XI, pages 91-105, 2011. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Test$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2011test,\n  title={Test coverage criteria for agent interaction testing},\n  author={Miller, Tim and Padgham, Lin and Thangarajah, John},\n  booktitle={Agent-Oriented Software Engineering XI},\n  pages={91-105},\n  year={2011},\n  publisher={Springer},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/aose2010b.pdf},\n  core={B},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Engaging stakeholders with agent-oriented requirements modelling.\n \n \n \n \n\n\n \n Miller, T.; Pedell, S.; Sterling, L.; and Lu, B.\n\n\n \n\n\n\n In Agent-Oriented Software Engineering XI, pages 62-78, 2011. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Engaging$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2011engaging,\n  title={Engaging stakeholders with agent-oriented requirements modelling},\n  author={Miller, Tim and Pedell, Sonja and Sterling, Leon and Lu, Bin},\n  booktitle={Agent-Oriented Software Engineering XI},\n  pages={62-78},\n  year={2011},\n  publisher={Springer},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/aose2010a.pdf},\n  core={B},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n TATM: A trust mechanism for social traders in double auctions.\n \n \n \n \n\n\n \n Dumesny, J.; Miller, T.; Kirley, M.; and Sonenberg, L.\n\n\n \n\n\n\n In AI 2011: Advances in Artificial Intelligence, pages 402-411, 2011. Springer Berlin Heidelberg\n \n\n\n\n
\n\n\n\n \n \n $\"TATM:$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{dumesny2011tatm,\n  title={{TATM}: A trust mechanism for social traders in double auctions},\n  author={Dumesny, Jacob and Miller, Tim and Kirley, Michael and Sonenberg, Liz},\n  booktitle={AI 2011: Advances in Artificial Intelligence},\n  pages={402-411},\n  year={2011},\n  publisher={Springer Berlin Heidelberg},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/ai2011.pdf},\n  core={Australasian},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Ontology-mediated Validation of Software Models.\n \n \n \n \n\n\n \n Lopez-Lorca, A. A; Beydoun, G.; Sterling, L.; and Miller, T.\n\n\n \n\n\n\n In Information Systems Development, pages 455-467, 2011. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Ontology-mediated$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{lopez2011ontology,\n  title={Ontology-mediated Validation of Software Models},\n  author={Lopez-Lorca, Antonio A and Beydoun, Ghassan and Sterling, Leon and Miller, Tim},\n  booktitle={Information Systems Development},\n  pages={455-467},\n  year={2011},\n  publisher={Springer},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/isd2010.pdf},\n  core={A},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Substantiating quality goals with field data for socially-oriented requirements engineering.\n \n \n \n \n\n\n \n Pedell, S.; Miller, T.; Sterling, L.; Vetere, F.; Howard, S.; and Paay, J.\n\n\n \n\n\n\n In The 10th International Conference on Autonomous Agents and Multiagent Systems-Volume 3, pages 1185-1186, 2011. International Foundation for Autonomous Agents and Multiagent Systems\n \n\n\n\n
\n\n\n\n \n \n $\"Substantiating$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{pedell2011substantiating,\n  title={Substantiating quality goals with field data for socially-oriented requirements engineering},\n  author={Pedell, Sonja and Miller, Tim and Sterling, Leon and Vetere, Frank and Howard, Steve and Paay, Jeni},\n  booktitle={The 10th International Conference on Autonomous Agents and Multiagent Systems-Volume 3},\n  pages={1185-1186},\n  year={2011},\n  organization={International Foundation for Autonomous Agents and Multiagent Systems},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/aamas2011.pdf},\n  core={A*},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2010\n \n \n (2)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Characterising and matching iterative and recursive agent interaction protocols.\n \n \n \n \n\n\n \n Miller, T.; and McBurney, P.\n\n\n \n\n\n\n In Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1-Volume 1, pages 1207-1214, 2010. International Foundation for Autonomous Agents and Multiagent Systems\n \n\n\n\n
\n\n\n\n \n \n $\"Characterising$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2010characterising,\n  title={Characterising and matching iterative and recursive agent interaction protocols},\n  author={Miller, Tim and McBurney, Peter},\n  booktitle={Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1-Volume 1},\n  pages={1207-1214},\n  year={2010},\n  organization={International Foundation for Autonomous Agents and Multiagent Systems},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/aamas2010.pdf},\n  core={A*},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n Shared artefacts as participatory Babel fish.\n \n \n \n\n\n \n Pedell, S.; Vetere, F.; Howard, S.; Miller, T.; and Sterling, L.\n\n\n \n\n\n\n In Proceedings of the 11th Biennial Participatory Design Conference, pages 167-170, 2010. ACM\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{pedell2010shared,\n  title={Shared artefacts as participatory Babel fish},\n  author={Pedell, Sonja and Vetere, Frank and Howard, Steve and Miller, Tim and Sterling, Leon},\n  booktitle={Proceedings of the 11th Biennial Participatory Design Conference},\n  pages={167-170},\n  year={2010},\n  organization={ACM},\n  core={B},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2009\n \n \n (1)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Having fun at home: interleaving fieldwork and goal models.\n \n \n \n \n\n\n \n Pedell, S.; Miller, T.; Vetere, F.; Sterling, L.; Howard, S.; and Paay, J.\n\n\n \n\n\n\n In Proceedings of the 21st Annual Conference of the Australian Computer-Human Interaction Special Interest Group: Design: Open 24/7, pages 309-312, 2009. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"Having$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{pedell2009having,\n  title={Having fun at home: interleaving fieldwork and goal models},\n  author={Pedell, Sonja and Miller, Tim and Vetere, Frank and Sterling, Leon and Howard, Steve and Paay, Jeni},\n  booktitle={Proceedings of the 21st Annual Conference of the Australian Computer-Human Interaction Special Interest Group: Design: Open 24/7},\n  pages={309-312},\n  year={2009},\n  organization={ACM},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/OZCHI09.pdf},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2008\n \n \n (3)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Amongst first-class protocols.\n \n \n \n \n\n\n \n Miller, T.; and McGinnis, J.\n\n\n \n\n\n\n In Engineering Societies in the Agents World VIII, pages 208-223, 2008. Springer Berlin Heidelberg\n \n\n\n\n
\n\n\n\n \n \n $\"Amongst$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2008amongst,\n  title={Amongst first-class protocols},\n  author={Miller, Tim and McGinnis, Jarred},\n  booktitle={Engineering Societies in the Agents World VIII},\n  pages={208-223},\n  year={2008},\n  publisher={Springer Berlin Heidelberg},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/esaw07.pdf},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Annotation and matching of first-class agent interaction protocols.\n \n \n \n \n\n\n \n Miller, T.; and McBurney, P.\n\n\n \n\n\n\n In Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems-Volume 2, pages 805-812, 2008. International Foundation for Autonomous Agents and Multiagent Systems\n \n\n\n\n
\n\n\n\n \n \n $\"Annotation$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2008annotation,\n  title={Annotation and matching of first-class agent interaction protocols},\n  author={Miller, Tim and McBurney, Peter},\n  booktitle={Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems-Volume 2},\n  pages={805-812},\n  year={2008},\n  organization={International Foundation for Autonomous Agents and Multiagent Systems},\n  url={http://www.ifaamas.org/Proceedings/aamas08/proceedings/pdf/paper/AAMAS08_0030.pdf},\n  core={A*},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n On illegal composition of first-class agent interaction protocols.\n \n \n \n \n\n\n \n Miller, T.; and McBurney, P.\n\n\n \n\n\n\n In Proceedings of the thirty-first Australasian conference on Computer science-Volume 74, pages 127-136, 2008. Australian Computer Society, Inc.\n \n\n\n\n
\n\n\n\n \n \n $\"On$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2008illegal,\n  title={On illegal composition of first-class agent interaction protocols},\n  author={Miller, Tim and McBurney, Peter},\n  booktitle={Proceedings of the thirty-first Australasian conference on Computer science-Volume 74},\n  pages={127-136},\n  year={2008},\n  organization={Australian Computer Society, Inc.},\n  url={http://crpit.com/confpapers/CRPITV74Miller.pdf},\n  core={Australasian},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2007\n \n \n (4)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Using constraints and process algebra for specification of first-class agent interaction protocols.\n \n \n \n \n\n\n \n Miller, T.; and McBurney, P.\n\n\n \n\n\n\n In Engineering Societies in the Agents World VII, pages 245-264, 2007. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Using$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2007using,\n  title={Using constraints and process algebra for specification of first-class agent interaction protocols},\n  author={Miller, Tim and McBurney, Peter},\n  booktitle={Engineering Societies in the Agents World VII},\n  pages={245-264},\n  year={2007},\n  publisher={Springer},\n  url={http://www.csc.liv.ac.uk/~peter/downloads/pubs/2006/pm-2006-03.pdf},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n First-class protocols for agent-based coordination of scientific instruments.\n \n \n \n \n\n\n \n Miller, T.; McBurney, P.; McGinnis, J.; and Stathis, K.\n\n\n \n\n\n\n In Enabling Technologies: Infrastructure for Collaborative Enterprises, 2007. WETICE 2007. 16th IEEE International Workshops on, pages 41-46, 2007. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"First-class$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2007first,\n  title={First-class protocols for agent-based coordination of scientific instruments},\n  author={Miller, Tim and McBurney, Peter and McGinnis, Jarred and Stathis, Kostas},\n  booktitle={Enabling Technologies: Infrastructure for Collaborative Enterprises, 2007. WETICE 2007. 16th IEEE International Workshops on},\n  pages={41-46},\n  year={2007},\n  organization={IEEE},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/wetice07.pdf},\n  core={B},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Modelling multi-agent interaction protocols using categories enriched over pointed sets.\n \n \n \n \n\n\n \n Johnson, M. W; Miller, T.; and Mcburney, P.\n\n\n \n\n\n\n University of Liverpool, Liverpool, UK. 2007.\n \n\n\n\n
\n\n\n\n \n \n $\"Modelling$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{johnson2007modelling,\n  title={Modelling multi-agent interaction protocols using categories enriched over pointed sets},\n  author={Johnson, Mark W and Miller, Tim and Mcburney, Peter},\n  journal={University of Liverpool, Liverpool, UK},\n  year={2007},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/modelling-multi-agent-interactions.pdf},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n A formal semantics for Gaia liveness rules and expressions.\n \n \n \n \n\n\n \n Miller, T.; and McBurney, P.\n\n\n \n\n\n\n International Journal of Agent-Oriented Software Engineering, 1(3): 435-476. 2007.\n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{miller2007formal,\n  title={A formal semantics for Gaia liveness rules and expressions},\n  author={Miller, Tim and McBurney, Peter},\n  journal={International Journal of Agent-Oriented Software Engineering},\n  volume={1},\n  number={3},\n  pages={435-476},\n  year={2007},\n  publisher={Inderscience},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/ijaose07.pdf},\n  core={B},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2006\n \n \n (3)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents.\n \n \n \n \n\n\n \n Munroe, S.; Miller, T.; Belecheanu, R. A; Pechoucek, M.; McBurney, P.; and Luck, M.\n\n\n \n\n\n\n The Knowledge Engineering Review, 21(04): 345-392. 2006.\n \n\n\n\n
\n\n\n\n \n \n $\"Crossing$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{munroe2006crossing,\n  title={Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents},\n  author={Munroe, Steve and Miller, Tim and Belecheanu, Roxana A and Pechoucek, Michal and McBurney, Peter and Luck, Michael},\n  journal={The Knowledge Engineering Review},\n  volume={21},\n  number={04},\n  pages={345-392},\n  year={2006},\n  publisher={Cambridge University Press},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/agentlink-KER06.pdf},\n  core={B},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Commercial applications of agents: Lessons, experiences and challenges.\n \n \n \n \n\n\n \n Belecheanu, R. A; Munroe, S.; Luck, M.; Payne, T.; Miller, T.; McBurney, P.; and Pěchouček, M.\n\n\n \n\n\n\n In Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, pages 1549-1555, 2006. ACM\n \n\n\n\n
\n\n\n\n \n \n $\"Commercial$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{belecheanu2006commercial,\n  title={Commercial applications of agents: Lessons, experiences and challenges},\n  author={Belecheanu, Roxana A and Munroe, Steve and Luck, Michael and Payne, Terry and Miller, Tim and McBurney, Peter and P{\\v{e}}chou{\\v{c}}ek, Michal},\n  booktitle={Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems},\n  pages={1549-1555},\n  year={2006},\n  organization={ACM},\n  url={http://www.csc.liv.ac.uk/~peter/downloads/pubs/2006/pm-2006-09.pdf},\n  core={A*},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n PIPS: An Integrated Environment for Health Care Delivery and Healthy Lifestyle Support.\n \n \n \n\n\n \n Domınguez, D.; Grasso, F.; Miller, T.; and Seraffin, R\n\n\n \n\n\n\n In 4th Workshop on Agents Applied in Health Care in conjunction with the 17th European Conference on Artificial Intelligence, ECAI, pages 81-90, 2006. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{dominguez2006pips,\n  title={PIPS: An Integrated Environment for Health Care Delivery and Healthy Lifestyle Support},\n  author={Dom{\\i}nguez, David and Grasso, Floriana and Miller, Tim and Seraffin, R},\n  booktitle={4th Workshop on Agents Applied in Health Care in conjunction with the 17th European Conference on Artificial Intelligence, ECAI},\n  pages={81-90},\n  year={2006},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2005\n \n \n (2)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n CZT support for Z extensions.\n \n \n \n \n\n\n \n Miller, T.; Freitas, L.; Malik, P.; and Utting, M.\n\n\n \n\n\n\n In Integrated Formal Methods, pages 227-245, 2005. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"CZT$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2005czt,\n  title={CZT support for Z extensions},\n  author={Miller, Tim and Freitas, Leo and Malik, Petra and Utting, Mark},\n  booktitle={Integrated Formal Methods},\n  pages={227-245},\n  year={2005},\n  publisher={Springer},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/icfem2005.pdf},\n  core={B},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Multi-agent system specification using TCOZ.\n \n \n \n \n\n\n \n Miller, T.; and McBurney, P.\n\n\n \n\n\n\n In Multiagent System Technologies, pages 216-221, 2005. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Multi-agent$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2005multi,\n  title={Multi-agent system specification using TCOZ},\n  author={Miller, Tim and McBurney, Peter},\n  booktitle={Multiagent System Technologies},\n  pages={216-221},\n  year={2005},\n  publisher={Springer},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/mates2005-tr.pdf},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2004\n \n \n (2)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Integrating formal specification and software verification and validation.\n \n \n \n \n\n\n \n Duke, R.; Miller, T.; and Strooper, P.\n\n\n \n\n\n\n In Teaching Formal Methods, pages 124-139, 2004. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Integrating$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{duke2004integrating,\n  title={Integrating formal specification and software verification and validation},\n  author={Duke, Roger and Miller, Tim and Strooper, Paul},\n  booktitle={Teaching Formal Methods},\n  pages={124-139},\n  year={2004},\n  publisher={Springer},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/stfm2004.pdf},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n A case study in specification and implementation testing.\n \n \n \n \n\n\n \n Miller, T.; and Strooper, P.\n\n\n \n\n\n\n In Software Engineering Conference, 2004. 11th Asia-Pacific, pages 130-139, 2004. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2004case,\n  title={A case study in specification and implementation testing},\n  author={Miller, Tim and Strooper, Paul},\n  booktitle={Software Engineering Conference, 2004. 11th Asia-Pacific},\n  pages={130-139},\n  year={2004},\n  organization={IEEE},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/apsec2004.pdf},\n  core={B},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2003\n \n \n (2)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n A framework and tool support for the systematic testing of model-based specifications.\n \n \n \n \n\n\n \n Miller, T.; and Strooper, P.\n\n\n \n\n\n\n ACM Transactions on Software Engineering and Methodology (TOSEM), 12(4): 409-439. 2003.\n \n\n\n\n
\n\n\n\n \n \n $\"A$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@article{miller2003framework,\n  title={A framework and tool support for the systematic testing of model-based specifications},\n  author={Miller, Tim and Strooper, Paul},\n  journal={ACM Transactions on Software Engineering and Methodology (TOSEM)},\n  volume={12},\n  number={4},\n  pages={409-439},\n  year={2003},\n  publisher={ACM},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/tosem04.pdf},\n  core={A*},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Supporting the software testing process through specification animation.\n \n \n \n \n\n\n \n Miller, T.; and Strooper, P.\n\n\n \n\n\n\n In Software Engineering and Formal Methods, 2003. Proceedings. First International Conference on, pages 14-23, 2003. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"Supporting$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2003supporting,\n  title={Supporting the software testing process through specification animation},\n  author={Miller, Tim and Strooper, Paul},\n  booktitle={Software Engineering and Formal Methods, 2003. Proceedings. First International Conference on},\n  pages={14-23},\n  year={2003},\n  organization={IEEE},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/sefm2003.pdf},\n  core={B},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2002\n \n \n (1)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Model-based specification animation using testgraphs.\n \n \n \n \n\n\n \n Miller, T.; and Strooper, P.\n\n\n \n\n\n\n In Formal Methods and Software Engineering, pages 192-203, 2002. Springer\n \n\n\n\n
\n\n\n\n \n \n $\"Model-based$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2002model,\n  title={Model-based specification animation using testgraphs},\n  author={Miller, Tim and Strooper, Paul},\n  booktitle={Formal Methods and Software Engineering},\n  pages={192-203},\n  year={2002},\n  publisher={Springer},\n  url={http://eprint.uq.edu.au/archive/00001035/01/svrc_02_15.pdf},\n  core={B},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n

\n \n 2001\n \n \n (2)\n \n \n

\n \n \n

\n \n\n \n \n \n \n \n \n Animation can show only the presence of errors, never their absence.\n \n \n \n \n\n\n \n Miller, T.; and Strooper, P.\n\n\n \n\n\n\n In Software Engineering Conference, 2001. Proceedings. 2001 Australian, pages 76-85, 2001. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"Animation$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2001animation,\n  title={Animation can show only the presence of errors, never their absence},\n  author={Miller, Tim and Strooper, Paul},\n  booktitle={Software Engineering Conference, 2001. Proceedings. 2001 Australian},\n  pages={76-85},\n  year={2001},\n  organization={IEEE},\n  url={http://people.eng.unimelb.edu.au/tmiller/pubs/aswec01.pdf},\n  core={Australasian},\n}\n\n

\n\n\n\n

\n\n\n

\n \n\n \n \n \n \n \n \n Combining the animation and testing of abstract data types.\n \n \n \n \n\n\n \n Miller, T.; and Strooper, P.\n\n\n \n\n\n\n In Quality Software, 2001. Proceedings. Second Asia-Pacific Conference on, pages 249-258, 2001. IEEE\n \n\n\n\n
\n\n\n\n \n \n $\"Combining$ Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n

@inproceedings{miller2001combining,\n  title={Combining the animation and testing of abstract data types},\n  author={Miller, Tim and Strooper, Paul},\n  booktitle={Quality Software, 2001. Proceedings. Second Asia-Pacific Conference on},\n  pages={249-258},\n  year={2001},\n  organization={IEEE},\n  url={http://eprint.uq.edu.au/archive/00001001/01/svrc_01_17.pdf},\n  core={B},\n}\n\n

\n\n\n\n

\n\n\n\n\n\n

\n\n\n\n\n

\n\n\n \n\n \n \n \n \n\n