James Harland
James Harland
School of Computing Technologies, RMIT University
Verified email at - Homepage
Cited by
Cited by
Evaluating the quality of interaction in asynchronous discussion forums in fully online courses
D Nandi, M Hamilton, J Harland
Distance education 33 (1), 5-30, 2012
Declarative & procedural goals in intelligent agent systems
M Winikoff, L Padgham, J Harland, J Thangarajah
KR 2002, 470-481, 2002
A uniform proof-theoretic investigation of linear logic programming
DJ Pym, JA Harland
Journal of logic and Computation 4 (2), 175-207, 1994
The Aditi deductive database system
J Vaghanl, K Ramamohanarao, DB Kemp, Z Somogyi, PJ Stuckey, ...
The VLDB Journal 3, 245-288, 1994
Simplifying the development of intelligent agents
M Winikoff, L Padgham, J Harland
AI 2001: Advances in Artificial Intelligence: 14th Australian Joint …, 2001
Representation and Reasoning for Goals in BDI Agents.
J Thangarajah, L Padgham, J Harland
ACSC 2002, 259-265, 2002
Evaluating the dynamic behaviour of Python applications
A Holkner, J Harland
Proceedings of the Thirty-Second Australasian Conference on Computer Science …, 2009
Programming in lygon: An overview
J Harland, D Pym, M Winikoff
Algebraic Methodology and Software Technology: 5th International Conference …, 1996
How active are students in online discussion forums?
D Nandi, M Hamilton, J Harland, G Warburton
Proceedings of the Thirteenth Australasian Computing Education Conference …, 2011
Enhancing commitment machines
M Winikoff, W Liu, J Harland
International Workshop on Declarative Agent Languages and Technologies, 198-220, 2004
The uniform proof-theoretic foundation of linear logic programming
J Harland, D Pym
University of Melbourne, School of Information Technology & Electrical …, 1990
On proactivity and maintenance goals
S Duff, J Harland, J Thangarajah
Proceedings of the fifth international joint conference on Autonomous agents …, 2006
An introduction to deductive database languages and systems
K Ramamohanarao, J Harland
VLDB J. 3 (2), 107-122, 1994
Transforming learning of programming: a mentoring project
D D'Souza, M Hamilton, J Harland, P Muir, C Thevathayan, C Walker
Proceedings of the tenth conference on Australasian computing education 78 …, 2008
Implementing the linear logic programming language Lygon
M Winiko, J Harland
International Logic Programming Symposium, 66-80, 1995
Exploring programming assessment instruments: a classification scheme for examination questions
J Sheard, Simon, A Carbone, D Chinn, MJ Laakso, T Clear, M de Raadt, ...
Proceedings of the seventh international workshop on Computing education …, 2011
An operational semantics for the goal life-cycle in BDI agents
J Harland, DN Morley, J Thangarajah, N Yorke-Smith
Autonomous agents and multi-agent systems 28, 682-719, 2014
What factors impact student-content interaction in fully online courses
D Nandi, M Hamilton, J Harland
International Journal of Modern Education and Computer Science 7 (7), 28, 2015
Resource-distribution via boolean constraints
J Harland, D Pym
Automated Deduction—CADE-14: 14th International Conference on Automated …, 1997
Preference-based reasoning in BDI agent systems
S Visser, J Thangarajah, J Harland, F Dignum
Autonomous agents and multi-agent systems 30, 291-330, 2016
The system can't perform the operation now. Try again later.
Articles 1–20