Searching for authors named "Wenjin Lu" – sorted by Relevance.

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

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

10 documents found, showing 1 through 10.

CH-Prolog: A Proof Procedure for Positive Disjunctive Logic Programming
by Wenjin Lu — 1999 — the Proceedings of The 12th International FLAIRS Conference
…CH-Prolog: A Proof Procedure for Positive Disjunctive Logic Programming Wenjin Lu Department…
Cited by 1 (1 self) – Add To MetaCart

Minimal Model Generation Based on E-Hyper Tableaux
by Wenjin Lu, Wenjin Lu — 1996
…Minimal Model Generation Based on E-Hyper Tableaux Wenjin Lu 20/96 Fachberichte INFORMATIK…
Cited by 1 (1 self) – Add To MetaCart

Expert Advice via Internet - Working Towards Knowledge-Based Systems on the Web
by Ubbo Visser, Wenjin Lu
… Email: visser@(email omitted); Abstract Wenjin Lu Department for Computer Science University…
Cited by 1 (0 self) – Add To MetaCart

View Updates in Disjunctive Deductive Databases Based on SLD-Resolution
by Wenjin Lu Department, Wenjin Lu
…View Updates in Disjunctive Deductive Databases Based on SLD-Resolution Wenjin Lu Department…
Add To MetaCart

A Library of Components for Classification Problem Solving
by Enrico Motta, Wenjin Lu, Walton Hall — 2000
…A Library of Components for Classification Problem Solving Enrico Motta and Wenjin Lu Knowledge…
Cited by 17 (3 self) – Add To MetaCart

Expert Advice via Internet -- Working Towards Knowledge-Based Systems on the Web
by Ubbo Visser Tzi, Wenjin Lu — 1999 — Proceedings of the Workshop "The Inaugural Australian Workshop on the Application of Artificial Intelligence to Plant and Animal Production" in conjunction with the Australian Joint Conference on Artificial Intelligence, http://www.informatik.un
… Email: visser@(email omitted); Wenjin Lu Department for Computer Science University of Koblenz…
Add To MetaCart

The Internet Reasoning Service: Delivering Configurable Problem-Solving Components to Web Users
by Monica Crubzy, Wenjin Lu, Enrico Motta, Mark A. Musen — 2001 — In: Proceedings of the Workshop on Interactive Tools for Knowledge Capture at the First International Conference on Knowledge Capture (K-CAP 2001
… Monica Crubézy 1 , Wenjin Lu 2 , Enrico Motta 2 , and Mark A. Musen 1 Stanford Medical Informatics MSOB X…
Add To MetaCart

Crafting the Mind of a PROSOCS Agent
by Andrea Bracciali, Neophytos Demetriou, Ulle Endriss, Antonis Kakas, Wenjin Lu, Kostas Stathis — 2006 — Applied Artificial Intelligence
… †† , Antonis Kakas ‡ , Wenjin Lu § , Kostas Stathis §∗ † Dipartimento di Informatica, Università di Pisa, Italy…
Cited by 9 (0 self) – Add To MetaCart

Configuring Online Problem-Solving Resources with the Internet Reasoning Service
by Monica Crubézy, Wenjin Lu, Enrico Motta, Mark A. Musen — 2002 — IEEE Intelligent Systems
… Wenjin Lu, 2 Enrico Motta, 2 and Mark A. Musen 1 1 Stanford Medical Informatics, 251 Campus Drive…
Cited by 8 (1 self) – Add To MetaCart

PROSOCS: a platform for programming software agents in
by Computational Logic Kostas, Kostas Stathis, Wenjin Lu, London Ecv Hb, Antonis Kakas, Neophytos Demetriou, Ulle Endriss, Andrea Bracciali — 2004
…PROSOCS: a platform for programming software agents in computational logic Kostas Stathis, Wenjin…
Add To MetaCart

Showing 1 through 10.

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