• Login
• Admin

A

Abdur, Rakib (2011) Verifying requirements for resource-bounded agents. PhD thesis, University of Nottingham.

G

Galimullin, Rustam (2019) Coalition announcements. PhD thesis, University of Nottingham.

L

Lawan, Abba (2018) Ontology-based knowledge representation and semantic search information retrieval: case study of the underutilized crops domain. PhD thesis, University of Nottingham.

Leask, Sam (2021) GROVE: A computationally grounded model for rational intention revision in BDI agents. PhD thesis, University of Nottingham.

N

Nguyen, Hai Hoang (2014) Truth maintenance in knowledge-based systems. PhD thesis, University of Nottingham.

Nguyen, Nguyen (2011) Reasoning about resource-bounded multi-agent systems. PhD thesis, University of Nottingham.

V

Vikhorev, Konstantin (2011) Real-time guarantees in high-level agent programming languages. PhD thesis, University of Nottingham.

Y

Yao, Yuan (2017) Robust execution of belief-desire-intention-based agent programs. PhD thesis, University of Nottingham.

Z

Zappala, Julian (2014) Models of multi-agent decision making. PhD thesis, University of Nottingham.