On Parallel Unification for Prolog. - James Harland; Joxan Jaffar (New Gener. Comput., 1987)

A Kripke-like Model for Negation as Failure. - James Harland (NACLP, 1989)

A Clausal Form for the Completion of Logic Programs. - James Harland (ICLP, 1991)

The Uniform Proof-Theoretic Foundation of Linear Logic Programming. - James Harland; David J. Pym (ISLP, 1991)

On hereditary Harrop formulae as a basis for logic programming. - James Harland (1991)

Constraints for Query Optimization in Deductive Databases. - James Harland; Kotagiri Ramamohanarao (Future Databases, 1992)

On Normal Forms and Equivalence for Logic Programs. - James Harland (JICSLP, 1992)

On Resolution in Fragments of Classical Linear Logic. - James Harland; David J. Pym (LPAR, 1992)

An Aditi Implementation of a Flights Database. - James Harland; Kotagiri Ramamohanarao (Workshop on Programming with Logic Databases (Informal Proceedings), ILPS, 1993)

The Aditi Deductive Datebase System. - Jayen Vaghani; Kotagiri Ramamohanarao; David B. Kemp; Zoltan Somogyi; Peter J. Stuckey; Tim S. Leask; James Harland (Workshop on Programming with Logic Databases (Informal Proceedings), ILPS, 1993)

Constraint Propagation for Linear Recursive Rules. - James Harland; Kotagiri Ramamohanarao (ICLP, 1993)

Status of the Aditi Deductive Database System. - Jayen Vaghani; Kotagiri Ramamohanarao; David B. Kemp; Zoltan Somogyi; Peter J. Stuckey; Tim S. Leask; James Harland (ICLP, 1993)

Success and Failure for Hereditary Harrop Formulae. - James Harland (J. Log. Program., 1993)

Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures. - Zoltan Somogyi; David B. Kemp; James Harland; Kotagiri Ramamohanarao (EDBT, 1994)

A Proof-Theoretic Analysis of Goal-Directed Provability. - James Harland (J. Log. Comput., 1994)

A Uniform Proof-Theoretic Investigation of Linear Logic Programming. - David J. Pym; James Harland (J. Log. Comput., 1994)

An Introduction to Deductive Database Languages and Systems - Kotagiri Ramamohanarao; James Harland (VLDB J., 1994)

The Aditi Deductive Database System - Jayen Vaghani; Kotagiri Ramamohanarao; David B. Kemp; Zoltan Somogyi; Peter J. Stuckey; Tim S. Leask; James Harland (VLDB J., 1994)

Programming in Lygon: A Brief Overview. - James Harland; David J. Pym; Michael Winikoff (ILPS, 1995)

Implementing the Linear Logic Programming Language Lygon. - Michael Winikoff; James Harland (ILPS, 1995)

Programming in Lygon: An Overview. - James Harland; David J. Pym; Michael Winikoff (AMAST, 1996)

Programming in Lygon: A System Demonstration. - James Harland; David J. Pym; Michael Winikoff (AMAST, 1996)

Problem based learning with technological support in an AI subject: description and evaluation. - Lawrence Cavedon; James Harland; Lin Padgham (ACSE, 1997)

Resource-Distribution via Boolean Constraint (Extended Abstract). - James Harland; David J. Pym (CADE, 1997)

On goal-directed provability in classical logic. - James Harland (Comput. Lang., 1997)

Filters for Graph Matching. - Steve Callaghan; Gerard Ellis; James Harland (CATS, 1998)

Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic. - James Harland; Tatjana Lutovac; Michael Winikoff (Computational Logic, 2000)

Agent-Oriented Programming in Linear Logic: An Example. - Abdullah-Al Amin; Michael Winikoff; James Harland (PRICAI, 2000)

Forward and Backward Chaining in Linear Logic. - James Harland; David J. Pym; Michael Winikoff (Workshop on Type-Theoretic Languages: Proof Search and Semantics, 2000)

Simplifying the Development of Intelligent Agents. - Michael Winikoff; Lin Padgham; James Harland (Australian Joint Conference on Artificial Intelligence, 2001)

Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids. - Omer F. Rana; Michael Winikoff; Lin Padgham; James Harland (ACSC, 2002)

Representation and Reasoning for Goals in BDI Agents. - John Thangarajah; Lin Padgham; James Harland (ACSC, 2002)

Agent negotiation as proof search in linear logic. - James Harland; Michael Winikoff (AAMAS, 2002)

Declarative & Procedural Goals in Intelligent Agent Systems. - Michael Winikoff; Lin Padgham; James Harland; John Thangarajah (KR, 2002)

Language Design Issues for Agents based on Linear Logic (Extended Abstract). - James Harland; Michael Winikoff (CLIMA, 2002)

Experiences in Teaching Computing Theory via Aspects of Problem-based Learning. - Margaret Hamilton 001; James Harland; Lin Padgham (ACE, 2003)

Expectation: the logic of flexible motivation. - Bình Vu Trân; James Harland; Margaret Hamilton 001 (AAMAS, 2003)

A Combined Logic of Expectation & Observation. A generalisation of BDI logics. - Bình Vu Trân; James Harland; Margaret Hamilton 001 (DALT, 2003)

Adding Flexibility Using Structured Goals: the Case of Itinerant Mobile Agents. - Bao Toan Phung; Seng Wai Loke; James Harland (IAT, 2003)

Preface. - James Harland (CATS, 2003)

Resource-distribution via Boolean constraints. - James Harland; David J. Pym (ACM Trans. Comput. Log., 2003)

Enhancing Commitment Machines. - Michael Winikoff; Wei Liu 006; James Harland (DALT, 2004)

Expectation Reasoning Using Regret and Disappointment. - Bình Vu Trân; James Harland; Margaret Hamilton 001 (ECAI, 2004)

Observation Expectation Reasoning in Agent Systems. - Bình Vu Trân; James Harland; Margaret Hamilton 001 (KR, 2004)

Agents via Mixed-Mode Computation in Linear Logic. - James Harland; Michael Winikoff (Ann. Math. Artif. Intell., 2004)

Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics. - Tatjana Lutovac; James Harland (STRATEGIES@IJCAR, 2004)

A Redundancy Analysis of Sequent Proofs. - Tatjana Lutovac; James Harland (TABLEAUX, 2005)

On proactivity and maintenance goals. - Simon Duff; James Harland; John Thangarajah (AAMAS, 2006)

Flexible agent protocols via temporal and resource-based reasoning. - Duc Quang Pham; James Harland (AAMAS, 2006)

The Busy Beaver, the Placid Platypus and other Crazy Creatures. - James Harland (CATS, 2006)

Detecting Loops During Proof Search in Propositional Affine Logic. - Tatjana Lutovac; James Harland (J. Log. Comput., 2006)

A Framework for the Co-evolution of Genes, Proteins and a Genetic Code Within an Artificial Chemistry Reaction Set. - Ken Gardiner; James Harland; Margaret Hamilton 001 (ACAL, 2007)

Temporal linear logic as a basis for flexible agent interactions. - Duc Quang Pham; James Harland (AAMAS, 2007)

Aborting tasks in BDI agents. - John Thangarajah; James Harland; David N. Morley; Neil Yorke-Smith (AAMAS, 2007)

Analysis of Busy Beaver Machines via Induction Proofs. - James Harland (CATS, 2007)

Planning with Time Limits in BDI Agent Programming Languages. - Lavindra de Silva; Anthony Dekker; James Harland (CATS, 2007)

Modeling Agents' Choices in Temporal Linear Logic. - Duc Quang Pham; James Harland; Michael Winikoff (DALT, 2007)

Matching Strictly Dependent Global Constraints for Composite Web Services. - Nalaka Gooneratne; Zahir Tari; James Harland (ECOWS, 2007)

Verification of web service descriptions using graph-based traversal algorithms. - Nalaka Gooneratne; Zahir Tari; James Harland (SAC, 2007)

Tracking reliability and helpfulness in agent interactions. - Min Xu; Lin Padgham; Aloys Mbala; James Harland (Web Intell. Agent Syst., 2007)

Suspending and resuming tasks in BDI agents. - John Thangarajah; James Harland; David N. Morley; Neil Yorke-Smith (AAMAS (1), 2008)

VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning. - Nalaka Gooneratne; Zahir Tari; James Harland (ICSOC, 2008)

Evaluating the dynamic behaviour of Python applications. - Alex Holkner; James Harland (ACSC, 2009)

Preface. - Joachim Gudmundsson; James Harland (Int. J. Found. Comput. Sci., 2009)

Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems. - John Thangarajah; James Harland; David N. Morley; Neil Yorke-Smith (DALT, 2010)

On the Life-Cycle of BDI Agent Goals. - John Thangarajah; James Harland; David N. Morley; Neil Yorke-Smith (ECAI, 2010)

Reasoning about preferences in BDI agent systems. - Simeon Visser; John Thangarajah; James Harland (AAMAS, 2011)

Towards Methods for Discovering Universal Turing Machines (or How Universal Unicorns can be Discovered, not Created). - James Harland (CATS, 2011)

Exploring programming assessment instruments: a classification scheme for examination questions. - Judy Sheard; Simon; Angela Carbone; Donald Chinn; Mikko-Jussi Laakso; Tony Clear; Michael de Raadt; Daryl J. D'Souza; James Harland; Raymond Lister; Anne Philpott; Geoff Warburton (ICER, 2011)

Reasoning about Preferences in Intelligent Agent Systems. - Simeon Visser; John Thangarajah; James Harland (IJCAI, 2011)

Agent deliberation via forward and backward chaining in linear logic. - Luke Trodd; James Harland; John Thangarajah (AAMAS, 2012)

The Use of Laptop Computers in Programming Lectures. - Daryl J. D'Souza; James Harland; Margaret Hamilton 001; Wafaa Adnan Alsaggaf; Mikko-Jussi Laakso (ACIS, 2012)

Can computing academics assess the difficulty of programming examination questions? - Simon; Daryl J. D'Souza; Judy Sheard; James Harland; Angela Carbone; Mikko-Jussi Laakso (Koli Calling, 2012)

µ-Fractal Based Data Perturbation Algorithm For Privacy Protection. - Jian Zhong; Vinod Mirchandani; Peter Bertók; James Harland (PACIS, 2012)

A conceptual model for reflecting on expected learning vs. demonstrated student performance. - Richard Gluga; Judy Kay; Raymond Lister; Simon; Michael A. Charleston; James Harland; Donna Teague (ACE, 2013)

A comparative analysis of results on programming exams. - James Harland; Daryl J. D'Souza; Margaret Hamilton 001 (ACE, 2013)

How difficult are exams?: a framework for assessing the complexity of introductory programming exams. - Judy Sheard; Simon; Angela Carbone; Donald Chinn; Tony Clear; Malcolm Corney; Daryl J. D'Souza; Joel Fenwick; James Harland; Mikko-Jussi Laakso; Donna Teague (ACE, 2013)

Busy Beaver Machines and the Observant Otter Heuristic. - James Harland (CATS, 2013)

CS Students' Readiness and Perceptions of Using Mobile Technology during Lectures. - Wafaa Adnan Alsaggaf; Margaret Hamilton 001; James Harland (LaTiCE, 2013)

Facebook versus Blackboard for Supporting the Learning of Programming in a Fully Online Course: The Changing Face of Computing Education. - Mercy Maleko; Dip Nandi; Margaret Hamilton 001; Daryl J. D'Souza; James Harland (LaTiCE, 2013)

What is Feedback? Connecting Student Perceptions to Assessment Practices. - Arnold Pears; James Harland; Margaret Hamilton 001; Roger Hadgraft (LaTiCE, 2013)

An Endorsement Trust Model. - Charles Thevathayan; James Harland; Peter Bertók (TrustCom/ISPA/IUCC, 2013)

A contribution to automated-oriented reasoning about permutability of sequent calculi rules. - Tatjana Lutovac; James Harland (Comput. Sci. Inf. Syst., 2013)

Checking consistency of agent designs against interaction protocols for early-phase defect location. - Yoosef B. Abushark; John Thangarajah; Tim Miller 001; James Harland (AAMAS, 2014)

Towards quantifying the completeness of BDI goals. - John Thangarajah; James Harland; David N. Morley; Neil Yorke-Smith (AAMAS, 2014)

Checking The Correctness of Agent Designs Against Model-Based Requirements. - Yoosef B. Abushark; Michael Winikoff; Tim Miller 001; James Harland; John Thangarajah (ECAI, 2014)

Quantifying the Completeness of Goals in BDI Agent Systems. - John Thangarajah; James Harland; David N. Morley; Neil Yorke-Smith (ECAI, 2014)

Four Feed-Forward Principles Enhance Students' Perception of Feedback as Meaningful. - Arnold Pears; James Harland; Margaret Hamilton 001; Roger Hadgraft (LaTiCE, 2014)

An operational semantics for the goal life-cycle in BDI agents. - James Harland; David N. Morley; John Thangarajah; Neil Yorke-Smith (Auton. Agents Multi Agent Syst., 2014)

Maintenance Goals in Intelligent Agents. - Simon Duff; John Thangarajah; James Harland (Comput. Intell., 2014)

Detection and analysis of some redundancies in linear logic sequent proofs. - Tatjana Lutovac; James Harland (J. Log. Comput., 2014)

Repository of Wisdom: Automated Support for Composing Programming Exams. - Keith Foster; Daryl J. D'Souza; Margaret Hamilton 001; James Harland (ACE, 2015)

Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. - Yoosef B. Abushark; John Thangarajah; Tim Miller 001; James Harland; Michael Winikoff (AAMAS, 2015)

Estimating the Progress of Maintenance Goals. - John Thangarajah; James Harland; Neil Yorke-Smith (AAMAS, 2015)

Requirements Specification in The Prometheus Methodology via Activity Diagrams. - Yoosef B. Abushark; John Thangarajah; Tim Miller 001; Michael Winikoff; James Harland (AAMAS, 2016)

Towards a BDI Player Model for Interactive Narratives. - Jessica Rivera-Villicana; Fabio Zambetta; James Harland; Marsha Berry (ECAI, 2016)

Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation. - James Harland; Jan Olaf Blech; Ian Peake; Luke Trodd (ENASE, 2016)

Using BDI to Model Players Behaviour in an Interactive Fiction Game. - Jessica Rivera-Villicana; Fabio Zambetta; James Harland; Marsha Berry (ICIDS, 2016)

Preference-based reasoning in BDI agent systems. - Simeon Visser; John Thangarajah; James Harland; Frank Dignum (Auton. Agents Multi Agent Syst., 2016)

Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons). - James Harland (Theor. Comput. Sci., 2016)

Requirements specification via activity diagrams for agent-based systems. - Yoosef B. Abushark; Tim Miller 001; John Thangarajah; Michael Winikoff; James Harland (Auton. Agents Multi Agent Syst., 2017)

Aborting, suspending, and resuming goals and plans in BDI agents. - James Harland; David N. Morley; John Thangarajah; Neil Yorke-Smith (Auton. Agents Multi Agent Syst., 2017)

A framework for automatically ensuring the conformance of agent designs. - Yoosef B. Abushark; John Thangarajah; James Harland; Tim Miller 001 (J. Syst. Softw., 2017)

Informing a BDI Player Model for an Interactive Narrative. - Jessica Rivera-Villicana; Fabio Zambetta; James Harland; Marsha Berry (CHI PLAY, 2018)

Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (ENASE, 2018)

A Detailed Analysis of the Influence of Saudi Arabia Culture on the Requirement Engineering Process. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (ENASE (Selected Papers), 2018)

Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (ICECCS, 2018)

Exploring Apprenticeship Learning for Player Modelling in Interactive Narratives. - Jessica Rivera-Villicana; Fabio Zambetta; James Harland; Marsha Berry (CHI PLAY (Companion), 2019)

Cultural Influence on Requirements Engineering Activities: Australian Practitioners' View. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (ISD, 2019)

The influence of power distance on requirements engineering activities. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (KES, 2019)

Editors' message. - Mark Bailey; Laurie A. Smith King; Margaret Hamilton 001; James Harland (Inroads, 2019)

Editors' message. - Margaret Hamilton 001; James Harland (Inroads, 2019)

Formal vs. Case-Study-Based Approaches for the Identification of Cultural Influences in Requirements Engineering. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (EASE, 2020)

Identification of cultural influences on requirements engineering activities. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (ICSE (Companion Volume), 2020)

Exploratory analysis of cultural influences on requirements engineering activities based on stakeholders' profile. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (KES, 2020)

A Framework for Identifying Cultural Influences on Requirements Engineering Activities. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (PACIS, 2020)

Does our culture influence requirements engineering activities? Vietnamese practitioners' view. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (RE, 2020)

Cultural influence on requirements engineering activities: a systematic literature review and analysis. - Tawfeeq Alsanoosy; Maria Spichkova; James Harland (Requir. Eng., 2020)

Impact of Organisational Culture on the Requirement Engineering Activities. - Maria Spichkova; Tawfeeq Alsanoosy; James Harland (RE, 2021)

Application of Property-based Testing Tools for Metamorphic Testing. - Nasser Alzahrani; Maria Spichkova; James Harland (ENASE, 2022)

Quantifying the progress of goals in intelligent agents. - James Harland; John Thangarajah; Neil Yorke-Smith (Int. J. Agent Oriented Softw. Eng., 2022)

Generating candidate busy beaver machines (or how to build the zany zoo). - James Harland (Theor. Comput. Sci., 2022)

Cultural Influence on Autonomous Vehicles Acceptance. - Chowdhury Shahriar Muzammel; Maria Spichkova; James Harland (MobiQuitous (2), 2023)

Cultural influence on RE activities: An extended analysis of state of the art. - Chowdhury Shahriar Muzammel; Maria Spichkova; James Harland (MobileHCI (Companion), 2024)

Spatio-Temporal Analysis of Concurrent Networks. - Heinz W. Schmidt; Peter Herrmann; Maria Spichkova; James Harland; Ian Peake; Ergys Puka (CoRR, 2024)

Cultural Impact on Requirements Engineering Activities: Bangladeshi Practitioners' View. - Chowdhury Shahriar Muzammel; Maria Spichkova; James Harland (CoRR, 2025)

Towards Using Personas in Requirements Engineering: What Has Been Changed Recently? - Chowdhury Shahriar Muzammel; Maria Spichkova; James Harland (CoRR, 2025)