@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 = 2005' -c 'author : "Baldoni" or editor : "Baldoni"' -ob Baldoni-2005.bib -oc Baldoni-2005.txt bibliography.bib}}
@comment{{jabref-meta: databaseType:bibtex;}}
@inproceedings{I2-ISWC05-TIPO_W,
author = {Antoniou, G. and Baldoni, M. and Baroglio, C. and Bonatti, P.A. and
Duma, C. and Fuchs, N. E. and Martelli, A. and Nejdl, W. and Olmedilla,
D. and Patti, V. and Peer, J. and Shahmehri, N.},
title = {The {REWERSE} {V}iew on {P}olicies},
booktitle = {Proceedings of the Semantic Web and Policy Workshop, held in conjunction
with the 4th International Semantic Web Conference},
year = {2005},
editor = {Kagal, L. and Finin, T. and Hendler, J.},
address = {Galway, Ireland},
month = {November},
keywords = {REWERSE, semantic_web, policies, reasoning},
pdf = {http://www.di.unito.it/~argo/papers/2005_ISWCworkshop.pdf},
timestamp = {2005.11.08},
url = {http://www.cs.umbc.edu/swpw/papers.html}
}
@inproceedings{BBD05-TIPO_W,
author = {Baldoni, M. and Baroglio, C. and Demo, B.},
title = {{E}sperienze di {E}-learning del {C}orso di {S}tudi in {I}nformatica
dell'{U}niversit\`a di {T}orino: comunit\`a di corsi in ambiente
universitario},
booktitle = {Proc. of the 11th Expo e-learning 2005, E-learning: protagonista
dello sviluppo della societ\`a delle conoscenza},
year = {2005},
editor = {Frignani, P. and Galliani, L. and Giacomantonio, M. and Poletti,
G.},
address = {Ferrara, Italy},
month = {October},
keywords = {elearning, Moodle, Live_CD},
numberpages = {8},
opteditor = {Emiliani, P. L. AND Stephanidis, C.},
optpages = {68--82},
pdf = {http://www.di.unito.it/~argo/papers/BBD_expo2005.pdf},
url = {http://www.expoelearning.it/}
}
@inproceedings{BBDDMPRD05-TIPO_W,
author = {Baldoni, M. and Baroglio, C. and {De Marchis}, S. and Demo, B. and
Martelli, A. and Perroteau, I. and Roversi, L.},
title = {{E}sperienze di {E}-learning all'interno della {F}acolt\`a di {S}cienze
{M}atematiche, {F}isiche e {N}aturali dell'{U}niversit\`a di {T}orino},
booktitle = {Atti del Convegno E-learning e Universit\`a: iniziative ed esperienze
in Italia ed Europa},
year = {2005},
editor = {Boniolo, B. and Margarita, S. and Spadaro, C.},
address = {Torino, Italy},
month = {September},
keywords = {elearning, Moodle, Live_CD},
numberpages = {8},
optpages = {68--82},
pdf = {http://www.di.unito.it/~argo/papers/2005_ConvegnoTorino.pdf},
url = {http://www.cisi.unito.it/convegno/index.htm}
}
@incollection{BBMPS-WSFM05-TIPO_LN,
author = {Baldoni, M. and Baroglio, C. and Martelli, A. and Patti, V. and Schifanella, C.},
booktitle = {Proc. of 2nd Int. Workshop on Web Services and Formal Methods, WS-FM 2005},
publisher = {Springer},
title = {Verifying the conformance of web services to global interaction protocols: a first step},
year = {2005},
address = {Versailles, France},
editor = {Bravetti, M. and Zavattaro, G.},
isbn = {978-3540388623},
month = sep,
pages = {257--271},
series = {LNCS},
volume = {3670},
doi = {10.1007/11549970_19},
keywords = {conformance, web_service, interaction, protocols, verification},
opturl = {http://dx.medra.org/10.1007/11549970_19},
pdf = {http://www.di.unito.it/~argo/papers/LNCS/lncs_3670.pdf},
url = {http://www.cs.unibo.it/~lucchi/ws-fm05/}
}
@techreport{A34D-TIPO_TR,
author = {Antoniou, G. and Baldoni, M. and Baroglio, C. and Baumgartner, R.
and Bry, F. and Henze, N. and May, W. and Patti, V. and Wierzchon,
S. T.},
title = {Personalization for the {S}emantic {W}eb {II}},
institution = {Reasoning on the Web with Rules and Semantics, REWERSE},
year = {2005},
number = {IST506779/Hannover/A3-D4/D/PU/b1},
month = {August 31st},
editor = {Henze, N.},
keywords = {REWERSE, semantic_web, personalization,reasoning, elearning},
pdf = {http://www.di.unito.it/~argo/papers/a3-d4.pdf},
url = {http://rewerse.net/}
}
@inproceedings{BBGR05-TIPO_IC,
author = {Baldoni, M. and Baroglio, C. and Grandi, C. and Roversi, L.},
title = {Live! {I}-{L}earn @ {H}ome},
booktitle = {Proc. of 1st International Conference on Open Source Systems, OSS
2005},
year = {2005},
editor = {Scotto, M. and Succi, G.},
pages = {294--295},
address = {Genova},
month = {July},
publisher = {Agenzia Doppiavu},
isbn = {88-7544-048-4},
keywords = {elearning, Live_CD},
pdf = {http://www.di.unito.it/~argo/papers/2005_OSS.pdf},
url = {http://oss2005.case.unibz.it/}
}
@incollection{BBH05-TIPO_IB,
author = {Baldoni, M. and Baroglio, C. and Henze, N.},
title = {Personalization for the {S}emantic {W}eb},
booktitle = {Reasoning Web, First International REWERSE Summer School 2005},
publisher = {Springer-Verlag},
year = {2005},
editor = {Eisinger, N. and Maluszynski, J.},
volume = {3564},
series = {LNCS Tutorials},
pages = {173--212},
address = {Malta},
month = {July},
doi = {10.1007/11526988_5},
isbn = {978-3540278283},
keywords = {REWERSE, semantic_web, personalization, reasoning},
opturl = {http://www.springer.de/cgi/svcat/search_book.pl?isbn=3-540-20582-9},
pdf = {http://www.di.unito.it/~argo/papers/2005_RSS.pdf}
}
@inproceedings{BBvdT_promas05-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: {I}mporting
{S}ocial {R}oles in {O}bject {O}riented {L}anguages},
booktitle = {Proc. of the International Workshop on Programming Multi-Agent Systems,
ProMAS 2005},
year = {2005},
editor = {Bordini, R. H. and Dastani, M. and Dix, J. and Seghrouchni, A.},
pages = {23-38},
address = {Utrecht, the Netherlands},
month = {July},
keywords = {powerJava},
numberpages = {16},
optpublisher = {The MIT Press},
pdf = {http://www.di.unito.it/~argo/papers/2005_ProMAS.pdf},
url = {http://www.cs.uu.nl/ProMAS/2005/}
}
@proceedings{DALT05-TIPO_B,
title = {{P}roc. of International Workshop Declarative Agent Languages and
Technologies, DALT 2005},
year = {2005},
editor = {Baldoni, M. and Endriss, U. and Omicini, A. and Torroni, P.},
address = {Utrecht, The Netherlands},
month = {July},
keywords = {agents},
pdf = {http://www.di.unito.it/~argo/papers/PreProceedingsDALT2005.pdf},
url = {http://www.doc.ic.ac.uk/~ue/DALT-2005/}
}
@inproceedings{BBMP05_climaVI-TIPO_W,
author = {Baldoni, M. and Baroglio, C. and Martelli, A. and Patti, V.},
title = {Verification of protocol conformance and agent interoperability},
booktitle = {Pre-proc. of Sixth International Workshop on Computational Logic
in Multi-Agent Systems, CLIMA VI},
year = {2005},
editor = {Toni, F. and Torroni, P.},
pages = {12--27},
address = {London, UK},
month = {June},
keywords = {conformance, verification, interoperability, agents},
optisbn = {972-9119-37-6},
pdf = {http://www.di.unito.it/~argo/papers/2005_CLIMAVI.pdf},
url = {http://clima.deis.unibo.it/index.html}
}
@inproceedings{BBvdT-COORD05-TIPO_IC,
author = {Baldoni, M. and Boella, G. and {van~der~Torre}, L.},
title = {{R}oles and {C}oordination in powerJava},
booktitle = {Poster presentation at 7th Int. Conf. Coordination Models and Languages,
COORDINATION'05},
year = {2005},
editor = {Jacquet, J.-M. and Picco, G. P.},
address = {Namur. Belgium},
month = {April},
keywords = {powerJava},
pdf = {http://www.di.unito.it/~argo/papers/2005_COORDINATION_poster.pdf},
timestamp = {2005.11.07}
}
@techreport{A3D2-TIPO_TR,
author = {Baldoni, M. and Baroglio, C. and Carro-Martinez, S. and Goy, A. and
Henze, N. and Kulas, A. and Magro, D. and Montebello, M. and Patti,
V. and Williams, H.},
title = {Thread on Testbeds},
institution = {Reasoning on the Web with Rules and Semantics, REWERSE},
year = {2005},
number = {IST506779/Turin/A3-D2/D/PU/a1},
month = {February, 28th},
abstract = {This deliverable presents a set of possible scenarios in which personalization
plays a fundamental role in the Semantic Web. These scenarios have
been collected with the contribution of many partners of the working
group A3, and have then been analysed with two aims. First of all,
ew have identified the key concepts of personalization scenarios,
and subsequently we have analysed the currently available tools and
languages supplied by the (Semantic) Web in order to define a set
of requirements to be passed to the other working groups of the network.},
editor = {Baldoni, M. and Baroglio, C.},
keywords = {REWERSE, reasoning, semantic_web, personalization, testbeds},
pdf = {http://www.di.unito.it/~argo/papers/a3-d2.pdf},
url = {http://www.rewerse.net}
}
@inproceedings{BBGMMMPS-TIPO_LN,
author = {Baldoni, M. and Baroglio, C. and Gungui, I. and Martelli, A. and
Martelli, M. and Mascardi, V. and Patti, V. and Schifanella, C.},
title = {Reasoning {A}bout {A}gents' {I}nteraction {P}rotocols {I}nside {DCaseLP}},
booktitle = {Post-Proc. of the International Workshop on Declarative Agent Languages
and Technologies, DALT'04},
year = {2005},
editor = {Leite, J. and Omicini, A. and Torroni, P. and Yolum, P.},
number = {3476},
series = {LNAI},
pages = {112--131},
publisher = {Springer},
doi = {10.1007/11493402_7},
isbn = {978-3-540-26172-8},
keywords = {agents, reasoning, protocols, DCaseLP},
opturl = {http://dx.doi.org/10.1007/11493402_7},
pdf = {http://www.di.unito.it/~argo/papers/LNCS/lnai_3476.pdf},
url = {http://www.springer.de/cgi/svcat/search_book.pl?isbn=}
}
@inproceedings{BBMMPST05woa-TIPO_W,
author = {Baldoni, M. and Baroglio, C. and Martelli, A. and Mascardi, V. and
Patti, V. and Schifanella, C. and Torasso, L.},
title = {Personalization, verification and conformance for logic-base communicating
agents},
booktitle = {{P}roc. of WOA 2005: Dagli oggetti agli agenti, simulazione e analisi
formale di sistemi complessi},
year = {2005},
editor = {Corradini, F. and {De~Paoli}, F. and Merelli, E. and Omicini, A.},
address = {Camerino, Italy},
month = {november},
publisher = {Pitagora Editrice Bologna},
isbn = {88-371-1590-3},
keywords = {agents, conformance, logic, verification},
pdf = {http://www.di.unito.it/~argo/papers/2005_WOA_MASSiVE.pdf},
typepubblication = {convegno nazionale},
url = {http://woa05.cs.unicam.it/}
}
@inproceedings{BBMPS04_climaV-TIPO_LN,
author = {Baldoni, M. and Baroglio, C. and Martelli, A. and Patti, V. and Schifanella,
C.},
title = {Verifying protocol conformance for logic-based communicating agents},
booktitle = {Post Proc. of Fifth International Workshop on Computational Logic
in Multi-Agent Systems, CLIMA V},
year = {2005},
editor = {Leite, J. and Torroni, P.},
volume = {3487},
series = {LNAI},
pages = {192--212},
publisher = {Springer},
doi = {10.1007/11533092_12},
isbn = {978-3-540-28060-6},
keywords = {protocols, conformance, agents, verification},
opturl = {http://dx.doi.org/10.1007/11533092_12},
pdf = {http://www.di.unito.it/~argo/papers/LNCS/lnai_3487.pdf},
url = {http://centria.di.fct.unl.pt/~jleite/climaV/index.htm}
}
@inproceedings{BBvdT05woa-TIPO_W,
author = {Baldoni, M. and Boella, G. and {van~der~Torre}, L.},
title = {Social roles, from agents back to objects},
booktitle = {{P}roc. of WOA 2005: Dagli oggetti agli agenti, simulazione e analisi
formale di sistemi complessi},
year = {2005},
editor = {Corradini, F. and {De~Paoli}, F. and Merelli, E. and Omicini, A.},
address = {Camerino, Italy},
month = {november},
publisher = {Pitagora Editrice Bologna},
isbn = {88-371-1590-3},
keywords = {powerJava},
pdf = {http://www.di.unito.it/~argo/papers/2005_WOA_powerjava.pdf},
typepubblication = {convegno nazionale},
url = {http://woa05.cs.unicam.it/}
}
This file was generated by bibtex2html 1.99.