 | 2011 |
| 62 |  | Elisa Marengo,
Matteo Baldoni,
Cristina Baroglio,
Amit K. Chopra,
Viviana Patti,
Munindar P. Singh:
Commitments with regulations: reasoning about safety and control in REGULA.
AAMAS 2011: 467-474 |
| 61 |  | Matteo Baldoni,
Cristina Baroglio,
Federico Bergenti,
Elisa Marengo,
Viviana Mascardi,
Viviana Patti,
Alessandro Ricci,
Andrea Santi:
An Interaction-Oriented Agent Framework for Open Environments.
AI*IA 2011: 68-79 |
| 60 |  | Matteo Baldoni,
Cristina Baroglio,
Viviana Patti,
Paolo Rena:
ArsEmotica: emotions in the social semantic web.
I-SEMANTICS 2011: 171-174 |
| 59 |  | Elisa Marengo,
Matteo Baldoni,
Cristina Baroglio:
On Temporal Regulations and Commitment Protocols.
IJCAI 2011: 2824-2825 |
| 58 |  | Matteo Baldoni,
Cristina Baroglio,
Elisa Marengo,
Viviana Patti,
Alessandro Ricci:
Back to the future: An interaction-oriented framework for social computing.
RESC 2011: 2-5 |
| 57 |  | Matteo Baldoni,
Cristina Baroglio,
Elisa Marengo,
Viviana Patti,
Federico Capuzzimati:
Learn the rules so you know how to break them properly.
WOA 2011: 11-18 |
| 56 |  | Elisa Marengo,
Matteo Baldoni,
Cristina Baroglio:
Extend Commitment Protocols with Temporal Regulations: Why and How
CoRR abs/1107.2086: (2011) |
| 55 |  | Matteo Baldoni,
Cristina Baroglio:
A journey in Computational Logic in Italy.
Intelligenza Artificiale 5(1): 67-69 (2011) |
| 54 |  | Matteo Baldoni,
Cristina Baroglio,
Elisa Marengo,
Viviana Patti,
Claudio Schifanella:
Models of agent interaction based on modal logics.
Intelligenza Artificiale 5(1): 83-88 (2011) |
| 53 |  | Matteo Baldoni,
Cristina Baroglio,
Ingo Brunkhorst,
Nicola Henze,
Elisa Marengo,
Viviana Patti:
Constraint modeling for curriculum planning and validation.
Interactive Learning Environments 19(1): 81-123 (2011) |
| 2010 |
| 52 |  | Matteo Baldoni,
Cristina Baroglio,
Viviana Mascardi,
Andrea Omicini,
Paolo Torroni:
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
25 Years GULP 2010: 204-230 |
| 51 |  | Matteo Baldoni,
Cristina Baroglio,
Elisa Marengo:
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS.
DALT 2010: 60-77 |
| 50 |  | Matteo Baldoni,
Cristina Baroglio,
Elisa Marengo:
Behavior-Oriented Commitment-based Protocols.
ECAI 2010: 137-142 |
| 49 |  | Matteo Baldoni,
Cristina Baroglio,
Federico Bergenti,
Antonio Boccalatte,
Elisa Marengo,
Maurizio Martelli,
Viviana Mascardi,
Luca Padovani,
Viviana Patti,
Alessandro Ricci,
Gianfranco Rossi,
Andrea Santi:
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.
MALLOW 2010 |
| 48 |  | Matteo Baldoni,
Cristina Baroglio,
Federico Bergenti,
Antonio Boccalatte,
Elisa Marengo,
Maurizio Martelli,
Viviana Mascardi,
Luca Padovani,
Viviana Patti,
Alessandro Ricci,
Gianfranco Rossi,
Andrea Santi:
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.
WOA 2010 |
| 47 |  | Matteo Baldoni,
Cristina Baroglio,
Viviana Mascardi:
Special Issue: Agents, Web Services and Ontologies: Integrated Methodologies.
Multiagent and Grid Systems 6(2): 103-104 (2010) |
| 46 |  | Fabian Abel,
Matteo Baldoni,
Cristina Baroglio,
Nicola Henze,
Ricardo Kawase,
Daniel Krause,
Viviana Patti:
Leveraging search and content exploration by exploiting context in folksonomy systems.
The New Review of Hypermedia and Multimedia 16(1&2): 33-70 (2010) |
| 2009 |
| 45 |  | Matteo Baldoni,
Cristina Baroglio,
Jamal Bentahar,
Guido Boella,
Massimo Cossentino,
Mehdi Dastani,
Barbara Dunin-Keplicz,
Giancarlo Fortino,
Marie Pierre Gleizes,
João Leite,
Viviana Mascardi,
Julian A. Padget,
Juan Pavón,
Axel Polleres,
Amal El Fallah-Seghrouchni,
Paolo Torroni,
Rineke Verbrugge:
Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009
CEUR-WS.org 2009 |
| 44 |  | Matteo Baldoni,
Cristina Baroglio,
Amit K. Chopra,
Nirmit Desai,
Viviana Patti,
Munindar P. Singh:
Choice, interoperability, and conformance in interaction protocols and service choreographies.
AAMAS (2) 2009: 843-850 |
| 43 |  | Fabian Abel,
Matteo Baldoni,
Cristina Baroglio,
Nicola Henze,
Daniel Krause,
Viviana Patti:
Context-based ranking in folksonomies.
Hypertext 2009: 209-218 |
| 42 |  | Edoardo Acotto,
Matteo Baldoni,
Cristina Baroglio,
Viviana Patti,
Flavio Portis,
Giorgio Vaccarino:
ArsMeteo: artworks and tags floating over the planet art.
Hypertext 2009: 331-332 |
| 41 |  | Matteo Baldoni,
Cristina Baroglio,
Jamal Bentahar,
Viviana Mascardi:
Introductory Essay of MALLOW-AWESOME'009.
MALLOW 2009 |
| 40 |  | Matteo Baldoni,
Cristina Baroglio,
Elisa Marengo,
Viviana Patti,
Claudio Schifanella:
Joint Achievement of Services' Personal Goals.
MALLOW 2009 |
| 2008 |
| 39 |  | Cristina Baroglio,
Piero A. Bonatti,
Jan Maluszynski,
Massimo Marchiori,
Axel Polleres,
Sebastian Schaffert:
Reasoning Web, 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures
Springer 2008 |
| 38 |  | Matteo Baldoni,
Cristina Baroglio,
András Horváth,
Viviana Patti,
Flavio Portis,
Maurizio Avilia,
Pierluigi Grillo:
Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts.
FOMI 2008: 132-143 |
| 2007 |
| 37 |  | Grigoris Antoniou,
Uwe Aßmann,
Cristina Baroglio,
Stefan Decker,
Nicola Henze,
Paula-Lavinia Patranjan,
Robert Tolksdorf:
Reasoning Web, Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures
Springer 2007 |
| 36 |  | Matteo Baldoni,
Cristina Baroglio,
Elisa Marengo:
Curricula Modeling and Checking.
AI*IA 2007: 471-482 |
| 35 |  | Matteo Baldoni,
Cristina Baroglio,
Ingo Brunkhorst,
Elisa Marengo,
Viviana Patti:
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture.
EC-TEL 2007: 426-431 |
| 34 |  | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti,
Claudio Schifanella:
Goal Preservation by Choreography-Driven Matchmaking.
ICSOC Workshops 2007: 413-426 |
| 33 |  | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti,
Claudio Schifanella:
Service selection by choreography-driven matching.
WEWST 2007 |
| 32 |  | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti,
Claudio Schifanella:
Preserving players goals: a choreography-driven matchmaking approach.
WOA 2007: 132-139 |
| 31 |  | Matteo Baldoni,
Cristina Baroglio,
Giuseppe Berio,
Elisa Marengo:
Declarative representation of curricula models: an LTL- and UML-based approach.
WOA 2007: 34-41 |
| 30 |  | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti:
Reasoning about interaction protocols for customizing web service selection and composition.
J. Log. Algebr. Program. 70(1): 53-73 (2007) |
| 2006 |
| 29 |  | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti:
A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments.
ICSOC 2006: 339-351 |
| 28 |  | Matteo Baldoni,
Cristina Baroglio,
Ingo Brunkhorst,
Nicola Henze,
Elisa Marengo,
Viviana Patti:
A Personalization Service for Curriculum Planning.
LWA 2006: 17-20 |
| 27 |  | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti,
Claudio Schifanella:
Interaction Protocols and Capabilities: A Preliminary Report.
PPSWR 2006: 63-77 |
| 26 |  | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti:
Conformance and Interoperability in Open Enviroments.
WOA 2006 |
| 2005 |
| 25 |  | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti:
Verification of Protocol Conformance and Agent Interoperability.
CLIMA 2005: 265-283 |
| 24 |  | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti,
Claudio Schifanella:
Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step.
EPEW/WS-FM 2005: 257-271 |
| 23 |  | Matteo Baldoni,
Cristina Baroglio,
Nicola Henze:
Personalization for the Semantic Web.
Reasoning Web 2005: 173-212 |
| 22 |  | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti,
Claudio Schifanella,
Laura Torasso,
Viviana Mascardi:
Personalization, Verification and Conformance for Logic-based Communicating Agents.
WOA 2005: 177-183 |
| 2004 |
| 21 |  | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti,
Claudio Schifanella:
Verifying Protocol Conformance for Logic-Based Communicating Agents.
CLIMA 2004: 196-212 |
| 20 |  | Matteo Baldoni,
Cristina Baroglio,
Ivana Gungui,
Alberto Martelli,
Maurizio Martelli,
Viviana Mascardi,
Viviana Patti,
Claudio Schifanella:
Reasoning About Agents' Interaction Protocols Inside DCaseLP.
DALT 2004: 112-131 |
| 19 |  | Claudio Schifanella,
Luca Lusso,
Matteo Baldoni,
Cristina Baroglio:
Design and development of a visual environment for writing DyLOG programs.
WOA 2004: 43-50 |
| 18 |  | Matteo Baldoni,
Cristina Baroglio,
Viviana Patti:
Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions.
Artif. Intell. Rev. 22(1): 3-39 (2004) |
| 17 |  | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti:
Reasoning About Interaction Protocols for Web Service Composition.
Electr. Notes Theor. Comput. Sci. 105: 21-36 (2004) |
| 2003 |
| 16 |  | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti:
Reasoning about Conversation Protocols in a Logic-Based Agent Language.
AI*IA 2003: 300-311 |
| 15 |  | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti:
Reasoning about Self and Others: Communicating Agents in a Model Action Logic.
ICTCS 2003: 228-241 |
| 14 |  | Matteo Baldoni,
Cristina Baroglio,
Laura Giordano,
Alberto Martelli,
Viviana Patti:
Reasoning about Communicating Agents in the Semantic Web.
PPSWR 2003: 84-98 |
| 13 |  | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti:
Reasoning about Interaction for Personalizing Web Service Fruition.
WOA 2003: 29-35 |
| 2002 |
| 12 |  | Matteo Baldoni,
Cristina Baroglio,
Viviana Patti:
Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions.
WOA 2002: 49-55 |
| 2001 |
| 11 |  | Matteo Baldoni,
Cristina Baroglio,
Viviana Patti:
Structureless, intention-guided web sites: planning based adaptation.
HCI 2001: 237-241 |
| 10 |  | Matteo Baldoni,
Cristina Baroglio,
Alessandro Chiarotto,
Viviana Patti:
Programming Goal-Driven Web Sites Using an Agent Logic Language.
PADL 2001: 60-75 |
| 2000 |
| 9 |  | Matteo Baldoni,
Cristina Baroglio,
Davide Cavagnino:
Use of IFS Codes for Learning 2D Isolated-Object Classification Systems.
Computer Vision and Image Understanding 77(3): 371-387 (2000) |
| 1998 |
| 8 |  | Matteo Baldoni,
Cristina Baroglio,
Davide Cavagnino:
XFF: A Simple Method to eXtract Fractural Features for 2D Object Recognition.
SSPR/SPR 1998: 382-389 |
| 1997 |
| 7 |  | Matteo Baldoni,
Cristina Baroglio,
Davide Cavagnino,
Giuseppe Lo Bello:
Extraction of Discriminant Features from Image Fractal Encoding.
AI*IA 1997: 127-138 |
| 6 |  | Cristina Baroglio:
Exploiting Qualitative Knoledge to Enhance Skill Acquisition.
ECML 1997: 49-56 |
| 1996 |
| 5 |  | Cristina Baroglio,
Attilio Giordana,
Roberto Piola,
Michael Kaiser,
Marnix Nuttin:
Learning Controllers for Industrial Robots.
Machine Learning 23(2-3): 221-249 (1996) |
| 1995 |
| 4 |  | Cristina Baroglio,
Marco Botta:
Multiple Predicate Learning with RTL.
AI*IA 1995: 44-55 |
| 1993 |
| 3 |  | Attilio Giordana,
Lorenza Saitta,
Cristina Baroglio:
Learning Simple Recursive Theories.
ISMIS 1993: 425-434 |
| 2 |  | Cristina Baroglio,
Marco Botta,
Attilio Giordana:
Learning Relations: An Evaluation of Search Strategies.
Fundam. Inform. 18: 221-232 (1993) |
| 1992 |
| 1 |  | Cristina Baroglio,
Attilio Giordana,
Lorenza Saitta:
Learning Mutually Dependent Relations.
J. Intell. Inf. Syst. 1(2): 159-176 (1992) |