Vo, Quoc Bao

4 publications

UAI 2011 An Efficient Protocol for Negotiation over Combinatorial Domains with Incomplete Information Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk

AAAI 2005 Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs Christoph Benzmüller, Quoc Bao Vo

JAIR 2005 Reasoning About Action: An Argumentation - Theoretic Approach Quoc Bao Vo, Norman Y. Foo

IJCAI 2003 Assertion Application in Theorem Proving and Proof Planning Quoc Bao Vo, Christoph Benzmüller, Serge Autexier