Publications

Published Papers involving James Harland

John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith, Suspending and Resuming Tasks in BDI Agents, Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'08), Lisbon, May, 2008.
James Harland and Prabhu Manyem (eds.), Theory of Computing 2008, Proceedings of Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, January, 2008.
Daryl D'Souza, Margaret Hamilton, James Harland, Peter Muir, Charles Thevathayan and Cecily Walker, Transforming Learning of Programming: A Mentoring Project, Proceedings of the Tenth Australasian Computing Education Conference (ACE2008), Wollongong, January, 2008.
Ken Gardiner, James Harland and Margaret Hamilton, A Framework for the Evolution of Genes and a Genetic Code with an Artificial Reaction Set, Proceedings of the Third Australian Conference on Artificial Life (ACAL'07) , Gold Coast, December, 2007.
Nalaka Gooneratne, Zahir Tari and James Harland, Matching Strictly Dependent Global Constraints for Composite Web Services, Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS'07) , Halle, November, 2007.
James Harland, John Thangarajah, and Neil Yorke-Smith, A CSP Model for Goal Deliberation in a BDI Agent, Proceedings of the Sixth International Workshop on Constraint Modelling and Reformulation (ModRef'07) , Providence, September, 2007.
Min Xu, Lin Padgham, Aloys Mbala, and James Harland, Tracking Reliability and Helpfulness in Agent Interactions, International Journal of Web Intelligence and Agent Systems 5:1:31-46 , 2007.
Quam Duc Pham, James Harland and Michael Winikoff, Modelling Agent's Choices in Temporal Linear Logic, Proceedings of the AAMAS'07 Workshop on Declarative Agent Languages and Technologies (DALT'07), Hawaii, May, 2007.
Quam Duc Pham and James Harland, Temporal Linear Logic as a Basis for Flexible Agent Interactions, Proceedings of the Sixth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'07), Hawaii, May, 2007.
John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith, Aborting Tasks in BDI Agents, Proceedings of the Sixth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'07), Hawaii, May, 2007.
Nalaka Gooneratne, Zahir Tari and James Harland, Verification of Web Service Descriptions using Graph-based Traversal Algorithms, Proceedings of the 22nd Annual ACM Symposium on Applied Computing, March, 2007.
Lavindra de Silva, Anthony Dekker and James Harland, Planning with Time Limits in BDI Agent Programming Languages, Proceedings of Computing: the Australasian Theory Symposium (CATS'07) 131-139, Ballarat, January, 2007. Published as Volume 65 - Theory of Computation 2007 of the ACS Conferences in Research and Practice in Information Technology (CRPIT) series.
James Harland, Analysis of Busy Beaver Machines via Induction Proofs, Proceedings of Computing: the Australasian Theory Symposium (CATS'07) 71-78, Ballarat, January, 2007. Published as Volume 65 - Theory of Computation 2007 of the ACS Conferences in Research and Practice in Information Technology (CRPIT) series.
Simon Duff, James Harland and John Thangarajah, On Proactivity and Maintenance Goals, Proceedings of the Fifth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'06), Hakodate, May, 2006.
Quam Duc Pham and James Harland, Flexible agent protocols via temporal and resource-based reasoning (short paper), Proceedings of the Fifth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'06), Hakodate, May, 2006.
Tatjana Lutovac and James Harland, Detecting Loops During Proof Search in Propositional Affine Logic, Journal of Logic and Computation 16:1:61-133, February, 2006.
James Harland, The Busy Beaver, the Placid Platypus and Other Crazy Creatures, Proceedings of Computing: the Australasian Theory Symposium (CATS'06), Hobart, January, 2006. Published as Volume 51 - Theory of Computation 2006 of the ACS Conferences in Research and Practice in Information Technology (CRPIT) series.
Tatjana Lutovac and James Harland, A Redundancy Analysis of Sequent Proofs, Proceeedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux '05), Koblenz, September, 2005.
Tatjana Lutovac and James Harland, Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics, Proceeedings of the IJCAR'04 Workshop on Strategies in Automated Deduction, Electronic Notes in Theoretical Computer Science Volume 125(2):115-147, 2005. (This paper is an expanded and revised version of the paper that appeared in the workshop proceedings).
Michael Winikoff, Wei Liu and James Harland, Enhancing Commitment Machines Proceedings of the workshop on Declarative Agent Languages and Technologies (DALT) held at AAMAS'04, 2005. (This paper is an expanded and revised version of the paper that appeared in the workshop proceedings).
Vu Binh Tran, James Harland and Margaret Hamilton, Expectation Reasoning using Regret and Disappointment , Proceedings of the European Conference on Artificial Intelligence (ECAI'04), Valencia, August, 2004.
Michael Winikoff, Wei Liu and James Harland, Enhancing Commitment Machines , Proceedings of the AAMAS'04 Workshop on Declarative Agent Languages and Technologies (DALT'04), New York, July, 2004. This paper is superceded by the revised and expanded version which will appear in the workshop post-proceedings.
Tatjana Lutovac and James Harland, Detecting Loops During Proof Search in Propositional Affine Logic, Proceedings of the LICS'04 Workshop on Logics for Resources, Processes and Programs,Turku, July, 2004.
James Harland and David Pym, Proof-theoretic Infinitary Computations (Extended Abstract), Proceedings of the LICS'04 Workshop on Logics for Resources, Processes and Programs, Turku, July, 2004.
Tatjana Lutovac and James Harland, Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics, Proceedings of the IJCAR'04 Workshop on Strategies in Automated Deduction, Cork, July, 2004. This paper is superceded by the revised and expanded version which has appeared in the workshop post-proceedings.
Vu Binh Tran, James Harland and Margaret Hamilton, Observation Expectation Reasoning in Agent Systems, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR'04), Whistler, June, 2004.
James Harland and Michael Winikoff, Agents via Mixed-mode Computation in Linear Logic, Annals of Mathematics in Artificial Intelligence 42(1-3):167-196, 2004. (Postscript)
Toan Phung, Seng Loke and James Harland, Adding Flexibility Using Structured Goals: the Case of Itinerant Mobile Agents, short paper accepted for the IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), Halifax, October, 2003.
Vu Binh Tran, James Harland and Margaret Hamilton, A Combined Logic of Expectation and Observation: A Generalisation of BDI Logics, Proceeedings of the AAMAS'03 Workshop on Declarative Agent Languages and Technologies, Melbourne, July, 2003.
Vu Binh Tran, James Harland and Margaret Hamilton, Expectation: the Logic of Flexible Motivation (poster) Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2003), Melbourne, July, 2003.
James Harland (ed.), Proceedings of Computing: the Australasian Theory Symposium (CATS'03), Adelaide, February, 2003. Published as Volume 78 of Electronic Notes in Theoretical Computer Science.
James Harland, Margaret Hamilton and Lin Padgham, Experiences in Teaching Computing Theory via Aspects of Problem-Based Learning, Proceedings of the Fifth Australasian Computing Education Conference (ACE'03), Adelaide, February, 2003. Published as Volume 20 - Computing Education 2003 of the ACS Conferences in Research and Practice in Information Technology (CRPIT) series.
James Harland and David Pym, Resource-distribution via Boolean constraints, ACM Transactions on Computational Logic, 4:1:56-90 January, 2003. The original submission is also available from the Computing Research Repository under the Logic in Computer Science subject.
James Harland and Michael Winikoff, Language Design Issues for Agents based on Linear Logic (Extended Abstract), Proceedings of the International Workshop on Computational Logic in Multi-agent Systems, Copenhagen, August, 2002. Published in Volume 70 of Electronic Notes in Theoretical Computer Science.
James Harland and Michael Winikoff, Agent Negotiation as Proof Search in Linear Logic (poster),y Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, July, 2002. (Postscript)
Michael Winikoff, Lin Padgham, James Harland, and John Thangarajah, Declarative and Procedural Goals in Intelligent Agent Systems, Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, April, 2002. (Postscript)
John Thangarajah, Lin Padgham and James Harland, Representing and Reasoning for Goals in BDI Agents, Proceedings of the Australasian Conference on Computer Science, Melbourne, January, 2002. (Postscript)
Omar Rana, Michael Winikoff, Lin Padgham, and James Harland, Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids, Proceedings of the Australasian Conference on Computer Science, Melbourne, January, 2002. (Postscript) (PDF)
James Harland (ed.), Proceedings of Computing: the Australasian Theory Symposium (CATS'02), Melbourne, January, 2002. Published as Volume 61 of Electronic Notes in Theoretical Computer Science.
Michael Winikoff, Lin Padgham and James Harland, Simplifying the Development of Intelligent Agents, Proceedings of the Australian Joint Conference on Artificial Intelligence, Adelaide, December, 2001. (Postscript)
James Harland and Michael Winikoff, Agents via Mixed-mode Computation in Linear Logic: A Proposal, Proceedings of the ICLP'01 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-01), Paphos, December, 2001. (gzip'ed Postscript) (Postscript)
James Harland, An Algebraic Approach to Proof Search in Sequent Calculi, short paper presented at the International Joint Conference on Automated Reasoning, Siena, July, 2001. (Postscript)
Abdullah-Al Amin, Michael Winikoff and James Harland, Agent-Oriented Programming in Linear Logic: An Example, Proceeedings of the Sixth Pacific Rim Conference on Artificial Intelligence (PRICAI) 817, Melbourne, August, 2000. Published as Lecture Notes in AI 1886, Mizoguchi & Slaney (eds.), Springer. (Postscript)
James Harland, Tatjana Lutovac, Michael Winikoff, Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic, Proceedings of the First International Conference on Computational Logic 254-268, London, July, 2000. Published as Lecture Notes in AI 1861, Lloyd et al. (eds.), Springer. (Postscript)
James Harland, David Pym and Michael Winikoff, Forward and Backward Chaining in Linear Logic , Proceedings of the CADE-17 Workhop on Proof-Search in Type-Theoretic Systems, Pittsburgh, June, 2000. Published as Electronic Notes in Theoretical Computer Science, volume 37, 2000. (Postscript)
James Harland, Tatjana Lutovac, Michael Winikoff, On Goal-Directed Proofs in Multiple-Conclusioned Intuitionistic Logic , Proceedings of the Australasian Workshop on Computational Logic 135-144, Canberra, February, 2000. (Postscript)
James Harland and Michael Winikoff, Making Logic Programs Reactive, Proceedings of the JICSLP'98 Workshop on Transactions and Change in Logic Databases (Dynamics'98) 43-58, Manchester, June, 1998. (Postscript) (Abstract)
Tatjana Lutovac and James Harland, Strategies for Logic Programming Languages, Proceedings of the CADE14 Workshop on Strategies in Automated Deduction, Townsville, July, 1997. (Postscript) (Abstract)
Lawrence Cavedon, James Harland and Lin Padgham, Problem Based Learning with Technological Support in an AI Subject: Description and Evaluation, Proceedings of the Second Australasian Conference on Computer Science Education, Melbourne, July, 1997. (Postscript)
Lawrence Cavedon, Daryl D'Souza, James Harland, Sheila Howell and Lin Padgham, Combining Problem Based Learning with Technological Support, Problem-based Learning: Theory, Practice and Research, Special Issue of the Austrian Journal of Higher Education on Problem-based Learning 132-147, July, 1997.
Tatjana Lutovac and James Harland, Towards the Automation of the Design of Logic Programming Languages, Technical Report 97-30, Department of Computer Science, RMIT, April,1997. (Postscript) (Abstract)
James Harland (ed.), Proceedings of Computing: the Australasian Theory Symposium, Sydney, February, 1997.
James Harland and David Pym, Resource-Distribution via Boolean Constraints (Extended Abstract), Proceedings of the Fourteenth International Conference on Automated Deduction (CADE-14), Townsville, July, 1997. (Postscript) (Abstract)
Tatjana Lutovac and James Harland, Contributions to Strategies and Heuristics for Automatic Theorem Proving in Mathematics, Proceedings of the Twentieth Australasian Computer Science Conference 46-55, Sydney, February, 1997. (Abstract)
James Harland, David Pym and Michael Winikoff, Programming in Lygon: A System Demonstration, Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology 599, Munich, July, 1996. (Postscript) (Abstract)
James Harland On Goal-Directed Provability in Classical Logic, Computer Languages 23(2-4):161-178, December, 1997. (Abstract)
James Harland, David Pym and Michael Winikoff, Programming in Lygon: An Overview, Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology 391-405, Munich, July, 1996. (Postscript) (Abstract)
Michael Winikoff and James Harland, Some Applications of the Linear Logic Programming Language Lygon, Proceedings of the Australasian Computer Science Conference 262-271, Melbourne, January, 1996. (Postscript) (Abstract)
James Harland and David Pym (eds.), Proceedings of the ILPS'95 Workshop on Operational and Denotational Semantics of Logic Programs, Portland, Oregon, December, 1995.
James Harland, Some Issues in the Operational Semantics of Logic Programs, Proceedings of the ILPS'95 Workshop on Operational and Denotational Semantics of Logic Programs 1-10, Portland, Oregon, December, 1995. (Postscript)
Michael Winikoff and James Harland, Implementing the Linear Logic Programming Language Lygon, Proceedings of the International Logic Programming Symposium 66-80, Portland, Oregon, December, 1995. (Postscript) (Abstract)
James Harland, David Pym and Michael Winikoff, Programming in Lygon: An Overview, Proceedings of the International Logic Programming Symposium 636, Portland, Oregon, December, 1995. (Postscript)
Michael Winikoff and James Harland, Implementation and Development Issues for the Linear Logic Programming Language Lygon, Proceedings of the Eighteenth Australasian Computer Science Conference 562-573, Adelaide, February, 1995. (Postscript) (Abstract)
James Harland, On Goal-Directed Provability in Classical Logic, Proceedings of the Workshop on Proof-Theoretical Extensions of Logic Programming 10-18, Santa Margherita Ligure, June, 1994. (Postscript)
James Harland, Towards a Sequent Calculus for Negation as Failure, Proceedings of the Workshop on Proof-Theoretical Extensions of Logic Programming 19-27, Santa Margherita Ligure, June, 1994. (Postscript)
James Harland and David Pym, A Uniform Proof-Theoretic Investigation of Linear Logic Programming, Journal of Logic and Computation 4:2:175-207, April, 1994. (Postscript) (Abstract)
Jayen Vaghani, Kotagiri Ramamohanarao, David Kemp, Zoltan Somogyi, Peter Stuckey, Tim Leask and James Harland, The Aditi Deductive Database System, VLDB Journal 3:2:245-288, April, 1994. (Postscript) (Abstract)
Kotagiri Ramamohanarao and James Harland, An Introduction to Deductive Database Languages and Systems, VLDB Journal 3:2:107-122, April, 1994. (Postscript)
James Harland and Kotagiri Ramamohanarao, An Aditi Implementation of a Flights Database, in Applications of Logic Databases, Raghu Ramakrishnan (ed.), Kluwer Academic, 1994. (Postscript) (Abstract)
Zoltan Somogyi, David Kemp, James Harland and Kotagiri Ramamohanarao, Subsumption-free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures, Proceedings of the International Conference on Extending Database Technology , Cambridge, March, 1994. (Postscript) (Abstract)
James Harland, A Proof-Theoretic Analysis of Goal-Directed Provability, Journal of Logic and Computation 4:1:69-88, January, 1994. (Postscript) (Abstract)
James Harland and David Pym, A Note on the Implementation and Applications of Linear Logic Programming Languages, Proceedings of the Seventeenth Annual Computer Science Conference 647-658, Christchurch, January, 1994. (Postscript) (Abstract)
James Harland, Success and Failure for Hereditary Harrop Formulae, Journal of Logic Programming 17:1:1-29, October, 1993. (Postscript) (Abstract)
James Harland and Kotagiri Ramamohanarao, Constraint Propagation for Linear Recursive Rules, Proceedings of the International Conference on Logic Programming 683-699, Budapest, June, 1993. (Postscript) (Abstract)
James Harland, On Normal Forms and Equivalence for Logic Programs, Proceedings of the Joint International Conference and Symposium on Logic Programming 146-160, Washington DC, November, 1992. (Postscript) (Abstract)
James Harland and David Pym, On Resolution in Fragments of Classical Linear Logic, Proceedings of the Russian Conference on Logic Programming and Automated Reasoning 30-41, St. Petersburg, July, 1992. Published as Lecture Notes in Artificial Intelligence 624, Springer-Verlag, 1992. (Postscript) (Abstract)
James Harland and Kotagiri Ramamohanarao, Constraints for Query Optimization in Deductive Databases, Proceedings of the Second Far-East Workshop on Future Database Systems 332-336, Kyoto, April, 1992. (Postscript) (Abstract)
James Harland, A Proof-theoretic Analysis of Goal-Directed Provability, Proceedings of the Fifteenth Australian Computer Science Conference 337-349, Hobart, January, 1992. Published as Australian Computer Science Communications:14:1, 1992. (Postscript) (Abstract)
James Harland and David Pym, The Uniform Proof-Theoretic Foundation of Linear Logic Programming (Extended Abstract) , Proceedings of the International Logic Programming Symposium 304-318, San Diego, October, 1991. (Postscript) (Abstract)
James Harland, A Clausal Form for the Completion of Logic Programs, Proceedings of the International Conference on Logic Programming 711-725, Paris, June, 1991. (Postscript) (Abstract)
James Harland, Structural Properties of Logic Programs, Proceedings of the Fourteenth Australian Computer Science Conference, Sydney, February, 1991. Published as Australian Computer Science Communications:13:1, 1991. (Postscript) (Abstract)
James Harland, A Kripke-like Model for Negation as Failure, Proceedings of the North American Conference on Logic Programming 626-642, Cleveland, October, 1989. (Postscript) (Abstract)
James Harland and Joxan Jaffar, On Parallel Unification for Prolog, New Generation Computing 5:3:259-279, December, 1987.