If you made any changes in Pure these will be visible here soon.

Thesis

An Argumentation-Based Approach to Normative Practical Reasoning

Author: Shams, Z., 3 May 2016

Supervisor: De Vos, M. (Supervisor) & Padget, J. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Artificial Prediction Markets for Online Prediction of Continuous Variables

Author: Jahedpari, F., 30 Jun 2016

Supervisor: De Vos, M. (Supervisor) & Padget, J. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Challenges in artificial socio-cognitive systems: A study based on intelligent vehicles

Author: Baines, V., 14 May 2015

Supervisor: Padget, J. (Supervisor) & De Vos, M. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Collision Guided Routing for Ad Hoc Mobile Wireless Networks

Author: Ba Surra, S., 24 Apr 2013

Supervisor: De Vos, M. (Supervisor), Padget, J. (Supervisor), Lewis, T. (External person) (Supervisor) & Armour, S. (External person) (Supervisor)

Student thesis: Doctoral ThesisPhD

Computational Verification of Security Requirements

Author: Bibu, G. D., 19 Nov 2014

Supervisor: Padget, J. (Supervisor), Davenport, J. (Supervisor) & De Vos, M. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Normative Conflict Detection and Resolution in Cooperating Institutions

Author: Li, T., 19 Nov 2014

Supervisor: Padget, J. (Supervisor) & De Vos, M. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Novel Functional Safety Monitoring Software in Hybrid and Electric Vehicles

Author: Botes, F., 19 Jun 2019

Supervisor: De Vos, M. (Supervisor), Akehurst, S. (Supervisor), Hillis, A. (Supervisor) & McGeoch, D. (External person) (Supervisor)

Student thesis: Doctoral ThesisPhD

Specifying and Analysing Institutions in Multi-agent Systems Using Answer Set Programming

Author: Cliffe, O., 1 Jan 2007

Supervisor: Padget, J. (Supervisor) & De Vos, M. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Superoptimisation: provably optimal code generation using answer set programming

Author: Crick, T., 1 Aug 2009

Supervisor: Fitch, J. (Supervisor) & De Vos, M. (Supervisor)

Student thesis: Doctoral ThesisPhD

File

Wireless Sensor Network Routing Protocols for Data Aggregation

Author: Pourroostaei Ardakani, S., 1 Oct 2014

Supervisor: Padget, J. (Supervisor) & De Vos, M. (Supervisor)

Student thesis: Doctoral ThesisPhD

File