10 citations · 11 across the 4 of their papers we have counts for
4 papers
Vision-Language Navigation with Random Environmental Mixup
Chong Liu, Fengda Zhu, Xiaojun Chang +3
Vision-language Navigation (VLN) tasks require an agent to navigate step-by-step while perceiving the visual observations and comprehending a natural language instruction. Large da…
Loop Formulas for Description Logic Programs
Yisong Wang, Jia-Huai You, Li Yan Yuan +1
Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logics…
Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan
This paper studies the stable model semantics of logic programs with (abstract) constraint atoms and their properties. We introduce a succinct abstract representation of these cons…
Linear Tabling Strategies and Optimizations
Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen
Recently, the iterative approach named linear tabling has received considerable attention because of its simplicity, ease of implementation, and good space efficiency. Linear tabli…