✦ LIBER ✦

A multi-agent framework for distributed theorem proving

✍ Scribed by Chih-Hung Wu

Book ID: 108127685
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 553 KB
Volume: 29
Category: Article
ISSN: 0957-4174
DOI: 10.1016/j.eswa.2005.04.013

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Framework for Multi-Agent Belief Revis

A Framework for Multi-Agent Belief Revision

✍ Wei Liu; Mary-Anne Williams 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 408 KB

Distributed Subgradient Methods for Mult

Distributed Subgradient Methods for Multi-Agent Optimization

✍ Nedic, A.; Ozdaglar, A. 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 420 KB

Matrix-agent framework: A virtual platfo

Matrix-agent framework: A virtual platform for multi-agents

✍ Hao Lan Zhang; Clement H.C. Leung; Gitesh K. Raikundalia 📂 Article 📅 2006 🏛 SP Systems Engineering Society of China 🌐 English ⚖ 470 KB

A Multi-Agent Framework for Ambient Syst

A Multi-Agent Framework for Ambient Systems Development

✍ Xiping Hu; Weichang Du; Bruce Spencer 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 298 KB

A framework for distributed agent-based

A framework for distributed agent-based engineering design support

✍ Brian Lees; Cherif Branki; Iain Aird 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 62 KB

Concurrent engineering draws together team working and cooperation, with the aim of reducing the need for costly design modifications in the later stages of design and product development. However, the complexities arising in the process of design, in general, defy formal analysis and computational

Distributed norm management for multi-ag

Distributed norm management for multi-agent systems

✍ Wamberto W. Vasconcelos; Andrés García-Camino; Dorian Gaertner; Juan A. Rodrígue 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 529 KB