@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 = 2004' -c 'author : "Baldoni" or editor : "Baldoni"' -ob Baldoni-2004.bib -oc Baldoni-2004.txt bibliography.bib}}
@comment{{jabref-meta: databaseType:bibtex;}}
@inproceedings{SLBB04woa-TIPO_W,
author = {Schifanella, C. and Lusso, L. and Baldoni, M. and Baroglio, C.},
title = {Design and development of a visual environment for writing {DyLOG}
programs},
booktitle = {{P}roc. of WOA 2004: Dagli Oggetti agli Agenti, Sistemi Complessi
e Agenti Razionali},
year = {2004},
editor = {Baldoni, M. and {De~Paoli}, F. and Martelli, A. and Omicini, A.},
pages = {43--50},
address = {Torino, Italy},
month = {November},
publisher = {Pitagora Editrice Bologna},
isbn = {88-371-1533-4},
keywords = {logic_programming, visual_interface},
pdf = {http://www.di.unito.it/~argo/papers/2004_WOA.pdf},
typepubblication = {convegno nazionale},
url = {http://woa04.unito.it/}
}
@proceedings{WOA04-TIPO_B,
title = {{P}roc. of Workshop Dagli Oggetti agli Agenti, Sistemi Complessi
e Agenti Razionali, WOA 2004},
year = {2004},
editor = {Baldoni, M. and {De~Paoli}, F. and Martelli, A. and Omicini, A.},
address = {Torino, Italy},
publisher = {Pitagora Editrice Bologna},
note = {ISBN: 88-371-1533-4.},
month = {November},
isbn = {88-371-1533-4},
keywords = {objects, agents},
pdf = {http://www.di.unito.it/~argo/papers/Atti-WOA04.pdf},
typepubblication = {convegno nazionale},
url = {http://woa04.unito.it/}
}
@inproceedings{BBMPS04_climaV-TIPO_W,
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 = {Pre-Proc. of Fifth International Workshop on Computational Logic
in Multi-Agent Systems, CLIMA V},
year = {2004},
editor = {Leite, J. and Torroni, P.},
pages = {82--97},
address = {Lisbon, Portugal},
month = {September},
isbn = {972-9119-37-6},
keywords = {protocols, conformance, agents, verification},
pdf = {http://www.di.unito.it/~argo/papers/2004_CLIMAV.pdf},
url = {http://centria.di.fct.unl.pt/~jleite/climaV/index.htm}
}
@inproceedings{BBPT_aiia04-TIPO_W,
author = {Baldoni, M. and Baroglio, C. and Patti, V. and Torasso, L.},
title = {{SCORM} courseware adaptation on the {S}emantic {W}eb},
booktitle = {Proc. of IX Convegno della Associazione Italiana Intelligenza Artificiale,
Terzo Workshop Intelligenza Artificiale e E-Learning},
year = {2004},
editor = {Adorni, G.},
address = {Perugia, Italy},
month = {September},
keywords = {SCORM, adaptation, semantic_web},
pdf = {http://www.di.unito.it/~argo/papers/2004_AIIA_Elerning.pdf},
url = {http://www.dipmat.unipg.it/aiia04.aiia04/Workshop.htm}
}
@inproceedings{RAI04-TIPO_W,
author = {Baldoni, M. and Baroglio, C. and {Del~Pero}, R. and Martelli,A. and
Messina, A. and Sacco, G. M. and Bertolotti, P. and Schifanella,
C.},
title = {A formal framework for handling audiovisual materials},
booktitle = {Proc. of the International Workshop on Multimedia Information Systems,
MIS'04},
year = {2004},
editor = {Sapino, M. L. and Shenoy, P.},
pages = {130-138},
address = {Washington DC},
month = {August},
note = {Also in CD ACM Digital Library 2005},
keywords = {reasoning, multimedia},
numberpages = {15},
optpublisher = {The MIT Press},
pdf = {http://www.di.unito.it/~argo/papers/2004_MIS.pdf},
url = {http://lass.cs.umass.edu/~shenoy/conf/mis04/}
}
@inproceedings{BBPT04-TIPO_W,
author = {Baldoni, M. and Baroglio, C. and Patti, V. and Torasso, L.},
title = {Reasoning about learning object metadata for adapting {SCORM} courseware},
booktitle = {{AH 2004}: Workshop Proceedings, Part I, International Workshop on
Engineering the Adaptive Web, EAW'04: Methods and Technologies for
personalization and Adaptation in the Semantic Web},
year = {2004},
editor = {Aroyo, L. and Tasso, C.},
pages = {4--13},
address = {Eindhoven, The Netherlands},
month = {August},
publisher = {Technische Universiteit Eindhoven},
editor-opt = {P. Barna AND F. Frasincar AND N. Henze AND G.-J. Houben AND R. Vdovjak},
issn = {0926-4515},
keywords = {SCORM, elearning, reasoning},
number-opt = {CS-Report 04-18},
pdf = {http://www.di.unito.it/~argo/papers/2004_EAW.pdf}
}
@inproceedings{BBGMMMPS-TIPO_W,
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 about agents' interaction protocols inside {DCaseLP}},
booktitle = {Pre-Proc. of the International Workshop on Declarative Agent Languages
and Technologies, DALT'04},
year = {2004},
editor = {Leite, J. and Omicini, A. and Torroni, P. and Yolum, P.},
pages = {250--265},
address = {New York, USA},
month = {July},
keywords = {agents, reasoning, protocols, DCaseLP},
numberpages = {15},
optpages = {473-487},
optpublisher = {The MIT Press},
pdf = {http://www.di.unito.it/~argo/papers/2004_DALT.pdf},
url = {http://centria.di.fct.unl.pt/~jleite/dalt04/index.htm}
}
@inproceedings{BBMPcilc04-TIPO_W,
author = {Baldoni, M. and Baroglio, C. and Martelli, A. and Patti, V.},
title = {Reasoning about logic-based agent interaction protocols},
booktitle = {Proc. of Italian Conference on Computational Logic, CILC'04},
year = {2004},
editor = {Rossi, G. and Panegai, E.},
pages = {250--264},
address = {Parma, Italy},
month = {June},
keywords = {logic, agents, reasoning, protocols},
pdf = {http://www.di.unito.it/~argo/papers/2004_CILC_BBMP.pdf},
url = {http://www.cs.unipr.it/CILC04/}
}
@article{BBP05-AMCT-TIPO_J,
author = {Antoniou, G. and Baldoni, M. and Baroglio, C. and Baungartner, R.
and Bry, F. and Eiter, T. and Henze, N. and Herzog, M. and May, W.
and Patti, V. and Schaffert, S. and Schidlauer, R. and Tompits, H.},
title = {Reasoning {M}ethods for {P}ersonalization on the {S}emantic {W}eb},
journal = {Annals of Mathematics, Computing \& Teleinformatics (AMCT)},
year = {2004},
volume = {2},
pages = {1-24},
number = {1},
keywords = {REWERSE, semantic_web, personalization,reasoning, elearning},
numberpages = {24},
pdf = {http://www.di.unito.it/~argo/papers/2004_AMCT.pdf},
url = {http://journals.teilar.gr/amct/}
}
@techreport{A31D-TIPO_TR,
author = {Baldoni, M. and Baroglio, C. and Henze, N. and Patti, V. and Staff,
C. and Wierzchon, S. T.},
title = {Personalization {F}unctionality for the {S}emantic {W}eb: {I}dentification
and {D}escription of {T}echniques},
institution = {Reasoning on the Web with Rules and Semantics, REWERSE},
year = {2004},
number = {IST506779/Hannover/A3-D1/D/PU/a1},
address = {August 31st},
editor = {Henze, N.},
keywords = {REWERSE, semantic_web, reasoning, personalization},
pdf = {http://www.di.unito.it/~argo/papers/a3-d1.pdf},
url = {http://rewerse.net/}
}
@incollection{BBMP04-ENTCS-TIPO_LN,
author = {Baldoni, M. and Baroglio, C. and Martelli, A. and Patti, V.},
title = {{R}easoning about interaction protocols for web service composition},
booktitle = {Proc. of 1st Int. Workshop on Web Services and Formal Methods, WS-FM
2004},
publisher = {Elsevier Science Direct},
year = {2004},
editor = {Bravetti, M. and Zavattaro, G.},
volume = {105},
series = {Electronic Notes in Theoretical Computer Science},
pages = {21--36},
doi = {10.1016/j.entcs.2004.02.023},
keywords = {reasoning, logic, interaction, protocols, web_service},
opturl = {http://dx.doi.org/10.1016/j.entcs.2004.02.023},
pdf = {http://www.di.unito.it/~argo/papers/2004_ENTCS_WSFM.pdf},
url = {http://www.sciencedirect.com/science/journal/15710661}
}
@article{BBP03-AIRE-TIPO_J,
author = {Baldoni, M. and Baroglio, C. and Patti, V.},
title = {{W}eb-based adaptive tutoring: an approach based on logic agents
and reasoning about actions},
journal = {Artificial Intelligence Review},
year = {2004},
volume = {22},
pages = {3--39},
number = {1},
issn = {0269-2821},
if = {0.562},
keywords = {elearning, logic, reasoning, actions},
numberpages = {38},
optnumber = {5},
pdf = {http://www.di.unito.it/~argo/papers/2004_JAIR.pdf},
publisher = {Kluwer Academic Publishers},
url = {http://www.kluweronline.com/issn/0269-2821}
}
@article{BGMP03-AMAI-TIPO_J,
author = {Baldoni, M. and Giordano, L. and Martelli, A. and Patti, V.},
title = {{P}rogramming {R}ational {A}gents in a {M}odal {A}ction {L}ogic},
journal = {Annals of Mathematics and Artificial Intelligence, Special issue
on Logic-Based Agent Implementation},
year = {2004},
volume = {41},
pages = {207-257},
number = {2-4},
issn = {1012-2443},
if = {0.851},
keywords = {agents, actions, logic_programming},
numberpages = {50},
pdf = {http://www.di.unito.it/~argo/papers/2004_AMAIsp_LBAI.pdf},
url = {http://www.kluweronline.com/issn/1012-2443}
}
@techreport{I21D-TIPO_TR,
author = {Bonatti, P. A. and Shalmehri, N. and Duma, C. and Olmedilla, D. and
Nejdl, W. and Baldoni, M. and Baroglio, C. and Martelli, A. and Patti,
V. and Coraggio, P. and Antoniou, G. and Peer, J. and Fuchs, N. E.},
title = {Rule-based {P}olicy {S}pecification: {S}tate of the {A}rt and {F}uture
{W}ork},
institution = {Reasoning on the Web with Rules and Semantics, REWERSE},
year = {2004},
number = {IST506779/Naples/I2-D1/D/PU/b1},
address = {August 31st},
editor = {Bonatti, P. A.},
keywords = {REWERSE, policies},
pdf = {http://www.di.unito.it/~argo/papers/i2-d1.pdf},
url = {http://rewerse.net/}
}
This file was generated by bibtex2html 1.99.