Aditya Ghose

Kerry Hinge

Proceedings of the Service-Oriented Computing - ICSOC 2011 Workshops, 2011

Goal-Driven Business Process Derivation.

[BibT_eX]

[DOI]

Nanjangud C. Narendra

Karthikeyan Ponnalagu

Anurag Panda

Atul Gohad

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Automated change impact analysis for agent systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

The Optimizing Web: Leveraging Agent Technology for Sustainability.

[BibT_eX]

[DOI]

Proceedings of the Computer Information Systems - Analysis and Technologies, 2011

On Formalizing Inter-process Relationships.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2011

Correlating Business Objectives with Services: An Ontology-Driven Approach.

[BibT_eX]

[DOI]

Krishnajith M. Krishnankunju

Muralee Krishnan

Proceedings of the IEEE International Conference on Services Computing, 2011

2010

A Framework for Detecting Interactions Between Co-Incident Clinical Processes.

[BibT_eX]

[DOI]

Kerry Hinge

Andrew Miller

Int. J. E Health Medical Commun., 2010

Implementing reactive BDI agents with user-given constraints and objectives.

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2010

Double preference relations for generalised belief change.

[BibT_eX]

[DOI]

Artif. Intell., 2010

The Business Service Representation Language: A Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Towards a Service-Based Internet. ServiceWave 2010 Workshops, 2010

Business Rules Discovery from Process Design Repositories.

[BibT_eX]

[DOI]

Proceedings of the 6th World Congress on Services, 2010

What Can Agent-Based Computing Offer Service-Oriented Architectures, and Vice Versa?

[BibT_eX]

[DOI]

Srinivas Padmanabhuni

Biplav Srivastava

Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

An Agent-Oriented Approach to Service Analysis and Design.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

Agent-Based Development for Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

Using Distributed Agents for Patient Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

SBDO: A New Robust Approach to Dynamic Distributed Constraint Optimisation.

[BibT_eX]

[DOI]

Graham Billiau

Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

A Framework for Optimizing Inter-operating Business Process Portfolio.

[BibT_eX]

[DOI]

Tri A. Kurniawan

Proceedings of the Information Systems Development, 2010

Ontology-based Text Analysis Approach to Retrieve Oncology Documents from PubMed Relevant to Cervical Cancer in Clinical Trials.

[BibT_eX]

Proceedings of the Advances in Data Mining. 10th Industrial Conference, 2010

Business Process Improvement in Abnoba.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2010

Carbon-Aware Business Process Design in Abnoba.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Definition of a Description Language for Business Service Decomposition.

[BibT_eX]

[DOI]

Proceedings of the Exploring Services Science - First International Conference, 2010

Support-Based Distributed Optimisation: An Approach To Radiotherapy Patient Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Healthgrid Applications and Core Technologies, 2010

Support-Based Distributed Optimisation: An Approach to Radiotherapy Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Electronic Healthcare - Third International Conference, 2010

Supporting Change Propagation in the Evolution of Enterprise Architectures.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, 2010

Towards an Algebraic Framework for Querying Inductive Databases.

[BibT_eX]

[DOI]

Hong-Cheu Liu

John Zeleznikow

Proceedings of the Database Systems for Advanced Applications, 2010

BDI Agents with Objectives and Preferences.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

Ontology modeling of UBL process diagrams using OWL.

[BibT_eX]

[DOI]

Suman Roy

Kiran Prakash Sawant

Proceedings of the 2010 International Conference on Computer Information Systems and Industrial Management Applications, 2010

Supporting Change Propagation in the Maintenance and Evolution of Service-Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

On Business Services Representation - The 3 x 3 x 3 Approach.

[BibT_eX]

[DOI]

Proceedings of the Australasian Conference on Information Systems, 2010

Analyst-Mediated Contextualization of Regulatory Policies.

[BibT_eX]

[DOI]

Nirmit Desai

Nanjangud C. Narendra

Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

Towards Green Business Process Management.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009

Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2009

Industry traction for MAS technology: would a rose by any other name smell as sweet?

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2009

Editorial for the Special Issue on IT and Climate Change.

[BibT_eX]

[DOI]

Helen Hasan

Trevor Spedding

Australas. J. Inf. Syst., 2009

Green Business Process Management: a Research Agenda.

[BibT_eX]

[DOI]

Lothar Hinsche

Australas. J. Inf. Syst., 2009

SBDO: A New Robust Approach to Dynamic Distributed Constraint Optimisation.

[BibT_eX]

[DOI]

Graham Billiau

Proceedings of the Principles of Practice in Multi-Agent Systems, 2009

An Integrated Approach to Managing Business Process Risk Using Rich Organizational Models.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009

Mixed-Initiative Argumentation: Group Decision Support in Medicine.

[BibT_eX]

[DOI]

Andrew Miller

Proceedings of the Electronic Healthcare - Second International ICST Conference, 2009

Dealing with imprecise compliance requirements.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the 12th IEEE International Enterprise Distributed Object Computing Conference, 2009

Process SEER: A Tool for Semantic Effect Annotation of Business Process Models.

[BibT_eX]

[DOI]

Kerry Hinge

Proceedings of the 13th IEEE International Enterprise Distributed Object Computing Conference, 2009

A Conceptual Framework for Business Process Redesign.

[BibT_eX]

[DOI]

Proceedings of the Enterprise, 2009

Business Process Integration: Method and Analysis.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modelling 2009, 2009

IS Solution for the Global Environmental Challenge: An Australian Initiative.

[BibT_eX]

[DOI]

Helen Hasan

Trevor Spedding

Proceedings of the 15th Americas Conference on Information Systems, 2009

Mixed-Initiative Argumentation: A Framework for Justification Management in Clinical Group Decision Support.

[BibT_eX]

[DOI]

Andrew Miller

Proceedings of the Uses of Computational Argumentation, 2009

2008

Iterated Belief Change and the Recovery Axiom.

[BibT_eX]

[DOI]

J. Philos. Log., 2008

An Ontology-Based Sentiment Classification Methodology for Online Consumer Reviews.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008

Towards an Enterprise Business Process Architecture Standard.

[BibT_eX]

[DOI]

Srinivas Padmanabhuni

Proceedings of the 2008 IEEE Congress on Services, Part I, 2008

Actor Eco-systems: Modeling and Configuring Virtual Enterprises.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE World Congress on Services, 2008

Branch and Bound Algorithms to Solve Semiring Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Louise Leenen

Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

Requirements Modeling with Agent Programming.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Development, 2008

An Automatic Elaborate Requirement Specification By Using Hierarchical Text Classification.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

A best-first anytime algorithm for computing optimal coalition structures.

[BibT_eX]

[DOI]

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Model Eco-Systems: Preliminary Work.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modelling 2008, 2008

2007

Relaxations of semiring constraint satisfaction problems.

[BibT_eX]

[DOI]

Louise Leenen

Inf. Process. Lett., 2007

Auditing Business Process Compliance.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2007

Synopsis Information Extraction in Documents Through Probabilistic Text Classifiers.

[BibT_eX]

[DOI]

Proceedings of the Asian Digital Libraries. Looking Back 10 Years and Forging New Frontiers, 2007

Rapid Business Process Discovery ( R- BPD).

[BibT_eX]

[DOI]

Arthur Chueng

Proceedings of the Conceptual Modeling, 2007

Agent Based Executable Conceptual Models Using i* and CASO.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling - Foundations and Applications, 2007

Actor Eco-systems: From High-Level Agent Models to Executable Processes via Semantic Annotations.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Managing Business Process Risk Using Rich Organizational Models.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Integration of Agent-Oriented Conceptual Models and UML Activity Diagrams Using Effect Annotations.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT.

[BibT_eX]

[DOI]

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

Verifying Semantic Business Process Models in Inter-operation.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007

Process Discovery from Model and Text Artefacts.

[BibT_eX]

[DOI]

Arthur Chueng

Proceedings of the 2007 IEEE International Conference on Services Computing, 2007

2006

Agent-oriented conceptual models to UML sequence diagrams via effect annotations.

[BibT_eX]

[DOI]

Aleksandar Vranesevic

Multiagent Grid Syst., 2006

Formalization and assessment of regulatory requirements for safety-critical software.

[BibT_eX]

[DOI]

Jonathan P. Bowen

Innov. Syst. Softw. Eng., 2006

Social choice theory, belief merging, and strategy-proofness.

[BibT_eX]

[DOI]

Inf. Fusion, 2006

Reliable service composition by adopting assumptions.

[BibT_eX]

Comput. Syst. Sci. Eng., 2006

Extending Semantic Web Service Description by Service Assumption.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

A Distributed Branch-and-Bound Algorithm for Computing Optimal Coalition Structures.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 4th Helenic Conference on AI, 2006

Combining Credibility in a Source Sensitive Argumentation System.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 4th Helenic Conference on AI, 2006

Genre-based approach to Requirements Elicitation.

[BibT_eX]

Rodney J. Clarke

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Co-evolution of i* Models and 3APL Agents.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Viewpoints Merging via Incrementally Elicited Ranked Structures.

[BibT_eX]

[DOI]

Qiuming Lin

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Co-evolution of Agent Oriented Conceptual Models and Use Case Diagrams.

[BibT_eX]

[DOI]

Mohammad M. R. Bhuiyan

M. M. Zahidul Islam

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

A Relaxation of a Semiring Constraint Satisfaction Problem Using Combined Semirings.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2006: Trends in Artificial Intelligence, 2006

Relating Business Process Models to Goal-Oriented Requirements Models in KAOS.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Acquisition and Management, 2006

Combined Approach for Supporting the Business Process Model Lifecycle.

[BibT_eX]

[DOI]

Aleksandar Vranesevic

Moshiur Bhuiyan

Proceedings of the Pacific Asia Conference on Information Systems, 2006

Supporting Dynamic Supply Networks with Agent-Based Coalitions.

[BibT_eX]

[DOI]

Proceedings of the Advances in Applied Artificial Intelligence, 2006

Agent-Based Prototyping of Web-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Applied Artificial Intelligence, 2006

Using constraint hierarchies to support QoS-guided service composition.

[BibT_eX]

[DOI]

Zheng Lu

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

A Distributed Algorithm for Coalition Formation in Linear Production Domain.

[BibT_eX]

Proceedings of the ICEIS 2006, 2006

Applying Agent-Oriented Modelling and Prototyping to Service-Oriented Systems.

[BibT_eX]

Proceedings of the ICEIS 2006, 2006

Hybrid Modeling Using I* and Agentspeak(L) Agents in Agent Oriented Software Engineering.

[BibT_eX]

Proceedings of the ICEIS 2006, 2006

Source Sensitive Argumentation System.

[BibT_eX]

Proceedings of the ICEIS 2006, 2006

HCLP Based Service Composition.

[BibT_eX]

[DOI]

Zheng Lu

Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Co-evolution of Agent-Oriented Conceptual Models and CASO Agent Programs.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Adopting Default Reasoning in Service Composition Context.

[BibT_eX]

[DOI]

Zheng Lu

Peter Hyland

Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

Combining i* and BPMN for Business Process Model Lifecycle Management.

[BibT_eX]

[DOI]

Aleksandar Vranesevic

Moshiur Bhuiyan

Proceedings of the Business Process Management Workshops, 2006

Support-Based Distributed Search: A New Approach for Multiagent Constraint Processing.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Multi-Agent Systems, Third International Workshop, 2006

A Pruning-Based Algorithm for Computing Optimal Coalition Structures in Linear Production Domains.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2006

Relaxation of Soft Constraints Via a Unified Semiring.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2006

Simple Support-Based Distributed Search.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2006

CASO: a framework for dealing with objectives in a constraint-based extension to AgentSpeak(L).

[BibT_eX]

[DOI]

Proceedings of the Computer Science 2006, 2006

Correlating Business Process and Organizational Models to Manage Change.

[BibT_eX]

[DOI]

Moshiur Bhuiyan

Proceedings of the Australasian Conference on Information Systems, 2006

Using Assumptions in Service Composition Context.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Services Computing (SCC 2006), 2006

2005

Belief Liberation (and Retraction).

[BibT_eX]

[DOI]

Stud Logica, 2005

Towards Executable Specification: Combining i* and AgentSpeak(L) .

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications.

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Combining Agent-oriented Conceptual Modelling and the UML Sequence Diagram.

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Dealing with Web Service QoS factors using Constraint Hierarchy.

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Dealing with Objectives in a Constraint-Based Extension to AgentSpeak(L).

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems for Society, 2005

Agent-based Coalitions in Dynamic Supply Chains.

[BibT_eX]

[DOI]

Proceedings of the Pacific Asia Conference on Information Systems, 2005

Use Constraint Hierarchy for Non-functional Requirements Analysis.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering, 5th International Conference, 2005

Practical Application of Support-Based Distributed Search.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005

Dynamic Coalition in Agent Aware Adhoc Virtual P2P Interconnect Grid Computing System - A3PVIGRID.

[BibT_eX]

Avinash Shankar

Philip Ogunbona

Proceedings of the ICEIS 2005, 2005

Executable Specifications for Agent Oriented Conceptual Modelling.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

2004

Iterated Belief Change.

[BibT_eX]

[DOI]

Comput. Intell., 2004

Hierarchic Decomposition in Agent Oriented Conceptual Modelling.

[BibT_eX]

[DOI]

Robert B. K. Brown

Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements.

[BibT_eX]

[DOI]

Proceedings of the Product Focused Software Process Improvement, 2004

Co-Evolution of Complementary Formal and Informal Requirements.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Principles of Software Evolution (IWPSE 2004), 2004

Agent Programming Language with Incomplete Knowledge - Agentspeak(I).

[BibT_eX]

Duc Vo

Proceedings of the ICEIS 2004, 2004

A Case Study of Combining I* Framework and the Z Notation.

[BibT_eX]

Proceedings of the ICEIS 2004, 2004

A Framework to Support Coalition Formation in Supply Chain Collaboration.

[BibT_eX]

Peter Hyland

Proceedings of the Fourth International Conference on Electronic Business, 2004

A Unifying Semantics for Belief Change.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Combining Agent-Oriented Conceptual Modelling with Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

2003

Non-Prioritized Ranked Belief Change.

[BibT_eX]

[DOI]

Thomas Meyer

J. Philos. Log., 2003

Web Agents for Requirements Consistency Management.

[BibT_eX]

[DOI]

Zerong Chen

Proceedings of the 2003 IEEE / WIC International Conference on Web Intelligence, 2003

Agent-assisted Distributed Requirements Elicitation and Management.

[BibT_eX]

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Reducing Redundancy in the Hypertree Decomposition Scheme.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

2002

Syntactic Representations of Semantic Merging Operations.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2002: Trends in Artificial Intelligence, 2002

Iterated revision and the axiom of recovery: A unified treatment via epistemic states.

[BibT_eX]

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Metric SCSPs: Partial Constraint Satisfaction via Semiring CSPs Augmented with Metrics.

[BibT_eX]

[DOI]

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

Generalized Arc Consistency with Application to MaxCSP.

[BibT_eX]

[DOI]

Michael C. Horsch

William S. Havens

Proceedings of the Advances in Artificial Intelligence, 2002

2001

Social Choice, Merging, and Elections.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

2000

Reports on the AAAI 1999 Workshop Program.

[BibT_eX]

[DOI]

AI Mag., 2000

Formal Methods for Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Symposium on Multimedia Software Engineering, 2000

Formal Tools for Managing Inconsistency and Change in RE.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Software Specification and Design, 2000

1999

Connections Between Default Reasoning and Partial Constraint Satisfaction.

[BibT_eX]

[DOI]

Inf. Sci., 1999

Editorial.

[BibT_eX]

[DOI]

Australas. J. Inf. Syst., 1999

Gongeroos'99.

[BibT_eX]

[DOI]

Proceedings of the RoboCup-99: Robot Soccer World Cup III, 1999

Constraint-Based Agent Specification for a Multi-agent Stock Brokering System.

[BibT_eX]

[DOI]

Boon-Hua Ooi

Proceedings of the Multiple Approaches to Intelligent Systems, 1999

A Formal Basis for Consistency, Evolution and Rationale Management in Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence, 1999

What Is Default Reasoning Good For? Applications Revisited.

[BibT_eX]

[DOI]

Grigoris Antoniou

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

Constraint-based integrity checking in abductive and non-monotonic extensions of constraint logic programming.

[BibT_eX]

[DOI]

Srinivas Padmanabhuni

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998

Belief States as Default Theories: Studies in Non-Prioritized Belief Change.

[BibT_eX]

Randy Goebel

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1996

A Framework for Reasoning about Requirements Evolution.

[BibT_eX]

[DOI]

Didar Zowghi