Web Agents Cooperating Deductively
- 26 October 2001
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 250-262
- https://doi.org/10.1007/3-540-45484-5_20
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The open agent architecture: A framework for building distributed software systemsApplied Artificial Intelligence, 1999
- GeminiPublished by Association for Computational Linguistics (ACL) ,1993
- A Deductive Approach to Program SynthesisACM Transactions on Programming Languages and Systems, 1980
- Application of Theorem Proving to Problem SolvingPublished by Defense Technical Information Center (DTIC) ,1969