| 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 | EE | Tino Schlegel,
Ryszard Kowalczyk,
Quoc Bao Vo:
Decentralized Co-allocation of Interrelated Resources in Dynamic Environments.
IAT 2008: 104-108 |
| 22 | EE | Juliana Mitchell-Wong,
Ryszard Kowalczyk,
Quoc Bao Vo:
Social Network Profile and Policy.
POLICY 2008: 207-210 |
| 21 | EE | Quoc Bao Vo:
An Argumentation Framework Based on Conditional Priorities.
PRICAI 2008: 497-508 |
| 20 | EE | 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 | EE | Quoc Bao Vo,
Lin Padgham:
Searching for joint gains in automated negotiations based on multi-criteria decision making theory.
AAMAS 2007: 161 |
| 18 | EE | 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 | EE | Quoc Bao Vo,
Lin Padgham:
Conversation-Based Specification and Composition of Agent Services.
CIA 2006: 168-182 |
| 16 | EE | Quoc Bao Vo,
Lin Padgham:
A Component-Based Approach to Automated Web Service Composition.
Web Intelligence 2006: 657-661 |
| 15 | EE | 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 | EE | Quoc Bao Vo:
Structure-Based Algorithms for Computing Preferred Arguments of Defeasible Knowledge Bases.
Australian Conference on Artificial Intelligence 2005: 834-838 |
| 12 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Quoc Bao Vo,
Norman Y. Foo:
Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach.
PRICAI 2002: 49-59 |
| 2001 |
|---|
| 3 | EE | Quoc Bao Vo,
Norman Y. Foo:
Solving the Qualification Problem.
Australian Joint Conference on Artificial Intelligence 2001: 519-531 |
| 2 | EE | 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 |
