Items where Author is "Singh, Munindar P."

Journal Article

Christie, Samuel H. and Chopra, Amit K. and Singh, Munindar P. (2022) Mandrake: multiagent systems as a basis for programming fault-tolerant decentralized applications. Autonomous Agents and Multi-Agent Systems, 36 (1): 16.

Chopra, Amit K. and Singh, Munindar P. (2021) Accountability as a Foundation for Requirements in Sociotechnical Systems. IEEE Internet Computing, 25 (6). pp. 33-41. ISSN 1089-7801

Chopra, Amit K. and V, Samuel H. Christie and Singh, Munindar P. (2020) An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems. Journal of Artificial Intelligence Research, 69. pp. 351-1393. ISSN 1076-9757

V, Samuel H. Christie and Smirnova, Daria and Chopra, Amit K. and Singh, Munindar P. (2020) Protocols over Things : A Decentralized Programming Model for the Internet of Things. IEEE Computer, 53 (12). 60 - 68. ISSN 0018-9162

Singh, Munindar P. and Chopra, Amit K. (2020) Computational Governance and Violable Contracts for Blockchain Applications. IEEE Computer, 53 (1). pp. 53-62. ISSN 0018-9162

Chopra, Amit K. and Artikis, Alexander and Bentahar, Jamal and Colombetti, Marco and Dignum, Frank and Fornara, Nicoletta and Jones, Andrew J. I. and Singh, Munindar P. and Yolum, Pinar (2013) Research directions in agent communication. ACM Transactions on Intelligent Systems and Technology, 4 (2): 20. pp. 1-23. ISSN 2157-6904

Desai, Nirmit and Mallya, Ashok U. and Chopra, Amit K. and Singh, Munindar P. (2005) Interaction protocols as design abstractions for business processes. IEEE Transactions on Software Engineering, 31 (12). pp. 1015-1027. ISSN 0098-5589

Singh, Munindar P. and Chopra, Amit K. and Desai, Nirmit and Mallya, Ashok U. (2004) Protocols for processes : programming in the large for open systems. ACM SIGPLAN Notices, 39 (12). pp. 73-83. ISSN 0362-1340

Contribution in Book/Report/Proceedings

Chopra, Amit K. and Baldoni, Matteo and Christie V, Samuel H. and Singh, Munindar P. (2024) Azorus : Commitments over Protocols for BDI Agents. In: Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) :. IFAAMAS, Detroit. (In Press)

Baldoni, Matteo and Christie V, Samuel H. and Singh, Munindar P. and Chopra, Amit K. (2024) Orpheus : Engineering Multiagent Systems via Communicating Agents. In: Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence :. AAAI, Philadelphia, pp. 1-9. (In Press)

Lichtenstein, Tom and Chopra, Amit K. and Singh, Munindar P. and Weske, Mathias (2024) From Visual Choreographies to Flexible Information Protocols. In: Service-Oriented Computing : 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part I. Lecture Notes in Computer Science . Springer, Cham, pp. 354-369. ISBN 9789819608041

Singh, Munindar P. and V, Samuel H. Christie and Chopra, Amit K. (2024) Langshaw : Declarative Interaction Protocols Based on Sayso and Conflict. In: Proceedings of the 33rd International Joint Conference on Artificial Intelligence :. IJCAI, Jeju, Korea, pp. 202-210. ISBN 9781956792041

V, Samuel H. Christie and Singh, Munindar P. and Chopra, Amit K. (2023) Kiko: Programming Agents to Enact Interaction Protocols. In: Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems :. IFAAMAS, London, pp. 1-9. (In Press)

H. Christie V, Samuel H. and Chopra, Amit K. and Singh, Munindar P. (2022) Pippi: Practical Protocol Instantiation. In: AAMAS '22: Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems :. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), NZL. ISBN 9781450392136

Christie V, Samuel H. and Chopra, Amit K. and Singh, Munindar P. (2021) Deserv : Decentralized Serverless Computing. In: 2021 IEEE International Conference on Web Services (ICWS) :. 2021 IEEE International Conference on Web Services (ICWS) . IEEE, pp. 51-60. ISBN 9781665416825

Singh, Munindar P. and Chopra, Amit K. (2020) Clouseau : Generating Communication Protocols from Commitments. In: Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence :. Proceedings of the AAAI Conference on Artificial Intelligence . AAAI, New York, pp. 7244-7252. ISBN 9781577358350

Singh, Munindar P. and Chopra, Amit K. (2019) Requirements Engineering as Science in the Small. In: Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering : New Ideas and Emerging Results, ICSE-NIER 2019. IEEE, pp. 45-48. ISBN 9781728117584

Günay, Akin and Chopra, Amit K. and Singh, Munindar P. (2019) Supple : Multiagent Communication Protocols with Causal Types. In: AAMAS '19 Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems :. IFAAMAS, Richland, SC, pp. 781-789. ISBN 9781450363099

V, Samuel H. Christie and Chopra, Amit K. and Singh, Munindar P. (2018) Compositional Correctness for Multiagent Interactions. In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems :. IFAAMAS, SWE, pp. 1159-1167. ISBN 9781450356497

Chopra, Amit K. and Singh, Munindar P. (2018) Sociotechnical Systems and Ethics in the Large. In: Proceedings of the AAAI/ACM Conference on Artificial Intelligence, Ethics, and Society :. UNSPECIFIED, USA.

King, Thomas Christopher and Günay, Akin and Chopra, Amit K. and Singh, Munindar P. (2017) Tosca: Operationalizing Commitments over Information Protocols. In: Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI) :. IJCAI, Melbourne, pp. 256-264. ISBN 9780999241103

Singh, Munindar P. and Chopra, Amit K. (2017) The Internet of Things and Multiagent Systems : Decentralized Intelligence in Distributed Computing. In: Proceedings of the 37th IEEE International Conference on Distributed Computing Systems (ICDCS) :. IEEE, Atlanta, pp. 1738-1747. ISBN 9781538617939

Chopra, Amit K. and V, Samuel H. Christie and Singh, Munindar P. (2017) Splee : A declarative information-based language for multiagent interaction protocols. In: AAMAS '17 Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems :. IFAAMAS, São Paolo, pp. 1054-1063.

Chopra, Amit K. and Singh, Munindar P. (2016) Custard : Computing norm states over information stores. In: AAMAS '16 Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems :. IFAAMAS, Richland, SC, pp. 1096-1105. ISBN 9781450342391

Baldoni, Matteo and Baroglio, Cristina and Chopra, Amit K. and Singh, Munindar P. (2015) Composing and verifying commitment-based multiagent protocols. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI) :. UNSPECIFIED, pp. 10-17. ISBN 9781577357384

Chopra, Amit K. and Singh, Munindar P. (2015) Generalized commitment alignment. In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) :. IFAAMAS, pp. 453-461.

Chopra, Amit K. and Singh, Munindar P. (2015) Cupid : commitments in relational algebra. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence :. AAAI Conference on Artificial Intelligence . AAAI, pp. 2052-2059. ISBN 74810895

Baldoni, Matteo and Baroglio, Cristina and Chopra, Amit K. and Singh, Munindar P. (2015) Social contexts and social pragmatics. In: AAMAS '15 Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems :. International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, pp. 1739-1740. ISBN 9781450334136

Chopra, Amit K. and Dalpiaz, Fabiano and Aydemir, F. Basak and Giorgini, Paolo and Mylopoulos, John and Singh, Munindar P. (2014) Protos : foundations for engineering innovative sociotechnical systems. In: Requirements Engineering Conference (RE), 2014 IEEE 22nd International :. IEEE, GBR, pp. 53-62. ISBN 9781479930319

Chopra, Amit K. and Singh, Munindar P. (2012) The evolution of interoperability. In: Declarative Agent Languages and Technologies IX : 9th International Workshop, DALT 2011, Revised Selected and Invited Papers. Lecture Notes in Computer Science . Springer, Berlin, pp. 90-94. ISBN 978-3-642-29112-8

Chopra, Amit K. and Oren, Nir and Modgil, Sanjay and Desai, Nirmit and Miles, Simon and Luck, Michael and Singh, Munindar P. (2011) Analyzing contract robustness through a model of commitments. In: Agent-Oriented Software Engineering XI : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers. Lecture Notes in Computer Science . Springer, Berlin, pp. 17-36. ISBN 978-3-642-22635-9

Chopra, Amit K. and Singh, Munindar P. (2011) Colaba : collaborative design of cross-organizational business processes. In: Requirements Engineering for Systems, Services and Systems-of-Systems (RESS), 2011 Workshop on :. IEEE, pp. 36-43. ISBN 978-1-4577-0939-5

Marengo, Elisa and Baldoni, Matteo and Baroglio, Cristina and Chopra, Amit K. and Patti, Viviana and Singh, Munindar P. (2011) Commitments with regulations: reasoning about safety and control in REGULA. In: Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS '11) :. AAMAS '11, 2 . International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, pp. 467-474.

Chopra, Amit K. and Singh, Munindar P. (2011) Specifying and applying commitment-based business patterns. In: The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2 :. AAMAS '11 . International Foundation for Autonomous Agents and Multiagent Systems, Richland, S.C., pp. 475-482. ISBN 978-0-9826571-6-4

Chopra, Amit K. and Singh, Munindar P. (2010) Elements of a business-level architecture for multiagent systems. In: Programming Multi-Agent Systems : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers. Lecture Notes in Computer Science . Springer, Berlin, pp. 15-30. ISBN 978-3-642-14842-2

Singh, Munindar P. and Chopra, Amit K. (2009) Correctness properties for multiagent systems. In: Declarative Agent Languages and Technologies VII : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. Lecture Notes in Computer Science . Springer, Berlin, pp. 192-207. ISBN 978-3-642-11354-3

Chopra, Amit K. and Singh, Munindar P. (2009) Multiagent commitment alignment. In: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS '09) :. AAMAS '09, 2 . International Foundation for Autonomous Agents and Multiagent Systems, Richland, S.C., pp. 937-944. ISBN 978-0-9817381-7-8

Chopra, Amit K. and Singh, Munindar P. (2008) Constitutive interoperability. In: AAMAS '08 Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2 :. International Foundation for Autonomous Agents and Multiagent Systems, Richmond, S.C., pp. 797-804. ISBN 978-0-9817381-1-6

Chopra, Amit K. and Singh, Munindar P. (2008) Interoperation in protocol enactment. In: Declarative Agent Languages and Technologies V : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer Science . Springer, Berlin, pp. 36-49. ISBN 978-3-540-77563-8

Desai, Nirmit and Chopra, Amit K. and Arrott, Matthew and Specht, Bill and Singh, Munindar P. (2007) Engineering foreign exchange processes via commitment protocols. In: Services Computing, 2007. SCC 2007. IEEE International Conference on :. IEEE Computer Society Press, Los Alamitos, pp. 514-521. ISBN 0-7695-2925-9

Desai, Nirmit and Chopra, Amit K. and Singh, Munindar P. (2007) Representing and reasoning about commitments in business processes. In: Proceedings of the 22nd Conference on Artificial Intelligence :. AAAI, CAN, pp. 1328-1333.

Desai, Nirmit and Chopra, Amit K. and Singh, Munindar P. (2006) Business process adaptations via protocols. In: Services Computing, 2006. SCC '06. IEEE International Conference on :. IEEE, pp. 103-110. ISBN 0-7695-2670-5

Chopra, Amit K. and Singh, Munindar P. (2006) Contextualizing commitment protocols. In: AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems :. ACM, New York, pp. 1345-1352. ISBN 1-59593-303-4

Desai, Nirmit and Mallya, Ashok U. and Chopra, Amit K. and Singh, Munindar P. (2006) OWL-P : a methodology for business process development. In: Agent-Oriented Information Systems III : 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers. Lecture Notes in Computer Science . Springer, Berlin, pp. 79-94. ISBN 978-3-540-48291-8

Chopra, Amit and Singh, Munindar P. (2004) Nonmonotonic commitment machines. In: Advances in Agent Communication : International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003. Revised and Invited Papers. Lecture Notes in Computer Science . Springer, Berlin, pp. 183-200. ISBN 978-3-540-20769-6

Contribution to Conference

Chopra, Amit K. and Singh, Munindar P. (2014) The thing itself speaks : accountability as a foundation for requirements in sociotechnical systems. In: 2014 IEEE 7th International Workshop on Requirements Engineering and Law (RELAW), 2014-08-26 - 2014-08-26, Karlskrona, Sweden.

Singh, Munindar P. and Chopra, Amit K. (2009) Programming multiagent systems without programming agents. In: 7th International Workshop on Programming Multiagent Systems, (ProMAS 2009), 2009-05-10 - 2009-05-15.