diff --git a/INFO_DP.bib b/INFO_DP.bib index acb47aa..eddff0f 100644 --- a/INFO_DP.bib +++ b/INFO_DP.bib @@ -2,13 +2,26 @@ %% http://bibdesk.sourceforge.net/ -%% Created for Nigel Stanger at 2011-08-04 09:32:37 +1200 +%% Created for Nigel Stanger at 2012-04-13 12:16:27 +1200 %% Saved with string encoding Western (Mac OS Roman) +@techreport{dp2011-04, + Abstract = {Previous research on modelling and monitoring norms, contracts and commitments has studied the semantics of concepts such as obligation, permission, prohibition and commitment; languages for expressing behavioural constraints (such as norms or contracts) to be followed by agents in specific contexts; and mechanisms for run-time monitoring of fulfilment and violation of these constraints. However, there has been little work that provided all of these features while also allowing the current expectations of agents, and the fulfilment and violation of these expectations to be expressed as first-class constructs in the language. This paper demonstrates the benefits of providing this capability by considering a variety of use cases and demonstrating how these can be addressed as applications of a previously defined temporal logic of expectations and an associated monitoring technique.}, + Address = {Dunedin, New Zealand}, + Author = {Stephen Cranefield and Michael Winikoff and Wamberto Vasconcelos}, + Date-Added = {2012-04-13 11:52:43 +1200}, + Date-Modified = {2012-04-13 11:52:43 +1200}, + Institution = {Department of Information Science, University of Otago}, + Month = feb, + Number = {2011/04}, + Title = {Modelling and monitoring interdependent expectations}, + Type = {Discussion paper}, + Year = {2011}} + @techreport{dp2011-07, Abstract = {Second Life is a multi-purpose online virtual world that is increasingly being used for applications and simulations in diversified areas such as education, training, entertainment, and even for applications related to Artificial Intelligence. For the successful implementation and analysis of most of these applications, it is important to have a robust mechanism to extract low-level data from Second Life in high frequency and high accuracy. However, currently Second Life does not have a reliable or scalable inbuilt data extraction mechanism, nor the related research provides a better alternative. This paper presents a robust and reliable data extraction mechanism from Second Life. We also investigate the currently existing data extraction mechanisms in detail, identifying their limitations in extracting data with high accuracy and high frequency.}, Address = {Dunedin, New Zealand}, @@ -50,18 +63,18 @@ Type = {Discussion paper}, Year = {2011}} -@techreport{dp2011-04, - Abstract = {Previous research on modelling and monitoring norms, contracts and commitments has studied the semantics of concepts such as obligation, permission, prohibition and commitment; languages for expressing behavioural constraints (such as norms or contracts) to be followed by agents in specific contexts; and mechanisms for run-time monitoring of fulfilment and violation of these constraints. However, there has been little work that provided all of these features while also allowing the current expectations of agents, and the fulfilment and violation of these expectations to be expressed as first-class constructs in the language. This paper demonstrates the benefits of providing this capability by considering a variety of use cases and demonstrating how these can be addressed as applications of a previously defined temporal logic of expectations and an associated monitoring technique.}, +@techreport{dp2012-01, + Abstract = {Due to changes in energy supply, and regulatory mechanism related to energy provisioning, organizations will need to tackle energy management is- sues. One way of doing so is to allocate resources to business processes taking into account energy costs. However, energy costs are time-dependent, and the re- source optimization problem needs to be redesigned. In this paper we formalize the energy-aware resource allocation problem, including time-dependent variable costs; describe how an auction mechanism can be used to allocate resources in a way that optimizes costs; and present a case study.}, Address = {Dunedin, New Zealand}, - Author = {Stephen Cranefield and Michael Winikoff and Wamberto Vasconcelos}, + Author = {Beatriz Lopez and Aditya Ghose and Bastin Tony Roy Savarimuthu and Mariusz Nowostawski and Michael Winikoff and Stephen Cranefield}, Date-Added = {2011-05-06 10:36:50 +1200}, - Date-Modified = {2011-05-06 10:36:50 +1200}, + Date-Modified = {2012-04-13 12:16:24 +1200}, Institution = {Department of Information Science, University of Otago}, - Month = feb, - Number = {2011/04}, - Title = {Modelling and monitoring interdependent expectations}, + Month = apr, + Number = {2012/01}, + Title = {Energy-aware optimisation of business processes}, Type = {Discussion paper}, - Year = {2011}} + Year = {2012}} @techreport{dp2011-03, Abstract = {Second Life is a multi-purpose online virtual world that provides a rich platform for remote human interaction. It is increasingly being used as a simulation platform to model complex human interactions in diverse areas, as well as to simulate multi-agent systems. It would therefore be beneficial to provide techniques allowing high-level agent development tools, especially cognitive agent platforms such as belief-desire-intention (BDI) programming frameworks, to be interfaced to Second Life. This is not a trivial task as it involves mapping potentially unreliable sensor readings from complex Second Life simulations to a domain-specific abstract logical model of observed properties and/or events. This paper investigates this problem in the context of agent interactions in a multi-agent system simulated in Second Life. We present a framework which facilitates the connection of any multi-agent platform with Second Life, and demonstrate it in conjunction with an extension of the Jason BDI interpreter.},