Expressing systems capabilities for knowledge coordination
暂无分享,去创建一个
[1] Krzysztof R. Apt,et al. Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[2] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.
[3] A. Bossiy,et al. Well-terminating Programs , 1998 .
[4] Matthias Klusch,et al. Brokering and Matchmaking for Coordination of Agent Societies: A Survey , 2001, Coordination of Internet Agents: Models, Technologies, and Applications.
[5] Michael R. Genesereth,et al. A Distributed and Anonymous Knowledge Sharing Approach to Software Interoperation , 1995, Int. J. Cooperative Inf. Syst..
[6] Krzysztof R. Apt,et al. From logic programming to Prolog , 1996, Prentice Hall International series in computer science.
[7] Wamberto Weber Vasconcelos,et al. A Lightweight Capability Communication Mechanism , 2000, IEA/AIE.
[8] Saumya K. Debray,et al. Non-Failure Analysis for Logic Programs , 1997, ICLP.
[9] Gerhard Wickler,et al. Using expressive and flexible action representations to reason about capabilties for intelligent agent cooperation , 2000 .
[10] Annalisa Bossi,et al. Programs Without Failures , 1997, LOPSTR.
[11] Ehud Shapiro,et al. A Type System for Logic Programs , 1988, J. Log. Program..
[12] Danny De Schreye. Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor , 1999 .
[13] A. Bossi,et al. Successful Logic Programs , 1998 .
[14] Matthias Klusch,et al. Interoperability among Heterogeneous Software Agents on the Internet , 1998 .