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