James Harland
James Harland
Professor of Computational Logic, RMIT University
Bestätigte E-Mail-Adresse bei rmit.edu.au - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Declarative and procedural goals in intelligent agent systems
M Winikoff, L Padgham, J Harland, J Thangarajah
International Conference on Principles of Knowledge Representation and Reasoning, 2002
2432002
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
2342012
A uniform proof-theoretic investigation of linear logic programming
DJ Pym, JA Harland
Journal of logic and Computation 4 (2), 175-207, 1994
1381994
The Aditi deductive database system
J Vaghanl, K Ramamohanarao, DB Kemp, Z Somogyi, PJ Stuckey, ...
The VLDB Journal 3 (2), 245-288, 1994
941994
Representation and Reasoning for Goals in BDI Agents.
J Thangarajah, L Padgham, J Harland
ACSC, 259-265, 2002
912002
Simplifying the development of intelligent agents
M Winikoff, L Padgham, J Harland
Australian Joint Conference on Artificial Intelligence, 557-568, 2001
862001
Programming in lygon: An overview
J Harland, D Pym, M Winikoff
International Conference on Algebraic Methodology and Software Technology …, 1996
841996
Enhancing commitment machines
M Winikoff, W Liu, J Harland
International Workshop on Declarative Agent Languages and Technologies, 198-220, 2004
802004
Evaluating the dynamic behaviour of Python applications
A Holkner, J Harland
Proceedings of the Thirty-Second Australasian Conference on Computer Science …, 2009
742009
The uniform proof-theoretic foundation of linear logic programming
J Harland, D Pym
LFCS, Department of Computer Science, University of Edinburgh, 1991
691991
An introduction to deductive database languages and systems
K Ramamohanarao, J Harland
VLDB J. 3 (2), 107-122, 1994
591994
On proactivity and maintenance goals
S Duff, J Harland, J Thangarajah
Proceedings of the fifth international joint conference on Autonomous agents …, 2006
542006
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
512011
Implementing the linear logic programming language Lygon
J Harland, M Winikoff
Proceedings of the 1995 International Logic Programming Symposium, 66-80, 1995
491995
Transforming learning of programming: a mentoring project
D D'Souza, M Hamilton, J Harland, P Muir, C Thevathayan, C Walker
Tenth Australasian Computing Education Conference (ACE 2008), 2008
472008
Exploring programming assessment instruments: a classification scheme for examination questions
J Sheard, A Carbone, D Chinn, MJ Laakso, T Clear, M de Raadt, ...
Proceedings of the seventh international workshop on Computing education …, 2011
442011
What factors impact student–Content interaction in fully online courses
D Nandi, M Hamilton, J Harland
IJ Modern Education and Computer Science 7, 28-35, 2015
42*2015
Resource-distribution via boolean constraints
J Harland, D Pym
International Conference on Automated Deduction, 222-236, 1997
401997
Resource-distribution via boolean constraints
J Harland, D Pym
ACM Transactions on Computational Logic (TOCL) 4 (1), 56-90, 2003
372003
Facebook versus Blackboard for supporting the learning of programming in a fully online course: the changing face of computing education
M Maleko, D Nandi, M Hamilton, D D'Souza, J Harland
2013 Learning and Teaching in Computing and Engineering, 83-89, 2013
352013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20