Aditya K. Ghose

According to our database1, Aditya K. Ghose authored at least 235 papers between 1995 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2020
Resource-Based Adaptive Robotic Process Automation - Formal/Technical Paper.
Proceedings of the Advanced Information Systems Engineering, 2020

2019
A Deep Learning Model for Estimating Story Points.
IEEE Trans. Software Eng., 2019

Guest Editors' Introduction to the Special Issue on Knowledge-Driven Business Process Management.
ACM Trans. Internet Techn., 2019

On Conforming and Conflicting Values.
CoRR, 2019

Lessons learned from using a deep tree-based model for software defect prediction in practice.
Proceedings of the 16th International Conference on Mining Software Repositories, 2019

A Value-based Trust Assessment Model for Multi-agent Systems.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Towards effective AI-powered agile project management.
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

GameOfFlows: Process Instance Adaptation in Complex, Dynamic and Potentially Adversarial Domains.
Proceedings of the Advanced Information Systems Engineering, 2019

2018
Predicting Delivery Capability in Iterative Software Development.
IEEE Trans. Software Eng., 2018

Memory-Augmented Neural Networks for Predictive Process Analytics.
CoRR, 2018

A deep tree-based model for software defect prediction.
CoRR, 2018

Leveraging Regression Algorithms for Process Performance Predictions.
Proceedings of the Service-Oriented Computing - 16th International Conference, 2018

Explainable software analytics.
Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

Predicting components for issue reports using deep learning with information retrieval.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Leveraging Unstructured Data to Analyze Implicit Process Context.
Proceedings of the Business Process Management Forum, 2018

Leveraging Regression Algorithms for Predicting Process Performance Using Goal Alignments.
Proceedings of the Business Process Management Workshops, 2018

Generating Pseudo-Code from Source Code Using Deep Learning.
Proceedings of the 25th Australasian Software Engineering Conference, 2018

Multi-Objective Iteration Planning in Agile Development.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017
A framework for business process modeling by QoS-based pruning.
Innov. Syst. Softw. Eng., 2017

The effect of imputing missing clinical attribute values on training lung cancer survival prediction model performance.
Health Inf. Sci. Syst., 2017

Predicting the delay of issues with due dates in software projects.
Empir. Softw. Eng., 2017

Mining task post-conditions: Automating the acquisition of process semantics.
Data Knowl. Eng., 2017

Automatic feature learning for vulnerability prediction.
CoRR, 2017

Multi-objective search-based approach to estimate issue resolution time.
Proceedings of the 13th International Conference on Predictive Models and Data Analytics in Software Engineering, 2017

Goal Orchestrations: Modelling and Mining Flexible Business Processes.
Proceedings of the Conceptual Modeling - 36th International Conference, 2017

Mining Goal Refinement Patterns: Distilling Know-How from Data.
Proceedings of the Conceptual Modeling - 36th International Conference, 2017

Leveraging Game-Tree Search for Robust Process Enactment.
Proceedings of the Advanced Information Systems Engineering, 2017

Predicting Issues for Resolving in the Next Release.
Proceedings of the Service Research and Innovation - 5th and 6th Australasian Symposium, 2017

Learning Planning Model for Semantic Process Compensation.
Proceedings of the Service Research and Innovation - 5th and 6th Australasian Symposium, 2017

2016
Extracting finite state models from i<sup>*</sup> models.
J. Syst. Softw., 2016

Provoking Imagination and Emotion Through a Lively Mobile Phone: A User Experience Study.
Interact. Comput., 2016

Managing changes in the enterprise architecture modelling context.
Enterp. Inf. Syst., 2016

DeepSoft: a vision for a deep model of software.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

i*ToNuSMV: A Prototype for Enabling Model Checking of i* Models.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Analyzing Topics and Trends in the PRIMA Literature.
Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016

Coalition Structure Formation Using Anytime Dynamic Programming.
Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016

Externalization of software behavior by the mining of norms.
Proceedings of the 13th International Conference on Mining Software Repositories, 2016

Context-Aware Recommendation of Task Allocations in Service Systems.
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

QoS-Driven Management of Business Process Variants in Cloud Based Execution Environments.
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

Annotating and Mining for Effects of Processes.
Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Process Compliance in Open Source Software Development - a Study of Python enhancement Proposals (PEPS).
Proceedings of the 24th European Conference on Information Systems, 2016

Context-Aware Analysis of Past Process Executions to Aid Resource Allocation Decisions.
Proceedings of the Advanced Information Systems Engineering, 2016

2015
Multi-Objective Distributed Constraint Optimization using Semi-Rings.
Scalable Comput. Pract. Exp., 2015

An Agent-Mediated Platform for Business Processes.
Int. J. Inf. Technol. Web Eng., 2015

Guest Editors' Introduction.
Int. J. Cooperative Inf. Syst., 2015

Extracting State Transition Models from i* Models.
CoRR, 2015

Mining version histories for change impact analysis in business process model repositories.
Comput. Ind., 2015

Mining business rules from business process model repositories.
Bus. Process. Manag. J., 2015

Using i<sup>∗</sup> model towards ontology integration and completeness checking in enterprise systems requirement hierarchy.
Proceedings of the 2015 IEEE International Model-Driven Requirements Engineering Workshop, 2015

Characterization and Prediction of Issue-Related Risks in Software Projects.
Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 2015

Predicting Delays in Software Projects Using Networked Classification (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Goal-Driven Context-Aware Data Filtering in IoT-Based Systems.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

Analyzing Resource Behavior to Aid Task Assignment in Service Systems.
Proceedings of the Service-Oriented Computing - 13th International Conference, 2015

Mining Software Repositories for Social Norms.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Learning Relationships Between the Business Layer and the Application Layer in ArchiMate Models.
Proceedings of the Conceptual Modeling - 34th International Conference, 2015

Mining Process Task Post-Conditions.
Proceedings of the Conceptual Modeling - 34th International Conference, 2015

Business Process Generation by Leveraging Complete Search over a Space of Activities and Process Goals.
Proceedings of the CLOSER 2015, 2015

Goal-Aligned Categorization of Instance Variants in Knowledge-Intensive Processes.
Proceedings of the Business Process Management - 13th International Conference, 2015

Threshold-based prediction of schedule overrun in software projects.
Proceedings of the 24th Australasian Software Engineering Conference, 2015

Who Will Answer My Question on Stack Overflow?
Proceedings of the 24th Australasian Software Engineering Conference, 2015

2014
Towards rational and minimal change propagation in model evolution.
CoRR, 2014

The Post-Theoretic Enterprise: A Service-Oriented View.
Proceedings of the 7th IEEE International Conference on Service-Oriented Computing and Applications, 2014

Towards Energy-aware Optimisation of Business Processes.
Proceedings of the SMARTGREENS 2014, 2014

An Extended Agent Based Model for Service Delivery Optimization.
Proceedings of the PRIMA 2014: Principles and Practice of Multi-Agent Systems, 2014

Learning 'Good Quality' Resource Allocations from Historical Data.
Proceedings of the Service-Oriented Computing - ICSOC 2014 Workshops, 2014

Discovering and Categorizing Goal Alignments from Mined Process Variants.
Proceedings of the Service-Oriented Computing - ICSOC 2014 Workshops, 2014

Semantic Monitoring and Compensation in Socio-technical Processes.
Proceedings of the Advances in Conceptual Modeling, 2014

Combining Agent Based Modeling with Distributed Constraint Optimization for Service Delivery Optimization.
Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, 2014

Characterizing Artificial Socio-Cognitive Technical Systems.
Proceedings of the European Conference on Social Intelligence (ECSI-2014), 2014

Analysis of Operational Data for Expertise Aware Staffing.
Proceedings of the Business Process Management - 12th International Conference, 2014

A CMMI-Based Automated Risk Assessment Framework.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

Data-driven Requirements Modeling: Some Initial Results with i.
Proceedings of the Tenth Asia-Pacific Conference on Conceptual Modelling, 2014

2013
Supporting change impact analysis for intelligent agent systems.
Sci. Comput. Program., 2013

Towards Semantic Merging of Versions of BDI Agent Systems.
Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

Agents in the Era of Big Data: What the "End of Theory" Might Mean for Agent Systems.
Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

Improving the Reactivity of BDI Agent Programs.
Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

A Novel Use of Big Data Analytics for Service Innovation Harvesting.
Proceedings of the Fifth International Conference on Service Science and Innovation, 2013

Augmenting Complex Problem Solving with Hybrid Compute Units.
Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

Goal Oriented Variability Modeling in Service-Based Business Processes.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Towards an Architectural Framework for Service-Oriented Enterprises.
Proceedings of the Service-Oriented Computing - ICSOC 2012 Workshops, 2013

Resolving Violations in Inter-process Relationships in Business Process Ecosystems.
Proceedings of the Service-Oriented Computing - ICSOC 2012 Workshops, 2013

Formalizing Service Variability Modeling in SOA-Based Solutions.
Proceedings of the Advanced Information Systems Engineering Workshops, 2013

Correlating Services with Business Objectives in the ServAlign Framework.
Proceedings of the Advanced Information Systems Engineering Workshops, 2013

Automatic BDI Plan Recognition from Process Execution Logs and Effect Logs.
Proceedings of the Engineering Multi-Agent Systems - First International Workshop, 2013

2012
From Green Norms to Policies - Combining Bottom-Up and Top-Down Approaches.
Proceedings of the PRIMA 2012: Principles and Practice of Multi-Agent Systems, 2012

Relationship-Preserving Change Propagation in Process Ecosystems.
Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

Maintaining Motivation Models (in BMM) in the Context of a (WSDL-S) Service Landscape.
Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

Contracts + Goals = Roles?
Proceedings of the Conceptual Modeling, 2012

Norms as Objectives: Revisiting Compliance Management in Multi-agent Systems.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VIII, 2012

Dynamic change impact analysis for maintaining and evolving agent systems.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Effective Reuse via Modeling, Managing and Searching of Business Process Assets.
Proceedings of the 2012 IEEE Ninth International Conference on Services Computing, 2012

On Elasticity and Constrainedness of Business Services Provisioning.
Proceedings of the 2012 IEEE Ninth International Conference on Services Computing, 2012

Design Maintenance in Process Eco-Systems.
Proceedings of the 2012 IEEE Ninth International Conference on Services Computing, 2012

2011
An agent-based framework for distributed collaborative model evolution.
Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution, 2011

A Formal Approach to Designing and Managing Service Ecosystems.
Proceedings of the Information Systems Development, Reflections, Challenges and New Directions [Proceedings of ISD 2011, Heriot-Watt University, Edinburgh, Scotland, UK, August 24, 2011

Strategic Alignment of Business Processes.
Proceedings of the Service-Oriented Computing - ICSOC 2011 Workshops, 2011

Goal-Driven Business Process Derivation.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Automated change impact analysis for agent systems.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

The Optimizing Web: Leveraging Agent Technology for Sustainability.
Proceedings of the Computer Information Systems - Analysis and Technologies, 2011

On Formalizing Inter-process Relationships.
Proceedings of the Business Process Management Workshops, 2011

Correlating Business Objectives with Services: An Ontology-Driven Approach.
Proceedings of the IEEE International Conference on Services Computing, 2011

2010
A Framework for Detecting Interactions Between Co-Incident Clinical Processes.
Int. J. E Health Medical Commun., 2010

Implementing reactive BDI agents with user-given constraints and objectives.
Int. J. Agent Oriented Softw. Eng., 2010

Double preference relations for generalised belief change.
Artif. Intell., 2010

The Business Service Representation Language: A Preliminary Report.
Proceedings of the Towards a Service-Based Internet. ServiceWave 2010 Workshops, 2010

Business Rules Discovery from Process Design Repositories.
Proceedings of the 6th World Congress on Services, 2010

What Can Agent-Based Computing Offer Service-Oriented Architectures, and Vice Versa?
Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

An Agent-Oriented Approach to Service Analysis and Design.
Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

Agent-Based Development for Business Processes.
Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

Using Distributed Agents for Patient Scheduling.
Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

SBDO: A New Robust Approach to Dynamic Distributed Constraint Optimisation.
Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

A Framework for Optimizing Inter-operating Business Process Portfolio.
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.
Proceedings of the Advances in Data Mining. 10th Industrial Conference, 2010

Business Process Improvement in Abnoba.
Proceedings of the Service-Oriented Computing, 2010

Carbon-Aware Business Process Design in Abnoba.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Definition of a Description Language for Business Service Decomposition.
Proceedings of the Exploring Services Science - First International Conference, 2010

Support-Based Distributed Optimisation: An Approach To Radiotherapy Patient Scheduling.
Proceedings of the Healthgrid Applications and Core Technologies, 2010

Support-Based Distributed Optimisation: An Approach to Radiotherapy Scheduling.
Proceedings of the Electronic Healthcare - Third International Conference, 2010

Supporting Change Propagation in the Evolution of Enterprise Architectures.
Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, 2010

Towards an Algebraic Framework for Querying Inductive Databases.
Proceedings of the Database Systems for Advanced Applications, 2010

BDI Agents with Objectives and Preferences.
Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

Ontology modeling of UBL process diagrams using OWL.
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.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

Analyst-Mediated Contextualization of Regulatory Policies.
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

Towards Green Business Process Management.
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009
Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models.
Inf. Softw. Technol., 2009

Industry traction for MAS technology: would a rose by any other name smell as sweet?
Int. J. Agent Oriented Softw. Eng., 2009

Editorial for the Special Issue on IT and Climate Change.
Australas. J. Inf. Syst., 2009

Green Business Process Management: a Research Agenda.
Australas. J. Inf. Syst., 2009

SBDO: A New Robust Approach to Dynamic Distributed Constraint Optimisation.
Proceedings of the Principles of Practice in Multi-Agent Systems, 2009

An Integrated Approach to Managing Business Process Risk Using Rich Organizational Models.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009

Mixed-Initiative Argumentation: Group Decision Support in Medicine.
Proceedings of the Electronic Healthcare - Second International ICST Conference, 2009

Dealing with imprecise compliance requirements.
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.
Proceedings of the 13th IEEE International Enterprise Distributed Object Computing Conference, 2009

A Conceptual Framework for Business Process Redesign.
Proceedings of the Enterprise, 2009

Business Process Integration: Method and Analysis.
Proceedings of the Conceptual Modelling 2009, 2009

IS Solution for the Global Environmental Challenge: An Australian Initiative.
Proceedings of the 15th Americas Conference on Information Systems, 2009

Mixed-Initiative Argumentation: A Framework for Justification Management in Clinical Group Decision Support.
Proceedings of the Uses of Computational Argumentation, 2009

2008
Iterated Belief Change and the Recovery Axiom.
J. Philos. Log., 2008

An Ontology-Based Sentiment Classification Methodology for Online Consumer Reviews.
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008

Towards an Enterprise Business Process Architecture Standard.
Proceedings of the 2008 IEEE Congress on Services, Part I, 2008

Actor Eco-systems: Modeling and Configuring Virtual Enterprises.
Proceedings of the 2008 IEEE World Congress on Services, 2008

Branch and Bound Algorithms to Solve Semiring Constraint Satisfaction Problems.
Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

Requirements Modeling with Agent Programming.
Proceedings of the Information Systems Development, 2008

An Automatic Elaborate Requirement Specification By Using Hierarchical Text Classification.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

A best-first anytime algorithm for computing optimal coalition structures.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Model Eco-Systems: Preliminary Work.
Proceedings of the Conceptual Modelling 2008, 2008

2007
Relaxations of semiring constraint satisfaction problems.
Inf. Process. Lett., 2007

Auditing Business Process Compliance.
Proceedings of the Service-Oriented Computing, 2007

Synopsis Information Extraction in Documents Through Probabilistic Text Classifiers.
Proceedings of the Asian Digital Libraries. Looking Back 10 Years and Forging New Frontiers, 2007

Rapid Business Process Discovery ( <i>R-</i> BPD).
Proceedings of the Conceptual Modeling, 2007

Agent Based Executable Conceptual Models Using i* and CASO.
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.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Managing Business Process Risk Using Rich Organizational Models.
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.
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.
Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

Verifying Semantic Business Process Models in Inter-operation.
Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007

Process Discovery from Model and Text Artefacts.
Proceedings of the 2007 IEEE International Conference on Services Computing, 2007

2006
Agent-oriented conceptual models to UML sequence diagrams via effect annotations.
Multiagent Grid Syst., 2006

Formalization and assessment of regulatory requirements for safety-critical software.
Innov. Syst. Softw. Eng., 2006

Social choice theory, belief merging, and strategy-proofness.
Inf. Fusion, 2006

Reliable service composition by adopting assumptions.
Comput. Syst. Sci. Eng., 2006

Extending Semantic Web Service Description by Service Assumption.
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.
Proceedings of the Advances in Artificial Intelligence, 4th Helenic Conference on AI, 2006

Combining Credibility in a Source Sensitive Argumentation System.
Proceedings of the Advances in Artificial Intelligence, 4th Helenic Conference on AI, 2006

Genre-based approach to Requirements Elicitation.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Co-evolution of i* Models and 3APL Agents.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Viewpoints Merging via Incrementally Elicited Ranked Structures.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Co-evolution of Agent Oriented Conceptual Models and Use Case Diagrams.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

A Relaxation of a Semiring Constraint Satisfaction Problem Using Combined Semirings.
Proceedings of the PRICAI 2006: Trends in Artificial Intelligence, 2006

Relating Business Process Models to Goal-Oriented Requirements Models in KAOS.
Proceedings of the Advances in Knowledge Acquisition and Management, 2006

Combined Approach for Supporting the Business Process Model Lifecycle.
Proceedings of the Pacific Asia Conference on Information Systems, 2006

Supporting Dynamic Supply Networks with Agent-Based Coalitions.
Proceedings of the Advances in Applied Artificial Intelligence, 2006

Agent-Based Prototyping of Web-Based Systems.
Proceedings of the Advances in Applied Artificial Intelligence, 2006

Using constraint hierarchies to support QoS-guided service composition.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

A Distributed Algorithm for Coalition Formation in Linear Production Domain.
Proceedings of the ICEIS 2006, 2006

Applying Agent-Oriented Modelling and Prototyping to Service-Oriented Systems.
Proceedings of the ICEIS 2006, 2006

Hybrid Modeling Using I* and Agentspeak(L) Agents in Agent Oriented Software Engineering.
Proceedings of the ICEIS 2006, 2006

Source Sensitive Argumentation System.
Proceedings of the ICEIS 2006, 2006

HCLP Based Service Composition.
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.
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Adopting Default Reasoning in Service Composition Context.
Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

Combining <i>i</i>* and BPMN for Business Process Model Lifecycle Management.
Proceedings of the Business Process Management Workshops, 2006

Support-Based Distributed Search: A New Approach for Multiagent Constraint Processing.
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.
Proceedings of the Advances in Artificial Intelligence, 2006

Relaxation of Soft Constraints Via a Unified Semiring.
Proceedings of the Advances in Artificial Intelligence, 2006

Simple Support-Based Distributed Search.
Proceedings of the Advances in Artificial Intelligence, 2006

CASO: a framework for dealing with objectives in a constraint-based extension to AgentSpeak(L).
Proceedings of the Computer Science 2006, 2006

Using Assumptions in Service Composition Context.
Proceedings of the 2006 IEEE International Conference on Services Computing (SCC 2006), 2006

2005
Belief Liberation (and Retraction).
Stud Logica, 2005

Towards Executable Specification: Combining i* and AgentSpeak(L) .
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.
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.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Dealing with Web Service QoS factors using Constraint Hierarchy.
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).
Proceedings of the Multi-Agent Systems for Society, 2005

Agent-based Coalitions in Dynamic Supply Chains.
Proceedings of the Pacific Asia Conference on Information Systems, 2005

Use Constraint Hierarchy for Non-functional Requirements Analysis.
Proceedings of the Web Engineering, 5th International Conference, 2005

Practical Application of Support-Based Distributed Search.
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.
Proceedings of the ICEIS 2005, 2005

Executable Specifications for Agent Oriented Conceptual Modelling.
Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

2004
Iterated Belief Change.
Comput. Intell., 2004

Hierarchic Decomposition in Agent Oriented Conceptual Modelling.
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.
Proceedings of the Product Focused Software Process Improvement, 2004

A unifying semantics for belief change.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Co-Evolution of Complementary Formal and Informal Requirements.
Proceedings of the 7th International Workshop on Principles of Software Evolution (IWPSE 2004), 2004

Agent Programming Language with Incomplete Knowledge - Agentspeak(I).
Proceedings of the Enterprise Information Systems VI, 2004

A Case Study of Combining I* Framework and the Z Notation.
Proceedings of the ICEIS 2004, 2004

A Framework to Support Coalition Formation in Supply Chain Collaboration.
Proceedings of the Fourth International Conference on Electronic Business, 2004

Combining Agent-Oriented Conceptual Modelling with Formal Methods.
Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

2003
Non-Prioritized Ranked Belief Change.
J. Philos. Log., 2003

Web Agents for Requirements Consistency Management.
Proceedings of the 2003 IEEE / WIC International Conference on Web Intelligence, 2003

Agent-assisted Distributed Requirements Elicitation and Management.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Reducing Redundancy in the Hypertree Decomposition Scheme.
Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

2002
Syntactic Representations of Semantic Merging Operations.
Proceedings of the PRICAI 2002: Trends in Artificial Intelligence, 2002

Iterated revision and the axiom of recovery: a unified treatment via epistemic states.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Metric SCSPs: Partial Constraint Satisfaction via Semiring CSPs Augmented with Metrics.
Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

Generalized Arc Consistency with Application to MaxCSP.
Proceedings of the Advances in Artificial Intelligence, 2002

2001
Social Choice, Merging, and Elections.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

2000
Reports on the AAAI 1999 Workshop Program.
AI Mag., 2000

Formal Methods for Requirements Engineering.
Proceedings of the 2000 International Symposium on Multimedia Software Engineering, 2000

Formal Tools for Managing Inconsistency and Change in RE.
Proceedings of the 10th International Workshop on Software Specification and Design, 2000

1999
Connections Between Default Reasoning and Partial Constraint Satisfaction.
Inf. Sci., 1999

Editorial.
Australas. J. Inf. Syst., 1999

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

Constraint-Based Agent Specification for a Multi-agent Stock Brokering System.
Proceedings of the Multiple Approaches to Intelligent Systems, 1999

A Formal Basis for Consistency, Evolution and Rationale Management in Requirements Engineering.
Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence, 1999

What Is Default Reasoning Good For? Applications Revisited.
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.
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.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1996
A Framework for Reasoning about Requirements Evolution.
Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996

A framework for learning constraints: Preliminary report.
Proceedings of the Learning and Reasoning with Complex Representations, 1996

Inductive constraint logic programming: An overview.
Proceedings of the Learning and Reasoning with Complex Representations, 1996

The role of default representations in incremental learning.
Proceedings of the Learning and Reasoning with Complex Representations, 1996

Anytime Default Inference.
Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996

1995
Specifying Over-Constrained Problems in Default Logic.
Proceedings of the Over-Constrained Systems, 1995


  Loading...