Quoc Bao Vo

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

24 Ryszard Kowalczyk, Michael N. Huhns, Matthias Klusch, Zakaria Maamar, Quoc Bao Vo: Service-Oriented Computing: Agents, Semantics, and Engineering, AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008, Proceedings Springer 2008
23EETino Schlegel, Ryszard Kowalczyk, Quoc Bao Vo: Decentralized Co-allocation of Interrelated Resources in Dynamic Environments. IAT 2008: 104-108
22EEJuliana Mitchell-Wong, Ryszard Kowalczyk, Quoc Bao Vo: Social Network Profile and Policy. POLICY 2008: 207-210
21EEQuoc Bao Vo: An Argumentation Framework Based on Conditional Priorities. PRICAI 2008: 497-508
20EEJuliana Mitchell-Wong, SukKeong Goh, Mohan Baruwal Chhetri, Ryszard Kowalczyk, Quoc Bao Vo: Framework for Open, Distributed and Self-Managed Social Platforms. Virtual Enterprises and Collaborative Networks 2008: 361-368
19EEQuoc Bao Vo, Lin Padgham: Searching for joint gains in automated negotiations based on multi-criteria decision making theory. AAMAS 2007: 161
18EEQuoc Bao Vo, Lin Padgham, Lawrence Cavedon: Negotiating flexible agreements by combining distributive and integrative negotiation. Intelligent Decision Technologies 1(1-2): 33-47 (2007)
17EEQuoc Bao Vo, Lin Padgham: Conversation-Based Specification and Composition of Agent Services. CIA 2006: 168-182
16EEQuoc Bao Vo, Lin Padgham: A Component-Based Approach to Automated Web Service Composition. Web Intelligence 2006: 657-661
15EEQuoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo: A Syntax-based Approach to Reasoning about Action and Belief Update. J. Log. Comput. 16(3): 315-338 (2006)
14 Christoph Benzmüller, Quoc Bao Vo: Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs. AAAI 2005: 516-522
13EEQuoc Bao Vo: Structure-Based Algorithms for Computing Preferred Arguments of Defeasible Knowledge Bases. Australian Conference on Artificial Intelligence 2005: 834-838
12EEQuoc Bao Vo, Norman Y. Foo, Joe Thurbon: Semantics for a theory of defeasible reasoning. Ann. Math. Artif. Intell. 44(1-2): 87-119 (2005)
11EEQuoc Bao Vo, Norman Y. Foo: Reasoning about Action: An Argumentation - Theoretic Approach. J. Artif. Intell. Res. (JAIR) 24: 465-518 (2005)
10 Quoc Bao Vo: Contextualized Abstraction for Assertion-Level Theorem Proving. ECAI 2004: 1107-1108
9EESerge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo: Assertion-level Proof Representation with Under-Specification. Electr. Notes Theor. Comput. Sci. 93: 5-23 (2004)
8EEQuoc Bao Vo: A task-oriented agent-based mechanism for mathematical assistant systems. Web Intelligence and Agent Systems 2(1): 71-86 (2004)
7EEQuoc Bao Vo: A task-oriented agent-based mechanism for theorem proving. IAT 2003: 275-281
6 Quoc Bao Vo, Christoph Benzmüller, Serge Autexier: Assertion Application in Theorem Proving and Proof Planning. IJCAI 2003: 1343-
5EEQuoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo: A Syntax-Based Approach to Reasoning about Actions and Events. LPAR 2003: 274-288
4EEQuoc Bao Vo, Norman Y. Foo: Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach. PRICAI 2002: 49-59
3EEQuoc Bao Vo, Norman Y. Foo: Solving the Qualification Problem. Australian Joint Conference on Artificial Intelligence 2001: 519-531
2EENorman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo: Encoding Solutions of the Frame Problem in Dynamic Logic. LPNMR 2001: 240-253
1 Quoc Bao Vo, Joe Thurbon: Semantics for Pollock`s Defeasible Reasoning. Australian Joint Conference on Artificial Intelligence 1999: 316-327

Coauthor Index

1Serge Autexier [6] [9]
2Christoph Benzmüller (Christoph Benzmueller) [6] [9] [14]
3Lawrence Cavedon [18]
4Mohan Baruwal Chhetri [20]
5Samir Chopra [2]
6Armin Fiedler [9]
7Norman Y. Foo [2] [3] [4] [5] [11] [12] [15]
8SukKeong Goh [20]
9Helmut Horacek [9]
10Michael N. Huhns [24]
11Matthias Klusch [24]
12Ryszard Kowalczyk [20] [22] [23] [24]
13Zakaria Maamar [24]
14Juliana Mitchell-Wong [20] [22]
15Abhaya C. Nayak [5] [15]
16Lin Padgham [16] [17] [18] [19]
17Tino Schlegel [23]
18Joe Thurbon [1] [12]
19Dongmo Zhang [2]
20Yan Zhang [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)