Cristina Baroglio

( ) Università degli Studi di Torino , Dip. di Informatica , Torino , Italy

3 papers in the IJCAI proceedings

IJCAI 2015

Composing and Verifying Commitment-Based Multiagent Protocols

with Matteo Baldoni, Amit K. Chopra, Munindar P. Singh

Details PDF

Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract)

with Matteo Baldoni, Elisa Marengo, Viviana Patti

Details PDF

IJCAI 2011

On Temporal Regulations and Commitment Protocols

with Elisa Marengo, Matteo Baldoni

doi:10.5591/978-1-57735-516-8/IJCAI11-484

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings