REWERSE-RP-2004-73

Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning about logic-based agent interaction protocols.


In: Proceedings of
Convegno Italiano di Logica Computazionale 2004 (CILC 04), Parma, Italy (16th - 17th June 2004)

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2004-73

BibTeX:

@inproceedings{REWERSE-RP-2004-73,
	author = {Matteo Baldoni and Cristina Baroglio and Alberto Martelli and Viviana Patti},
	title = {Reasoning about logic-based agent interaction protocols},
	booktitle = {Proceedings of Convegno Italiano di Logica Computazionale 2004, Parma, Italy (16th--17th June 2004)},
	year = {2004},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2004-73}
}

Imprint      Privacy Disclaimer