2009 |
62 | EE | Matteo Baldoni,
Tran Cao Son,
M. Birna van Riemsdijk,
Michael Winikoff:
Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
Springer 2009 |
2008 |
61 | | Matteo Baldoni,
Tran Cao Son,
M. Birna van Riemsdijk,
Michael Winikoff:
Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
Springer 2008 |
60 | EE | Matteo Baldoni,
Guido Boella,
Valerio Genovese,
Roberto Grenna,
Leendert van der Torre:
How to Program Organizations and Roles in the JADE Framework.
MATES 2008: 25-36 |
59 | | Matteo Baldoni,
Valerio Genovese,
Roberto Grenna,
Leendert van der Torre:
Adding Organizations and Roles as Primitives to JADE Framework.
NORMAS 2008: 95-111 |
2007 |
58 | | Matteo Baldoni,
Antonio Boccalatte,
Flavio De Paoli,
Maurizio Martelli,
Viviana Mascardi:
WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 24-25 September 2007, Genova, Italy
Seneca Edizioni Torino 2007 |
57 | EE | Matteo Baldoni,
Cristina Baroglio,
Elisa Marengo:
Curricula Modeling and Checking.
AI*IA 2007: 471-482 |
56 | 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 |
55 | EE | Matteo Baldoni,
Elisa Marengo:
Curriculum Model Checking: Declarative Representation and Verification of Properties.
EC-TEL 2007: 432-437 |
54 | EE | Matteo Baldoni,
Guido Boella,
Leendert van der Torre:
Relationships Meet Their Roles in Object Oriented Programming.
FSEN 2007: 440-448 |
53 | EE | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti,
Claudio Schifanella:
Goal Preservation by Choreography-Driven Matchmaking.
ICSOC Workshops 2007: 413-426 |
52 | EE | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti,
Claudio Schifanella:
Service selection by choreography-driven matching.
WEWST 2007 |
51 | EE | Matteo Baldoni,
Guido Boella,
Leendert W. N. van der Torre:
Adding Roles to Relationship Patterns.
WOA 2007: 112-125 |
50 | EE | Matteo Baldoni,
Antonio Boccalatte,
Flavio De Paoli,
Maurizio Martelli,
Viviana Mascardi:
Preface to the Proceedings of WOA 2007.
WOA 2007 |
49 | EE | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti,
Claudio Schifanella:
Preserving players goals: a choreography-driven matchmaking approach.
WOA 2007: 132-139 |
48 | EE | Matteo Baldoni,
Cristina Baroglio,
Giuseppe Berio,
Elisa Marengo:
Declarative representation of curricula models: an LTL- and UML-based approach.
WOA 2007: 34-41 |
47 | EE | Erik Arnaudo,
Matteo Baldoni,
Guido Boella,
Valerio Genovese,
Roberto Grenna:
An implementation of roles as affordances: powerJava.
WOA 2007: 8-13 |
46 | EE | Grigoris Antoniou,
Matteo Baldoni,
Piero A. Bonatti,
Wolfgang Nejdl,
Daniel Olmedilla:
Rule-based Policy Specification.
Secure Data Management in Decentralized Systems 2007: 169-216 |
45 | 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) |
44 | EE | Matteo Baldoni,
Guido Boella,
Leendert W. N. van der Torre:
Interaction between Objects in powerJava.
Journal of Object Technology 6(2): (2007) |
2006 |
43 | | Matteo Baldoni,
Ulle Endriss,
Andrea Omicini,
Paolo Torroni:
Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
Springer 2006 |
42 | | Matteo Baldoni,
Ulle Endriss:
Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
Springer 2006 |
41 | EE | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti:
A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments.
ICSOC 2006: 339-351 |
40 | EE | Matteo Baldoni,
Guido Boella,
Leendert W. N. van der Torre:
Modelling the Interaction Between Objects: Roles as Affordances.
KSEM 2006: 42-54 |
39 | EE | Matteo Baldoni,
Cristina Baroglio,
Ingo Brunkhorst,
Nicola Henze,
Elisa Marengo,
Viviana Patti:
A Personalization Service for Curriculum Planning.
LWA 2006: 17-20 |
38 | EE | Matteo Baldoni,
Guido Boella,
Leendert van der Torre:
Interaction among objects via roles: sessions and affordances in Java.
PPPJ 2006: 188-193 |
37 | EE | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti,
Claudio Schifanella:
Interaction Protocols and Capabilities: A Preliminary Report.
PPSWR 2006: 63-77 |
36 | EE | Matteo Baldoni,
Guido Boella,
Leendert W. N. van der Torre:
Bridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects.
PROMAS 2006: 149-164 |
35 | EE | Matteo Baldoni,
Guido Boella,
Leendert W. N. van der Torre:
powerJava: ontologically founded roles in object oriented programming languages.
SAC 2006: 1414-1418 |
34 | EE | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti:
Conformance and Interoperability in Open Enviroments.
WOA 2006 |
33 | EE | Matteo Baldoni,
Guido Boella,
Leendert van der Torre:
Importing Agent-like Interaction in Object Orientation.
WOA 2006 |
32 | EE | Matteo Baldoni,
Guido Boella,
Leendert W. N. van der Torre:
Roles as a Coordination Construct: Introducing powerJava.
Electr. Notes Theor. Comput. Sci. 150(1): 9-29 (2006) |
2005 |
31 | EE | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti:
Verification of Protocol Conformance and Agent Interoperability.
CLIMA VI 2005: 265-283 |
30 | 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 |
29 | EE | Matteo Baldoni,
Guido Boella,
Leendert W. N. van der Torre:
Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages.
PROMAS 2005: 57-75 |
28 | EE | Matteo Baldoni,
Cristina Baroglio,
Nicola Henze:
Personalization for the Semantic Web.
Reasoning Web 2005: 173-212 |
27 | EE | Matteo Baldoni,
Guido Boella,
Leendert W. N. van der Torre:
Social roles, from agents back to objects.
WOA 2005: 164-170 |
26 | 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 |
25 | | Matteo Baldoni,
Flavio De Paoli,
Alberto Martelli,
Andrea Omicini:
WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November - 1 December 2004, Torino, Italy
Pitagora Editrice Bologna 2004 |
24 | EE | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti,
Claudio Schifanella:
Verifying Protocol Conformance for Logic-Based Communicating Agents.
CLIMA V 2004: 196-212 |
23 | 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 |
22 | | Claudio Schifanella,
Luca Lusso,
Matteo Baldoni,
Cristina Baroglio:
Design and development of a visual environment for writing DyLOG programs.
WOA 2004: 43-50 |
21 | EE | Matteo Baldoni,
Alberto Martelli,
Viviana Patti,
Laura Giordano:
Programming Rational Agents in a Modal Action Logic.
Ann. Math. Artif. Intell. 41(2-4): 207-257 (2004) |
20 | 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) |
19 | 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 |
18 | EE | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti:
Reasoning about Conversation Protocols in a Logic-Based Agent Language.
AI*IA 2003: 300-311 |
17 | 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 |
16 | EE | Matteo Baldoni,
Cristina Baroglio,
Laura Giordano,
Alberto Martelli,
Viviana Patti:
Reasoning about Communicating Agents in the Semantic Web.
PPSWR 2003: 84-98 |
15 | | Matteo Baldoni,
Cristina Baroglio,
Alberto Martelli,
Viviana Patti:
Reasoning about Interaction for Personalizing Web Service Fruition.
WOA 2003: 29-35 |
2002 |
14 | | Matteo Baldoni,
Cristina Baroglio,
Viviana Patti:
Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions.
WOA 2002: 49-55 |
2001 |
13 | | Matteo Baldoni,
Cristina Baroglio,
Viviana Patti:
Structureless, intention-guided web sites: planning based adaptation.
HCI 2001: 237-241 |
12 | EE | Matteo Baldoni,
Laura Giordano,
Alberto Martelli,
Viviana Patti:
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach.
ICTCS 2001: 405-425 |
11 | EE | Matteo Baldoni,
Cristina Baroglio,
Alessandro Chiarotto,
Viviana Patti:
Programming Goal-Driven Web Sites Using an Agent Logic Language.
PADL 2001: 60-75 |
2000 |
10 | 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 |
9 | | Matteo Baldoni,
Cristina Baroglio,
Davide Cavagnino:
XFF: A Simple Method to eXtract Fractural Features for 2D Object Recognition.
SSPR/SPR 1998: 382-389 |
8 | EE | Matteo Baldoni,
Laura Giordano,
Alberto Martelli:
A Tableau for Multimodal Logics and Some (Un)Decidability Results.
TABLEAUX 1998: 44-59 |
7 | | Matteo Baldoni,
Laura Giordano,
Alberto Martelli:
A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning.
J. Log. Comput. 8(5): 597-635 (1998) |
1997 |
6 | | Matteo Baldoni,
Cristina Baroglio,
Davide Cavagnino,
Giuseppe Lo Bello:
Extraction of Discriminant Features from Image Fractal Encoding.
AI*IA 1997: 127-138 |
1996 |
5 | | Matteo Baldoni,
Laura Giordano,
Alberto Martelli:
Translating a Modal Language with Embedded Implication into Horn Clause Logic.
ELP 1996: 19-33 |
4 | | Matteo Baldoni,
Laura Giordano,
Alberto Martelli:
A Framework for a Modal Logic Programming.
JICSLP 1996: 52-66 |
3 | | Matteo Baldoni,
Laura Giordano,
Alberto Martelli,
Viviana Patti:
An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming.
NMELP 1996: 132-150 |
1994 |
2 | | Matteo Baldoni,
Laura Giordano,
Alberto Martelli:
A Modal Extension of Logic Programming.
GULP-PRODE (2) 1994: 324-335 |
1993 |
1 | | Matteo Baldoni,
Laura Giordano,
Alberto Martelli:
A Multimodal Logic to Define Modules in Logic Programming.
ILPS 1993: 473-487 |