Declarative and procedural goals in intelligent agent systems
- M. Winikoff, L. Padgham, James Harland, John Thangarajah
- Computer ScienceInternational Conference on Principles of…
- 2002
This paper presents a high-level plan notation with goals and gives its formal semantics, and shows how the use of declarative information permits reasoning to be performed on goals.
Evaluating the quality of interaction in asynchronous discussion forums in fully online courses
- Dip Nandi, M. Hamilton, James Harland
- Computer Science
- 30 April 2012
This article conducted research on the quality of discussion in fully online courses through analysis of discussion forum activities on two large fully online subjects for computing students over two consecutive semesters and used a grounded theoretic approach for data analysis.
Declarative & Procedural Goals in Intelligent Agent Systems
- M. Winikoff, L. Padgham, James Harland, John Thangarajah
- Computer ScienceInternational Conference on Principles of…
- 2002
This paper presents a high-level plan notation with goals and gives its formal semantics, and shows how the use of declarative information permits reasoning to be performed on goals.
Evaluating the dynamic behaviour of Python applications
- Alex Holkner, James Harland
- Computer ScienceAustralasian Computer Science Conference
- 2009
It is found that while most dynamic activity occurs during program startup, dynamic activity after startup cannot be discounted entirely.
Implementing the Linear Logic Programming Language Lygon
- M. Winikoff, James Harland
- Computer ScienceILPS
- 1995
This paper investigates the implementation of Lygon, Girard's linear logic, and presents solutions to two problems that arise, the division of resources between sub-branches of the proof and the selection of the formula to be decomposed.
Simplifying the Development of Intelligent Agents
- M. Winikoff, L. Padgham, James Harland
- Computer ScienceAustralian Joint Conference on Artificial…
- 10 December 2001
This paper identifies the concept set which has been found to be important in developing intelligent agent systems and the relationships between these concepts and describes briefly a (very simplified) example from one of the projects the authors have worked on (RoboRescue), illustrating the way in which these concepts are important in designing and developing intelligent software agents.
An operational semantics for the goal life-cycle in BDI agents
- James Harland, David N. Morley, John Thangarajah, N. Yorke-Smith
- Computer ScienceAutonomous Agents and Multi-Agent Systems
- 1 July 2014
This work develops a detailed description of goal states, and a comprehensive suite of operations that may be applied to goals (including dropping, aborting, suspending and resuming them), and provides an operational semantics corresponding to this detailed description in an abstract agent language (CAN).
Exploring programming assessment instruments: a classification scheme for examination questions
- Judithe Sheard, Simon, G. Warburton
- EducationInternational Computing Education Research…
- 8 August 2011
The development of a classification scheme that can be used to investigate the characteristics of introductory programming examinations is described and a taste of the results of a pilot analysis of a set of CS1 exam papers is presented.
The Uniform Proof-Theoretic Foundation of Linear Logic Programming
- James Harland, D. Pym
- Computer Science, MathematicsISLP
- 1991
A translation of the intuitionistic hereditary Harrop formulae and intuitionistic uniform proofs of Girard's linear logic are considered, and it is shown that certain properties are preserved under this translation.
How active are students in online discussion forums
- Dip Nandi, M. Hamilton, James Harland, G. Warburton
- EducationIFAC Symposium on Advances in Control Education
- 17 January 2011
This research provides a benchmark for the trend of participation expected of the fully online introductory information technology and programming students and shows that there is a correlation between activity of students in online forums and the grades they achieve.
...
...