Publications
Journal Articles
Dongol, Brijesh, Hayes, Ian J. and Robinson, Peter J. (2014). Reasoning about goal-directed real-time teleo-reactive programs. Formal Aspects of Computing, 26 (3), 563-589. doi: 10.1007/s00165-012-0272-1
Robinson, Peter J. and Clark, Keith L. (2010). Pedro: A publish/subscribe server using Prolog technology. Software: Practice & Experience, 40 (4), 313-329. doi: 10.1002/spe.959
Hunter, Chris, Robinson, Peter and Strooper, Paul (2004). Flexible proof reuse for software verification. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3116, 211-225. doi: 10.1007/978-3-540-27815-3_19
Utting, M., Robinson, P. J. and Nickson, R. (2002). ERGO 6: A generic proof engine that uses prolog proof technology. Journal of Computation and Mathematics, 5, 194-219. doi: 10.1112/s1461157000000759
Clark, K. and Robinson, P. J. (2002). Agents as multi-threaded logical objects. Lecture Notes in Computer Science - Computational Logic: Logic Programming and Beyond, 2407, 33-65.
Clark, K., Robinson, P. J. and Hagen, R. (2001). Multi-threading and message communication in Qu-Prolog. Theory And Practice of Logic Programming, 1 (3), 283-301.
Clark, K, Robinson, PJ and Hagen, R (1998). Programming internet based DAI applications in Qu-Prolog. Multi-agent Systems, 1544, 137-151.
Nickolas, Peter and Robinson, Peter J. (1996). The Qu-Prolog unification algorithm: formalisation and correctness. Theoretical Computer Science, 169 (1), 81-112. doi: 10.1016/S0304-3975(96)00115-6
Robinson P.J. and Staples J. (1993). Formalizing a hierarchical structure of practical mathematical reasoning. Journal of Logic and Computation, 3 (1), 47-61. doi: 10.1093/logcom/3.1.47
Conference Papers
Clark, Keith L. and Robinson, Peter J. (2017). Concurrent task programming of robotic agents in TeleoR. Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017, London, United Kingdom, 11-15 July 2017. CEUR-WS.
Clark, Keith, Hengst, Bernhard, Pagnucco, Maurice, Rajaratnam, David, Robinson, Peter, Sammut, Claude and Thielscher, Michael (2016). A framework for integrating symbolic and sub-symbolic representations. Twenty-Fifth International Joint Conference on Artificial Intelligence, New York, New York, USA, 9-15 July 2016. Palo Alto, CA., United States: A A A I Press.
Clark, Keith L and Robinson, Peter J (2015). Robotic agent programming in TeleoR. 2015 IEEE International Conference on Robotics and Automation, ICRA 2015, Washington State Convention Center Seattle, Washington, United States, 26-30 May 2015. Piscataway NJ United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/ICRA.2015.7139900
Bergmann, Neil W. and Robinson, Peter J. (2012). Server-based internet of things architecture. IEEE Consumer Communications and Networking Conference (9th, CCNC, 2012), Las Vegas, United States, 14-17 January 2012. Piscataway, NJ, United States: IEEE. doi: 10.1109/CCNC.2012.6181122
Robinson, Peter J. (2011). MyPyTutor: An interactive tutorial system for Python. Thirteenth Australasian Computing Education Conference, Perth, Australia, 17-20 January 2011. Sydney, Australia: Australian Computer Society Publications.
Chen, Kuang-Yuan, Lindsay, Peter A., Robinson, Peter J. and Abbass, Hussein A. (2009). A hierarchical conflict resolution method for multi-agent path planning. IEEE Congress on Evolutionary Computation (IEEE CEC 2009), Trondheim, NORWAY, 18-21 May 2009. Piscataway NJ USA: IEEE Press. doi: 10.1109/CEC.2009.4983078
Clark, Keith L., Robinson, Peter J. and Amboldi, Silvana Zappacosta (2006). Multi-threaded Communicating Agents in Qu-Prolog. 6th International Workshop on Computational Logic in Mult-Agent Systems (CLIMA VI), London, UK, 27-29 June, 2005. Berlin: Springer-Verlag. doi: 10.1007/11750734_11
Johnston, Wendy, Winter, Kirsten, van den Berg, Lionel, Strooper, Paul and Robinson, Peter (2006). Model-based variable and transition orderings for efficient symbolic model checking. Formal Methods 2006: 14th International Symposium on Formal Methods (FM 2006). Formal Methods for Security and Trust in Industrial Applications, Hamilton, ON, Canada, 21-27 August 2006. Heidelberg, Germany: Springer Verlag. doi: 10.1007/11813040_35
Fidge, C. J., Robinson, P. J. and Dunne, S. (2005). Refinement laws for verifying library subroutine adaptation. 2005 Australian Software Engineering Conference, Brisbane, QLD Australia, 29 March - 1 April 2005. Piscataway, NJ United States: IEEE Computer Society Press. doi: 10.1109/ASWEC.2005.40
Hunter, Chris, Robinson, Peter J. and Strooper, Paul A. (2005). Agent-based distributed software verification. Twenty Eighth Australasian Computer Science Conference (ACSC 2005), Newcastle, NSW, 30 January - 2 February, 2005. Sydney, N.S.W.: Australian Computer Society.
Winter, K., Johnston, W. R., Robinson, P. J., Strooper, P. A. and Van Den Berg, L. (2005). Tool support for checking railway interlocking designs. 10th australian Workshop on Safety Related Programmable Systems (SCS'05), Sydney, Australia, 25 -26 August 2005. Sydney, Australia: Australian Computer Society Inc.
Duczmal, Katherine, Robinson, Peter and Hanan, Jim (2005). Agent-based virtual insects. Proceedings of the Australian Undergraduate Students’ Computing Conference 2005, Canberra, Australia, 28-29 November, 2005. Canberra, ACT Australia: Australian Undergraduate Students' Computing Conference (AUSCC).
Hunter, Chris, Robinson, Peter and Strooper, Paul (2004). Flexible proof reuse for software verification. The Tenth International Conference on Algebraic Methodology and Software Technology, Stirling, Scotland, 12-16 July, 2004. Berlin: Springer-Verlag. doi: 10.1007/b98770
Robinson, Peter J., Hinchey, Mike and Clark, Keith (2003). Qu-Prolog: An implementation language for agents with advanced reasoning capabilities. 2nd International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2002, Greenbelt, MD, October 29, 2002-October 31, 2002. Springer Verlag. doi: 10.1007/978-3-540-45133-4_14
Robinson, P. J. and Shankland, C (2003). Combating infinite state using ergo. The 23rd International Conference on Formal Techniques for Networked and Distributed Systems, Berlin, 29th September-2nd October, 2003. Berlin: Springer.
Robinson, P. J., Hinchey, M. and Clark, K. (2003). Qu-Prolog: An implementation language for agents with advanced reasoning capabilities. The Second International Workshop on Formal Approaches to Agent-Based Systems, Greenbelt, MD, 29-31 October, 2003. Berlin: Springer.
Cheng, Anthony S.K., Robinson, Peter J. and Staples, John (1991). Higher level meta programming in Qu-Prolog 3.0. Logic Programming - Proceedings of the 8th International Conference, , , June 24, 1991-June 28, 1991. Publ by MIT Press.
Staples, John and Robinson, Peter J. (1987). Unification of quantified terms. Springer Verlag. doi: 10.1007/3-540-18420-1_69
Dataset Collection
Dongol, Brijesh M.S., Hayes, Ian J. and Robinson, Peter J. (2013). Prolog. The University of Queensand. (Dataset) doi: 10.14264/uql.2014.173
Department Technical Reports
Dongol, Brijesh, Hayes, Ian J. and Robinson, Peter J. (2009). Reasoning about real-time teleo-reactive programs. Technical Report SSE-2010-01. Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland.
Clark, Keith, Robinson, Peter J. and Hagen, Richard A. (1999). Multi-threading and message communication in qu-prolog. SVRC Technical Report, 99-41. Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland.
Robinson, Peter J. and Hagen, Richard A. (1999). Qu-prolog 4.3 reference manual. Technical Report SSE, 99-03. Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland.
Cook, Phil and Robinson, Peter (1999). Multi-threading in an interactive theorem prover. Technical Report SSE, 99-01. Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland.
Clark, Keith, Robinson, Peter J. and Hagen, Richard J. (1998). Multi-threading and message communication in qu-prolog. SVRC Technical Report, 98-11. Software Verification Research Centre, School of Information Technology, The University of Queensland.
Cheng, A. S. K., Robinson, P. J. and Staples, J. (1990). Higher Level Meta Programming in Qu-Prolog 3.0. Technical Report No. 90-01. Software Verification Research Centre, Department Of Computer Science, The University of Queensland.
Cheng, A. S. K., Robinson, Peter J. and Staples, J. (1990). Higher level meta programming in Qu-Prolog 3.0. SVRC Technical Report, 190. Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland.