Web agents cooperating deductively

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1871, Issue , 2001, Pages 250-262

  Waldinger, Richard ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

BACK-GROUND KNOWLEDGE; DOMAIN INDEPENDENTS; DOMAIN THEORY; WEB AGENTS;

QUERY PROCESSING;

EID: 84955601267     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45484-5_20     Document Type: Conference Paper

References (12)

1. Green, C.C.: Application of Theorem Proving to Problem Solving. Proceedings of the International Joint Conference on Artificial Intelligence (May 1969) 219–239
2. Manna, Z., and Waldinger, R.: A Deductive Approach to Program Synthesis. ACM Transactions on Programming, Languages, and Systems. 2 (1980) 90–121
3. Marais, Hannes: WebL—A Programming Language for the Web. Compaq Systems Research Center (1999) research.compaq.com/SRC/WebL/, temporarily unavailable
4. Martin, D.L., Cheyer, A.J., and Moran, D.B.: The Open Agent Architecture: A framework for building distributed software systems. Applied Artificial Intelligence 13 (January-March 1999) 91–128
5. Dowding, J., Gawron, J. M., Appelt, D., Bear, J., Cherny, L., Moore, R., and Moran, D.: GEMINI: A natural language system for spoken-language understanding. Pro ceedings of the 31st Annual Meeting of the Association for Computational Linguistics (June 1993) 54–61
6. Hobbs, J., and Lincoln, P.: Artifact Theory (unpublished transparencies). Artificial Intelligence Center and Computer Science Laboratory, SRI International (October 1999)
7. Teknowledge: Rapid Knowledge Formation. http://reliant.teknowledge.com/RKF
8. Lenat, D.B., and Guha, R.V.: Enabling Agents to Work Together. Communications of the ACM 37 7 (July 1994)
9. Stickel, M., Waldinger, R., Chaudhri, V.: A Guide to Snark.SRI International Artificial Intelligence Center (2000) http://www.ai.sri.com/hpkb/snark/tutorial/tutorial.html
10. Chaudhri, V.K., Stickel, M.E., Thomere, J.F., and Waldinger, R.J.: Reusing Prior Knowledge: Problems and solutions. Proceedings of the National Conference on Artificial Intelligence (July 2000)
11. Stickel, M., Waldinger, R., Lowry, M., Pressburger, T., and Underwood, I.: Deductive Composition of Astronomical Software from Subroutine Libraries. In: Bundy. A.(ed.): 12th Conference on Automated Deduction, Nancy, France, June 28-July 1, 1994; Automated Deduction.Lecture Notes in Computer Science, Vol. 814. Springer-Verlag, Berlin Heidelberg New York (1994)
12. Genesereth, M.R., Keller, A.M., and Duschka, O.M.: Infomaster: An information integration system. SIGMOD Record (ACM Special Interest Group on Management of Data) 26 (1997) 539–542