Login / Signup
A Critical Examination of Languages for Specifying Interaction Protocols for Decentralized Social Machines.
Amit K. Chopra
Samuel H. Christie V.
Munindar P. Singh
Published in:
CoRR (2019)
Keyphrases
</>
interaction protocols
multi agent
agent systems
multi agent systems
multiagent systems
distributed systems
social interaction
social networks
cooperative
virtual communities
natural language
theorem prover
agent societies
software engineering
first order logic
learning community
multiple agents
platform independent