Quoc Bao Vo

Thi Hong Khanh Nguyen

Proceedings of the 18th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2014

Truthful Market-Based Trading of Cloud Services with Reservation Price.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

Adaptive AutoSLAM - Policy-Based Orchestration of SLA Establishment.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

Adaptive Market Mechanism for Efficient Cloud Services Trading.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014

Smart CloudMonitor - Providing Visibility into Performance of Black-Box Clouds.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014

2013

Optimal designs for IEEE 802.15.4 wireless sensor networks.

[BibT_eX]

[DOI]

Alvaro Monsalve

Hai Le Vu

Wirel. Commun. Mob. Comput., 2013

Axiomatic characterization of belief merging by negotiation.

[BibT_eX]

[DOI]

Ngoc Thanh Nguyen

Multim. Tools Appl., 2013

Automated negotiation in open and distributed environments.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2013

Smart Cloud Broker: Finding your home in the clouds.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

A Mechanism to Improve Efficiency for Negotiations with Incomplete Information.

[BibT_eX]

[DOI]

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

A distributed protocol for collective decision-making in combinatorial domains.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Smart CloudBench - Test Drive the Cloud Before You Buy.

[BibT_eX]

[DOI]

Proceedings of the Service Research and Innovation - Third Australian Symposium, 2013

Smart CloudBench - Automated Performance Benchmarking of the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28, 2013

2012

Establishing composite SLAs through concurrent QoS negotiation with surplus redistribution.

[BibT_eX]

[DOI]

Jan Richter

Concurr. Comput. Pract. Exp., 2012

Pure exchange markets for resource sharing in federated clouds.

[BibT_eX]

[DOI]

Eduardo Rodrigues Gomes

Concurr. Comput. Pract. Exp., 2012

REInDetector: a framework for knowledge-based requirements engineering.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Reliability in stochastic time-dependent traffic networks with correlated link travel times.

[BibT_eX]

[DOI]

Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, 2012

An Axiomatic Model for Merging Stratified Belief Bases by Negotiation.

[BibT_eX]

[DOI]

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012

On the Role of Expectations in Multi-agent Reasoning and Decision Making.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2012

Choosing Combinatorial Social Choice by Heuristic Search.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Policy-Based Automation of SLA Establishment for Cloud Computing Services.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

QoS- and Resource-Aware Service Composition and Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Active Media Technology - 8th International Conference, 2012

From axiomatic to strategic models of bargaining with logical beliefs and goals.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

AutoSLAM - A Policy-Driven Middleware for Automated SLA Establishment in SOA Environments.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Ninth International Conference on Services Computing, 2012

2011

Cloud Broker: Helping You Buy Better.

[BibT_eX]

[DOI]

Cam Lan Do

Proceedings of the Web Information System Engineering - WISE 2011, 2011

An Efficient Protocol for Negotiation over Combinatorial Domains with Incomplete Information.

[BibT_eX]

[DOI]

Proceedings of the UAI 2011, 2011

Merging Belief Bases by Negotiation.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2011

Real time route guidance with correlated link cost.

[BibT_eX]

[DOI]

Wei Dong

Hai Le Vu

Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011

A Flexible Policy Framework for the QoS Differentiated Provisioning of Services.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE/ACM International Symposium on Cluster, 2011

On topic selection strategies in multi-agent naming game.

[BibT_eX]

[DOI]

Wojciech A. Lorkiewicz

Radoslaw P. Katarzyniak

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Efficient penalty scoring functions for group decision-making with TCP-nets.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Majority-rule-based preference aggregation on multi-attribute domains with CP-nets.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Efficient heuristic approach to dominance testing in CP-nets.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

An Efficient Procedure for Collective Decision-making with CP-nets.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Policy-Based Management of QoS in Service Aggregations.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010

Real-Time Coordination of Concurrent Multiple Bilateral Negotiations under Time Constraints.

[BibT_eX]

[DOI]

Khalid Mansour

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

An Efficient Approach for Ordering Outcomes and Making Social Choices with CP-Nets.

[BibT_eX]

[DOI]

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

Utility Decomposition and Surplus Redistribution in Composite SLA Negotiation.

[BibT_eX]

[DOI]

Jan Richter

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

2009

Theoretic study of distributed graph planning.

[BibT_eX]

[DOI]

Jian Feng Zhang

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

Searching for fair joint gains in agent-based negotiation.

[BibT_eX]

[DOI]

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

2008

An Argumentation Framework Based on Conditional Priorities.

[BibT_eX]

[DOI]

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

Social Network Profile and Policy.

[BibT_eX]

[DOI]

Juliana Mitchell-Wong

Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008

Framework for Open, Distributed and Self-Managed Social Platforms.

[BibT_eX]

[DOI]

Juliana Mitchell-Wong

SukKeong Goh

Proceedings of the Pervasive Collaborative Networks, 2008

Decentralized Co-allocation of Interrelated Resources in Dynamic Environments.

[BibT_eX]

[DOI]

Tino Schlegel

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

2007

Negotiating flexible agreements by combining distributive and integrative negotiation.

[BibT_eX]

[DOI]

Lawrence Cavedon

Intell. Decis. Technol., 2007

Searching for joint gains in automated negotiations based on multi-criteria decision making theory.

[BibT_eX]

[DOI]

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

2006

A Syntax-based Approach to Reasoning about Action and Belief Update.

[BibT_eX]

[DOI]

Abhaya C. Nayak

J. Log. Comput., 2006

A Component-Based Approach to Automated Web Service Composition.

[BibT_eX]

[DOI]

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

Conversation-Based Specification and Composition of Agent Services.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Agents X, 10th International Workshop, 2006

2005

Reasoning about Action: An Argumentation - Theoretic Approach.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2005

Semantics for a theory of defeasible reasoning.

[BibT_eX]

[DOI]

Joe Thurbon

Ann. Math. Artif. Intell., 2005

Structure-Based Algorithms for Computing Preferred Arguments of Defeasible Knowledge Bases.

[BibT_eX]

[DOI]

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

Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs.

[BibT_eX]

[DOI]

Christoph Benzmüller

Proceedings of the Proceedings, 2005

2004

A task-oriented agent-based mechanism for mathematical assistant systems.

[BibT_eX]

[DOI]

Web Intell. Agent Syst., 2004

An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving.

[BibT_eX]

[DOI]

Magdalena Wolska

Dimitra Tsovaltzi

Ivana Kruijff-Korbayová

Proceedings of the Fourth International Conference on Language Resources and Evaluation, 2004

Contextualized Abstraction for Assertion-Level Theorem Proving.

[BibT_eX]

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

2003

Assertion-level Proof Representation with Under-Specification.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management Symposium, 2003

A Syntax-Based Approach to Reasoning about Actions and Events.

[BibT_eX]

[DOI]

Abhaya C. Nayak

Proceedings of the Logic for Programming, 2003

Assertion Application in Theorem Proving and Proof Planning.

[BibT_eX]

[DOI]

Christoph Benzmüller

Serge Autexier

Proceedings of the IJCAI-03, 2003

A task-oriented agent-based mechanism for theorem proving.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 2003

2002

Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach.

[BibT_eX]

[DOI]

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

2001

Encoding Solutions of the Frame Problem in Dynamic Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Solving the Qualification Problem.

[BibT_eX]

[DOI]

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

1999

Semantics for Pollock's Defeasible Reasoning.

[BibT_eX]

[DOI]