Xuegang Wang

QUASI-STABLE SEMANTICS OF LOGIC PROGRAMS

Xuegang Wang, 1998 .

A Variant of Thomason's First-Order Logic CF Based on Situations

Xuegang Wang, Peter L. Mott, P. Mott, 1998, Notre Dame J. Formal Log..

Research on the realization method of the docking function between Wechat payment system and supermarket cashier system

Xuegang Wang, Jinfeng Wang, 2022, Other Conferences.

Negation in logic and deductive databases

Xuegang Wang, Xuegang Wang, 2000 .

A dynamic stage-based fraud monitoring framework of multiple live auctions

Samira Sadaoui, Xuegang Wang, S. Sadaoui, 2016, Applied Intelligence.

Application of Authorization in Smart Grid based on the PasS Microservice architecture

Wang Xuegang, Ding Yi, Zhang Shuliang, 2020, IOP Conference Series: Earth and Environmental Science.