James Harland
RMIT University(AU)
Publications by Year
Research Areas
Logic, Reasoning, and Knowledge, Multi-Agent Systems and Negotiation, Logic, programming, and type systems, Formal Methods in Verification, Diverse Scientific and Economic Studies
Most-Cited Works
- → Evaluating the quality of interaction in asynchronous discussion forums in fully online courses(2012)223 cited
- Declarative and procedural goals in intelligent agent systems(2002)
- → Exploring programming assessment instruments(2011)74 cited
- → Simplifying the Development of Intelligent Agents(2001)73 cited
- → A Uniform Proof-theoretic Investigation of Linear Logic Programming(1994)68 cited
- → Enhancing Commitment Machines(2005)67 cited
- → The aditi deductive database system(1994)64 cited
- → Matching Strictly Dependent Global Constraints for Composite Web Services