Stephen Cranefield | University of Otago (original) (raw)

Uploads

Papers by Stephen Cranefield

Research paper thumbnail of Eliciting Expectations for Monitoring Social Interactions

Lecture Notes in Computer Science, 2009

Research paper thumbnail of On the Testability of BDI Agent Systems

Journal of Artificial Intelligence Research, Sep 19, 2014

Research paper thumbnail of On the Testability of BDI Agent Systems (Extended Abstract)

International Joint Conference on Artificial Intelligence, 2015

Research paper thumbnail of Multi-agent Interaction Technology for Peer-to-Peer Computing in Electronic Trading Environments

Lecture Notes in Computer Science, 2004

Research paper thumbnail of On Enactability of Agent Interaction Protocols: Towards a Unified Approach

Lecture Notes in Computer Science, 2020

Research paper thumbnail of Teaching novice programming using goals and plans in a visual notation

Australasian Computing Education Conference, Jan 31, 2012

ABSTRACT Introductory programming courses have been continuously reported as having a high rate o... more ABSTRACT Introductory programming courses have been continuously reported as having a high rate of failure or withdrawal. This research aims to develop a new approach for teaching novice programming, which is both easy to introduce and effective in improving novice learning. Our approach combines three key ideas: using a visual programming language; using strategies, specifically using the concepts of "goal" and "plan"; and having a well-defined process. We present a way of representing goals and plans in a visual notation together with a plan library that we developed in a visual programming environment (VPE). A key feature of the approach is that a design, i. e. an unmerged "plan network", is executable and can be tested, giving feedback in the VPE. Furthermore, we describe a detailed process for using existing plans and building new plans in the VPE. This approach had been evaluated experimentally and the results indicated its potential to significantly improve teaching programming to novices.

Research paper thumbnail of (Social) Norms and Agent-Based Simulation

Law, governance and technology series, Nov 28, 2012

Abstract This chapter aims to identify the main relevant steps in the evolution of (social) norms... more Abstract This chapter aims to identify the main relevant steps in the evolution of (social) norms as well as some of the factors or determinants of such a process and to discuss the most urgent scientific tasks to be fulfilled within a community of scientists committed to the study of norms. It is clearly the case that the scientific study of norms needs innovation and opening up to new instruments, new tools, new competencies, and especially new perspectives and approaches. As argued in this chapter, the merging of Agent-Based ...

Research paper thumbnail of On the Enactability of Agent Interaction Protocols: Toward a Unified Approach

arXiv (Cornell University), Feb 4, 2019

Research paper thumbnail of A Bayesian Approach to Norm Identification (Extended Abstract)

Research paper thumbnail of On the testability of BDI agents

Research paper thumbnail of A process for novice programming using goals and plans

Australasian Computing Education Conference, Jan 29, 2013

We propose to improve the teaching of programming to novices by using a clearly-defined and detai... more We propose to improve the teaching of programming to novices by using a clearly-defined and detailed process that makes use of goals and plans, and a visual programming language. We present a simple notation for designing programs in terms of data flow networks of goals and plans, and define a detailed process that uses this notation, and that ultimately results in a program in a visual programming language (BYOB). Results from an evaluation are presented that show the effectiveness of this approach.

Research paper thumbnail of Verifying social expectations by model checking truncated paths

Journal of Logic and Computation, Oct 27, 2010

Research paper thumbnail of Towards Energy-aware Optimisation of Business Processes

Research paper thumbnail of Modelling and Monitoring Interdependent Expectations

Research paper thumbnail of Variational Transfer Learning using Cross-Domain Latent Modulation

arXiv (Cornell University), May 30, 2022

Research paper thumbnail of Cross-Domain Latent Modulation for Variational Transfer Learning

2021 IEEE Winter Conference on Applications of Computer Vision (WACV)

Research paper thumbnail of Deep adversarial transition learning using cross-grafted generative stacks

Research paper thumbnail of Unsupervised Domain Adaptation using Deep Networks with Cross-Grafted Stacks

2019 IEEE/CVF International Conference on Computer Vision Workshop (ICCVW), 2019

Research paper thumbnail of Workload Prediction Model of a Primary Health Centre

Managing the growing demand for care due to long-term conditions (LTCs) is a big challenge for pr... more Managing the growing demand for care due to long-term conditions (LTCs) is a big challenge for primary care providers across the globe. We argue that population-level care for LTC patients registered at a primary health centre (PHC) is possible through workload prediction using care plans. In this paper, we try to answer two research questions: i) How can the future demand for care of the patients with LTCs be predicted? and ii) How is the future demand for care affected by changes? We present a rule-based simulation model that, given the patient details, will predict the number of LTC patients who will be visiting the primary health centre for the next year. Knowing this workload would help the medical practice to meet the upcoming demand for care effectively. Our approach also allows simulation of the effects of changes to practice and resourcing to foresee how these changes may impact the practice. Following the design science research approach, our prediction results have been s...

Research paper thumbnail of Proceedings of the 26th Australasian Joint Conference on AI 2013: Advances in Artificial Intelligence - Volume 8272

Research paper thumbnail of Eliciting Expectations for Monitoring Social Interactions

Lecture Notes in Computer Science, 2009

Research paper thumbnail of On the Testability of BDI Agent Systems

Journal of Artificial Intelligence Research, Sep 19, 2014

Research paper thumbnail of On the Testability of BDI Agent Systems (Extended Abstract)

International Joint Conference on Artificial Intelligence, 2015

Research paper thumbnail of Multi-agent Interaction Technology for Peer-to-Peer Computing in Electronic Trading Environments

Lecture Notes in Computer Science, 2004

Research paper thumbnail of On Enactability of Agent Interaction Protocols: Towards a Unified Approach

Lecture Notes in Computer Science, 2020

Research paper thumbnail of Teaching novice programming using goals and plans in a visual notation

Australasian Computing Education Conference, Jan 31, 2012

ABSTRACT Introductory programming courses have been continuously reported as having a high rate o... more ABSTRACT Introductory programming courses have been continuously reported as having a high rate of failure or withdrawal. This research aims to develop a new approach for teaching novice programming, which is both easy to introduce and effective in improving novice learning. Our approach combines three key ideas: using a visual programming language; using strategies, specifically using the concepts of "goal" and "plan"; and having a well-defined process. We present a way of representing goals and plans in a visual notation together with a plan library that we developed in a visual programming environment (VPE). A key feature of the approach is that a design, i. e. an unmerged "plan network", is executable and can be tested, giving feedback in the VPE. Furthermore, we describe a detailed process for using existing plans and building new plans in the VPE. This approach had been evaluated experimentally and the results indicated its potential to significantly improve teaching programming to novices.

Research paper thumbnail of (Social) Norms and Agent-Based Simulation

Law, governance and technology series, Nov 28, 2012

Abstract This chapter aims to identify the main relevant steps in the evolution of (social) norms... more Abstract This chapter aims to identify the main relevant steps in the evolution of (social) norms as well as some of the factors or determinants of such a process and to discuss the most urgent scientific tasks to be fulfilled within a community of scientists committed to the study of norms. It is clearly the case that the scientific study of norms needs innovation and opening up to new instruments, new tools, new competencies, and especially new perspectives and approaches. As argued in this chapter, the merging of Agent-Based ...

Research paper thumbnail of On the Enactability of Agent Interaction Protocols: Toward a Unified Approach

arXiv (Cornell University), Feb 4, 2019

Research paper thumbnail of A Bayesian Approach to Norm Identification (Extended Abstract)

Research paper thumbnail of On the testability of BDI agents

Research paper thumbnail of A process for novice programming using goals and plans

Australasian Computing Education Conference, Jan 29, 2013

We propose to improve the teaching of programming to novices by using a clearly-defined and detai... more We propose to improve the teaching of programming to novices by using a clearly-defined and detailed process that makes use of goals and plans, and a visual programming language. We present a simple notation for designing programs in terms of data flow networks of goals and plans, and define a detailed process that uses this notation, and that ultimately results in a program in a visual programming language (BYOB). Results from an evaluation are presented that show the effectiveness of this approach.

Research paper thumbnail of Verifying social expectations by model checking truncated paths

Journal of Logic and Computation, Oct 27, 2010

Research paper thumbnail of Towards Energy-aware Optimisation of Business Processes

Research paper thumbnail of Modelling and Monitoring Interdependent Expectations

Research paper thumbnail of Variational Transfer Learning using Cross-Domain Latent Modulation

arXiv (Cornell University), May 30, 2022

Research paper thumbnail of Cross-Domain Latent Modulation for Variational Transfer Learning

2021 IEEE Winter Conference on Applications of Computer Vision (WACV)

Research paper thumbnail of Deep adversarial transition learning using cross-grafted generative stacks

Research paper thumbnail of Unsupervised Domain Adaptation using Deep Networks with Cross-Grafted Stacks

2019 IEEE/CVF International Conference on Computer Vision Workshop (ICCVW), 2019

Research paper thumbnail of Workload Prediction Model of a Primary Health Centre

Managing the growing demand for care due to long-term conditions (LTCs) is a big challenge for pr... more Managing the growing demand for care due to long-term conditions (LTCs) is a big challenge for primary care providers across the globe. We argue that population-level care for LTC patients registered at a primary health centre (PHC) is possible through workload prediction using care plans. In this paper, we try to answer two research questions: i) How can the future demand for care of the patients with LTCs be predicted? and ii) How is the future demand for care affected by changes? We present a rule-based simulation model that, given the patient details, will predict the number of LTC patients who will be visiting the primary health centre for the next year. Knowing this workload would help the medical practice to meet the upcoming demand for care effectively. Our approach also allows simulation of the effects of changes to practice and resourcing to foresee how these changes may impact the practice. Following the design science research approach, our prediction results have been s...

Research paper thumbnail of Proceedings of the 26th Australasian Joint Conference on AI 2013: Advances in Artificial Intelligence - Volume 8272