Searching for "Distributed Truth Maintenance." – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
Distributed Belief Revision versus Distributed Truth Maintenance
- …Distributed Belief Revision versus Distributed Truth Maintenance Aldo Franco Dragoni, Paolo…
- Cited by 14 (3 self) – Add To MetaCart
-
InfoSleuth Agents: The Next Generation of Active Objects
- … distributed truth-maintenance system, and a contradiction resolution mechanism. The actual communication among…
- Cited by 9 (2 self) – Add To MetaCart
-
InfoSleuth Agents: The Next Generation of Active Objects
- … unification algorithm with multiple inheritance, a distributed truth-maintenance system, and a contradiction…
- Add To MetaCart
-
Solving Conflicting Beliefs with a Distributed Belief Revision Approach
- … distributed truth maintenance system and a set of autonomous belief revision methodologies. The agents have…
- Cited by 1 (0 self) – Add To MetaCart
-
Multi-Agent Systems - Social Reasoning
- … 93] Distributed belief revision versus distributed truth maintenance: preliminary report. In: Proc. 3…
- Add To MetaCart
-
Customizing Distributed Search Among Agents with Heterogeneous Knowledge
- … is maintained and assimilated by an agent in negotiated search. In [8], Huhns describes a distributed truth-maintenance…
- Cited by 22 (2 self) – Add To MetaCart
-
Distributed Constraint Satisfaction for Formalizing Distributed Problem Solving
- …. Distributed truth maintenance tasks described in [1] are essentially solving a DCSP where each variable can…
- Cited by 172 (15 self) – Add To MetaCart
-
Distributed Belief Revision vs. Belief Revision in a Multi-Agent environment: first results of a
- … Truth Maintenance System (DTMS) [2] is one of the theoretical backgrounds of the latest versions…
- Cited by 6 (1 self) – Add To MetaCart
-
The Information Agent: Building Intelligent Information Infrastructures For Enterprise Integration
- … is to be processed (for example, deductive inference is needed for content based distribution, truth-maintenance type…
- Add To MetaCart
-
Social and Semiotic Analyses for Theorem Prover User Interface Design
- …" (Italian for a person who serves coffee), and was implemented by Dr. Akira Mori. 2.3.2. Distributed Truth…
- Cited by 19 (9 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
