Amit K. Chopra
5 papers · 2015–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(10)
🐝
Cross-Pollinator
(3)
🌉
Interdisciplinary Bridge
Conferences
IJCAI (4)
AAAI (1)
Top co-authors
Keywords
multi-agent system
(3)
multiagent system
(2)
interaction protocol
(2)
information protocol
(2)
requirement pattern
(1)
formal semantics
(1)
communicating agent
(1)
decentralized system
(1)
commitment protocol
(1)
protocol synthesis
(1)
commitment alignment
(1)
declarative protocol
(1)
protocol specification
(1)
message-oriented protocol
(1)
decentralized enactment
(1)
cognitive programming
(1)
formal specification
(1)
declarative protocol language
(1)
coordination mechanism
(1)
protocol verification
(1)
Papers
Orpheus: Engineering Multiagent Systems via Communicating Agents
AAAI 2025
Requirement Patterns for Engineering Multiagent Interaction Protocols
IJCAI 2025
Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict
IJCAI 2024
Tosca: Operationalizing Commitments Over Information Protocols
IJCAI 2017
Composing and Verifying Commitment-Based Multiagent Protocols
IJCAI 2015