Home > Research > Researchers > Dr Amit Chopra > Publications

Research

Dr Amit Chopra

Senior Lecturer

1 - 10 out of 71Page size: 10
RSS feed of this list
Sort by: Type
  1. Chapter
  2. Published

    Correctness properties for multiagent systems

    Singh, M. P. & Chopra, A. K., 2009, Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. Baldoni, M., Bentahar, J., Riemsdijk, M. B. V. & Lloyd, J. (eds.). Berlin: Springer, p. 192-207 16 p. (Lecture Notes in Computer Science; vol. 5948).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  3. Conference contribution/Paper
  4. Forthcoming

    Requirement Patterns for Multiagent Interaction Protocols

    Chopra, A. K., Christie V, S. H. & Singh, M. P., 28/04/2025, (Accepted/In press) Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI). Montréal: IJCAI

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  5. Forthcoming

    Azorus: Commitments over Protocols for BDI Agents

    Chopra, A. K., Baldoni, M., Christie V, S. H. & Singh, M. P., 19/12/2024, (Accepted/In press) Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS). Detroit: IFAAMAS

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  6. Forthcoming

    Orpheus: Engineering Multiagent Systems via Communicating Agents

    Baldoni, M., Christie V, S. H., Singh, M. P. & Chopra, A. K., 10/12/2024, (Accepted/In press) Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence. Philadelphia: AAAI, p. 1-9 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  7. Published

    From Visual Choreographies to Flexible Information Protocols

    Lichtenstein, T., Chopra, A. K., Singh, M. P. & Weske, M., 7/12/2024, Service-Oriented Computing : 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part I. Gaaloul, W., Sheng, M., Yu, Q. & Yangui, S. (eds.). Cham: Springer, p. 354-369 16 p. (Lecture Notes in Computer Science ; vol. 15404).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  8. Published

    Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict

    Singh, M. P., V, S. H. C. & Chopra, A. K., 3/08/2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence. Larson, K. (ed.). Jeju, Korea: IJCAI, p. 202-210 9 p. 23

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  9. Forthcoming

    Kiko: Programming Agents to Enact Interaction Protocols

    V, S. H. C., Singh, M. P. & Chopra, A. K., 3/01/2023, (Accepted/In press) Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems. London: IFAAMAS, p. 1-9 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  10. Published

    Pippi: Practical Protocol Instantiation

    H. Christie V, S. H., Chopra, A. K. & Singh, M. P., 13/05/2022, AAMAS '22: Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 281 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  11. Published

    Deserv: Decentralized Serverless Computing

    Christie V, S. H., Chopra, A. K. & Singh, M. P., 15/11/2021, 2021 IEEE International Conference on Web Services (ICWS). IEEE, p. 51-60 10 p. (2021 IEEE International Conference on Web Services (ICWS)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  12. Published

    Clouseau: Generating Communication Protocols from Commitments

    Singh, M. P. & Chopra, A. K., 3/04/2020, Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence. New York: AAAI, p. 7244-7252 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 34, no. 5).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Previous 1 2 3 4 5 6 7 8 Next

Back to top