Author image not provided
 James Harland

Authors:
Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article4.49
Citation Count346
Publication count77
Publication years1992-2017
Available for download36
Average downloads per article212.83
Downloads (cumulative)7,662
Downloads (12 Months)378
Downloads (6 Weeks)88
SEARCH
ROLE
Arrow RightAuthor only
· Editor only
· All roles


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


77 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 20 of 77
Result page: 1 2 3 4

Sort by:

1
September 2017 Journal of Systems and Software: Volume 131 Issue C, September 2017
Publisher: Elsevier Science Inc.
Bibliometrics:
Citation Count: 0

Multi-agent systems are increasingly being used in complex applications due to features such as autonomy, pro-activity, flexibility, robustness and social ability. These very features also make verifying multi-agent systems a challenging task. In this article, we propose a mechanism, including automated tool support, for early phase defect detection by comparing ...
Keywords: Verification, Multi-agent systems, Agent-oriented software engineering

2
May 2017 Autonomous Agents and Multi-Agent Systems: Volume 31 Issue 3, May 2017
Publisher: Kluwer Academic Publishers
Bibliometrics:
Citation Count: 0

Goal-oriented agent systems are increasingly popular for developing complex applications that operate in highly dynamic environments. As with any software these systems have to be designed starting with the specification of system requirements. In this paper, we extend a popular agent design methodology, Prometheus, and improve the understandability and maintainability ...
Keywords: Prometheus methodology, AOSE, Requirements specification

3
March 2017 Autonomous Agents and Multi-Agent Systems: Volume 31 Issue 2, March 2017
Publisher: Kluwer Academic Publishers
Bibliometrics:
Citation Count: 1

Intelligent agents designed to work in complex, dynamic environments such as e-commerce must respond robustly and flexibly to environmental and circumstantial changes, including the actions of other agents. An agent must have the capability to deliberate about appropriate courses of action, which may include reprioritising tasks--whether goals or associated plans--aborting ...
Keywords: Intelligent agents, Goal reasoning, BDI agents, Belief-Desire-Intention

4
September 2016 Theoretical Computer Science: Volume 646 Issue C, September 2016
Publisher: Elsevier Science Publishers Ltd.
Bibliometrics:
Citation Count: 0

The busy beaver is a well-known specific example of a non-computable function. Whilst many aspects of this problem have been investigated, it is not always easy to find thorough and convincing evidence for the claims made about the maximality of particular machines, and the phenomenal size of some of the ...
Keywords: Placid platypus, Turing machines, Busy beaver

5
May 2016 AAMAS '16: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems
Publisher: International Foundation for Autonomous Agents and Multiagent Systems
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 3,   Downloads (12 Months): 17,   Downloads (Overall): 63

Full text available: PDFPDF
In this work we extend a popular agent design methodology, Prometheus and improve the understandability and maintainability of requirements by automatically generating UML activity diagrams from existing requirements models; namely scenarios and goal hierarchies. The approach is general to all the methodologies that support similar notions in specifying requirements.
Keywords: goal-oriented requirements, aose methodology

6
April 2016 ENASE 2016: Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering
Publisher: SCITEPRESS - Science and Technology Publications, Lda
Bibliometrics:
Citation Count: 0

We aim to facilitate semi-automated collaborative distributed development, commissioning, operation and maintenance using formal behavioural models. We are interested in a whole-of-system context, where properties of the physical systems increasingly depend explicitly on software configuration, thus requiring validation. Our models are cyber-physical, comprising not only the control software itself but ...
Keywords: Spatial Modeling, Cyber-physical Systems., Software Engineering

7
March 2016 Autonomous Agents and Multi-Agent Systems: Volume 30 Issue 2, March 2016
Publisher: Kluwer Academic Publishers
Bibliometrics:
Citation Count: 1

An important feature of BDI agent systems is number of different ways in which an agent can achieve its goals. The choice of means to achieve the goal in made by the system at run time, depending on contextual information that is not available in advance. In this article, we ...
Keywords: Agent programming languages, Reasoning (single and multiagent), Preference reasoning

8
May 2015 AAMAS '15: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems
Publisher: International Foundation for Autonomous Agents and Multiagent Systems
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 2,   Downloads (12 Months): 8,   Downloads (Overall): 28

Full text available: PDFPDF
We extend our earlier work on quantifying the level of completeness of achievement goals in BDI agents [8], to encompass maintenance goals. We both characterize what it means for a maintenance goal to be partially complete in terms of its relevancy, and sketch an efficient computational mechanism for an agent ...
Keywords: maintenance goals, goal completeness, belief-desire-intention theories and models, reasoning in agent-based systems

9
May 2015 AAMAS '15: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems
Publisher: International Foundation for Autonomous Agents and Multiagent Systems
Bibliometrics:
Citation Count: 2
Downloads (6 Weeks): 4,   Downloads (12 Months): 12,   Downloads (Overall): 95

Full text available: PDFPDF
Agent systems are used for a wide range of applications, and techniques to detect and avoid defects in such systems are valuable. In particular, it is desirable to detect issues as early as possible in the software development lifecycle. We describe a technique for checking the plan structures of a ...
Keywords: muli-agent systems, requirements specifications, aose

10
August 2014 ECAI'14: Proceedings of the Twenty-first European Conference on Artificial Intelligence
Publisher: IOS Press
Bibliometrics:
Citation Count: 1

Given the current set of intentions an autonomous agent may have, intention selection is the agent's decision which intention it should focus on next. Often, in the presence of conflicts, the agent has to choose between multiple intentions. One factor that may play a role in this deliberation is the ...

11
August 2014 ECAI'14: Proceedings of the Twenty-first European Conference on Artificial Intelligence
Publisher: IOS Press
Bibliometrics:
Citation Count: 0

Agent systems are used for a wide range of applications, and techniques to detect and avoid defects in such systems are valuable. In particular, it is desirable to detect issues as early as possible in the software development lifecycle. We describe a technique for checking the plan structures of a ...

12
July 2014 Autonomous Agents and Multi-Agent Systems: Volume 28 Issue 4, July 2014
Publisher: Kluwer Academic Publishers
Bibliometrics:
Citation Count: 4

A fundamental feature of intelligent agents is their ability to deliberate over their goals. Operating in an environment that may change in unpredictable ways, an agent needs to regularly evaluate whether its current set of goals is the most appropriate set to pursue. The management of goals is thus a ...
Keywords: BDI agents, Operational semantics, Goal management

13
May 2014 AAMAS '14: Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems
Publisher: International Foundation for Autonomous Agents and Multiagent Systems
Bibliometrics:
Citation Count: 6
Downloads (6 Weeks): 5,   Downloads (12 Months): 11,   Downloads (Overall): 73

Full text available: PDFPDF
Multi-agent systems are increasingly being used in complex applications due to features such as autonomy, proactivity, flexibility, robustness and social ability. However, these very features also make verifying multi-agent systems a challenging task. In this paper, we propose a mechanism, including automated tool support, for early phase defect detection by ...
Keywords: verification, aose, multi-agent systems

14
May 2014 AAMAS '14: Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems
Publisher: International Foundation for Autonomous Agents and Multiagent Systems
Bibliometrics:
Citation Count: 2
Downloads (6 Weeks): 2,   Downloads (12 Months): 8,   Downloads (Overall): 30

Full text available: PDFPDF
Often, such as in the presence of conflicts, an agent must choose between multiple intentions. The level of completeness of the intentions can be a factor in this deliberation. We sketch a pragmatic but principled mechanism for quantifying the level of completeness of goals in a Belief-Desire-Intention--like agent. Our approach ...
Keywords: goal reasoning, partial completeness, resource summaries

15
April 2014 LATICE '14: Proceedings of the 2014 International Conference on Teaching and Learning in Computing and Engineering
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 1

This paper analyses the outcome of an international study examining student perceptions of feedback. Our initial work built on research by Gibbs which identified linkages between current and subsequent course activities as a critical factor in whether students value the feedback they receive. Drawing on the work of Gibbs on ...
Keywords: Feedback, principles, student perception

16
February 2014 Computational Intelligence: Volume 30 Issue 1, February 2014
Publisher: Blackwell Publishers, Inc.
Bibliometrics:
Citation Count: 3

Intelligent agent systems are often used to implement complex software systems. A key aspect of agent systems is goals: a programmer or user defines a set of goals for an agent, and then the agent is left to determine how best to satisfy the goals assigned to it. Such goals ...
Keywords: agent reasoning, intelligent agents, multiagent systems, goal-based reasoning

17
July 2013 TRUSTCOM '13: Proceedings of the 2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 0

Inspired by the role endorsements play in traditional commerce, the institutional trust promoting mechanism proposed allows all vital data to be endorsed by category specific endorsement intermediaries with established trust relationships. The resulting endorsement trust provides a much stronger basis for e-commerce trust propagation than past transitive trust models. The ...
Keywords: trust propgation, transitive trust, endorsement

18
March 2013 LATICE '13: Proceedings of the 2013 Learning and Teaching in Computing and Engineering
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 2

Whilst portable computers, such as laptops, notepads, personal assistants or smart phones, are now ubiquitous, their value as a tool in a learning environment is still an issue of considerable debate. This research studied the use of laptops as a learning tool in a traditional lecture for computer science students. ...
Keywords: mobile learning, laptops, lectures, computing

19
March 2013 LATICE '13: Proceedings of the 2013 Learning and Teaching in Computing and Engineering
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 0

As students become more mobile they increasingly require access to their educational resources anytime and anywhere. University courses are typically managed through learning management systems, which were established to enable access to their educational resources online at any time, but are these enough? We are interested in researching the impact ...
Keywords: Social networking sites, Facebook, Blackboard, Learning Management System

20
March 2013 LATICE '13: Proceedings of the 2013 Learning and Teaching in Computing and Engineering
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 1

This paper reports outcomes from an international study examining student perceptions of feedback. Recent work by Grahame Gibbs identifies linkages between current and subsequent course activities as a critical factor in whether students value the feedback they receive. We have investigated the frequency and nature of feedback given to students ...
Keywords: Feedback, Tertiary Education, Engineering



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us