Quoc Bao Vo

	2009
27		Ryszard Kowalczyk, Quoc Bao Vo, Zakaria Maamar, Michael N. Huhns: Service-Oriented Computing: Agents, Semantics, and Engineering, AAMAS 2009 International Workshop SOCASE 2009, Budapest, Hungary, May 11, 2009. Proceedings Springer 2009
26		Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk: Searching for fair joint gains in agent-based negotiation. AAMAS (2) 2009: 1049-1056
25		Jian Feng Zhang, Quoc Bao Vo, Ryszard Kowalczyk: Theoretic study of distributed graph planning. AAMAS (2) 2009: 1211-1212
	2008
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
23		Tino Schlegel, Ryszard Kowalczyk, Quoc Bao Vo: Decentralized Co-allocation of Interrelated Resources in Dynamic Environments. IAT 2008: 104-108
22		Juliana Mitchell-Wong, Ryszard Kowalczyk, Quoc Bao Vo: Social Network Profile and Policy. POLICY 2008: 207-210
21		Quoc Bao Vo: An Argumentation Framework Based on Conditional Priorities. PRICAI 2008: 497-508
20		Juliana 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
	2007
19		Quoc Bao Vo, Lin Padgham: Searching for joint gains in automated negotiations based on multi-criteria decision making theory. AAMAS 2007: 161
18		Quoc Bao Vo, Lin Padgham, Lawrence Cavedon: Negotiating flexible agreements by combining distributive and integrative negotiation. Intelligent Decision Technologies 1(1-2): 33-47 (2007)
	2006
17		Quoc Bao Vo, Lin Padgham: Conversation-Based Specification and Composition of Agent Services. CIA 2006: 168-182
16		Quoc Bao Vo, Lin Padgham: A Component-Based Approach to Automated Web Service Composition. Web Intelligence 2006: 657-661
15		Quoc 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)
	2005
14		Christoph Benzmüller, Quoc Bao Vo: Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs. AAAI 2005: 516-522
13		Quoc Bao Vo: Structure-Based Algorithms for Computing Preferred Arguments of Defeasible Knowledge Bases. Australian Conference on Artificial Intelligence 2005: 834-838
12		Quoc Bao Vo, Norman Y. Foo, Joe Thurbon: Semantics for a theory of defeasible reasoning. Ann. Math. Artif. Intell. 44(1-2): 87-119 (2005)
11		Quoc Bao Vo, Norman Y. Foo: Reasoning about Action: An Argumentation - Theoretic Approach. J. Artif. Intell. Res. (JAIR) 24: 465-518 (2005)
	2004
10		Quoc Bao Vo: Contextualized Abstraction for Assertion-Level Theorem Proving. ECAI 2004: 1107-1108
9		Serge 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)
8		Quoc Bao Vo: A task-oriented agent-based mechanism for mathematical assistant systems. Web Intelligence and Agent Systems 2(1): 71-86 (2004)
	2003
7		Quoc 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-
5		Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo: A Syntax-Based Approach to Reasoning about Actions and Events. LPAR 2003: 274-288
	2002
4		Quoc Bao Vo, Norman Y. Foo: Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach. PRICAI 2002: 49-59
	2001
3		Quoc Bao Vo, Norman Y. Foo: Solving the Qualification Problem. Australian Joint Conference on Artificial Intelligence 2001: 519-531
2		Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo: Encoding Solutions of the Frame Problem in Dynamic Logic. LPNMR 2001: 240-253
	1999
1		Quoc Bao Vo, Joe Thurbon: Semantics for Pollock`s Defeasible Reasoning. Australian Joint Conference on Artificial Intelligence 1999: 316-327

Coauthor Index

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

Colors in the list of coauthors