| |
|
| |
|
| |
Computational Logic — CL 2000 (2000), pp. 478-492.
|
| |
In CSL '89: Proceedings of the 3rd Workshop on Computer Science Logic (1990), pp. 382-383.
|
| |
Logic Programming (2006), pp. 56-71.
|
| |
|
| |
|
| |
Logic Programming (2001), pp. 181-196.
|
| |
Computer Languages, Systems & Structures, Vol. 35, No. 3. (October 2009), pp. 252-265.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 16, No. 4. (1994), pp. 1081-1096.
|
| |
Machine Learning, Vol. 38, No. 1-2. (2000), pp. 157-180.
|
| |
In AAMAS '05: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems (2005), pp. 1301-1302.
|
| |
Comput. Biomed. Res., Vol. 23, No. 2. (1990), pp. 139-152.
|
| |
Journal of Combinatorial Optimization, Vol. 3, No. 2. (1 July 1999), pp. 277-299.
|
| |
Theory and Practice of Logic Programming, Vol. 8, No. 03. (2008), pp. 301-322.
|
| |
Applications of Artificial Intelligence X: Knowledge-Based Systems, Vol. 1707, No. 1. (1992), pp. 270-278.
|
| |
Comput. Linguist., Vol. 21, No. 3. (1995), pp. 281-320.
|
| |
Third International Conference on Information Technology and Applications (ICITA 2005) In Third International Conference on Information Technology and Applications (ICITA 2005), Vol. 2 (2005), pp. 572-575.
|
| |
In CCS '01: Proceedings of the 8th ACM conference on Computer and Communications Security (2001), pp. 166-175.
|
| |
|
| |
In CSC '90: Proceedings of the 1990 ACM annual conference on Cooperation (1990)
|
| |
Innovations in Systems and Software Engineering, Vol. 4, No. 3. (1 October 2008), pp. 223-231.
|
| |
Journal of Logic Programming, Vol. 19,20 (1994), pp. 385-441.
|
| |
Functional and Logic Programming (2008), pp. 64-80.
|
| |
In PLILP (1996), pp. 243-258.
|
| |
Parallel and Distributed Processing, 1996. Eighth IEEE Symposium on In Parallel and Distributed Processing, 1996. Eighth IEEE Symposium on (1996), pp. 112-121.
|
| |
High Performance Computing (1997), pp. 91-106.
|
| |
In MICRO 17: Proceedings of the 17th annual workshop on Microprogramming (1984), pp. 192-203.
|
| |
|
| |
In Conference on Information Systems and Management of Data (1995), pp. 214-231.
|
| |
|
| |
|
| |
In Logic Program Synthesis and Transformation (1996), pp. 130-145.
|
| |
|
| |
In History of Programming Languages II (1996), pp. 331-367.
|
| |
The Essence of Computation. Complexity, Analysis, Transformation : Essays Dedicated to Neil D. Jones (2002), pp. 109-134.
|
| |
In Algebraic Methodology and Software Technology (1996), pp. 375-390.
|
| |
Computer Communications, Vol. 23, No. 17. (1 November 2000), pp. 1584-1593.
|
| |
Computers & Security, Vol. 23, No. 7. (October 2004), pp. 559-570.
|
| |
In SACMAT '07: Proceedings of the 12th ACM symposium on Access control models and technologies (2007), pp. 205-214.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. SE-11, No. 11. (1985), pp. 1401-1408.
|
| |
In PODS '87: Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1987), pp. 269-284.
|
| |
ACM Trans. Database Syst., Vol. 21, No. 2. (June 1996), pp. 238-269.
|
| |
Theory and Practice of Logic Programming (2002)
|
| |
|
| |
|
| |
|
| |
|
| |
: Practical Aspects of Declarative Languages : 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13-14, 2003. Proceedings (2003), pp. 304-319.
|
| |
|
Search
