Dr Peter Robinson

School of Information Technology and Electrical Engineering
The University of Queensland
Queensland 4072 AUSTRALIA
Phone: +61 7 3365 3461; Fax: +61 7 3365 4999
email: pjr@itee.uq.edu.au



Research interests
 
Logic programming; theorem proving; intelligent agents.


Current Projects


The Qu-Prolog Logic Programming Language
Contributors:
Peter Robinson, Keith Clark (Imperial College) and Silvanna Zappacosta (Imperial College).
Description:
Qu-Prolog is an extended Prolog with built-in support for terms typically encountered in theorem proving such as quantifiers and substitutions. It is the implementation language of Ergo. Qu-Prolog is also multi-threaded and has support for high-level communication. This makes Qu-Prolog an idea language for implementing agents with advanced reasoning capabilities. The aim of this project is to maintain and further extend Qu-Prolog's capabilities in these areas. More information about Qu-Prolog can be found at the Qu-Prolog home page.
Project Outputs:

The Ergo Interactive Theorem Prover
Contributors:
Peter Robinson
Description:
Ergo is a generic Sequent Calculus interactive theorem prover. It is capable of supporting both classical and modal logics. It is intented that Ergo be used by other research projects requiring formal reasoning. The aim of this project is to maintain and develop Ergo and to further extend the current theories and tactics. More information about Ergo can be found at the Ergo home page.
Project Outputs:

The Pedro Subscription/Notification Communications System
Contributors:
Peter Robinson
Description:
Pedro is a subscription/notification system that also supports peer-to-peer communication. The high-level communication used in Qu-Prolog is now based on Pedro. More information about Pedro can be found at the Pedro home page.
Project Outputs:

The Qulog/TeleoR Programming Language
Contributors:
Peter Robinson, Keith Clark
Description:
QuLog is a higher-order logic/functional/string processing language with an imperative rule language sitting on top, defining actions. QuLog's action rules are used to program multi-threaded communicating agent behaviour. Its declarative subset is used for the agent's belief store. The language is flexibly typed and allows a combination of compile time and run-time type checking.

The TeleoR extension allows program files to be consulted containing TeleoR (Teleo-Reactive) procedures as well as QuLog rules.

More information about Qulog can be found at the Qulog/TeleoR home page.

Project Outputs:

Kivy on Android

Here are some thoughts on using the Kivy library on Android phones.