Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference or workshop item

Number of items: 4.

Article

Kafal?, Özgür and Ajmeri, Nirav and Singh, Munindar P. (2016) Revani: Revising and Verifying Normative Specifications for Privacy. IEEE Intelligent Systems, 31 (5). pp. 8-15. ISSN 1541-1672. (doi:https://doi.org/10.1109/MIS.2016.89) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Conference or workshop item

Kafal?, Özgür and Ajmeri, Nirav and Singh, Munindar P. (2017) Formal Understanding of Tradeoffs among Liveness and Safety Requirements. In: 2016 IEEE 24th International Requirements Engineering Conference Workshops. IEEE pp. 17-18. ISBN 978-1-5090-3694-3. (doi:https://doi.org/10.1109/REW.2016.017) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafal?, Özgür and Ajmeri, Nirav and Singh, Munindar P. (2017) Normative Requirements in Sociotechnical Systems. In: 2016 IEEE 24th International Requirements Engineering Conference Workshops. IEEE pp. 259-260. ISBN 978-1-5090-3694-3. (doi:https://doi.org/10.1109/REW.2016.049) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kafal?, Özgür and Ajmeri, Nirav and Singh, Munindar P. (2017) Kont: Computing tradeoffs in normative multiagent systems. In: Proceedings of the 31st Conference on Artificial Intelligence (AAAI). pp. 3006-3012. (Full text available)

Preview

This list was generated on Sun May 5 17:54:03 2019 BST.

Export as	Atom RSS 1.0 RSS 2.0