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) |