Publications

Published Papers involving James Harland

James Harland, Generating Candidate Busy Beaver Machines (or How to Build the Zany Zoo), Theoretical Computer Science 922:368-394, 2022. Available online here doi:doi.org/10.1016/j.tcs.2022.04.040
James Harland, John Thangarajah, and Neil Yorke-Smith, Quantifying the Progress of Goals in Intelligent Agents, Journal of Agent-Oriented Software Engineering 7(2):108-151, 2022. DOI
Nasser Alzahrani, Maria Spichkova, and James Harland, Application of Property-based Testing Tools for Metamorphic Testing, Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, {ENASE} 553--560, April, 2022. DOI
Maria Spichkova, Tawfeeq Alsanoosy, and James Harland, Impact of Organisational Culture on the Requirement Engineering Activities, IEEE 29th International Requirements Engineering Conference (RE) 426-427, 2021. DOI
Tawfeeq Alsanoosy, Maria Spichkova and James Harland, Identification of Cultural Influences on Requirements Engineering Activities, Companion Proceedings of the 42nd International Conference onf Software Engineering 290-291, June, 2020. DOI
Tawfeeq Alsanoosy, Maria Spichkova and James Harland, Cultural influence on requirements engineering activities: a systematic literature review and analysis, Requirements Engineering 25(3):339-362, 2020. DOI
Tawfeeq Alsanoosy, Maria Spichkova and James Harland, Does our Culture Influence Requirements Engineering Activities? Vietnamese Practitioners’ View, IEEE 28th International Requirements Engineering Conference 394-395, August, 2020. DOI
Tawfeeq Alsanoosy, Maria Spichkova and James Harland, Formal vs. Case-study-based Approaches for the Identification of Cultural Influences in Requirements Engineering, Proceedings of the Evaluation and Assessment in Software Engineering (EASE), 354-359, 2020. DOI
Tawfeeq Alsanoosy, Maria Spichkova and James Harland, Exploratory Analysis of Cultural Influences on Requirements Engineering Activities Based on Stakeholders’ Profile, Procedia Computer Science 176:3379-3388, 2020. DOI
Tawfeeq Alsanoosy, Maria Spichkova and James Harland, A Framework for Identifying Cultural Influences on Requirements Engineering Activities, Proceedings of the 24th Pacific Asia Conference on Information Systems 241, 2020.
Jessica Rivera-Villicana, Fabio Zambetta, James Harland and Marsha Berry, Exploring Apprenticeship Learning for Player MOdelling in Interactive Narratives, CHI PLAY'19: Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play Companion, 645-652, October, 2019. DOI
Tawfeeq Alsanoosy, Maria Spichkova and James Harland, The influence of power distance on requirements engineering activities, Procedia Computer Science 159, pages 2394-2403, 2019.
Tawfeeq Alsanoosy, Maria Spichkova and James Harland, Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice, Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems (ICECCS'2018) pages 61-70, Melbourne, December, 2018.
Jessica Rivera-Villicana, Fabio Zambetta, James Harland and Marsha Berry, Informing a BDI Player Model for an Interactive Narrative, Proceedings of the ACM CHI PLAY Conference pages 417-428, Melbourne, October, 2018.
Alexandra Uitdenbogerd, Kath Lynch, James Harland, Charles Thevathayan, Margaret Hamilton, Daryl D'Souza and Sarah Zydervelt, IELTS: Student and supervisor perceptions of writing competencies for a Computer Science PhD, IELTS Research Reports Online Series No. 1, British Council, Cambridge Assessment English and IDP: IELTS Australia, 2018.
Tawfeeq Alsanoosy, Maria Spichkova and James Harland, A Detailed Analysis of the Influence of Saudi Arabia Culture on the Requirement Engineering Process, Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-300-1, pages 240-260, 2018.DOI
Yoosef Abushark, John Thangarajah, James Harland and Tim Miller, A framework for Automatically Ensuring the Conformance of Agent Designs, Journal of Systems and Software Volume 31, September, 2017. DOI
Jessica Rivera-Villicana, Fabio Zambetta, James Harland and Marsha Berry, Using BDI to Model Players Behaviour in an Interactive Fiction Game, Proceedings of the Ninth International Conference on Interactive Digital Storytelling (ICIDS), Los Angeles, November, 2016.
Maria Spichkova, James Harland and Ahmed Alharthi, Online Support System for Transnational Education, Proceedings of the International Conference on Engineering Education and Research, Sydney, September, 2016.
Jessica Rivera-Villicana, Fabio Zambetta, James Harland and Marsha Berry, A BDI Player Model for Interactive Narratives, Proceedings of the European Conference on Artificial Intelligence,The Hague, August, 2016.
James Harland, Busy Beaver Machines and the Observant Otter Heuristic (or How to Tame Dreadful Dragons), Theoretical Computer Science 646:61-85, 2016. Available here doi:10.1016/j.tcs.2016.07.016
Yoosef Abushark, John Thangarajah, Tim Miller, Michael Winikoff, and James Harland, Requirements Specification in The Prometheus Methodology via Activity Diagrams, Proceedings of the Fourteenth International Conference on Autonomous Agents and Multi-Agent Systems 1247-1248, Singapore, May, 2016.
James Harland, Jan Olaf Blech, Ian Peake and Luke Trodd, Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation, Proceedings of the ENASE Special Session on Collaborative Aspects of Formal Methods (COLAFORM 2016), Rome, April, 2016.
Yoosef Abushark, John Thangarajah, Tim Miller, Michael Winikoff, and James Harland, Requirements specification via Activity Diagrams for Agent-based Systems, Journal of Autonomous Agents and Multi-Agent Systems. Published online February, 2016. doi:10.1007/s10458-016-9327-7.
James Harland, David Morley, John Thangarajah, and Neil Yorke-Smith, Aborting, Suspending and Resuming Goals in BDI Agents, Journal of Autonomous Agents and Multi-Agent Systems. Published online December 11, 2015. DOI
Dip Nandi, Margaret Hamilton, James Harland, and Sharfuddin Mahmood, Investigation of Participation and Quality of Online Interaction, International Journal of Modern Education and Computer Science 7(8):25-37, 2015. Available here
John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith, Estimating the Progress of Maintenance Goals (short paper), Proceedings of the Fourteenth International Conference on Autonomous Agents and Multi-Agent Systems, Istanbul, May, 2015.
Yoosef Abushark, John Thangarajah, Tim Miller, James Harland, and Michael Winikoff, Early Detection of Design Faults Relative to Requirement Specifications in Agent-based Models, Proceedings of the Fourteenth International Conference on Autonomous Agents and Multi-Agent Systems, Istanbul, May, 2015.
Simeon Visser, John Thangarajah, James Harland, and Frank Dignum, Preference-based reasoning in BDI Agent Systems, Journal of Autonomous Agents and Multi-Agent Systems 30(2):291-300, 2016. DOI
Keith Foster, Daryl D'Souza, Margaret Hamilton and James Harland, Repository of Wisdom : Automated Support for Composing Programming Exams, Proceedings of the Seventeenth Australasian Computing Education Conference (ACE), Sydney, January, 2015.
Yoosef Abushark, Michael Winikoff, Tim Miller, James Harland, John Thangarajah, Checking The Correctness of Agent Designs Against Model-Based Requirements (short paper), Proceedings of the Twenty-first European Conference on Artificial Intelligence (ECAI), Prague, August, 2014.
John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith , Quantifying the Completeness of Goals in BDI Agent Systems, Proceedings of the Twenty-first European Conference on Artificial Intelligence (ECAI), Prague, August, 2014.
Yoosef Abushark, Tim Miller, John Thangarajah and James Harland, Checking Consistency of Agent Designs against Interaction Protocols for Early-Phase Defect Location, Proceedings of the Thirteenth International Conference on Autonomous Agents and Multi-Agent Systems, Paris, May, 2014.
John Thangarajah, James Harland, David Morley, and Neil Yorke-Smith , Quantifying the Completeness of Goals in BDI Agent Systems (short paper), Proceedings of the Thirteenth International Conference on Autonomous Agents and Multi-Agent Systems, Paris, May, 2014.
Arnold Pears, Roger Hadgraft, James Harland and Margaret Hamilton, Four Feed-forward Principles Enhance Students' Perception of Feedback as Meaningful, Proceedings of the IEEE Learning and Teaching in Computing and Engineering Conference (LaTiCE), Kuching, April, 2014.
Margaret Hamilton, Daryl D'Souza, James Harland and Erica Rosalina, Repository of Wisdom: A database for storing and retrieving classified and benchmarked exam questions for introductory programming courses, Proceedings of the 23rd Australasian Software Engineering Conference (ASWEC), Sydney, April, 2014.
James Harland, David Morley, John Thangarajah, and Neil Yorke-Smith, An Operational Semantics for the Goal Life-Cycle in BDI Agents, Journal of Autonomous Agents and Multi-Agent Systems 28(4):682-719, July 2014. DOI 10.1007/s10458-013-9238-9 First published online 2nd October, 2013.
Tatjana Lutovac and James Harland, A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules, Journal of Computer Science and Information Systems 10(3): 1185-1210, 2013. DOI 10.2298/CSIS120820043L.
Luke Trodd, James Harland, and John Thangarajah, Agent Deliberation via Forward and Backward Chaining in Linear Logic, in Declarative Agent Languages and Technologies X, Matteo, Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos (eds.), Lecture Notes in Computer Science 7784, Springer, Berlin, 2013. DOI 10.1007/978-3-642-37890-4_4
Tatjana Lutovac and James Harland, Detection and Analysis of Some Redundancies in Linear Logic Sequent Proofs, Journal of Logic and Computation 24(1):187-232, 2014. DOI 10.1093/logcom/ext007. First published online 4th April, 2013.
Charles Thevayathan, Peter Bertok, and James Harland, An Endorsement Trust Model, Proceedings of the TwelfthIEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) 829-836, Melbourne, July, 2013.
Arnold Pears, Roger Hadgraft, James Harland and Margaret Hamilton, What is feedback? An investigation of student attitudes, Proceedings of the IEEE Learning and Teaching in Computing and Engineering Conference (LaTiCE), Macau, March, 2013.
Mercy Maleko, Dip Nandi, Margaret Hamilton, Daryl D'Souza and James Harland, Facebook versus Blackboard for Supporting the Learning of Programming in a Fully Online Course: The Changing Face of Computing Education, Proceedings of the IEEE Learning and Teaching in Computing and Engineering Conference (LaTiCE), Macau, March, 2013.
Wafaa Alsaggaf, Margaret Hamilton and James Harland, CS StudentsÂ Readiness and Perceptions of Using Mobile Technology During Lectures, Proceedings of the IEEE Learning and Teaching in Computing and Engineering Conference (LaTiCE), Macau, March, 2013.
James Harland, Busy Beaver Machines and the Observant Otter Heuristic, Proceedings of Computing: the Australasian Theory Symposium, Adelaide, January, 2013.
Daryl D'Souza, Margaret Hamilton, and James Harland, A Comparative Analysis of Results on Programming Exams, Proceedings of the Fifteenth Australasian Computing Education Conference (ACE2013), Adelaide, January, 2013.
Judy Sheard, Simon, Angela Carbone, Donald Chinn, Tony Clear, Malcolm Corney, Daryl D'Souza, Joel Fenwick, James Harland, Mikko-Jussi Laakso and Donna Teague, How difficult are exams? A framework for assessing the complexity of introductory programming exams, Proceedings of the Fifteenth Australasian Computing Education Conference (ACE2013), Adelaide, January, 2013.
Wafaa Alsaggaf, Margaret Hamilton, and James Harland, Mobile Learning in Higher Education Lectures, Proceedings of the Fourth International Conference on E-Education, E-Business, E-Management and E-Learning, Dubai, January, 2013.
Wafaa Alsaggaf, Margaret Hamilton, Daryl D'Souza, Mikko-Jussi Laakso and James Harland, An Exploratory study of Mobile Technology in Higher Education Lectures, Proceedings of the Twenty-Third Australasian Conference on Information Systems, Geelong, December, 2012.
Simon, Judy Sheard, Angela Carbone, Daryl D'Souza, James Harland and Mikko-Jussi Laakso, Can Computing Academics Assess the Difficulty of Programming Examination Questions?, Proceedings of the Twelfth Koli Calling International Conference on Computing Education Research Tahko, November, 2012.
Jian Zhong, Vinod Mirchandani, Peter Bertok and James Harland, Âµ-Fractal Based Data Perturbation Algorithm for Privacy Protection, Proceedings of the 14th Pacific Asia Conference of Information System (PACIS), Ho Chi Minh City, July, 2012.
Simon Duff, John Thangarajah and James Harland, Maintenance Goals in Intelligent Agents, Computational Intelligence (to appear),, July, 2012. Available at onlinelibrary.wiley.com/doi/10.1111/coin.12000/full. First published online 23rd September, 2012.
Wafaa Alsaggaf, Margaret Hamilton, and James Harland, Mobile Devices in Computer Programming Lectures: Are CS Lecturers Prepared for Mobile Learning, Proceedings of the Seventh IEEE International Conference on Computer Science Education, Melbourne, July, 2012.
Luke Trodd, James Harland, and John Thangarajah, Agent deliberation via forward and backward chaining in linear logic, Proceedings of the 11th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), Valencia, Spain, June, 2012.
Dip Nandi, Margaret Hamilton and James Harland, Evaluating the quality of interaction in asynchronous discussion forums in fully online courses, Journal of Distance Education 33:1, 5-30, 2012.
Ray Lister, Malcolm Corney, James Curran, Daryl D'Souza, Colin Fidge, Richard Gluga, Margaret Hamilton, James Harland, James Hogan, Judy Kay, Tara Murphy, Mike Roggenkamp, Judy Sheard, Simon and Donna Teague, Toward a Shared Understanding of Competency in Programming: An Invitation to the BABELnot Project, Proceedings of the Fourteenth Australasian Computing Education Conference (ACE2012), 53-60, Melbourne, Australia. Published as Volume 123 - Computing Education 2012 of the ACS Conferences in Research and Practice in Information Technology (CRPIT) series.
Simeon Visser, John Thangarajah and James Harland, Reasoning About Preferences in Intelligent Agent Systems Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, July, 2011.
Simeon Visser, John Thangarajah and James Harland, Reasoning About Preferences in BDI Agent Systems(Extended Abstract) Proceedings of the Tenth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), Taipei, May, 2011.
Dip Nandi, Margaret Hamilton, James Harland and Geoff Warburton, How Active are Students in Online Discussion Forums? Proceedings of the Australasian Computing Education Conference 125-134, Perth, January, 2011.
James Harland, Towards Methods for Discovering Universal Turing Machines (or How Universal Unicorns can be Discovered, not Created), Proceedings of Computing: the Australasian Theory Symposium 151-160, Perth, January, 2011.
James Harland, John Thangarajah, David Morley and Neil Yorke-Smith, On the Life-Cycle of BDI Agent Goals, Proceedings of the European Conference on Artificial Intelligence (short paper), Lisbon, August, 2010.
James Harland, John Thangarajah, David Morley and Neil Yorke-Smith, Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems, Proceedings of the AAMAS'10 Workshop on Declarative Agent Languages and Technologies (DALT'10), Toronto, May, 2010.
Alex Holkner and James Harland, Evaluating the Dynamic Behaviour of Python Applications, Proceedings of the Thirty-Second Australasian Computer Science Conference (ACSC'09), Wellington, January, 2009.
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.