2007 |
10 | | Wenjin Lu,
Ross King:
Disjunctive Bottom Set and Its Computation.
FLAIRS Conference 2007: 610-615 |
2006 |
9 | EE | Andrea Bracciali,
Ulle Endriss,
Neophytos Demetriou,
Antonis C. Kakas,
Wenjin Lu,
Kostas Stathis:
Crafting the mind of PROSOCS agents.
Applied Artificial Intelligence 20(2-4): 105-131 (2006) |
2004 |
8 | EE | Andrea Bracciali,
Neophytos Demetriou,
Ulrich Endriss,
Antonis C. Kakas,
Wenjin Lu,
Paolo Mancarella,
Fariba Sadri,
Kostas Stathis,
Giacomo Terreni,
Francesca Toni:
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.
Global Computing 2004: 340-367 |
2003 |
7 | EE | Ulrich Endriss,
Wenjin Lu,
Nicolas Maudet,
Kostas Stathis:
Competent Agents and Customising Protocols.
ESAW 2003: 168-181 |
6 | EE | Monica Crubézy,
Mark A. Musen,
Enrico Motta,
Wenjin Lu:
Configuring Online Problem-Solving Resources with the Internet Reasoning Service.
IEEE Intelligent Systems 18(2): 34-42 (2003) |
2002 |
5 | | Monica Crubézy,
Wenjin Lu,
Enrico Motta,
Mark A. Musen:
Configuring Online Problem-Solving Resources with the Internet Reasoning Service.
Intelligent Information Processing 2002: 91-102 |
1999 |
4 | | Wenjin Lu:
CH-Prolog: A Proof Procedure for Positive Disjunctive Logic Programming.
FLAIRS Conference 1999: 268-272 |
3 | EE | Wenjin Lu:
View Updates in Disjunctive Deductive Databases Based on SLD-Resolution.
KRDB 1999: 31-35 |
1998 |
2 | EE | Wenjin Lu,
Ulrich Furbach:
Disjunctive Logic Program = Horn Program + Control Program.
JELIA 1998: 33-46 |
1997 |
1 | | Wenjin Lu:
Minimal Model Generation Based on E-hyper Tableaux.
KI 1997: 99-110 |