Concepedia

James Harland

JH

46

Publications

1.6K

Citations

24

H-Index

1987

Active since

Affiliations

RMIT University(Current)

The University of Melbourne

SRI International

University of Newcastle Australia

University of Turku

James Harland is an author at RMIT University specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationSoftware DesignSystems EngineeringMechanism DesignSoftware EngineeringDesign

Publications per year

1987–2020

46

Publications

46

Evaluating the quality of interaction in asynchronous discussion forums in fully online courses

Dip Nandi, Margaret Hamilton, James Harland · Distance Education · 2012 · 223 citations

Declarative and procedural goals in intelligent agent systems

Michael Winikoff, Lin Padgham, James Harland et al. · RMIT Research Repository (RMIT University Library) · 2002 · 211 citations

Artificial Intelligence, Engineering, Agent Decision-making +16

Exploring programming assessment instruments

Judy Sheard, Norma P. Simon, Angela Carbone et al. · 2011 · 74 citations

Software Maintenance, Engineering, Education +20

A Uniform Proof-theoretic Investigation of Linear Logic Programming

David Pym, James Harland · Journal of Logic and Computation · 1994 · 68 citations

Mathematical Programming, Logic Programming Languages, Logic Programming Language +14

The aditi deductive database system

Jayen Vaghanl, Kotagiri Ramamohanarao, David B. Kemp et al. · The VLDB Journal · 1994 · 64 citations

Engineering, Database System, Deductive Database +6

Rows per page

1–5 of 46