×

zbMATH — the first resource for mathematics

Baroglio, Cristina

Compute Distance To:
Author ID: baroglio.cristina Recent zbMATH articles by "Baroglio, Cristina"
Published as: Baroglio, Cristina
Documents Indexed: 15 Publications since 1993, including 3 Books

Publications by Year

Citations contained in zbMATH

8 Publications have been cited 11 times in 7 Documents Cited by Year
Verification of protocol conformance and agent interoperability. Zbl 1236.68245
Baldoni, Matteo; Baroglio, Cristina; Martelli, Alberto; Patti, Viviana
3
2006
Verifying protocol conformance for logic-based communicating agents. Zbl 1081.68679
Baldoni, Matteo; Baroglio, Cristina; Martelli, Alberto; Patti, Viviana; Schifanella, Claudio
2
2005
AI*IA 2013: Advances in artificial intelligence. XIIIth international conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4–6, 2013. Proceedings. Zbl 1277.68003
Baldoni, Matteo (ed.); Baroglio, Cristina (ed.); Boella, Guido (ed.); Micalizio, Roberto (ed.)
1
2013
Behavior-oriented commitment-based protocols. Zbl 1211.68451
Baldoni, Matteo; Baroglio, Cristina; Marengo, Elisa
1
2010
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how? Zbl 1285.68188
Baldoni, Matteo; Baroglio, Cristina; Mascardi, Viviana; Omicini, Andrea; Torroni, Paolo
1
2010
Reasoning about interaction protocols for web service composition. Zbl 1271.68067
Baldoni, Matteo; Baroglio, Cristina; Martelli, Alberto; Patti, Viviana
1
2004
Web-based adaptive tutoring: An approach based on logic agents and reasoning about actions. Zbl 1075.68654
Baldoni, Matteo; Baroglio, Cristina; Patti, Viviana
1
2004
Reasoning about self and others: communicating agents in a modal action logic. Zbl 1257.68132
Baldoni, Matteo; Baroglio, Cristina; Martelli, Alberto; Patti, Viviana
1
2003
AI*IA 2013: Advances in artificial intelligence. XIIIth international conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4–6, 2013. Proceedings. Zbl 1277.68003
Baldoni, Matteo (ed.); Baroglio, Cristina (ed.); Boella, Guido (ed.); Micalizio, Roberto (ed.)
1
2013
Behavior-oriented commitment-based protocols. Zbl 1211.68451
Baldoni, Matteo; Baroglio, Cristina; Marengo, Elisa
1
2010
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how? Zbl 1285.68188
Baldoni, Matteo; Baroglio, Cristina; Mascardi, Viviana; Omicini, Andrea; Torroni, Paolo
1
2010
Verification of protocol conformance and agent interoperability. Zbl 1236.68245
Baldoni, Matteo; Baroglio, Cristina; Martelli, Alberto; Patti, Viviana
3
2006
Verifying protocol conformance for logic-based communicating agents. Zbl 1081.68679
Baldoni, Matteo; Baroglio, Cristina; Martelli, Alberto; Patti, Viviana; Schifanella, Claudio
2
2005
Reasoning about interaction protocols for web service composition. Zbl 1271.68067
Baldoni, Matteo; Baroglio, Cristina; Martelli, Alberto; Patti, Viviana
1
2004
Web-based adaptive tutoring: An approach based on logic agents and reasoning about actions. Zbl 1075.68654
Baldoni, Matteo; Baroglio, Cristina; Patti, Viviana
1
2004
Reasoning about self and others: communicating agents in a modal action logic. Zbl 1257.68132
Baldoni, Matteo; Baroglio, Cristina; Martelli, Alberto; Patti, Viviana
1
2003

Citations by Year