3 papers
cs.PL2026
Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict
Munindar P. Singh, Samuel H. Christie, Amit K. Chopra
Current languages for specifying multiagent protocols either over-constrain protocol enactments or complicate capturing their meanings. We propose Langshaw, a declarative protocol…
cs.MA2026
Kiko: Programming Agents to Enact Interaction Protocols
Samuel H. Christie, Munindar P. Singh, Amit K. Chopra
Realizing a multiagent system involves implementing member agents who interact based on a protocol while making decisions in a decentralized manner. Current programming models for…
cs.AI2026
Strabo: Declarative Specification and Implementation of Agentic Interaction Protocols
Samuel H. Christie, Amit K. Chopra, Munindar P. Singh
The last few years have witnessed major advances in the modeling and implementation of multiagent systems based on declarative interaction protocols. Our contribution, Strabo, esta…