James Harland - RankMe

169 papers A* 3A 25B 13C 7Misc 2Journal 59Unranked 55

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	Cultural Impact on Requirements Engineering Activities: Bangladeshi Practitioners' View. RE Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
2025	J	`jnl`	Cultural Impact on Requirements Engineering Activities: Bangladeshi Practitioners' View. CoRR Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
2025	—	`conf`	Towards Using Personas in Requirements Engineering: What Has Been Changed Recently? REW Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
2025	J	`jnl`	Towards Using Personas in Requirements Engineering: What Has Been Changed Recently? CoRR Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
2024	—	`conf`	Cultural influence on RE activities: An extended analysis of state of the art. MobileHCI (Companion) Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
2024	J	`jnl`	Cultural influence on RE activities: An extended analysis of state of the art. CoRR Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
2024	J	`jnl`	Cultural influence on autonomous vehicles acceptance. CoRR Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
2024	J	`jnl`	Editors' Message. Inroads Margaret Hamilton, James Harland
2024	J	`jnl`	Editors' Message. Inroads Margaret Hamilton, James Harland
2024	J	`jnl`	Editors' Message. Inroads Margaret Hamilton, James Harland
2024	J	`jnl`	Editors' Message. Inroads Margaret Hamilton, James Harland
2024	C	`conf`	Spatio-Temporal Analysis of Concurrent Networks. MobiQuitous Heinz W. Schmidt, Peter Herrmann, Maria Spichkova, James Harland, Ian Peake, Ergys Puka
2024	J	`jnl`	Spatio-Temporal Analysis of Concurrent Networks. CoRR Heinz W. Schmidt, Peter Herrmann, Maria Spichkova, James Harland, Ian Peake, Ergys Puka
2023	—	`conf`	Cultural Influence on Autonomous Vehicles Acceptance. MobiQuitous (2) Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland
2023	J	`jnl`	Editors' Message. Inroads Margaret Hamilton, James Harland
2023	J	`jnl`	Editors' Message. Inroads Margaret Hamilton, James Harland
2023	J	`jnl`	Editors' Message. Inroads Margaret Hamilton, James Harland
2023	J	`jnl`	Editors' Message. Inroads Margaret Hamilton, James Harland
2022	B	`conf`	Application of Property-based Testing Tools for Metamorphic Testing. ENASE Nasser Alzahrani, Maria Spichkova, James Harland
2022	J	`jnl`	Application of property-based testing tools for metamorphic testing. CoRR Nasser Alzahrani, Maria Spichkova, James Harland
2022	J	`jnl`	Editors' message. Inroads Margaret Hamilton, James Harland
2022	J	`jnl`	Editors' message. Inroads Margaret Hamilton, James Harland
2022	J	`jnl`	Editors' message. Inroads Margaret Hamilton, James Harland
2022	J	`jnl`	Editors' message. Inroads Margaret Hamilton, James Harland
2022	J	`jnl`	Generating candidate busy beaver machines (or how to build the zany zoo). Theor. Comput. Sci. James Harland
2022	J	`jnl`	Quantifying the progress of goals in intelligent agents. Int. J. Agent Oriented Softw. Eng. James Harland, John Thangarajah, Neil Yorke-Smith
2021	J	`jnl`	Editors' message. Inroads Margaret Hamilton, James Harland
2021	J	`jnl`	Editors' message. Inroads Margaret Hamilton, James Harland
2021	J	`jnl`	Editors' message. Inroads Margaret Hamilton, James Harland
2021	A	`conf`	Impact of Organisational Culture on the Requirement Engineering Activities. RE Maria Spichkova, Tawfeeq Alsanoosy, James Harland
2020	—	`conf`	A Framework for Identifying Cultural Influences on Requirements Engineering Activities. PACIS Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2020	J	`jnl`	Cultural influence on requirements engineering activities: a systematic literature review and analysis. Requir. Eng. Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2020	A	`conf`	Does our culture influence requirements engineering activities? Vietnamese practitioners' view. RE Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2020	J	`jnl`	Editors' message. Inroads Margaret Hamilton, James Harland
2020	J	`jnl`	Editors' message. Inroads Margaret Hamilton, James Harland
2020	J	`jnl`	Editors' message. Inroads Margaret Hamilton, James Harland
2020	J	`jnl`	Editors' message. Inroads Margaret Hamilton, James Harland
2020	B	`conf`	Exploratory analysis of cultural influences on requirements engineering activities based on stakeholders' profile. KES Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2020	A	`conf`	Formal vs. Case-Study-Based Approaches for the Identification of Cultural Influences in Requirements Engineering. EASE Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2020	—	`conf`	Identification of cultural influences on requirements engineering activities. ICSE (Companion Volume) Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2019	—	`conf`	Cultural Influence on Requirements Engineering Activities: Australian Practitioners' View. ISD Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2019	J	`jnl`	Editors' message. Inroads Mark Bailey, Laurie A. Smith King, Margaret Hamilton, James Harland
2019	J	`jnl`	Editors' message. Inroads Margaret Hamilton, James Harland
2019	J	`jnl`	Editors' message. Inroads Margaret Hamilton, James Harland
2019	J	`jnl`	Editors' message. Inroads Margaret Hamilton, James Harland
2019	—	`conf`	Exploring Apprenticeship Learning for Player Modelling in Interactive Narratives. CHI PLAY (Companion) Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry
2019	J	`jnl`	Exploring Apprenticeship Learning for Player Modelling in Interactive Narratives. CoRR Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry
2019	J	`jnl`	Informing a BDI Player Model for an Interactive Narrative. CoRR Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry
2019	B	`conf`	The influence of power distance on requirements engineering activities. KES Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2018	—	`conf`	A Detailed Analysis of the Influence of Saudi Arabia Culture on the Requirement Engineering Process. ENASE (Selected Papers) Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2018	B	`conf`	Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia. ENASE Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2018	J	`jnl`	Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia. CoRR Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2018	B	`conf`	Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice. ICECCS Tawfeeq Alsanoosy, Maria Spichkova, James Harland
2018	Misc	`conf`	Informing a BDI Player Model for an Interactive Narrative. CHI PLAY Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry
2017	J	`jnl`	A framework for automatically ensuring the conformance of agent designs. J. Syst. Softw. Yoosef B. Abushark, John Thangarajah, James Harland, Tim Miller
2017	J	`jnl`	Aborting, suspending, and resuming goals and plans in BDI agents. Auton. Agents Multi Agent Syst. James Harland, David N. Morley, John Thangarajah, Neil Yorke-Smith
2017	J	`jnl`	Requirements specification via activity diagrams for agent-based systems. Auton. Agents Multi Agent Syst. Yoosef B. Abushark, Tim Miller, John Thangarajah, Michael Winikoff, James Harland
2016	J	`jnl`	Busy Beaver Machines and the Observant Otter Heuristic (or How to Tame Dreadful Dragons). CoRR James Harland
2016	J	`jnl`	Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons). Theor. Comput. Sci. James Harland
2016	B	`conf`	Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation. ENASE James Harland, Jan Olaf Blech, Ian Peake, Luke Trodd
2016	J	`jnl`	Generating Candidate Busy Beaver Machines (Or How to Build the Zany Zoo). CoRR James Harland
2016	J	`jnl`	Preference-based reasoning in BDI agent systems. Auton. Agents Multi Agent Syst. Simeon Visser, John Thangarajah, James Harland, Frank Dignum
2016	A	`conf`	Requirements Specification in The Prometheus Methodology via Activity Diagrams. AAMAS Yoosef B. Abushark, John Thangarajah, Tim Miller, Michael Winikoff, James Harland
2016	A	`conf`	Towards a BDI Player Model for Interactive Narratives. ECAI Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry
2016	C	`conf`	Using BDI to Model Players Behaviour in an Interactive Fiction Game. ICIDS Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry
2015	A	`conf`	Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. AAMAS Yoosef B. Abushark, John Thangarajah, Tim Miller, James Harland, Michael Winikoff
2015	A	`conf`	Estimating the Progress of Maintenance Goals. AAMAS John Thangarajah, James Harland, Neil Yorke-Smith
2015	C	`conf`	Repository of Wisdom: Automated Support for Composing Programming Exams. ACE Keith Foster, Daryl J. D'Souza, Margaret Hamilton, James Harland
2014	J	`jnl`	An operational semantics for the goal life-cycle in BDI agents. Auton. Agents Multi Agent Syst. James Harland, David N. Morley, John Thangarajah, Neil Yorke-Smith
2014	A	`conf`	Checking The Correctness of Agent Designs Against Model-Based Requirements. ECAI Yoosef B. Abushark, Michael Winikoff, Tim Miller, James Harland, John Thangarajah
2014	A	`conf`	Checking consistency of agent designs against interaction protocols for early-phase defect location. AAMAS Yoosef B. Abushark, John Thangarajah, Tim Miller, James Harland
2014	J	`jnl`	Detection and analysis of some redundancies in linear logic sequent proofs. J. Log. Comput. Tatjana Lutovac, James Harland
2014	—	`conf`	Four Feed-Forward Principles Enhance Students' Perception of Feedback as Meaningful. LaTiCE Arnold Pears, James Harland, Margaret Hamilton, Roger Hadgraft
2014	J	`jnl`	Maintenance Goals in Intelligent Agents. Comput. Intell. Simon Duff, John Thangarajah, James Harland
2014	A	`conf`	Quantifying the Completeness of Goals in BDI Agent Systems. ECAI John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith
2014	A	`conf`	Towards quantifying the completeness of BDI goals. AAMAS John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith
2013	C	`conf`	A comparative analysis of results on programming exams. ACE James Harland, Daryl J. D'Souza, Margaret Hamilton
2013	C	`conf`	A conceptual model for reflecting on expected learning vs. demonstrated student performance. ACE Richard Gluga, Judy Kay, Raymond Lister, Simon, Michael A. Charleston, James Harland, Donna Teague
2013	J	`jnl`	A contribution to automated-oriented reasoning about permutability of sequent calculi rules. Comput. Sci. Inf. Syst. Tatjana Lutovac, James Harland
2013	—	`conf`	An Endorsement Trust Model. TrustCom/ISPA/IUCC Charles Thevathayan, James Harland, Peter Bertók
2013	—	`conf`	Busy Beaver Machines and the Observant Otter Heuristic. CATS James Harland
2013	—	`conf`	CS Students' Readiness and Perceptions of Using Mobile Technology during Lectures. LaTiCE Wafaa Adnan Alsaggaf, Margaret Hamilton, James Harland
2013	—	`conf`	Facebook versus Blackboard for Supporting the Learning of Programming in a Fully Online Course: The Changing Face of Computing Education. LaTiCE Mercy Maleko, Dip Nandi, Margaret Hamilton, Daryl J. D'Souza, James Harland
2013	C	`conf`	How difficult are exams?: a framework for assessing the complexity of introductory programming exams. ACE Judy Sheard, Simon, Angela Carbone, Donald Chinn, Tony Clear, Malcolm Corney, Daryl J. D'Souza, Joel Fenwick, James Harland, Mikko-Jussi Laakso, Donna Teague
2013	—	`conf`	What is Feedback? Connecting Student Perceptions to Assessment Practices. LaTiCE Arnold Pears, James Harland, Margaret Hamilton, Roger Hadgraft
2012	—	`conf`	Agent Deliberation via Forward and Backward Chaining in Linear Logic. DALT Luke Trodd, James Harland, John Thangarajah
2012	A	`conf`	Agent deliberation via forward and backward chaining in linear logic. AAMAS Luke Trodd, James Harland, John Thangarajah
2012	—	`conf`	Can computing academics assess the difficulty of programming examination questions? Koli Calling Simon, Daryl J. D'Souza, Judy Sheard, James Harland, Angela Carbone, Mikko-Jussi Laakso
2012	—	`conf`	The Use of Laptop Computers in Programming Lectures. ACIS Daryl J. D'Souza, James Harland, Margaret Hamilton, Wafaa Adnan Alsaggaf, Mikko-Jussi Laakso
2012	—	`conf`	µ-Fractal Based Data Perturbation Algorithm For Privacy Protection. PACIS Jian Zhong, Vinod Mirchandani, Peter Bertók, James Harland
2011	A	`conf`	Exploring programming assessment instruments: a classification scheme for examination questions. ICER 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
2011	A*	`conf`	Reasoning about Preferences in Intelligent Agent Systems. IJCAI Simeon Visser, John Thangarajah, James Harland
2011	A	`conf`	Reasoning about preferences in BDI agent systems. AAMAS Simeon Visser, John Thangarajah, James Harland
2011	—	`conf`	Towards Methods for Discovering Universal Turing Machines (or How Universal Unicorns can be Discovered, not Created). CATS James Harland
2010	A	`conf`	On the Life-Cycle of BDI Agent Goals. ECAI John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith
2010	—	`conf`	Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems. DALT John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith
2009	—	`conf`	Evaluating the dynamic behaviour of Python applications. ACSC Alex Holkner, James Harland
2009	J	`jnl`	Preface. Int. J. Found. Comput. Sci. Joachim Gudmundsson, James Harland
2008	—	`conf`	Suspending and resuming tasks in BDI agents. AAMAS (1) John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith
2008	—	`ed.`	Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings CATS James Harland, Prabhu Manyem
2008	A	`conf`	VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning. ICSOC Nalaka Gooneratne, Zahir Tari, James Harland
2007	—	`conf`	A Framework for the Co-evolution of Genes, Proteins and a Genetic Code Within an Artificial Chemistry Reaction Set. ACAL Ken Gardiner, James Harland, Margaret Hamilton
2007	A	`conf`	Aborting tasks in BDI agents. AAMAS John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith
2007	—	`conf`	Analysis of Busy Beaver Machines via Induction Proofs. CATS James Harland
2007	—	`conf`	Matching Strictly Dependent Global Constraints for Composite Web Services. ECOWS Nalaka Gooneratne, Zahir Tari, James Harland
2007	—	`conf`	Modeling Agents' Choices in Temporal Linear Logic. DALT Duc Quang Pham, James Harland, Michael Winikoff
2007	—	`conf`	Planning with Time Limits in BDI Agent Programming Languages. CATS Lavindra de Silva, Anthony Dekker, James Harland
2007	A	`conf`	Temporal linear logic as a basis for flexible agent interactions. AAMAS Duc Quang Pham, James Harland
2007	J	`jnl`	Tracking reliability and helpfulness in agent interactions. Web Intell. Agent Syst. Min Xu, Lin Padgham, Aloys Mbala, James Harland
2007	Misc	`conf`	Verification of web service descriptions using graph-based traversal algorithms. SAC Nalaka Gooneratne, Zahir Tari, James Harland
2006	J	`jnl`	Detecting Loops During Proof Search in Propositional Affine Logic. J. Log. Comput. Tatjana Lutovac, James Harland
2006	A	`conf`	Flexible agent protocols via temporal and resource-based reasoning. AAMAS Duc Quang Pham, James Harland
2006	A	`conf`	On proactivity and maintenance goals. AAMAS Simon Duff, James Harland, John Thangarajah
2006	—	`conf`	The Busy Beaver, the Placid Platypus and other Crazy Creatures. CATS James Harland
2005	B	`conf`	A Redundancy Analysis of Sequent Proofs. TABLEAUX Tatjana Lutovac, James Harland
2004	J	`jnl`	Agents via Mixed-Mode Computation in Linear Logic. Ann. Math. Artif. Intell. James Harland, Michael Winikoff
2004	—	`conf`	Enhancing Commitment Machines. DALT Michael Winikoff, Wei Liu, James Harland
2004	A	`conf`	Expectation Reasoning Using Regret and Disappointment. ECAI Bình Vu Trân, James Harland, Margaret Hamilton
2004	—	`conf`	Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics. STRATEGIES@IJCAR Tatjana Lutovac, James Harland
2004	A*	`conf`	Observation Expectation Reasoning in Agent Systems. KR Bình Vu Trân, James Harland, Margaret Hamilton
2003	—	`conf`	A Combined Logic of Expectation & Observation. A generalisation of BDI logics. DALT Bình Vu Trân, James Harland, Margaret Hamilton
2003	—	`conf`	Adding Flexibility Using Structured Goals: the Case of Itinerant Mobile Agents. IAT Bao Toan Phung, Seng Wai Loke, James Harland
2003	—	`ed.`	Computing: the Australasian Theory Symposiumm, CATS 2003, Adelaide, SA, Australia, February 4-7, 2003 CATS James Harland
2003	A	`conf`	Expectation: the logic of flexible motivation. AAMAS Bình Vu Trân, James Harland, Margaret Hamilton
2003	C	`conf`	Experiences in Teaching Computing Theory via Aspects of Problem-based Learning. ACE Margaret Hamilton, James Harland, Lin Padgham
2003	—	`conf`	Preface. CATS James Harland
2003	J	`jnl`	Resource-distribution via Boolean constraints. ACM Trans. Comput. Log. James Harland, David J. Pym
2002	A	`conf`	Agent negotiation as proof search in linear logic. AAMAS James Harland, Michael Winikoff
2002	—	`conf`	Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids. ACSC Omer F. Rana, Michael Winikoff, Lin Padgham, James Harland
2002	—	`ed.`	Computing: the Australasian Theory Symposium, CATS 2002, Melbourne, Australia CATS James Harland
2002	A*	`conf`	Declarative & Procedural Goals in Intelligent Agent Systems. KR Michael Winikoff, Lin Padgham, James Harland, John Thangarajah
2002	—	`conf`	Language Design Issues for Agents based on Linear Logic (Extended Abstract). CLIMA James Harland, Michael Winikoff
2002	—	`conf`	Preface. CATS James Harland
2002	—	`conf`	Representation and Reasoning for Goals in BDI Agents. ACSC John Thangarajah, Lin Padgham, James Harland
2001	—	`conf`	Simplifying the Development of Intelligent Agents. Australian Joint Conference on Artificial Intelligence Michael Winikoff, Lin Padgham, James Harland
2000	B	`conf`	Agent-Oriented Programming in Linear Logic: An Example. PRICAI Abdullah-Al Amin, Michael Winikoff, James Harland
2000	—	`conf`	Forward and Backward Chaining in Linear Logic. ARW James Harland, David J. Pym, Michael Winikoff
2000	—	`conf`	Forward and Backward Chaining in Linear Logic. Workshop on Type-Theoretic Languages: Proof Search and Semantics James Harland, David J. Pym, Michael Winikoff
2000	—	`conf`	Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic. Computational Logic James Harland, Tatjana Lutovac, Michael Winikoff
2000	J	`jnl`	Resource-distribution via Boolean constraints CoRR James Harland, David J. Pym
1998	—	`conf`	Filters for Graph Matching. CATS Steve Callaghan, Gerard Ellis, James Harland
1997	J	`jnl`	On goal-directed provability in classical logic. Comput. Lang. James Harland
1997	—	`conf`	Problem based learning with technological support in an AI subject: description and evaluation. ACSE Lawrence Cavedon, James Harland, Lin Padgham
1997	A	`conf`	Resource-Distribution via Boolean Constraint (Extended Abstract). CADE James Harland, David J. Pym
1996	—	`conf`	Programming in Lygon: A System Demonstration. AMAST James Harland, David J. Pym, Michael Winikoff
1996	—	`conf`	Programming in Lygon: An Overview. AMAST James Harland, David J. Pym, Michael Winikoff
1995	—	`conf`	Implementing the Linear Logic Programming Language Lygon. ILPS Michael Winikoff, James Harland
1995	—	`conf`	Programming in Lygon: A Brief Overview. ILPS James Harland, David J. Pym, Michael Winikoff
1994	J	`jnl`	A Proof-Theoretic Analysis of Goal-Directed Provability. J. Log. Comput. James Harland
1994	J	`jnl`	A Uniform Proof-Theoretic Investigation of Linear Logic Programming. J. Log. Comput. David J. Pym, James Harland
1994	J	`jnl`	An Introduction to Deductive Database Languages and Systems VLDB J. Kotagiri Ramamohanarao, James Harland
1994	B	`conf`	Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures. EDBT Zoltan Somogyi, David B. Kemp, James Harland, Kotagiri Ramamohanarao
1994	J	`jnl`	The Aditi Deductive Database System VLDB J. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland
1993	—	`conf`	An Aditi Implementation of a Flights Database. Workshop on Programming with Logic Databases (Book), ILPS James Harland, Kotagiri Ramamohanarao
1993	—	`conf`	An Aditi Implementation of a Flights Database. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS James Harland, Kotagiri Ramamohanarao
1993	B	`conf`	Constraint Propagation for Linear Recursive Rules. ICLP James Harland, Kotagiri Ramamohanarao
1993	—	`conf`	On Goal-Directed Provability in Classical Logic. ILPS James Harland
1993	B	`conf`	Status of the Aditi Deductive Database System. ICLP Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland
1993	J	`jnl`	Success and Failure for Hereditary Harrop Formulae. J. Log. Program. James Harland
1993	—	`conf`	The Aditi Deductive Datebase System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland
1992	—	`conf`	Constraints for Query Optimization in Deductive Databases. Future Databases James Harland, Kotagiri Ramamohanarao
1992	—	`conf`	On Normal Forms and Equivalence for Logic Programs. JICSLP James Harland
1992	B	`conf`	On Resolution in Fragments of Classical Linear Logic. LPAR James Harland, David J. Pym
1992	—	`ed.`	Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992 Workshop on Deductive Databases, JICSLP Kotagiri Ramamohanarao, James Harland, Guozhu Dong
1991	B	`conf`	A Clausal Form for the Completion of Logic Programs. ICLP James Harland
1991	—	`—`	On hereditary Harrop formulae as a basis for logic programming. James Harland
1991	—	`conf`	The Uniform Proof-Theoretic Foundation of Linear Logic Programming. ISLP James Harland, David J. Pym
1989	—	`conf`	A Kripke-like Model for Negation as Failure. NACLP James Harland
1987	J	`jnl`	On Parallel Unification for Prolog. New Gener. Comput. James Harland, Joxan Jaffar