default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDQuoc Bao Vo
Bao Quoc Vo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j26]Joy Dhar
, Kapil Rana, Puneet Goyal, Azadeh Alavi, Rajib Rana, Bao Quoc Vo, Sudeepta Mishra, Sajib Mistry:
Dual-phase neural networks for feature extraction and ensemble learning for recognizing human health activities. Appl. Soft Comput. 169: 112550 (2025)- [j25]Saad Sajid Hashmi, Hoa Khanh Dam, Mohan Baruwal Chhetri, Anton V. Uzunov, Alan Colman, Quoc Bao Vo:
Proactive self-exploration: Leveraging information sharing and predictive modelling for anticipating and countering adversaries. Expert Syst. Appl. 267: 126118 (2025) - 2024
- [j24]Weiyi Yang, Xiaolu Liu, Lei He, Yonghao Du, Bao Quoc Vo, Ying-Wu Chen:
Game-theoretic distributed approach for heterogeneous-cost task allocation with budget constraints. Expert Syst. Appl. 255: 124721 (2024) - [c87]Alan Colman, Quoc Bao Vo, Anton V. Uzunov, Saad Sajid Hashmi, Hoa Khanh Dam, Mohan Baruwal Chhetri:
Microcompositions for Goal-Driven Self-Adaptation. COMPSAC 2024: 1318-1323 - [i4]Duy Khoa Pham, Bao Quoc Vo:
Towards Reliable Medical Question Answering: Techniques and Challenges in Mitigating Hallucinations in Language Models. CoRR abs/2408.13808 (2024) - 2023
- [j23]Mohan Baruwal Chhetri, Abdur Rahim Mohammad Forkan, Quoc Bao Vo, Surya Nepal, Ryszard Kowalczyk:
Towards Proactive Risk-Aware Cloud Cost Optimization Leveraging Transient Resources. IEEE Trans. Serv. Comput. 16(4): 3014-3026 (2023) - [c86]Alan Colman, Anton V. Uzunov, Quoc Bao Vo, Mohan Baruwal Chhetri:
Agent Controlled Service Meshes for Resilient, Self-Adaptive Microservice Systems. SSE 2023: 1-7 - 2022
- [j22]Qinyuan Li, Minyi Li, Bao Quoc Vo, Ryszard Kowalczyk:
An efficient algorithm for task allocation with the budget constraint. Expert Syst. Appl. 210: 118279 (2022) - 2021
- [j21]Yan Ngee Khaw, Ryszard Kowalczyk, Quoc Bao Vo, Nasrudin Abd. Rahim, Hang Seng Che:
Transition-state replicator dynamics. Expert Syst. Appl. 182: 115254 (2021) - [j20]Mohan Baruwal Chhetri, Abdur Rahim Mohammad Forkan, Quoc Bao Vo, Surya Nepal, Ryszard Kowalczyk:
Exploiting Heterogeneity for Opportunistic Resource Scaling in Cloud-Hosted Applications. IEEE Trans. Serv. Comput. 14(6): 1739-1750 (2021) - [c85]Qinyuan Li, Minyi Li, Bao Quoc Vo, Ryszard Kowalczyk:
An anytime algorithm for dynamic multi-agent task allocation problems. ACSOS-C 2021: 249-256 - [c84]Anton V. Uzunov, Matthew Brennan, Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk, John Wondoh:
AWaRE2-MM: A Meta-Model for Goal-Driven, Contract-Mediated, Team-Centric Autonomous Middleware Frameworks for Antifragility. APSEC 2021: 547-552 - 2020
- [c83]Qinyuan Li, Minyi Li, Bao Quoc Vo, Ryszard Kowalczyk:
An Anytime Algorithm for Large-scale Heterogeneous Task Allocation. ICECCS 2020: 206-215 - [c82]Sunil Singh Samant, Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk, Surya Nepal:
AuraEN: Autonomous Resource Allocation for Cloud-Hosted Data Processing Pipelines. ICSOC Workshops 2020: 77-80 - [c81]Qinyuan Li, Minyi Li, Bao Quoc Vo, Ryszard Kowalczyk:
Distributed Near-optimal Multi-robots Coordination in Heterogeneous Task Allocation. IROS 2020: 4309-4314 - [c80]Anh Duy Nguyen, Minyi Li, Bao Quoc Vo:
Mining Conversation Data for Reward Estimation in Dialog Policy Learning. PACIS 2020: 109
2010 – 2019
- 2019
- [c79]Mohan Baruwal Chhetri, Abdur Rahim Mohammad Forkan, Quoc Bao Vo, Surya Nepal, Ryszard Kowalczyk:
Towards Risk-Aware Cost-Optimal Resource Allocation for Cloud Applications. SCC 2019: 210-214 - [c78]Sunil Singh Samant, Mohan Baruwal Chhetri, Quoc Bao Vo, Surya Nepal, Ryszard Kowalczyk:
Benchmarking for End-to-End QoS Sustainability in Cloud-Hosted Data Processing Pipelines. CIC 2019: 39-48 - [c77]Mohan Baruwal Chhetri, Anton V. Uzunov, Bao Quoc Vo, Surya Nepal, Ryszard Kowalczyk:
Self-Improving Autonomic Systems for Antifragile Cyber Defence: Challenges and Opportunities. ICAC 2019: 18-23 - 2018
- [j19]Hien P. Luong, Manoj K. Panda, Hai Le Vu, Bao Quoc Vo:
Beacon Rate Optimization for Vehicular Safety Applications in Highway Scenarios. IEEE Trans. Veh. Technol. 67(1): 524-536 (2018) - [c76]Mohan Baruwal Chhetri, Markus Lumpe, Quoc Bao Vo, Ryszard Kowalczyk:
To Bid or Not to Bid in Streamlined EC2 Spot Markets. SCC 2018: 129-136 - [c75]Sunil Singh Samant, Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk, Surya Nepal:
Towards End-to-End QoS and Cost-Aware Resource Scaling in Cloud-Based IoT Data Processing Pipelines. SCC 2018: 287-290 - [c74]Mohan Baruwal Chhetri, Hien P. Luong, Anton V. Uzunov, Quoc Bao Vo, Ryszard Kowalczyk, Surya Nepal, Isuru Rajapakse:
ADSL: An Embedded Domain-Specific Language for Constraint-Based Distributed Self-Management. ASWEC 2018: 101-110 - [c73]Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk, Surya Nepal:
Towards Resource and Contract Heterogeneity Aware Rescaling for Cloud-Hosted Applications. CCGrid 2018: 153-162 - [c72]Mohan Baruwal Chhetri, Anton V. Uzunov, Quoc Bao Vo, Ryszard Kowalczyk, Michael Docking, Hien P. Luong, Isuru Rajapakse, Surya Nepal:
AWaRE - Towards Distributed Self-Management for Resilient Cyber Systems. ICECCS 2018: 185-188 - [c71]Ahmed Al-Shammari, Rui Zhou, Chengfei Liu, Mehdi Naseriparsa, Bao Quoc Vo:
A Framework for Processing Cumulative Frequency Queries over Medical Data Streams. WISE (2) 2018: 121-131 - 2017
- [j18]Hien P. Luong, Manoj K. Panda, Hai Le Vu, Quoc Bao Vo:
Analysis of Multi-Hop Probabilistic Forwarding for Vehicular Safety Applications on Highways. IEEE Trans. Mob. Comput. 16(4): 918-933 (2017) - [j17]Sergei Chichin, Quoc Bao Vo, Ryszard Kowalczyk:
Towards Efficient and Truthful Market Mechanisms for Double-Sided Cloud Markets. IEEE Trans. Serv. Comput. 10(1): 37-51 (2017) - [c70]Mohan Baruwal Chhetri, Markus Lumpe, Quoc Bao Vo, Ryszard Kowalczyk:
On Estimating Bids for Amazon EC2 Spot Instances Using Time Series Forecasting. SCC 2017: 44-51 - [c69]Markus Lumpe, Quoc Bao Vo:
Comparing TPC-W and RUBiS via PCA. ACIIDS (1) 2017: 355-366 - [c68]Ahmed Al-Shammari, Chengfei Liu, Mehdi Naseriparsa, Bao Quoc Vo, Tarique Anwar, Rui Zhou:
A Framework for Clustering and Dynamic Maintenance of XML Documents. ADMA 2017: 399-412 - [c67]Markus Lumpe, Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk:
On Estimating Minimum Bids for Amazon EC2 Spot Instances. CCGrid 2017: 391-400 - [c66]Sunil Singh Samant, Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk, Surya Nepal:
Towards Quality-Assured Data Delivery in Cloud-Based IoT Platforms for Smart Cities. CIC 2017: 291-298 - [c65]Mohan Baruwal Chhetri, Markus Lumpe, Quoc Bao Vo, Ryszard Kowalczyk:
On Forecasting Amazon EC2 Spot Prices Using Time-Series Decomposition with Hybrid Look-Backs. EDGE 2017: 158-165 - 2016
- [j16]Mohan Baruwal Chhetri, Sergei Chichin, Quoc Bao Vo, Ryszard Kowalczyk:
Smart CloudBench - A framework for evaluating cloud infrastructure performance. Inf. Syst. Frontiers 18(3): 413-428 (2016) - [c64]Quoc Bao Vo, Trong Hieu Tran, Thi Hong Khanh Nguyen:
On the Use of Surplus Division to Facilitate Efficient Negotiation in the Presence of Incomplete Information. KES 2016: 295-304 - [c63]Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk:
CL-SLAM: cross-layer SLA monitoring framework for cloud service-based applications. UCC 2016: 30-36 - 2015
- [j15]Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk:
AutoSLAM - A policy-based framework for automated SLA establishment in cloud environments. Concurr. Comput. Pract. Exp. 27(9): 2413-2442 (2015) - [j14]Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk:
Aggregating multi-valued CP-nets: a CSP-based approach. J. Heuristics 21(1): 107-140 (2015) - [c62]Sergei Chichin, Quoc Bao Vo, Ryszard Kowalczyk:
Towards Efficient Greedy Allocation Schemes for Double-Sided Cloud Markets. SCC 2015: 194-201 - [c61]Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk:
Supporting Temporal Aspects of SLA Establishment in Auto SLAM Framework. SCC 2015: 234-241 - [c60]Markus Lumpe, Quoc Bao Vo:
Finding the k in K-means Clustering: A Comparative Analysis Approach. Australasian Conference on Artificial Intelligence 2015: 356-364 - [c59]Sergei Chichin, Quoc Bao Vo, Ryszard Kowalczyk:
Double-Sided Market Mechanism for Trading Cloud Resources. WI-IAT (2) 2015: 198-205 - [c58]Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk:
Agent Enabled Adaptive Management of Cloud Service Provisioning. WI-IAT (2) 2015: 292-299 - 2014
- [j13]Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk:
A distributed social choice protocol for combinatorial domains. J. Heuristics 20(4): 453-481 (2014) - [j12]Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk:
A Pareto-efficient and fair mediation approach to multilateral negotiation. Multiagent Grid Syst. 10(1): 1-22 (2014) - [j11]Tuong Huan Nguyen, Bao Quoc Vo, Markus Lumpe, John Grundy:
KBRE: a framework for knowledge-based requirements engineering. Softw. Qual. J. 22(1): 87-119 (2014) - [c57]Sergei Chichin, Quoc Bao Vo, Ryszard Kowalczyk:
Adaptive Market Mechanism for Efficient Cloud Services Trading. IEEE CLOUD 2014: 705-712 - [c56]Mohan Baruwal Chhetri, Sergei Chichin, Quoc Bao Vo, Ryszard Kowalczyk:
Smart CloudMonitor - Providing Visibility into Performance of Black-Box Clouds. IEEE CLOUD 2014: 777-784 - [c55]Sergei Chichin, Quoc Bao Vo, Ryszard Kowalczyk:
Truthful Market-Based Trading of Cloud Services with Reservation Price. IEEE SCC 2014: 27-34 - [c54]Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk:
Adaptive AutoSLAM - Policy-Based Orchestration of SLA Establishment. IEEE SCC 2014: 472-479 - [c53]Trong Hieu Tran, Quoc Bao Vo, Thi Hong Khanh Nguyen:
On the Belief Merging by Negotiation. KES 2014: 147-155 - [c52]Sergei Chichin, Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk, Marcin Stepniak:
Smart Cloud Marketplace - Agent-Based Platform for Trading Cloud Services. WI-IAT (3) 2014: 388-395 - [c51]Hien P. Luong, Suong H. Nguyen, Hai Le Vu, Bao Quoc Vo:
One-hop vs. multi-hop broadcast protocol for DSRC safety applications. WoWMoM 2014: 1-3 - [i3]Sergei Chichin, Quoc Bao Vo, Ryszard Kowalczyk:
Truthful Market-based Trading of Cloud Resources with Reservation Price. CoRR abs/1401.8038 (2014) - 2013
- [j10]Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk, Sascha Ossowski, Gregory E. Kersten:
Automated negotiation in open and distributed environments. Expert Syst. Appl. 40(15): 6195-6212 (2013) - [j9]Trong Hieu Tran, Ngoc Thanh Nguyen, Quoc Bao Vo:
Axiomatic characterization of belief merging by negotiation. Multim. Tools Appl. 65(1): 133-159 (2013) - [j8]Alvaro Monsalve, Hai Le Vu, Quoc Bao Vo:
Optimal designs for IEEE 802.15.4 wireless sensor networks. Wirel. Commun. Mob. Comput. 13(18): 1681-1692 (2013) - [c50]Mohan Baruwal Chhetri, Sergei Chichin, Quoc Bao Vo, Ryszard Kowalczyk:
Smart CloudBench - Automated Performance Benchmarking of the Cloud. IEEE CLOUD 2013: 414-421 - [c49]Mohan Baruwal Chhetri, Sergei Chichin, Quoc Bao Vo, Ryszard Kowalczyk:
Smart CloudBench - Test Drive the Cloud Before You Buy. ASSRI 2013: 59-73 - [c48]Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk:
A distributed protocol for collective decision-making in combinatorial domains. AAMAS 2013: 1117-1118 - [c47]Quoc Bao Vo:
A Mechanism to Improve Efficiency for Negotiations with Incomplete Information. Australasian Conference on Artificial Intelligence 2013: 26-31 - [c46]Mohan Baruwal Chhetri, Sergei Chichin, Quoc Bao Vo, Ryszard Kowalczyk:
Smart Cloud Broker: Finding your home in the clouds. ASE 2013: 698-701 - 2012
- [j7]Jan Richter, Mohan Baruwal Chhetri, Ryszard Kowalczyk, Quoc Bao Vo:
Establishing composite SLAs through concurrent QoS negotiation with surplus redistribution. Concurr. Comput. Pract. Exp. 24(9): 938-955 (2012) - [j6]Eduardo Rodrigues Gomes, Quoc Bao Vo, Ryszard Kowalczyk:
Pure exchange markets for resource sharing in federated clouds. Concurr. Comput. Pract. Exp. 24(9): 977-991 (2012) - [c45]Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk:
AutoSLAM - A Policy-Driven Middleware for Automated SLA Establishment in SOA Environments. IEEE SCC 2012: 9-16 - [c44]Quoc Bao Vo, Minyi Li:
From axiomatic to strategic models of bargaining with logical beliefs and goals. AAMAS 2012: 525-532 - [c43]Quoc Bao Vo, Minyi Li:
QoS- and Resource-Aware Service Composition and Adaptation. AMT 2012: 165-175 - [c42]Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk:
Policy-Based Automation of SLA Establishment for Cloud Computing Services. CCGRID 2012: 164-171 - [c41]Minyi Li, Quoc Bao Vo:
Choosing Combinatorial Social Choice by Heuristic Search. ECAI 2012: 528-533 - [c40]Quoc Bao Vo, Minyi Li:
On the Role of Expectations in Multi-agent Reasoning and Decision Making. IAT 2012: 162-169 - [c39]Trong Hieu Tran, Quoc Bao Vo:
An Axiomatic Model for Merging Stratified Belief Bases by Negotiation. ICCCI (1) 2012: 174-184 - [c38]Wei Dong, Minyi Li, Quoc Bao Vo, Hai Le Vu:
Reliability in stochastic time-dependent traffic networks with correlated link travel times. ITSC 2012: 1626-1631 - [c37]Tuong Huan Nguyen, Bao Quoc Vo, Markus Lumpe, John Grundy:
REInDetector: a framework for knowledge-based requirements engineering. ASE 2012: 386-389 - [i2]Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk:
An Efficient Protocol for Negotiation over Combinatorial Domains with Incomplete Information. CoRR abs/1202.3740 (2012) - 2011
- [c36]Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk:
Efficient heuristic approach to dominance testing in CP-nets. AAMAS 2011: 353-360 - [c35]Wojciech A. Lorkiewicz, Ryszard Kowalczyk, Radoslaw P. Katarzyniak, Quoc Bao Vo:
On topic selection strategies in multi-agent naming game. AAMAS 2011: 499-506 - [c34]Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk:
Majority-rule-based preference aggregation on multi-attribute domains with CP-nets. AAMAS 2011: 659-666 - [c33]Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk:
Efficient penalty scoring functions for group decision-making with TCP-nets. AAMAS 2011: 1073-1074 - [c32]Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk:
A Flexible Policy Framework for the QoS Differentiated Provisioning of Services. CCGRID 2011: 444-453 - [c31]Wei Dong, Hai Le Vu, Quoc Bao Vo:
Real time route guidance with correlated link cost. ITSC 2011: 1039-1044 - [c30]Trong Hieu Tran, Quoc Bao Vo, Ryszard Kowalczyk:
Merging Belief Bases by Negotiation. KES (1) 2011: 200-209 - [c29]Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk:
An Efficient Protocol for Negotiation over Combinatorial Domains with Incomplete Information. UAI 2011: 436-444 - [c28]Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk, Cam Lan Do:
Cloud Broker: Helping You Buy Better. WISE 2011: 341-342 - [i1]Norman Y. Foo, Quoc Bao Vo:
Reasoning about Action: An Argumentation - Theoretic Approach. CoRR abs/1109.2138 (2011) - 2010
- [c27]Jan Richter, Mohan Baruwal Chhetri, Ryszard Kowalczyk, Quoc Bao Vo, Muhammad Adeel Talib, Alan W. Colman:
Utility Decomposition and Surplus Redistribution in Composite SLA Negotiation. IEEE SCC 2010: 627-630 - [c26]Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk:
An Efficient Approach for Ordering Outcomes and Making Social Choices with CP-Nets. Australasian Conference on Artificial Intelligence 2010: 375-384 - [c25]Khalid Mansour, Ryszard Kowalczyk, Quoc Bao Vo:
Real-Time Coordination of Concurrent Multiple Bilateral Negotiations under Time Constraints. Australasian Conference on Artificial Intelligence 2010: 385-394 - [c24]Mohan Baruwal Chhetri, Quoc Bao Vo, Ryszard Kowalczyk:
Policy-Based Management of QoS in Service Aggregations. CCGRID 2010: 593-595 - [c23]Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk:
An Efficient Procedure for Collective Decision-making with CP-nets. ECAI 2010: 375-380 - [c22]Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk:
An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets. KR 2010
2000 – 2009
- 2009
- [c21]Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk:
Searching for fair joint gains in agent-based negotiation. AAMAS (2) 2009: 1049-1056 - [c20]Jian Feng Zhang, Quoc Bao Vo, Ryszard Kowalczyk:
Theoretic study of distributed graph planning. AAMAS (2) 2009: 1211-1212 - [e2]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. Lecture Notes in Computer Science 5907, Springer 2009, ISBN 978-3-642-10738-2 [contents] - 2008
- [c19]Tino Schlegel, Ryszard Kowalczyk, Quoc Bao Vo:
Decentralized Co-allocation of Interrelated Resources in Dynamic Environments. IAT 2008: 104-108 - [c18]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 - [c17]Juliana Mitchell-Wong, Ryszard Kowalczyk, Quoc Bao Vo:
Social Network Profile and Policy. POLICY 2008: 207-210 - [c16]Quoc Bao Vo:
An Argumentation Framework Based on Conditional Priorities. PRICAI 2008: 497-508 - [e1]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. Lecture Notes in Computer Science 5006, Springer 2008, ISBN 978-3-540-79967-2 [contents] - 2007
- [j5]Quoc Bao Vo, Lin Padgham, Lawrence Cavedon:
Negotiating flexible agreements by combining distributive and integrative negotiation. Intell. Decis. Technol. 1(1-2): 33-47 (2007) - [c15]Quoc Bao Vo, Lin Padgham:
Searching for joint gains in automated negotiations based on multi-criteria decision making theory. AAMAS 2007: 161 - 2006
- [j4]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) - [c14]Quoc Bao Vo, Lin Padgham:
Conversation-Based Specification and Composition of Agent Services. CIA 2006: 168-182 - [c13]Quoc Bao Vo, Lin Padgham:
A Component-Based Approach to Automated Web Service Composition. Web Intelligence 2006: 657-661 - 2005
- [j3]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) - [j2]Quoc Bao Vo, Norman Y. Foo:
Reasoning about Action: An Argumentation - Theoretic Approach. J. Artif. Intell. Res. 24: 465-518 (2005) - [c12]Christoph Benzmüller, Quoc Bao Vo:
Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs. AAAI 2005: 516-522 - [c11]Quoc Bao Vo:
Structure-Based Algorithms for Computing Preferred Arguments of Defeasible Knowledge Bases. Australian Conference on Artificial Intelligence 2005: 834-838 - 2004
- [j1]Quoc Bao Vo:
A task-oriented agent-based mechanism for mathematical assistant systems. Web Intell. Agent Syst. 2(1): 71-86 (2004) - [c10]Quoc Bao Vo:
Contextualized Abstraction for Assertion-Level Theorem Proving. ECAI 2004: 1107-1108 - [c9]Magdalena Wolska, Quoc Bao Vo, Dimitra Tsovaltzi, Ivana Kruijff-Korbayová, Elena Karagjosova, Helmut Horacek, Armin Fiedler, Christoph Benzmüller:
An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving. LREC 2004 - 2003
- [c8]Quoc Bao Vo:
A task-oriented agent-based mechanism for theorem proving. IAT 2003: 275-281 - [c7]Quoc Bao Vo, Christoph Benzmüller, Serge Autexier:
Assertion Application in Theorem Proving and Proof Planning. IJCAI 2003: 1343- - [c6]Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo:
A Syntax-Based Approach to Reasoning about Actions and Events. LPAR 2003: 274-288 - [c5]Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo:
Assertion-level Proof Representation with Under-Specification. MKM Symposium 2003: 5-23 - 2002
- [c4]Quoc Bao Vo, Norman Y. Foo:
Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach. PRICAI 2002: 49-59 - 2001
- [c3]Quoc Bao Vo, Norman Y. Foo:
Solving the Qualification Problem. Australian Joint Conference on Artificial Intelligence 2001: 519-531 - [c2]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
1990 – 1999
- 1999
- [c1]Quoc Bao Vo, Joe Thurbon:
Semantics for Pollock's Defeasible Reasoning. Australian Joint Conference on Artificial Intelligence 1999: 316-327
Coauthor Index
[j23] [j22] [j21] [j20] [c85] [c84] [c83] [c82] [c81] [c79] [c78] [c77] [c76] [c75] [c74] [c73] [c72] [j17] [c70] [c67] [c66] [c65] [j16] [c63] [j15] [j14] [c62] [c61] [c59] [c58] [j13] [j12] [c57] [c56] [c55] [c54] [c52] [i3] [j10] [c50] [c49] [c48] [c46] [j7] [j6] [c45] [c42] [i2] [c36] [c35] [c34] [c33] [c32] [c30] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [e2] [c19] [c18] [c17] [e1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-27 00:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
