Searching for authors named "Baoqiu Cui" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

Preference Logic Grammars: Fixed Point Semantics and Application to Data Standardization
by Baoqiu Cui, Terrance Swift — 2002 — Artificial Intelligence
…-Monotonic Reasoning, by Baoqiu Cui, Terrance Swift and David S. Warren. This paper does not re ect the ocial positions…
Cited by 3 (0 self) – Add To MetaCart

A Case Study in Using Preference Logic Grammars for Knowledge Representation
by Baoqiu Cui, Terrance Swift, David S. Warren — 1999 — Proc. of LPNMR 99
…A Case Study in Using Preference Logic Grammars for Knowledge Representation Baoqiu Cui 1…
Cited by 6 (4 self) – Add To MetaCart

From Tabling to Transformation: Efficiently Computing Residual Programs in the SLG-WAM
by Baoqiu Cui Terrance, Terrance Swift, David S. Warren — 1999 — In Proceedings of the International Workshop on Implementation of Declarative Languages
…From Tabling to Transformation: Efficiently Computing Residual Programs in the SLG-WAM Baoqiu Cui…
Add To MetaCart

The XSB System Version 2.2 Volume 1: Programmer's Manual
by Konstantinos Sagonas, David S. Warren, David Warren, Steve Dawson, Steve Dawson, Juliana Freire, Juliana Freire, Baoqiu Cui, Michael Kifer, Michael Kifer, Terrance Swift, Terrance Swift, Terrance Swift, Kostis Sagonas, Prasad Rao, Prasad Rao, Prasad Rao, Juliana Freire The Breakdown — 2000
… Freire, Baoqiu Cui and Michael Kifer. In Version 2.2, the core engine development of the SLG-WAM has been…
Add To MetaCart

Logic Programming and Model Checking
by Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David S. Warren — 1998 — PROCEEDINGS OF PLIP/ALP'98
…To appear: Proceedings of PLIP/ALP’98 Logic Programming and Model Checking ? Baoqiu Cui, Yifei…
Cited by 29 (5 self) – Add To MetaCart

Showing 1 through 5.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB