The SCEAS System
Navigation Menu

Search the dblp DataBase


Quoc Bao Vo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christoph Benzmüller, Quoc Bao Vo
    Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:516-522 [Conf]
  2. Quoc Bao Vo
    Structure-Based Algorithms for Computing Preferred Arguments of Defeasible Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2005, pp:834-838 [Conf]
  3. Quoc Bao Vo, Norman Y. Foo
    Solving the Qualification Problem. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2001, pp:519-531 [Conf]
  4. Quoc Bao Vo, Joe Thurbon
    Semantics for Pollock`s Defeasible Reasoning. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1999, pp:316-327 [Conf]
  5. Quoc Bao Vo, Lin Padgham
    Conversation-Based Specification and Composition of Agent Services. [Citation Graph (0, 0)][DBLP]
    CIA, 2006, pp:168-182 [Conf]
  6. Quoc Bao Vo
    Contextualized Abstraction for Assertion-Level Theorem Proving. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:1107-1108 [Conf]
  7. Quoc Bao Vo
    A task-oriented agent-based mechanism for theorem proving. [Citation Graph (0, 0)][DBLP]
    IAT, 2003, pp:275-281 [Conf]
  8. Quoc Bao Vo, Christoph Benzmüller, Serge Autexier
    Assertion Application in Theorem Proving and Proof Planning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1343-0 [Conf]
  9. Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo
    A Syntax-Based Approach to Reasoning about Actions and Events. [Citation Graph (0, 0)][DBLP]
    LPAR, 2003, pp:274-288 [Conf]
  10. Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo
    Encoding Solutions of the Frame Problem in Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:240-253 [Conf]
  11. Quoc Bao Vo, Norman Y. Foo
    Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2002, pp:49-59 [Conf]
  12. Quoc Bao Vo, Lin Padgham
    A Component-Based Approach to Automated Web Service Composition. [Citation Graph (0, 0)][DBLP]
    Web Intelligence, 2006, pp:657-661 [Conf]
  13. Quoc Bao Vo, Norman Y. Foo, Joe Thurbon
    Semantics for a theory of defeasible reasoning. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2005, v:44, n:1-2, pp:87-119 [Journal]
  14. Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo
    Assertion-level Proof Representation with Under-Specification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:5-23 [Journal]
  15. Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo
    A Syntax-based Approach to Reasoning about Action and Belief Update. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2006, v:16, n:3, pp:315-338 [Journal]
  16. Quoc Bao Vo
    A task-oriented agent-based mechanism for mathematical assistant systems. [Citation Graph (0, 0)][DBLP]
    Web Intelligence and Agent Systems, 2004, v:2, n:1, pp:71-86 [Journal]
  17. Quoc Bao Vo, Norman Y. Foo
    Reasoning about Action: An Argumentation - Theoretic Approach. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2005, v:24, n:, pp:465-518 [Journal]
  18. Quoc Bao Vo, Lin Padgham, Lawrence Cavedon
    Negotiating flexible agreements by combining distributive and integrative negotiation. [Citation Graph (0, 0)][DBLP]
    Intelligent Decision Technologies, 2007, v:1, n:1-2, pp:33-47 [Journal]

  19. Utility Decomposition and Surplus Redistribution in Composite SLA Negotiation. [Citation Graph (, )][DBLP]

  20. Searching for joint gains in automated negotiations based on multi-criteria decision making theory. [Citation Graph (, )][DBLP]

  21. Searching for fair joint gains in agent-based negotiation. [Citation Graph (, )][DBLP]

  22. Theoretic study of distributed graph planning. [Citation Graph (, )][DBLP]

  23. Policy-Based Management of QoS in Service Aggregations. [Citation Graph (, )][DBLP]

  24. An Efficient Procedure for Collective Decision-making with CP-nets. [Citation Graph (, )][DBLP]

  25. Decentralized Co-allocation of Interrelated Resources in Dynamic Environments. [Citation Graph (, )][DBLP]

  26. Framework for Open, Distributed and Self-Managed Social Platforms. [Citation Graph (, )][DBLP]

  27. An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets. [Citation Graph (, )][DBLP]

  28. Social Network Profile and Policy. [Citation Graph (, )][DBLP]

  29. An Argumentation Framework Based on Conditional Priorities. [Citation Graph (, )][DBLP]

Search in 0.104secs, Finished in 0.105secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002