| [22] | M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. A priori conformance verification for guaranteeing interoperability in open environments. In A. Dan and W. Lamersdorf, editors, Proc. of the 4th International Conference on Service Oriented Computing, ICSOC 2006, volume 4294 of LNCS, pages 339--351, Chicago, USA, December 2006. Springer. [ bib | DOI | http | .pdf ] |
| [21] | M. Baldoni, C. Baroglio, I. Brunkhorst, N. Henze, E. Marengo, and V. Patti. A Personalization Service for Curriculum Planning. In E. Herder and D. Heckmann, editors, Proc. of the 14th Workshop on Adaptivity and User Modeling in Interactive Systems, ABIS 2006, pages 17--20, Hildesheim, Germany, October 2006. [ bib | http | .pdf ] |
| [20] | M. Baldoni, C. Baroglio, P. Bonatti, L. Giordano, A. Martelli, V. Patti, and C. Schifanella. Negotiation Analysis and Design: Reasoning on Policies for Verifying Properties. Technical Report IST506779/Turin/I2-D10/D/PU/a1, Reasoning on the Web with Rules and Semantics, REWERSE, September 3rd 2006. [ bib | http | .pdf ] |
| [19] | M. Baldoni, G. Boella, and L. van der Torre. Importing Agent-like Interaction in Object Orientation. In F. De Paoli, A. Di Stefano, A. Omicini, and C. Santoro, editors, Proc. of WOA 2006: Dagli oggetti agli agenti, Sistemi GRID, P2P e Self-*, volume 204 of CEUR, Workshop Proceedings, Catania, Italy, September 2006. [ bib | http | .pdf ] |
| [18] | M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Conformance and Interoperability in Open Environments. In F. De Paoli, A. Di Stefano, A. Omicini, and C. Santoro, editors, Proc. of WOA 2006: Dagli oggetti agli agenti, Sistemi GRID, P2P e Self-*, volume 204 of CEUR, Workshop Proceedings, Catania, Italy, September 2006. [ bib | http | .pdf ] |
| [17] | M. Baldoni, G. Boella, and L. van der Torre. Interaction among Objects via Roles -- Sessions and Affordances in Java. In R. Gitzel, M. Alesky, M. Schader, and C. Krintz, editors, Proc. of the 4th International Conference on Principles and Practices of Programming In Java, PPPJ 2006, pages 188--193, Mannheim, Germany, August 30th -- September 1st 2006. ACM. [ bib | DOI | .html | .pdf ] |
| [16] | M. Baldoni, G. Boella, and L. van der Torre. Modelling the Interaction between Objects: Roles as Affordances. In J. Lang, F. Lin, and J. Wang, editors, Knowledge Science, Engineering and Management: First International Conference, KSEM, volume 4092 of LNCS, pages 42--54, Guilin City, China, August 5-8 2006. Springer. [ bib | DOI | http | .pdf ] |
| [15] | A. Martelli, M. Baldoni, C. Baroglio, V. Patti, C. Schifanella, and et al. Modeling, verifying and reasoning about web services (extended abstract). In A. Polleres, S. Decker, G. Gupta, and J. de Bruijn, editors, Applications of Logic Programming in the Semantic Web and Semantic Web Services, ALPSWS 2006, volume 196 of CEUR, Workshop Proceedings, pages 105--106, Seattle, WA, August 2006. [ bib | http | .pdf ] |
| [14] | M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. The Need of Capability Requirements Inside Choreographies and Interaction Protocols. In Y. Yan and L. Zhang, editors, Proc. of the 2006 International Workshop on Service Oriented Techniques, SOT06, pages 17--24, August 2006. [ bib | http | .pdf ] |
| [13] | M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. A priori conformance verification for guaranteeing interoperability in open environments. Technical Report RT 93/06, Dipartimento di Informatica, UNiversità degli Studi di Torino, July 3rd 2006. [ bib | .pdf ] |
| [12] | M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Interaction Protocols and Capabilities: a preliminary report. In J. J. Alferes, J. Bailey, W. May, and U. Schwertel, editors, Proc. of the 4th International Workshop on Principle and Practice of Semantic Web Reasoning, PPSWR 2006, pages 61--75, Budva, Montenegro, June 2006. [ bib | http | .pdf ] |
| [11] | M. Baldoni and U. Endriss, editors. Proc. of International Workshop Declarative Agent Languages and Technologies, DALT 2006, Hakodate, Japan, May 2006. [ bib | http | .pdf ] |
| [10] | M. Baldoni, G. Boella, and L. van der Torre. Bridging Agent Theory and Object Orientation: Agent-like Communication among Objects. In R. H. Bordini, M. Dastani, J. Dix, and A. Seghrouchni, editors, Proc. of the International Workshop on Programming Multi-Agent Systems, ProMAS 2006, pages 117--132, Hakodate, Japan, May 2006. [ bib | http ] |
| [9] | M. Baldoni, G. Boella, and L. van der Torre. powerjava: Ontologically Founded Roles in Object Oriented Programming Languages. In D. Ancona and M. Viroli, editors, Proc. of 21st ACM Symposium on Applied Computing, SAC 2006, Special Track on Object-Oriented Programming Languages and Systems, OOPS 2006, pages 1414--1418, Dijon, France, April 2006. ACM. [ bib | DOI | http | .pdf ] |
| [8] | I. Brunkhorst, N. Henze, V. Patti, J. J. A. Alferes, R. Amador, M. Baldoni, C. Baroglio, R. Baumgartner, W. May, and M. A. Klopotek. Testbeds ii: Early prototypes. Technical Report IST506779/Hannover,Turin/A3-D6/D/PU/b1, Reasoning on the Web with Rules and Semantics, REWERSE, February 28th 2006. [ bib | http | .pdf ] |
| [7] | M. Baldoni, U. Endriss, A. Omicini, and P. Torroni, editors. Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Selected and Revised Papers, volume 3904 of Lecture Notes in Artificial Intelligence (LNAI). Springer, 2006. [ bib | DOI | http ] |
| [6] | M. Baldoni, G. Boella, and L. van der Torre. I fondamenti ontologici dei linguaggi di programmazione orientati agli oggetti: i casi delle relazioni e dei ruoli. networks: journal of the philosophy of artificial intelligence and cognitive sciences, 6, 2006. [ bib | http | .pdf ] |
| [5] | M. Baldoni, G. Boella, and L. van der Torre. Roles as a Coordination Construct: Introducing powerjava. In L. Brim and I. Linden, editors, Proc. of 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord`05, volume 150(1) of Electronic Notes in Theoretical Computer Science, pages 9--29. Elsevier Science Direct, 2006. [ bib | DOI | http | .pdf ] |
| [4] | M. Baldoni, G. Boella, and L. van der Torre. Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages. In R. H. Bordini, M. Dastani, J. Dix, and A. Seghrouchni, editors, Post-Proc. of the International Workshop on Programming Multi-Agent Systems, ProMAS 2005, volume 3862 of Lecture Notes in Computer Science (LNCS), pages 57--75. Springer, 2006. [ bib | DOI | http | .pdf ] |
| [3] | M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and L. Torasso. Verifying the compliance of personalized curricula to curricula models in the semantic web. In M. Bouzid and N. Henze, editors, Proc. of the Semantic Web Personalization Workshop, held in conjuction with the 3rd European Semantic Web Conference, pages 53--62, Budva, Montenegro, 2006. [ bib | http | .pdf ] |
| [2] | M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Interaction Protocols and Capabilities: A Preliminary Report. In J. J. Alferes, J. Bailey, W. May, and U. Schwertel, editors, Post-Proc. of the Fourth Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2006, volume 4187 of LNCS, pages 63--77. Springer, 2006. [ bib | DOI | .html | .pdf ] |
| [1] | M. Baldoni, C. Baroglio, A. Martelli, and Patti. Verification of protocol conformance and agent interoperability. In F. Toni and P. Torroni, editors, Post-Proc. of Sixth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI, volume 3900 of LNCS State-of-the-Art Survey, pages 265--283. Springer, 2006. [ bib | DOI | .html | .pdf ] |
This file was generated by bibtex2html 1.99.