- Name:
- Peter Robinson
- Affiliation:
- School of Information Technology and Electrical Engineering
- Email Address:
- pjr@itee.uq.edu.au
- Location:
- room 304, bld 78
- Phone:
- 3365 3461
- URL:
- http://www.itee.uq.edu.au/~pjr
- Research Interests:
- Logic programming, interactive theorem proving, intelligent agents.
PJR-PB
- Project Title:
- Proof browsing
- Keywords:
- Theorem provers, GUI
- Units:
- #8
- Availability:
- Prerequisites:
- Some background in HCI and formal proof desirable.
- Joint supervisor:
- ???
- Description:
- This project will investigate GUIs for browsing proofs produced by the Ergo theorem prover.
PJR-IA
- Project Title:
- Intelligent Agents
- Keywords:
- Agents, Threads, Communication
- Units:
- #8
- Availability:
- Prerequisites:
- Some background in logic programming, threads, communications is desirable.
- Joint supervisor:
- ???
- Description:
- This project is interested in architectures and uses of intelligent agents. The project will investigate applications of intelligent agents within the intelligent building project.