@comment{{This file has been generated by bib2bib 1.99}}
@comment{{Command line: bib2bib --remove owner --remove authordip --remove typepublication --remove nationality -s $date -r -c 'year = 2006' -c 'author : "Baldoni" or editor : "Baldoni"' -ob Baldoni-2006.bib -oc Baldoni-2006.txt bibliography.bib}}
@comment{{jabref-meta: databaseType:bibtex;}}
@inproceedings{BBMP-ICSOC06-TIPO_IC,
author = {Baldoni, M. and Baroglio, C. and Martelli, A. and Patti, V.},
title = {A priori conformance verification for guaranteeing interoperability
in open environments},
booktitle = {Proc. of the 4th International Conference on Service Oriented Computing,
ICSOC 2006},
year = {2006},
editor = {Dan, A. and Lamersdorf, W.},
volume = {4294},
series = {LNCS},
pages = {339--351},
address = {Chicago, USA},
month = {December},
publisher = {Springer},
doi = {10.1007/11948148_28},
isbn = {978-3-540-68147-2},
keywords = {conformance, verification, interoperability},
opturl = {http://dx.medra.org/10.1007/11948148_28},
pdf = {http://www.di.unito.it/~argo/papers/LNCS/lncs_4294.pdf},
timestamp = {2006.09.13},
url = {http://icsoc06.icsoc.org/}
}
@inproceedings{BBBHMP-abis06-TIPO_W,
author = {Baldoni, M. and Baroglio, C. and Brunkhorst, I. and Henze, N. and
Marengo, E. and Patti, V.},
title = {{A} {P}ersonalization {S}ervice for {C}urriculum {P}lanning},
booktitle = {Proc. of the 14th Workshop on Adaptivity and User Modeling in Interactive
Systems, ABIS 2006},
year = {2006},
editor = {Herder, E. and Heckmann, D.},
pages = {17--20},
address = {Hildesheim, Germany},
month = {October},
issn = {0941-3014},
keywords = {REWERSE, reasoning, semantic_web, personalization, planning},
opturl = {http://web1.bib.uni-hildesheim.de/edocs/2007/521999812/meta/},
pdf = {http://www.di.unito.it/~argo/papers/2006_abis.pdf},
timestamp = {2006.09.04},
url = {http://events.iis.uni-hildesheim.de/lwa06/abis/default.aspx}
}
@techreport{I2D10-TIPO_TR,
author = {Baldoni, M. and Baroglio, C. and Bonatti, P. and Giordano, L. and
Martelli, A. and Patti, V. and Schifanella, C.},
title = {Negotiation {A}nalysis and {D}esign: {R}easoning on {P}olicies for
{V}erifying {P}roperties},
institution = {Reasoning on the Web with Rules and Semantics, REWERSE},
year = {2006},
number = {IST506779/Turin/I2-D10/D/PU/a1},
month = {September 3rd},
editor = {Alberto, M.},
keywords = {REWERSE, reasoning, policies, semantic_web},
pdf = {http://www.di.unito.it/~argo/papers/i2-d10.pdf},
url = {http://rewerse.net/}
}
@inproceedings{BBMPwoa2006-TIPO_W,
author = {Baldoni, M. and Baroglio, C. and Martelli, A. and Patti, V.},
title = {{C}onformance and {I}nteroperability in {O}pen {E}nvironments},
booktitle = {Proc. of WOA 2006: Dagli oggetti agli agenti, Sistemi GRID, P2P e
Self-*},
year = {2006},
editor = {De~Paoli, F. and Di~Stefano, A. and Omicini, A. and Santoro, C.},
volume = {204},
series = {CEUR, Workshop Proceedings},
address = {Catania, Italy},
month = {September},
keywords = {conformance, verification, interoperability},
pdf = {http://www.di.unito.it/~argo/papers/2006_woa_bbmp.pdf},
timestamp = {2006.09.04},
url = {http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-204/}
}
@inproceedings{BBvdTwoa2006-TIPO_W,
author = {Baldoni, M. and Boella, G. and {van~der~Torre}, L.},
title = {Importing {A}gent-like {I}nteraction in {O}bject {O}rientation},
booktitle = {Proc. of WOA 2006: Dagli oggetti agli agenti, Sistemi GRID, P2P e
Self-*},
year = {2006},
editor = {De~Paoli, F. and Di~Stefano, A. and Omicini, A. and Santoro, C.},
volume = {204},
series = {CEUR, Workshop Proceedings},
address = {Catania, Italy},
month = {September},
keywords = {powerJava},
pdf = {http://www.di.unito.it/~argo/papers/2006_woa_bbvdt.pdf},
timestamp = {2006.09.04},
url = {http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-204/}
}
@inproceedings{BBvdT06-PPPJ-TIPO_IC,
author = {Baldoni, M. and Boella, G. and {van~der~Torre}, L.},
title = {Interaction among {O}bjects via {R}oles -- {S}essions and {A}ffordances
in {J}ava},
booktitle = {Proc. of the 4th International Conference on Principles and Practices
of Programming In Java, PPPJ 2006},
year = {2006},
editor = {Gitzel, R. and Alesky, M. and Schader, M. and Krintz, C.},
pages = {188--193},
address = {Mannheim, Germany},
month = {August 30th -- September 1st},
publisher = {ACM},
doi = {10.1145/1168054.1168081},
isbn = {3-939352-05-5},
keywords = {powerJava},
optpages = {1414--1418},
opturl = {http://dx.medra.org/10.1145/1168054.1168081},
pdf = {http://www.di.unito.it/~argo/papers/p188-baldoni.pdf},
url = {http://www.wifo.uni-mannheim.de/pppj2006/index.html}
}
@inproceedings{BBvdT-KSEM06-TIPO_IC,
author = {Baldoni, M. and Boella, G. and van~der~Torre, L.},
title = {{M}odelling the {I}nteraction between {O}bjects: {R}oles as {A}ffordances},
booktitle = {Knowledge Science, Engineering and Management: First International
Conference, KSEM},
year = {2006},
editor = {Lang, J. and Lin, F. and Wang, J.},
volume = {4092},
series = {LNCS},
pages = {42--54},
address = {Guilin City, China},
month = {August 5-8},
publisher = {Springer},
doi = {10.1007/11811220_5},
isbn = {978-3-540-37033-8},
keywords = {powerJava, affordances, OO},
opturl = {http://dx.medra.org/10.1007/11811220_5},
pdf = {http://www.di.unito.it/~argo/papers/LNCS/lncs_4092.pdf},
timestamp = {2006.05.12},
url = {http://www.cs.ust.hk/ksem06/}
}
@inproceedings{2006-SOT-TIPO_W,
author = {Baldoni, M. and Baroglio, C. and Martelli, A. and Patti, V. and Schifanella,
C.},
title = {The {N}eed of {C}apability {R}equirements {I}nside {C}horeographies
and {I}nteraction {P}rotocols},
booktitle = {Proc. of the 2006 International Workshop on Service Oriented Techniques,
SOT06},
year = {2006},
editor = {Yan, Y. and Zhang, L.},
pages = {17--24},
month = {August},
keywords = {capabilities, choreographies, interaction, protocols, web_services},
pdf = {http://www.di.unito.it/~argo/papers/2006_SOT.pdf},
timestamp = {2006.08.21},
url = {http://icec06.net/WorkshopsAndTutorials/SOT/SOT-Web.htm}
}
@inproceedings{2006-ALPSWS-TIPO_W,
author = {Martelli, A. and Baldoni, M. and Baroglio, C. and Patti, V. and Schifanella,
C. and {\em et~al.}},
title = {Modeling, verifying and reasoning about web services (Extended Abstract)},
booktitle = {Applications of Logic Programming in the Semantic Web and Semantic
Web Services, ALPSWS 2006},
year = {2006},
editor = {Polleres, A. and Decker, S. and Gupta, G. and {de~Bruijn}, J.},
volume = {196},
series = {CEUR, Workshop Proceedings},
pages = {105--106},
address = {Seattle, WA},
month = {August},
pdf = {http://www.di.unito.it/~argo/papers/alpsws2006-poster2.pdf},
timestamp = {2006.09.12},
url = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-196/}
}
@techreport{BBMP-RT9306-TIPO_TR,
author = {Baldoni, M. and Baroglio, C. and Martelli, A. and Patti, V.},
title = {A priori conformance verification for guaranteeing interoperability
in open environments},
institution = {Dipartimento di Informatica, UNiversit\`a degli Studi di Torino},
year = {2006},
number = {RT 93/06},
month = {July 3rd},
keywords = {conformance, verification, interoperability},
pdf = {http://www.di.unito.it/~argo/papers/RT9306.pdf},
timestamp = {2006.07.03}
}
@inproceedings{BBMPSppswr06-TIPO_W,
author = {Baldoni, M. and Baroglio, C. and Martelli, A. and Patti, V. and Schifanella,
C.},
title = {{I}nteraction {P}rotocols and {C}apabilities: a preliminary report},
booktitle = {Proc. of the 4th International Workshop on Principle and Practice
of Semantic Web Reasoning, PPSWR 2006},
year = {2006},
editor = {Alferes, J. J. and Bailey, J. and May, W. and Schwertel, U.},
pages = {61--75},
address = {Budva, Montenegro},
month = {June},
keywords = {interaction, protocols, capabilities},
optpages = {84--98},
optpublisher = {Springer},
pdf = {http://www.di.unito.it/~argo/papers/2006_PPSWR.pdf},
typepubblication = {convegno internazionale},
url = {http://www.dbis.informatik.uni-goettingen.de/PPSWR06/}
}
@inproceedings{BBvdT_promas06-TIPO_W,
author = {Baldoni, M. and Boella, G. and {van~der~Torre}, L.},
title = {{B}ridging {A}gent {T}heory and {O}bject {O}rientation: {A}gent-like
{C}ommunication among {O}bjects},
booktitle = {Proc. of the International Workshop on Programming Multi-Agent Systems,
ProMAS 2006},
year = {2006},
editor = {Bordini, R. H. and Dastani, M. and Dix, J. and Seghrouchni, A.},
pages = {117--132},
address = {Hakodate, Japan},
month = {May},
keywords = {powerJava},
numberpages = {16},
optpages = {23-38},
optpdf = {http://www.di.unito.it/\~{}argo/papers/2005_ProMAS.pdf},
url = {http://www.cs.uu.nl/ProMAS/2006/}
}
@proceedings{DALT06-TIPO_B,
title = {{P}roc. of International Workshop Declarative Agent Languages and
Technologies, DALT 2006},
year = {2006},
editor = {Baldoni, M. and Endriss, U.},
address = {Hakodate, Japan},
month = {May},
keywords = {agents},
pdf = {http://www.di.unito.it/~argo/papers/WS11DALT2006.pdf},
url = {http://staff.science.uva.nl/~ulle/DALT-2006/}
}
@inproceedings{BBvdT06-TIPO_IC,
author = {Baldoni, M. and Boella, G. and {van~der~Torre}, L.},
title = {powerJava: {O}ntologically {F}ounded {R}oles in {O}bject {O}riented
{P}rogramming {L}anguages},
booktitle = {Proc. of 21st ACM Symposium on Applied Computing, SAC 2006, Special
Track on Object-Oriented Programming Languages and Systems, OOPS
2006},
year = {2006},
editor = {Ancona, D. and Viroli, M.},
pages = {1414--1418},
address = {Dijon, France},
month = {April},
publisher = {ACM},
doi = {10.1145/1141277.1141606},
isbn = {1-59593-108-2},
keywords = {powerJava, roles, OO, languages},
optpages = {294--295},
opturl = {http://dx.medra.org/10.1145/1141277.1141606},
pdf = {http://www.di.unito.it/~argo/papers/BBvdT_OOPS106.pdf},
url = {http://oops.disi.unige.it/OOPS06/}
}
@techreport{A3D6-TIPO_TR,
author = {Brunkhorst, I. and Henze, N. and Patti, V. and Alferes, J. J. A.
and Amador, R. and Baldoni, M. and Baroglio, C. and Baumgartner,
R. and May, W. and Klopotek, M. A.},
title = {Testbeds II: Early Prototypes},
institution = {Reasoning on the Web with Rules and Semantics, REWERSE},
year = {2006},
number = {IST506779/Hannover,Turin/A3-D6/D/PU/b1},
month = {February 28th},
editor = {Henze, N.},
keywords = {REWERSE, testbeds},
pdf = {http://www.di.unito.it/~argo/papers/a3-d6.pdf},
url = {http://rewerse.net/}
}
@inproceedings{BBMP04_climaVI-TIPO_IB,
author = {Baldoni, M. and Baroglio, C. and Martelli, A. and Patti},
title = {Verification of protocol conformance and agent interoperability},
booktitle = {Post-Proc. of Sixth International Workshop on Computational Logic
in Multi-Agent Systems, CLIMA VI},
year = {2006},
editor = {Toni, F. and Torroni, P.},
volume = {3900},
series = {LNCS State-of-the-Art Survey},
pages = {265--283},
publisher = {Springer},
doi = {10.1007/11750734_15},
isbn = {978-3540339960},
keywords = {protocols, conformance, verification, interoperability},
opturl = {http://dx.medra.org/10.1007/11750734_15},
pdf = {http://www.di.unito.it/~argo/papers/LNCS/lnai_3900.pdf},
url = {http://www.springer.com/sgw/cda/frontpage/0,11855,1-164-12-73273-0,00.html}
}
@inproceedings{BBMPS_ppswr06-TIPO_LN,
author = {Baldoni, M. and Baroglio, C. and Martelli, A. and Patti, V. and Schifanella,
C.},
title = {{I}nteraction {P}rotocols and {C}apabilities: A {P}reliminary {R}eport},
booktitle = {Post-Proc. of the Fourth Workshop on Principles and Practice of Semantic
Web Reasoning, PPSWR 2006},
year = {2006},
editor = {Alferes, J. J. and Bailey, J. and May, W. and Schwertel, U.},
volume = {4187},
series = {LNCS},
pages = {63--77},
publisher = {Springer},
doi = {10.1007/11853107_5},
isbn = {978-3-540-39586-7},
keywords = {interaction, protocols, capabilities, web_services},
optpages = {265--283},
opturl = {http://dx.medra.org/10.1007/11853107_5},
optvolume = {3900},
pdf = {http://www.di.unito.it/~argo/papers/LNCS/lncs_4187.pdf},
url = {http://www.springer.com/sgw/cda/frontpage/0,11855,1-164-12-73273-0,00.html}
}
@inproceedings{BBMPT-swp06-TIPO_W,
author = {Baldoni, M. and Baroglio, C. and Martelli, A. and Patti, V. and Torasso,
L.},
title = {Verifying the compliance of personalized curricula to curricula models
in the semantic web},
booktitle = {Proc. of the Semantic Web Personalization Workshop, held in conjuction
with the 3rd European Semantic Web Conference},
year = {2006},
editor = {Bouzid, M. and Henze, N.},
pages = {53--62},
address = {Budva, Montenegro},
keywords = {curricula_models, curricula, verification, semantic_web},
optpages = {??--??},
pdf = {http://www.di.unito.it/~argo/papers/2006_SWP.pdf},
timestamp = {2006.04.25},
url = {http://www.kbs.uni-hannover.de/~henze/swp06/}
}
@inproceedings{BBvdT_promas05-TIPO_LN,
author = {Baldoni, M. and Boella, G. and {van~der~Torre}, L.},
title = {{B}ridging {A}gent {T}heory and {O}bject {O}rientation: {I}mporting
{S}ocial {R}oles in {O}bject {O}riented {L}anguages},
booktitle = {Post-Proc. of the International Workshop on Programming Multi-Agent
Systems, ProMAS 2005},
year = {2006},
editor = {Bordini, R. H. and Dastani, M. and Dix, J. and Seghrouchni, A.},
volume = {3862},
series = {Lecture Notes in Computer Science (LNCS)},
pages = {57--75},
publisher = {Springer},
doi = {10.1007/11678823_4},
isbn = {978-3-540-32616-8},
keywords = {powerJava},
numberpages = {19},
optaddress = {Utrecht, the Netherlands},
optmonth = {July},
opturl = {http://dx.doi.org/10.1007/11678823_4},
pdf = {http://www.di.unito.it/~argo/papers/LNCS/lncs_3862.pdf},
url = {http://www.cs.uu.nl/ProMAS/2005/}
}
@incollection{BBvdT05-ENTCS-TIPO_LN,
author = {Baldoni, M. and Boella, G. and {van~der~Torre}, L.},
title = {Roles as a {C}oordination {C}onstruct: {I}ntroducing {\tt powerJava}},
booktitle = {Proc. of 1st International Workshop on Methods and Tools for Coordinating
Concurrent, Distributed and Mobile Systems, MTCoord`05},
publisher = {Elsevier Science Direct},
year = {2006},
editor = {Brim, L. and Linden, I.},
volume = {150(1)},
series = {Electronic Notes in Theoretical Computer Science},
pages = {9--29},
doi = {10.1016/j.entcs.2005.12.021},
keywords = {powerJava},
optaddress = {Namur, Belgium},
optmonth = {April},
opturl = {http://dx.doi.org/10.1016/j.entcs.2005.12.021},
pdf = {http://www.di.unito.it/~argo/papers/2005_MTCoord_ENTCS.pdf},
url = {http://www.sciencedirect.com/science/journal/15710661}
}
@article{BBvdT-networks-TIPO_NJ,
author = {Baldoni, M. and Boella, G. and van der Torre, L.},
title = {I fondamenti ontologici dei linguaggi di programmazione orientati
agli oggetti: i casi delle relazioni e dei ruoli},
journal = {networks: journal of the philosophy of artificial intelligence and
cognitive sciences},
year = {2006},
volume = {6},
keywords = {powerJava},
pdf = {http://www.di.unito.it/~argo/papers/BBvdT06-networks.pdf},
timestamp = {2006.12.22},
url = {http://lgxserve.ciseca.uniba.it/lei/ai/networks/}
}
@book{DALT2005-PostProc-TIPO_B,
title = {{D}eclarative {A}gent {L}anguages and {T}echnologies {III}: {T}hird
{I}nternational {W}orkshop, {DALT~2005}, {S}elected and {R}evised
{P}apers},
publisher = {Springer},
year = {2006},
editor = {Baldoni, M. and Endriss, U. and Omicini, A. and Torroni, P.},
volume = {3904},
series = {Lecture Notes in Artificial Intelligence (LNAI)},
doi = {10.1007/11691792},
isbn = {978-3-540-33106-3},
keywords = {agents},
url = {http://dx.doi.org/10.1007/11691792}
}
This file was generated by bibtex2html 1.99.