2 citations · 2 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
From Subsumption to Satisfiability: LLM-Assisted Active Learning for OWL Ontologies
Haoruo Zhao, Wenshuo Tang, Duncan Guthrie +3
In active learning, membership queries (MQs) allow a learner to pose questions to a teacher, such as ''Is every apple a fruit?'', to which the teacher responds correctly with yes o…
cs.AI2015★ 2 cited
On the Linear Belief Compression of POMDPs: A re-examination of current methods
Zhuoran Wang, Paul A. Crook, Wenshuo Tang +1
Belief compression improves the tractability of large-scale partially observable Markov decision processes (POMDPs) by finding projections from high-dimensional belief space onto l…