Home > Research > Researchers > Dr Amit Chopra > Publications

Dr Amit Chopra

Senior Lecturer

  1. Published

    Cupid: commitments in relational algebra

    Chopra, A. K. & Singh, M. P., 2015, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AAAI, p. 2052-2059 8 p. (AAAI Conference on Artificial Intelligence).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  2. Published

    Generalized commitment alignment

    Chopra, A. K. & Singh, M. P., 05/2015, Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015). Bordini, R. H., Elkind, E., Weiss, G. & Yolum, P. (eds.). IFAAMAS, p. 453-461 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  3. Published

    Protos: foundations for engineering innovative sociotechnical systems

    Chopra, A. K., Dalpiaz, F., Aydemir, F. B., Giorgini, P., Mylopoulos, J. & Singh, M. P., 08/2014, Requirements Engineering Conference (RE), 2014 IEEE 22nd International. IEEE, p. 53-62 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  4. Published

    From social machines to social protocols: Software engineering foundations for sociotechnical systems

    Chopra, A. K. & Singh, M., 04/2016, 25th International World Wide Web Conference 11-15 April 2016. p. 903-914 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  5. Published

    Custard: Computing norm states over information stores

    Chopra, A. K. & Singh, M. P., 9/05/2016, AAMAS '16 Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems. Richland, SC: IFAAMAS, p. 1096-1105 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  6. Published

    Normative Multi-Agent Systems (Dagstuhl Seminar 15131)

    Chopra, A. K., Torre, L. V. D., Verhagen, H. & Villata, S., 18/09/2015, In: Dagstuhl Reports. 5, 3, p. 162-176 15 p.

    Research output: Contribution to Journal/MagazineJournal article

  7. Published

    Splee: A declarative information-based language for multiagent interaction protocols

    Chopra, A. K., V, S. H. C. & Singh, M. P., 8/05/2017, AAMAS '17 Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. São Paolo: IFAAMAS, p. 1054-1063 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  8. Published

    Sociotechnical Systems and Ethics in the Large

    Chopra, A. K. & Singh, M. P., 3/02/2018, Proceedings of the AAAI/ACM Conference on Artificial Intelligence, Ethics, and Society. New Orleans, 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  9. Published

    An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems

    Chopra, A. K., V, S. H. C. & Singh, M. P., 22/12/2020, In: Journal of Artificial Intelligence Research. 69, p. 351-1393 43 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  10. Published

    Accountability as a Foundation for Requirements in Sociotechnical Systems

    Chopra, A. K. & Singh, M. P., 1/11/2021, In: IEEE Internet Computing. 25, 6, p. 33-41 9 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

Back to top