Distributed problem-solving as concurrent theorem proving

Lecture Notes in Computer Science - Multi-Agent Rationality ◽

10.1007/3-540-63077-5_30 ◽

1997 ◽

pp. 128-140 ◽

Author(s):

Michael Fisher ◽

Michael Wooldridge

Keyword(s):

Problem Solving ◽

Theorem Proving ◽

Distributed Problem Solving

Download Full-text

Coordination in Distributed Problem-Solving Networks

10.21236/ada276025 ◽

1989 ◽

Author(s):

Victor R. Lesser

Keyword(s):

Problem Solving ◽

Distributed Problem Solving

Download Full-text

The Performance of Distributed Problem Solving Networks: A Final Report on the OII-MTI Project

SSRN Electronic Journal ◽

10.2139/ssrn.1302923 ◽

2008 ◽

Author(s):

William H. Dutton ◽

Paul A. David ◽

Wolf Richter

Keyword(s):

Problem Solving ◽

Final Report ◽

Distributed Problem Solving

Download Full-text

Wikipedia as a Distributed Problem-Solving Network

SSRN Electronic Journal ◽

10.2139/ssrn.1302898 ◽

2008 ◽

Author(s):

Matthijs L. <!>den Besten ◽

Max Loubser ◽

Jean-Michel Dalle

Keyword(s):

Problem Solving ◽

Distributed Problem Solving

Download Full-text

Natural and Social System Metaphors for Distributed Problem Solving: Introduction to the Issue

IEEE Transactions on Systems Man and Cybernetics ◽

10.1109/tsmc.1981.4308573 ◽

1981 ◽

Vol 11 (1) ◽

pp. 1-5 ◽

Author(s):

B. Chandrasekaran

Keyword(s):

Problem Solving ◽

Social System ◽

Distributed Problem Solving

Download Full-text

A theorem-proving approach to spatial problem-solving

Environment and Planning B Planning and Design ◽

10.1068/b160171 ◽

1989 ◽

Vol 16 (2) ◽

pp. 171-186 ◽

Author(s):

C J Webster

Keyword(s):

Problem Solving ◽

Theorem Proving ◽

Spatial Problem ◽

Spatial Problem Solving

Download Full-text

Implementation of a distributed problem solving framework based on discrete event system specification

1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century ◽

10.1109/icsmc.1995.538446 ◽

2002 ◽

Author(s):

Heung Bum Kim ◽

Yeong Rak Seong ◽

Tag Gon Kim ◽

Kyu Ho Park

Keyword(s):

Problem Solving ◽

Discrete Event ◽

Discrete Event System ◽

System Specification ◽

Discrete Event System Specification ◽

Event System ◽

Distributed Problem Solving

Download Full-text

A simplified LAN protocol for practicing file transfer, resource locating, and elementary distributed problem solving

Proceedings of the 1988 ACM sixteenth annual conference on Computer science - CSC '88 ◽

10.1145/322609.322659 ◽

1988 ◽

Author(s):

Curt M. White

Keyword(s):

Problem Solving ◽

File Transfer ◽

Distributed Problem Solving

Download Full-text

Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/3-540-47997-x_1 ◽

1999 ◽

pp. 1-13

Author(s):

Wen-tsü Wu

Keyword(s):

Problem Solving ◽

Theorem Proving ◽

Geometry Theorem Proving ◽

Geometry Problem ◽

Geometry Problem Solving

Download Full-text

Negotiation as a Metaphor for Distributed Problem Solving

Communication in Multiagent Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-44972-0_3 ◽

2003 ◽

pp. 51-97 ◽

Author(s):

Randall Davis ◽

Reid G. Smith

Keyword(s):

Problem Solving ◽

Distributed Problem Solving

Download Full-text

Effects of Switching Costs in Distributed Problem-Solving Systems

Distributed Computing and Artificial Intelligence, 15th International Conference - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-319-94649-8_1 ◽

2018 ◽

pp. 1-9

Author(s):

Friederike Wall

Keyword(s):

Problem Solving ◽

Switching Costs ◽

Distributed Problem Solving

Download Full-text