Quoc Bao Vo's selected publications

Edited Books

1. Ryszard Kowalczyk, Quoc Bao Vo, Michael Huhns, and Zakaria Maamar (2009) Eds.

          Service-Oriented Computing: Agents, Semantics, and Engineering.

          Proceedings SOCASE 2009. Lecture Notes in Computer Science, LNCS 5006, Springer-Verlag Berlin Heidelberg.

2. Ryszard Kowalczyk, Michael Huhns, Matthias Klusch, Zakaria Maamar and Quoc Bao Vo (2008) Eds.

          Service-Oriented Computing: Agents, Semantics, and Engineering.

          Proceedings SOCASE 2008. LNCS 5006, Springer-Verlag Berlin Heidelberg.

 

Journals

1. Jan Richter, Mohan Baruwal Chhetri, Ryszard Kowalczyk, and Quoc Bao Vo.

Establishing Composite SLAs through Concurrent QoS Negotiation with Surplus Redistribution.

Concurrency and Computation: Practice and Experience (accepted for publication, December 2010).

2. Eduardo Rodrigues Gomes, Quoc Bao Vo, and Ryszard Kowalczyk:  

          Pure Exchange Markets for Resource Sharing in Federated Clouds.

          Concurrency and Computation: Practice and Experience (accepted for publication, July 2010).

3. Quoc Bao Vo, Lin Padgham, and Lawrence Cavedon.
   Negotiating Flexible Agreements by Combining Distributive and Integrative Negotiation.
   International Journal of Intelligent Decision Technologies, 1(1-2): pp. 33-48, 2007.

4. Quoc Bao Vo, Abhaya Nayak, and Norman Y. Foo.
   A syntax-based approach to reasoning about action and belief update.
   Journal of Logic and Computation 2006 16(3): pp.315-338.

5. Quoc Bao Vo and Norman Y. Foo.
   Reasoning about action: An argumentation-theoretic approach.
   Journal of Artificial Intelligence Research (JAIR), 24, pp. 465-518, 2005.

6. Quoc Bao Vo, Norman Y. Foo, and Joe Thurbon.
   Semantics for a theory of defeasible reasoning.
   Annals of Mathematics and Artificial Intelligence, 44(1-2), pp. 87-119, 2005.

7. Quoc Bao Vo.
   A task-oriented agent-based mechanism for mathematical assistant systems.
   International Journal of Web Intelligence and Agent Systems. 2(1): 71-86, 2004.

8. Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, and Quoc Bao Vo.
   Assertion-level proof representation with under-specification.
   Electronic Notes in Theoretical Computer Science, 93: 5-23 (2004).

Conferences

1. Mohan Baruwal Chhetri, Quoc Bao Vo and Ryszard Kowalczyk (2011).

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

   IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing (CCGrid) 2011, Newport Beach, CA, USA, May 23-25, 2011 (accepted 01/2011).

2. Minyi Li, Quoc Bao Vo and Ryszard Kowalczyk (2011).

   Majority‑rule‑based preference aggregation on multi‑attribute domains with structured preferences.

   The Tenth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'11), Taipei, Taiwan, May 2-6, 2011 (accepted 12/2010).

3. Minyi Li, Quoc Bao Vo and Ryszard Kowalczyk (2011).

   Efficient Heuristic Approach to Dominance Testing in CP‑nets.

   The Tenth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'11), Taipei, Taiwan, May 2-6, 2011 (accepted 12/2010).

4. Minyi Li, Quoc Bao Vo and Ryszard Kowalczyk (2011).

   Efficient Penalty Scoring Functions and Heuristic for Group Making with TCP‑nets.

   The Tenth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'11), Taipei, Taiwan, May 2-6, 2011 (accepted 12/2010).

5. Minyi Li, Quoc Bao Vo, and Ryszard Kowalczyk:

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

   Australasian Conference on Artificial Intelligence 2010: pp. 375-384, Adelaide, Australia, 2010.

6. Khalid Mansour, Ryszard Kowalczyk, and Quoc Bao Vo:

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

   Australasian Conference on Artificial Intelligence 2010, pp. 385-394, Adelaide, Australia, 2010.

7. Jan Richter, Mohan Baruwal Chhetri, Ryszard Kowalczyk, Quoc Bao Vo, Muhammad Adeel Talib, and Alan W. Colman:

   Utility Decomposition and Surplus Redistribution in Composite SLA Negotiation.

   IEEE International Conference on Services Computing (SCC 2010): pp. 627-630.

8. Minyi Li, Quoc Bao Vo and Ryszard Kowalczyk (2010).

   An Efficient Procedure for Multi-agent Negotiation with CP-nets.

   The 19^th European Conference on Artificial Intelligence - ECAI 2010, pp. 375—380, Lisbon, Portugal, 2010.

9. Minyi Li, Quoc Bao Vo and Ryszard Kowalczyk (2010).

   An Efficient Approach for Preference Aggregation with CP-nets.

   The 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR'2010), Toronto, Canada, May 9-13, 2010.

10. Mohan Baruwal Chhetri, Quoc Bao Vo and Ryszard Kowalczyk (2010).

    Policy-based Management of QoS in Service Aggregations.

     IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing (CCGrid) 2010, pp. 593—596, Melbourne, Australia, 2010.

11. Minyi Li, Quoc Bao Vo and Ryszard Kowalczyk (2009).

    Searching for Fair Joint Gains in Agent-based Negotiation.

    The Eight International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS’09), pp. 1049-1055, Budapest, Hungary.

12. Jian Feng Zhang, Quoc Bao Vo and Ryszard Kowalczyk (2009).

    Theoretic Study of Distributed Graph Planning.

    The Eight International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS’09), pp. 1211-1212, Budapest, Hungary.

13. Tino Schlegel, Ryszard Kowalczyk and Quoc Bao Vo (2008).

    Decentralized Co-Allocation of Interrelated Resources in Dynamic Environments.

    The 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-2008), 9-12 December 2008, Sydney, Australia. IEEE Computer Society Press, pp. 104-108.

14. Juliana Mitchell-Wong, Sukyung Goh, Mohan Chhetri, Ryszard Kowalczyk, Quoc Bao Vo (2008).

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

    The 9th IFIP Working Conference on Virtual Enterprises (PRO-VE'08), Poznan, Poland. 8 - 10 September 2008. In Pervasive Collaborative Networks, Springer Series on Cognitive Science, Volume 283/2008, pp. 361-368.

15. Juliana Mitchell-Wong, Ryszard Kowalczyk, Quoc Bao Vo (2008).

    Social Network Profile and Policy.

    The IEEE Workshop on Policies for Distributed Systems and Networks (IEEE POLICY’2008), 2-4 June 2008, Palisades, NY, USA, pp. 207-210.

16. Quoc Bao Vo (2008).

    An Argumentation Framework Based on Conditional Priorities.

    Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2008): pp. 497-508.

17. Quoc Bao Vo and Lin Padgham.
    Searching for Joint Gains in Automated Negotiations Based on Multi-criteria Decision Making Theory.
    Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007) ACM 2007, pp. 496-503.

18. Quoc Bao Vo and Lin Padgham.
    Conversation-Based Specification and Composition of Agent Services.
    Proceedings of the Tenth Cooperative Information Agents (CIA-06), Springer-Verlag, Heidelberg, 2006, pp. 168-182.

19. Quoc Bao Vo and Lin Padgham.
    A Component-Based Approach to Automated Web Service Composition.
    Proceedings of 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006), IEEE Computer Society, 2006, pp. 657-661.

20. Christoph Benzmüller and Quoc Bao Vo.
    Mathematical Domain Reasoning Tasks in Tutorial Natural Language Dialog on Proofs.
    Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), AAAI Press / The MIT Press, Pittsburgh, Pennsylvania, USA, 2005, pp. 516-522.

21. Quoc Bao Vo.
    Structure-Based Algorithms for Computing Preferred Arguments of Defeasible Knowledge Bases.
    In Shichao Zhang and Ray Jarvis, editors, Australian Conference on Artificial Intelligence 2005, pp.834-838, Springer--Verlag.

22. Quoc Bao Vo.
    Contextualized Abstraction for Assertion-Level Theorem Proving.
    In Lorenza Saitta, editors, The 16th European Conference on Artificial Intelligent (ECAI 2004), pp. 1107-1108, IOS Press.

23. Quoc Bao Vo.
    A task-oriented agent-based mechanism for theorem proving.
    In Jiming Liu, Boi Faltings, Matthias Klusch, and Chunnian Liu, editors, The 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), pages 275-281. IEEE Computer Society/WIC, 2003.

24. Magdalenna Wolska, Quoc Bao Vo, Dimitra Tsovaltzi, Ivanna Kruijff-Korbayova, Elena Karagjosova, Helmut Horacek, Malte Gabsdil, Armin Fiedler, and Christoph Benzmüller.
    An annotated corpus of tutorial dialogs on mathematical theorem proving.
    In Proceedings of International Conference on Language Resources and Evaluation (LREC 2004), Lisbon, Potugal, 2004.

25. Quoc Bao Vo, Christoph Benzmüller, and Serge Autexier.
    Assertion application in theorem proving and proof planning.
    In Georg Gottlob and Toby Walsh, editors, International Joint Conference on Artificial Intelligence (IJCAI-03), pages 1343-1344. IJCAI/Morgan Kaufmann, 2003.

26. Quoc Bao Vo, Abhaya Nayak, and Norman Y. Foo.
    A syntax-based approach to reasoning about actions and events.
    In Moshe Y. Vardi and Andrei Voronkov, editors, 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR'03, volume LNCS 2850, pages 274-288. Springer-Verlag, 2003.

27. Quoc Bao Vo and Norman Y. Foo.
    Solving the ramification problem: Causal propagation in an argumentation-theoretic approach.
    In Mitsuru Ishizuka and Abdul Sattar, editors, 7th Pacific Rim International Conference on Artificial Intelligence - PRICAI2002, volume LNCS 2417, pages 49-59. Springer-Verlag, 2002.

28. Norman Y. Foo, Dongmo Zhang, Samir Chopra, and Quoc Bao Vo.
    Encoding solutions of the frame problem in dynamic logic.
    In Thomas Eiter, Wolfgang Faber, and Miroslaw Truszczynski, editors, International Conference on Logic Programming and Nonmonotonic Reasoning - LPNMR' 01, volume LNCS 2173, pages 240-253. Springer-Verlag, 2001.

29. Quoc Bao Vo and Norman Y. Foo.
    Solving the qualification problem.
    In Markus Stumptner, Dan Corbett, and Michael J. Brooks, editors, Australian Joint Conference on Artificial Intelligence - AI'01, volume LNCS 2256, pages 519-531. Springer-Verlag, 2001.

30. Quoc Bao Vo and Joe Thurbon.
    Semantics for Pollock's defeasible reasoning.
    In Norman Y. Foo, editor, Australian Joint Conference on Artificial Intelligence, volume LNCS 1747, pages 316-327. Springer-Verlag, 1999.

Refereed Symposia and Workshops

1. Christoph Benzmüller, Armin Fiedler, Malte Gabsdil, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann, Dimitra Tsovaltzi, Bao Quoc Vo, and Magdalena Wolska.
   Discourse phenomena in tutorial dialogs on mathematical proofs.
   In In Proceedings of the 7th Workshop on the semantics and pragmatics of dialogue (DiaBruck), Wallerfangen, Germany, 2003.

2. Christoph Benzmüller, Armin Fiedler, Malte Gabsdil, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann, Dimitra Tsovaltzi, Bao Quoc Vo, and Magdalena Wolska.
   Towards a principled approach to tutoring mathematical proofs.
   In Proceedings of the Workshop on Expressive Media and Intelligent Tools for Learning, German Conference on AI (KI 2003), Hamburg, Germany, 2003.

3. Christoph Benzmüller, Armin Fiedler, Malte Gabsdil, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg Siekmann, Dimitra Tsovaltzi, Bao Quoc Vo, and Magdalena Wolska.
   Tutorial dialogs on mathematical proofs.
   In Proceedings of the IJCAI Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, Acapulco, 2003.

4. Christoph Benzmüller, Armin Fiedler, Malte Gabsdil, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg Siekmann, Dimitra Tsovaltzi, Bao Quoc Vo, and Magdalena Wolska.
   A Wizard-of-Oz experiment for tutorial dialogues in mathematics.
   In Proceedings of the AIED Workshop on Advanced Technologies for Mathematics Education, Sydney, Australia, 2003.

5. Quoc Bao Vo, Christoph Benzmüller, and Serge Autexier.
   Assertion application in theorem proving and proof planning.
   In Tenth Workshop on Automated Reasoning - ARW'03, pages 7-8, 2003.

6. Quoc Bao Vo, Abhaya Nayak, and Norman Y. Foo.
   A syntax-based approach to reasoning about action: Preliminary report.
   In Grigoris Antoniou and Guido Governatori, editors, Second Australasian Workshop on Computational Logic, pages 1-10, 2001.

7. Norman Y. Foo, Dongmo Zhang, Quoc Bao Vo, and Pavlos Peppas.
   Circumscriptive models and automata.
   In Michael Thielscher and Mary-Anne Williams, editors, Workshop on Non-monotonic Reasoning, Action and Change - colocated with IJCAI-01, pages 7-13, 2001.

Technical report

1. Quoc Bao Vo, Christoph Benzmüller, and Serge Autexier.
   An approach to assertion application via generalized resolution.
   Seki Report SR-03-01, University of Saarland, 2003.

Theses

1. Quoc Bao Vo.
   Meta-constructs and Their Roles in Common Sense Reasoning. [ PDF ]
   Ph.D. dissertation, School of Computer Science and Engineering, University of New South Wales, April 2002.

2. Quoc Bao Vo.
   Formalization of Conceptual Graph Programs under the Declarative Programming Theory.
   M.Sc. thesis, School of Advanced Technologies, Asian Institute of Technology, December 1997.

3. Quoc Bao Vo.
   On-the-fly Data Compression and Encryption.
   B.Sc. thesis, Department of Mathematics and Computing Science, University of Dalat, June 1994.

Back to my homepage.