Capturing the polynomial hierarchy by second-order revised Krom logic von Wang, Kexu, Feng, Shiguang, Zhao, Xishun

Volltext

Multi-task learning using a hybrid representation for text classification von Lu, Guangquan, Gan, Jiangzhang, Yin, Jian, Luo, Zhiping, Li, Bo, Zhao, Xishun

Volltext

Norm-based deontic logic for access control, some computational results von Sun, Xin, Zhao, Xishun, Robaldo, Livio

Volltext

Tonsillar Crypt Epithelium Is an Important Extra-Central Nervous System Site for Viral Replication in EV71 Encephalomyelitis von He, Yaoxin, Ong, Kien Chai, Gao, Zifen, Zhao, Xishun, Anderson, Virginia M, McNutt, Michael A, Wong, Kum Thong, Lu, Min

Volltext

Ali Baba and the Thief, Convention Emergence in Games von Sun, Xin, Zhao, Xishun, Robaldo, Livio

Volltext

Reasoning about actions with loops via Hoare logic von HE, Jiankun, ZHAO, Xishun

Volltext

Computationally Hard Problems for Logic Programs under Answer Set Semantics von Shen, Yuping, Zhao, Xishun

Volltext

Neuropathology in 2 cases of fatal enterovirus type 71 infection from a recent epidemic in the People's Republic of China: a histopathologic, immunohistochemical, and reverse trans... von Yang, Yu, MD, PhD, Wang, Hua, MD, PhD, Gong, Encong, MD, MSc, Du, Juan, BSc, Zhao, Xishun, BSc, McNutt, Michael A., MD, Wang, Shenglan, BSc, Zhong, Yanfeng, MD, Gao, Zifen, MD, Zheng, Jie, MD

Volltext

Linear CNF formulas and satisfiability von Porschen, Stefan, Speckenmeyer, Ewald, Zhao, Xishun

Volltext

Multi-task learning using variational auto-encoder for sentiment classification von Lu, Guangquan, Zhao, Xishun, Yin, Jian, Yang, Weiwei, Li, Bo

Volltext

Proof systems for planning under 0-approximation semantics von Shen, YuPing, Zhao, XiShun

Volltext

Computational complexity of quantified Boolean formulas with fixed maximal deficiency von Kleine Büning, Hans, Zhao, Xishun

Volltext

On Davis–Putnam reductions for minimally unsatisfiable clause-sets von Kullmann, Oliver, Zhao, Xishun

Volltext

Boolean Functions as Models for Quantified Boolean Formulas von Kleine Büning, Hans, Subramani, K., Zhao, Xishun

Volltext

Minimal False Quantified Boolean Formulas von Büning, Hans Kleine, Zhao, Xishun

Volltext

Model-Equivalent Reductions von Zhao, Xishun, Büning, Hans Kleine

Volltext

On Boolean models for Quantified Boolean Horn Formulas von BÜNING, Hans Kleine, SUBRAMANI, K, XISHUN ZHAO

Volltext

NP-Logic Systems and Model-Equivalence Reductions von Shen, Yuping, Zhao, Xishun

Volltext

Stag hunt and trust emergence in social networks von Zhou, Lu, Su, Chunhua, Sun, Xin, Zhao, Xishun, Choo, Kim-Kwang Raymond

Volltext

Read-once unit resolution von BÜNING, Hans Kleine, XISHUN ZHAO

Volltext