|
Name: |
Professor M Wooldridge |
Organisation: |
University of Oxford |
Department: |
Computer Science |
Current EPSRC-Supported Research
Topics: |
|
Current EPSRC Support |
There is no current EPSRC Support |
Previous EPSRC Support |
EP/M009130/1 | Combining Qualitative and Quantitative Reasoning for Logic-based Games | (P) |
EP/E061397/1 | Logic for Automated Mechanism Design and Analysis (LAMDA) | (P) |
EP/D052548/1 | Model Checking Agent Programming Languages | (C) |
EP/E00105X/1 | LOFT06: Logic and the Foundations of Game and Decision Theory | (C) |
GR/T10657/01 | Market Based Control of Complex Computational Systems | (P) |
GR/S62727/01 | Virtual Organisations for e-Science | (P) |
GR/R60836/01 | Algorithmics for Agent Design & Verification | (C) |
GR/R27518/01 | Verifiable Languages & Protocols For Multi-Agent Systems | (P) |
GR/M07076/02 | PRACTICAL NEGOTIATION OF ELECTRONIC COMMERCE | (P) |
GR/M07076/01 | PRACTICAL NEGOTIATION OF ELECTRONIC COMMERCE | (P) |
GR/K57282/01 | PROOF METHODS FOR TEMPORAL LOGICS OF KNOWLEDGE AND BELIEF | (C) |
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
|
|
|
|