2008 | ||
---|---|---|
38 | 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 | |
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 | EE | Matteo Baldoni, Cristina Baroglio, Elisa Marengo: Curricula Modeling and Checking. AI*IA 2007: 471-482 |
35 | EE | 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 | EE | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Goal Preservation by Choreography-Driven Matchmaking. ICSOC Workshops 2007: 413-426 |
33 | EE | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Service selection by choreography-driven matching. WEWST 2007 |
32 | EE | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Preserving players goals: a choreography-driven matchmaking approach. WOA 2007: 132-139 |
31 | EE | Matteo Baldoni, Cristina Baroglio, Giuseppe Berio, Elisa Marengo: Declarative representation of curricula models: an LTL- and UML-based approach. WOA 2007: 34-41 |
30 | EE | 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 | EE | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. ICSOC 2006: 339-351 |
28 | EE | Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Nicola Henze, Elisa Marengo, Viviana Patti: A Personalization Service for Curriculum Planning. LWA 2006: 17-20 |
27 | EE | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Interaction Protocols and Capabilities: A Preliminary Report. PPSWR 2006: 63-77 |
26 | EE | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Conformance and Interoperability in Open Enviroments. WOA 2006 |
2005 | ||
25 | EE | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Verification of Protocol Conformance and Agent Interoperability. CLIMA VI 2005: 265-283 |
24 | EE | 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 | EE | Matteo Baldoni, Cristina Baroglio, Nicola Henze: Personalization for the Semantic Web. Reasoning Web 2005: 173-212 |
22 | EE | 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 | EE | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Verifying Protocol Conformance for Logic-Based Communicating Agents. CLIMA V 2004: 196-212 |
20 | EE | 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 | EE | 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 | EE | 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 | EE | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Conversation Protocols in a Logic-Based Agent Language. AI*IA 2003: 300-311 |
15 | EE | 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 | EE | 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 | EE | Matteo Baldoni, Cristina Baroglio, Alessandro Chiarotto, Viviana Patti: Programming Goal-Driven Web Sites Using an Agent Logic Language. PADL 2001: 60-75 |
2000 | ||
9 | EE | 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) |