Jörg Denzinger, Jürgen Lind  Home/Search
Context Related
| agent.informatik.unikl.d...ics96.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: agent.informatik.unikl.de/...bib (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present TWlib, a library to support the knowledge-based distribution concept teamwork, that is intended for such search processes that use a set of facts as representation of the state and addition and removal of facts as transition between states. Teamwork has proven to be quite successful in different applications by generating synergetic effects. Teamwork employs four types of components. Experts and specialists work independently on solving the search problem. Cooperation is achieved by... (Update)
Context of citations to this paper: More
...(when transmitting the new start state) one is able to achieve communication and control without much overhead. Our TWlib (see [DL96]) provides classes and methods that achieve this. Then the following synergetic effects occur, that allow a team to be much more...
.... equational strategies [39, 4, 5, 46, 44, 42] and later extended to a framework for applications in distributed artificial intelligence [45]. The master process, called supervisor, assigns to every slave the theoremproving problem, a time period, and a di#erent search plan. The...
Cited by: More
A Process Model for the Design of Multi-Agent Systems - Lind (1999) (Correct)
A Taxonomy of Parallel Strategies for Deduction - Bonacina (1999) (Correct)
Using TEAMWORK for the Distribution of Approximately Solving .. - Denzinger, Scholz (1997) (Correct)
Similar documents (at the sentence level):
64.9%: TWlib - a library for distributed search applications - Denzinger, Lind (1996) (Correct)
Active bibliography (related documents): More All
0.2: Learning Domain Knowledge to Improve Theorem Proving - Denzinger, Schulz (Correct)
0.2: Flexible Proof-Replay with Heuristics - Fuchs (1997) (Correct)
0.2: Cooperation in Theorem Proving by Loosely Coupled Heuristics - Fuchs, Denzinger (1997) (Correct)
Similar documents based on text: More All
0.3: Recording and Analyzing Knowledge-Based Distributed.. - Denzinger, Schulz (1996) (Correct)
0.3: TWlib - A Generic Framework for Teamwork Applications: General.. - Lind (1996) (Correct)
0.3: Recording, Analyzing and Presenting Distributed Deduction.. - Denzinger, Schulz (Correct)
Related documents from co-citation: More All
2: Planning for distributed theorem proving: The team work approach - Denzinger, Kronenburg - 1996
BibTeX entry: (Update)
Denzinger, J. ; Lind, J.: TWlib - a Library for Distributed Search Applications, Proc. ICS'96AI, Kaohsiung, 1996, pp. 101--108. REFERENCES 37 http://citeseer.ist.psu.edu/article/denzinger96twlib.html More
@misc{ denzinger96twlib,
author = "J. Denzinger and J. Lind",
title = "TWlib - a Library for Distributed Search Applications",
text = "Denzinger, J. ; Lind, J.: TWlib - a Library for Distributed Search Applications,
Proc. ICS'96AI, Kaohsiung, 1996, pp. 101--108. REFERENCES 37",
year = "1996",
url = "citeseer.ist.psu.edu/article/denzinger96twlib.html" }
Citations (may not include all citations):328 PVM 3 user's Guide and Reference Manual - Geist, Beguelin et al. - 1993
33 Knowledge-Based Distributed Search Using Teamwork (context) - Denzinger - 1995
32 DISCOUNT: A system for distributed equational deduction (context) - Avenhaus, Denzinger et al. - 1995 DBLP
25 ARCHON: theory and practice (context) - Jennings, Wittig - 1992
21 Goal oriented equational theorem proving using teamwork - Denzinger, Fuchs - 1994
19 Experiments in the Heuristic Use of Past Proof Experience - Fuchs - 1996 ACM DBLP
13 Planning for distributed theorem proving: The team work appr.. - Denzinger, Kronenburg - 1996
7 Implementing distributed ai systems using mace (context) - Gasser, Braganza et al. - 1988 ACM
6 Resolving global inconsistency in distributed sensor interpr.. (context) - Carver, Lesser et al. - 1993
2 Generating dedicated runtime platforms for distributed appli.. (context) - Nehmer, Sturm - 1995 ACM DBLP
Documents on the same site (http://agent.informatik.uni-kl.de/denzinge/bib.html):
Referees for Teamwork - Denzinger, Fuchs (1996) (Correct)
Learning From Previous Proof Experience: A Survey - Denzinger, Fuchs, Goller.. (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC