Browse by SupervisorsNumber of items: 9. 2021Leask, Sam (2021) GROVE: A computationally grounded model for rational intention revision in BDI agents. PhD thesis, University of Nottingham. 2019Galimullin, Rustam (2019) Coalition announcements. PhD thesis, University of Nottingham. 2018Lawan, Abba (2018) Ontology-based knowledge representation and semantic search information retrieval: case study of the underutilized crops domain. PhD thesis, University of Nottingham. 2017Yao, Yuan (2017) Robust execution of belief-desire-intention-based agent programs. PhD thesis, University of Nottingham. 2014Nguyen, Hai Hoang (2014) Truth maintenance in knowledge-based systems. PhD thesis, University of Nottingham. Zappala, Julian (2014) Models of multi-agent decision making. PhD thesis, University of Nottingham. 2011Abdur, Rakib (2011) Verifying requirements for resource-bounded agents. PhD thesis, University of Nottingham. Nguyen, Nguyen (2011) Reasoning about resource-bounded multi-agent systems. PhD thesis, University of Nottingham. Vikhorev, Konstantin (2011) Real-time guarantees in high-level agent programming languages. PhD thesis, University of Nottingham. |