|
2020 Conference Publication Implicit Coordination Using FOND PlanningEngesser, Thorsten and Miller, Tim (2020). Implicit Coordination Using FOND Planning. 34th AAAI Conference on Artificial Intelligence / 32nd Innovative Applications of Artificial Intelligence Conference / 10th AAAI Symposium on Educational Advances in Artificial Intelligence, New York Ny, Feb 07-12, 2020. PALO ALTO: ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. |
|
2019 Journal Article XAI—Explainable artificial intelligenceGunning, David, Stefik, Mark, Choi, Jaesik, Miller, Timothy, Stumpf, Simone and Yang, Guang-Zhong (2019). XAI—Explainable artificial intelligence. Science Robotics, 4 (37). doi: 10.1126/scirobotics.aay7120 |
|
2019 Conference Publication Motivational Modelling in Software for Homelessness: Lessons from an Industrial StudyBurrows, Rachel, Lopez-Lorca, Antonio, Sterling, Leon, Miller, Tim, Mendoza, Antonette and Pedell, Sonja (2019). Motivational Modelling in Software for Homelessness: Lessons from an Industrial Study. 2019 IEEE 27th International Requirements Engineering Conference (RE), Jeju, Korea, 23-27 September 2019. Piscataway, NJ United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/re.2019.00039 |
|
2019 Journal Article Explanation in artificial intelligence: insights from the social sciencesMiller, Tim (2019). Explanation in artificial intelligence: insights from the social sciences. Artificial Intelligence, 267, 1-38. doi: 10.1016/j.artint.2018.07.007 |
|
2018 Conference Publication Combining Planning with Gaze for Online Human Intention RecognitionSingh, Ronal, Miller, Tim, Newn, Joshua, Sonenberg, Liz, Velloso, Eduardo and Vetere, Frank (2018). Combining Planning with Gaze for Online Human Intention Recognition. IEEE Computer Society. doi: 10.65109/dwiy4771 |
|
2018 Journal Article Explaining Explanation, Part 4: A Deep Dive on Deep NetsHoffman, Robert, Miller, Tim, Mueller, Shane T., Klein, Gary and Clancey, William J. (2018). Explaining Explanation, Part 4: A Deep Dive on Deep Nets. Ieee Intelligent Systems, 33 (3), 87-95. doi: 10.1109/MIS.2018.033001421 |
|
2018 Book Chapter Social Planning for Trusted AutonomyMiller, Tim, Pearce, Adrian R. and Sonenberg, Liz (2018). Social Planning for Trusted Autonomy. Foundations of Trusted Autonomy. (pp. 67-86) Cham, Switzerland: Springer. doi: 10.1007/978-3-319-64816-3_4 |
|
2017 Journal Article A framework for automatically ensuring the conformance of agent designsAbushark, Yoosef, Thangarajah, John, Harland, James and Miller, Tim (2017). A framework for automatically ensuring the conformance of agent designs. Journal of Systems and Software, 131, 266-310. doi: 10.1016/j.jss.2017.05.098 |
|
2017 Journal Article Sustainability is possible despite greed - Exploring the nexus between profitability and sustainability in common pool resource systemsvon der Osten, Friedrich Burkhard, Kirley, Michael and Miller, Tim (2017). Sustainability is possible despite greed - Exploring the nexus between profitability and sustainability in common pool resource systems. Scientific Reports, 7 2307. doi: 10.1038/s41598-017-02151-y |
|
2017 Journal Article Methods for Supporting Older Users in Communicating Their Emotions at Different Phases of a Living Lab ProjectPedell, Sonja, Keirnan, Alen, Priday, Gareth, Miller, Tim, Mendoza, Antonette, Lopez-Lorca, Antonio and Sterling, Leon (2017). Methods for Supporting Older Users in Communicating Their Emotions at Different Phases of a Living Lab Project. Technology Innovation Management Review, 7 (2), 7-19. |
|
2017 Journal Article Logics of Common GroundMiller, Tim, Pfau, Jens, Sonenberg, Liz and Kashima, Yoshihisa (2017). Logics of Common Ground. Journal of Artificial Intelligence Research, 58, 859-904. doi: 10.1613/jair.5381 |
|
2016 Journal Article Requirements specification via activity diagrams for agent-based systemsAbushark, Yoosef, Miller, Tim, Thangarajah, John, Winikoff, Michael and Harland, James (2016). Requirements specification via activity diagrams for agent-based systems. Autonomous Agents and Multi-Agent Systems, 31 (3), 423-468. doi: 10.1007/s10458-016-9327-7 |
|
2016 Conference Publication 'Knowing Whether' in Proper Epistemic Knowledge BasesMiller, Tim, Felli, Paolo, Muise, Christian, Pearce, Adrian R. and Sonenberg, Liz (2016). 'Knowing Whether' in Proper Epistemic Knowledge Bases. 30th Association-for-the-Advancement-of-Artificial-Intelligence (AAAI) Conference on Artificial Intelligence, Phoenix Az, Feb 12-17, 2016. PALO ALTO: ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. |
|
2015 Journal Article Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systemsMiller, Tim, Pedell, Sonja, Lopez-Lorca, Antonio A., Mendoza, Antonette, Sterling, Leon and Keirnan, Alen (2015). Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systems. Journal of Systems and Software, 105, 54-71. doi: 10.1016/j.jss.2015.03.044 |
|
2015 Conference Publication Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based ModelsAbushark, Yoosef, Thangarajah, John, Miller, Tim, Harland, James and Winikoff, Michael (2015). Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Istanbul Turkey, May 04-08, 2015. NEW YORK: ASSOC COMPUTING MACHINERY. |
|
2015 Conference Publication Computing Social Behaviours Using Agent ModelsFelli, Paolo, Miller, Tim, Muise, Christian, Pearce, Adrian R. and Sonenberg, Liz (2015). Computing Social Behaviours Using Agent Models. 1st International Workshop on Social Influence Analysis / 24th International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires Argentina, Jul 25-31, 2015. FREIBURG: IJCAI-INT JOINT CONF ARTIF INTELL. |
|
2015 Conference Publication Planning Over Multi-Agent Epistemic States: A Classical Planning ApproachMuise, Christian, Belle, Vaishak, Felli, Paolo, McIlraith, Sheila, Miller, Tim, Pearce, Adrian R. and Sonenberg, Liz (2015). Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. 29th Association-for-the-Advancement-of-Artificial-Intelligence (AAAI) Conference on Artificial Intelligence, Austin Tx, Jan 25-30, 2015. PALO ALTO: ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. |
|
2015 Conference Publication Proper Epistemic Knowledge Bases Efficient Reasoning with ConsistentMuise, Christian, Miller, Tim, Felli, Paolo, Pearce, Adrian R. and Sonenberg, Liz (2015). Proper Epistemic Knowledge Bases Efficient Reasoning with Consistent. 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Istanbul Turkey, May 04-08, 2015. NEW YORK: ASSOC COMPUTING MACHINERY. |
|
2014 Journal Article Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround SimulatorMiller, Tim, Bin Lu, , Sterling, Leon, Beydoun, Ghassan and Taveter, Kuldar (2014). Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround Simulator. IEEE Transactions on Software Engineering, 40 (10), 1007-1024. doi: 10.1109/tse.2014.2339827 |
|
2014 Conference Publication Checking Consistency of Agent Designs Against Interaction Protocols for Early-Phase Defect LocationAbushark, Yoosef, Thangarajah, John, Miller, Tim and Harland, James (2014). Checking Consistency of Agent Designs Against Interaction Protocols for Early-Phase Defect Location. International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Paris France, May 05-09, 2014. NEW YORK: ASSOC COMPUTING MACHINERY. |
