Bibtex entries of Viviana Mascardi's papers
Journals
TPLP04 Bibtex entry
@article{TPLP04,
author = {V. Mascardi and M. Martelli and L. Sterling},
title = {LogicBased Specification Languages for Intelligent Software Agents},
journal = {Theory and Practice of Logic Programming Journal (TPLP)},
volume = {4},
number = {4},
year = {2004},
publisher = {Cambridge University Press},
pages = {429494}
}
AIComms02 Bibtex entry
@article{AIComms02,
author = {T. Eiter and V. Mascardi},
title = {{Comparing Environments for Developing Software Agents}},
journal = {AI Communications},
volume = {15},
number = {4},
pages = {169197},
year = {2002}}
Chapters in books
LNAI2407 Bibtex entry
@incollection{LNAI2407,
author = {T. Eiter and V. Mascardi and V. S. Subrahmanian},
title = {{ErrorTolerant Agents}},
booktitle = {Computational Logic: Logic Programming and Beyond 
Essays in Honour of Robert A. Kowalski, Part I},
editors = {A. Kakas and F. Sadri},
year = {2002},
publisher = {SpringerVerlag},
pages = {586625},
note = {Lecture Notes in Artificial Intelligence 2407}}
LPparadigm Bibtex entry
@incollection{LPparadigm,
author = {M. Bozzano and G. Delzanno and M. Martelli
and V. Mascardi and F. Zini},
title = {{Logic Programming \& MultiAgent Systems: a Synergic
Combination for Applications and Semantics}},
booktitle = {The Logic Programming Paradigm: a 25Year Perspective},
editor = {K. R. Apt and V. W. Marek and M. Truszczynski and D. S. Warren},
year = {1999},
publisher = {SpringerVerlag},
pages = {532}}
Conferences and workshops
EUMAS05a Bibtex entry
@inproceedings{EUMAS05a,
author = {L. Bozzo and
V. Mascardi and
D. Ancona and
P. Busetta},
title = {COOWS: Adaptive BDI Agents meet ServiceOriented Computing  Extended Abstract},
year = {2005},
pages = {473},
editor = {M. P. Gleizes and
G. A. Kaminka and
A. Now{\'e} and
S. Ossowski and
K. Tuyls and
K. Verbeeck},
booktitle = {Proceedings of the Third European Workshop
on MultiAgent Systems (EUMAS'05)},
publisher = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen
en Kunsten}
}
EUMAS05b Bibtex entry
@inproceedings{EUMAS05b,
author = {R. Montagna and G. Delzanno and M. Martelli and V. Mascardi},
title = {{BDI^ATL}: An Alternatingtime BDI Logic for Multiagent Systems},
year = {2005},
pages = {214223},
editor = {M. P. Gleizes and
G. A. Kaminka and
A. Now{\'e} and
S. Ossowski and
K. Tuyls and
K. Verbeeck},
booktitle = {Proceedings of the Third European Workshop
on MultiAgent Systems (EUMAS'05)},
publisher = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen
en Kunsten}
}
DBISP2P05 Bibtex entry
@inproceedings{DBISP2P05,
author = {G. Guerrini and V. Mascardi and M. Mesiti},
title = {A Semantic Information Retrieval Advertisement and Policy Based System for a {P2P} Network},
booktitle = {Proceedings of the Third International Workshop On Databases, Information Systems and PeertoPeer Computing,
DBISP2P'05},
year = {2005},
note = {To appear in the LNCS serie}
}
ICWI05a Bibtex entry
@inproceedings{ICWI05a,
author = {L. Bozzo and V. Mascardi and D. Ancona and P. Busetta},
title = {{CooWS}: Adaptive {BDI} Agents meet ServiceOriented Programming},
editor = {P. Isaias and M. B. Nunes},
booktitle = {Proceedings of the IADIS International Conference WWW/Internet 2005},
publisher = {IADIS Press},
volume = {2},
year = {2005},
isbn = {972892402X},
pages = {205209}
}
ICWI05b Bibtex entry
@inproceedings{ICWI05b,
author = {M. Mesiti and V. Mascardi and G. Guerrini},
title = {A Customizable SemanticBased P2P System},
editor = {P. Isaias and M. B. Nunes},
booktitle = {Proceedings of the IADIS International Conference WWW/Internet 2005},
publisher = {IADIS Press},
volume = {1},
year = {2005},
isbn = {972892402X},
pages = {403410}
}
WOA05a Bibtex entry
@inproceedings{WOA05a,
author = {V. Mascardi and D. Demergasso and D. Ancona},
title = {Languages for Programming {BDI}style Agents: an Overview},
editor = {F. Corradini and
F. De Paoli and
E. Merelli and
A. Omicini},
booktitle = {Proceedings of WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint
Workshop ``From Objects to Agents''},
publisher = {Pitagora Editrice Bologna},
year = {2005},
isbn = {8837115903},
pages = {915}
}
WOA05b Bibtex entry
@inproceedings{WOA05b,
author = {V. Cord\`\i\ and P. Lombardi and M. Martelli and V. Mascardi},
title = {An OntologyBased Similarity between Sets of Concepts},
editor = {F. Corradini and
F. De Paoli and
E. Merelli and
A. Omicini},
booktitle = {Proceedings of WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint
Workshop ``From Objects to Agents''},
publisher = {Pitagora Editrice Bologna},
year = {2005},
isbn = {8837115903},
pages = {1621}
}
WOA05c Bibtex entry
@inproceedings{WOA05c,
author = {V. Mascardi and D. Roggero and F. Patrone},
title = { Designing and Implementing Electronic Auctions in a Multiagent System Environment},
editor = {F. Corradini and
F. De Paoli and
E. Merelli and
A. Omicini},
booktitle = {Proceedings of WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint
Workshop ``From Objects to Agents''},
publisher = {Pitagora Editrice Bologna},
year = {2005},
isbn = {8837115903},
pages = {157163}
}
WOA05d Bibtex entry
@inproceedings{WOA05d,
author = {M. Baldoni and C. Baroglio and A. Martelli and V. Mascardi and V. Patti and C. Schifanella and L. Torasso},
title = {Personalization, verification and conformance for logicbased communicating agents},
editor = {F. Corradini and
F. De Paoli and
E. Merelli and
A. Omicini},
booktitle = {Proceedings of WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint
Workshop ``From Objects to Agents''},
publisher = {Pitagora Editrice Bologna},
year = {2005},
isbn = {8837115903},
pages = {177183}
}
CILC04a Bibtex entry
@inproceedings{CILC04a,
author = {I. Gungui and V. Mascardi},
title = {Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems},
editor = {E.~Panegai and G.~Rossi},
booktitle = {Proceedings of the Italian Conference on Computational Logic (CILC2004)},
series = {Quaderno del Dipartimento di Matematica},
volume = {390},
organization = {University of Parma},
month = {June},
year = {2004}
}
CILC04b Bibtex entry
@inproceedings{CILC04b,
author = {V. Cord\`\i\ and V. Mascardi},
title = {Checking the Completeness of Ontologies: A Case Study from the Semantic Web},
editor = {E.~Panegai and G.~Rossi},
booktitle = {Proceedings of the Italian Conference on Computational Logic (CILC2004)},
series = {Quaderno del Dipartimento di Matematica},
volume = {390},
organization = {University of Parma},
month = {June},
year = {2004}
}
DALT04 Bibtex entry
@inproceedings{DALT04,
author = {M. Baldoni and C. Baroglio and I. Gungui and A. Martelli and M. Martelli and V. Mascardi and V. Patti and C. Schifanella},
title = {{Reasoning About Agents' Interaction Protocols Inside DCaseLP}},
booktitle = {{Proceedings of the Second
Declarative Agent Languages and Technologies Workshop
(DALT'04), Revised Selected and Invited Papers}},
year = {2005},
editor = {J. Leite, A. Omicini, P. Torroni, and P. Yolum},
pages = {112131},
note = {LNAI 3476},
publisher = {SpringerVerlag}
}
AOIS04 Bibtex entry
@inproceedings{AOIS04,
author = {V. Cord\`\i and V. Mascardi and M. Martelli and L. Sterling},
title = {{Developing an Ontology for the Retrieval of XML Documents:
A Comparative Evaluation of Existing Methodologies}},
booktitle = {{Proceedings of AgentOriented Information Systems, AOIS'04}},
year = {2004},
editor = {P. Giorgini and M. Winikoff},
pages = {7387},
}
AAMAS04 Bibtex entry
@inproceedings{AAMAS04,
author = {D.~Ancona and V.~Mascardi and J.~F.~H\"ubner and R.~H.~Bordini},
title = {{CooAgentSpeak: Cooperation in AgentSpeak through Plan Exchange}},
booktitle = {{Proceedings of AAMAS 2004 (Int. Conf. on Autonomous Agents and Multiagent Systems)}},
year = {2004},
editor = {N.~R.~Jennings and C.~Sierra and L.~Sonenberg and M.~Tambe},
publisher = {ACM press},
pages = {698705},
}
MIPS03 Bibtex entry
@inproceedings{MIPS03,
title = {A Multimedia, Multichannel and Personalized News Provider},
author = {M. Delato and A. Martelli and M. Martelli and V. Mascardi and A. Verri},
booktitle = {Proceedings of the First International
Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003},
editor = {G. Ventre and R. Canonico},
pages = {388399},
publisher = {SpringerVerlag},
note = {LNCS 2899},
year = {2003}}
AGP03 Bibtex entry
@inproceedings{AGP03,
author={M. Martelli and V. Mascardi},
title={From {UML} Diagrams to {Jess} Rules: Integrating {OO} and RuleBased
Languages to Specify, Implement and Execute Agents},
booktitle = {Proceedings of the 8th APPIAGULPPRODE
Joint Conference on Declarative Programming (AGP'03)},
editor = {F.~Buccafurri},
year={2003},
pages = {275286}}
SEKE03 Bibtex entry
@inproceedings{SEKE03,
author={E. Astesiano and M. Martelli and V. Mascardi and G. Reggio},
title={{From Requirement Specification to Prototype Execution:
a Combination of a Multiview UseCase Driven Method
and AgentOriented Techniques}},
booktitle = {Proceedings of the
Fifteenth International Conference on Software
Engineering and Knowledge Engineering (SEKE)},
editor = {J. Debenham and K. Zhang},
publisher = {The Knowledge System Institute},
year={2003},
pages = {578585}}
AAMAS03 Bibtex entry
@inproceedings{AAMASC03,
author={T. Juan and M. Martelli and V. Mascardi and L. Sterling},
title={Customizing {AOSE} Methodologies by Reusing {AOSE} Features},
booktitle = {Proceedings of the 2nd International Conference on
Autonomous Agents and Multiagent Systems (AAMAS'03)},
editor = {J. S. Rosenschein and T. Sandholm and M. Wooldridge and M. Yokoo},
publisher = {ACM Press},
year={2003},
pages = {113120}}
DALT03 Bibtex entry
@inproceedings{DALT03,
author={D. Ancona and V. Mascardi},
title={{CooBDI: Extending the BDI Model with Cooperativity}},
booktitle = {Proceedings of the First
Declarative Agent Languages and Technologies Workshop
(DALT'03), Revised Selected and Invited Papers},
editor = {J. A. Leite and A. Omicini and L. Sterling and P. Torroni},
note = {LNAI 2990},
year = {2004},
publisher = {SpringerVerlag},
pages = {109134}}
AGP02 Bibtex entry
@inproceedings{AGP02,
author={M. Martelli and V. Mascardi and L. Sterling},
title={{LogicBased Languages to Model and Program Intelligent Agents}},
booktitle= {Proceedings of AppiaGulpProde 2002:
Joint Conference on Declarative
Programming},
editor= {J. J. MorenoNavarro and J. M. Carballo},
year = {2002},
pages = {105122}}
WOA02 Bibtex entry
@inproceedings{WOA02,
author={R. Albertoni and M. Martelli and V. Mascardi and S. Miglia},
title={{Specifica, Implementazione ed Esecuzione di un
Prototipo di Sistema MultiAgente in DCaseLP}},
booktitle= {Proceedings of WOA 2002. Dagli Oggetti Agli Agenti},
editor= {F. {De Paoli} and S. Manzoni and A. Poggi},
year = {2002}}
AVBS01 Bibtex entry
@unpublished{AVBS01,
author={E. Appiani and M. Martelli and V. Mascardi},
title={{A MultiAgent Approach to Vehicle Monitoring in Motorway}},
note={Technical Report DISI TR0013. Presented at the poster session at
the Second European Workshop
on Advanced Videobased Surveillance Systems, AVBS 2001, London, UK}}
ATAL00 Bibtex entry
@inproceedings{ATAL00,
author={S. Marini and M. Martelli and V. Mascardi and F. Zini},
title={{Specification of Heterogeneous Agent Architectures}},
booktitle={Intelligent Agents VII. Agent Theories,
Architectures, and Languages  Proceedings of the
Seventh International Workshop ATAL 2000},
month = {July},
year = {2000},
editor={C. Castelfranchi and Y. Lesp\'{e}rance},
publisher={SpringerVerlag, Berlin},
note ={Lecture Notes in Artificial Intelligence 1986},
pages = {275289}}
WOA00 Bibtex entry
@inproceedings{WOA00,
author={S. Marini and M. Martelli and V. Mascardi and F. Zini},
title={{HEMASL: A Flexible Language to Specify Heterogeneous Agents}},
booktitle= {Proceedings of WOA 2000. Dagli Oggetti Agli Agenti},
editor= {A. Corradi and A. Omicini and A. Poggi},
publisher={Pitagora editrice, Bologna},
year={2000},
pages = {7681}}
AGP00 Bibtex entry
@inproceedings{AGP00,
author={D. Ancona and V. Mascardi},
title={{MixinBased Modules for Logic Programming}},
booktitle={Proceedings of AppiaGulpProde 2000:
Joint Conference on Declarative Programming},
year={2000}}
IICIIS99 Bibtex entry
@inproceedings{IICIIS99,
author = {A. Cuppari and P. L. Guida and M. Martelli and V. Mascardi and
F. Zini},
title = {{Prototyping Freight Trains Traffic Management Using
MultiAgent Systems}},
booktitle = {Proceedings of the IEEE International Conference on Information,
Intelligence and Systems},
year = {1999},
month = {November},
publisher = {IEEE}}
FMRAIL99 Bibtex entry
@inproceedings{FMRAIL99,
author = {A. Cuppari and P. L. Guida and M. Martelli and V. Mascardi and
F. Zini},
title = {{An AgentBased Prototype for Freight Trains
Traffic Management}},
booktitle = {Proceedings of FMERail Workshop 5},
editor = {P. G. Larsen},
year = {1999},
month = {September},
publisher = {SpringerVerlag},
note = {A satellite workshop of FM'99}}
COCL99 Bibtex entry
@inproceedings{COCL99,
author = {M. Martelli and V. Mascardi and F. Zini},
title = {{A Logic Programming Framework for ComponentBased Software
Prototyping}},
booktitle = {Proceedings of the
Second International Workshop on Componentbased Software
Development in Computational Logic (COCL'99)},
year = {1999},
month = {September},
editor = {A. Brogi and P. Hill}}
AGP99 Bibtex entry
@inproceedings{AGP99,
author = {M. Martelli and V. Mascardi and F. Zini},
title = {{Specification and Simulation of MultiAgent
Systems in CaseLP}},
booktitle = {Proc. of AppiaGulpProde 1999: Joint Conference on
Declarative Programming},
year = {1999},
month = {September},
editor = {M. C. Meo and M. VilaresFerro},
pages = {1328}}
STEP99 Bibtex entry
@inproceedings{STEP99,
author = {P. Dart and E. Kazmierczak and M. Martelli and V. Mascardi
and L. Sterling and V.S. Subrahmanian and F. Zini},
title = {{Combining Logical Agents with Rapid Prototyping for Engineering
Distributed Applications}},
booktitle = {Proceedings of the Nineth International Conference of Software Technology and
Engineering (STEP'99)},
pages = {4049},
editor = {S. Tilley and J. Verner},
publisher ={IEEE Computer Society Press},
year = {1999},
month = {September}}
IIA99 Bibtex entry
@inproceedings{IIA99,
author = {V. Mascardi and E. Merelli},
title = {{ AgentOriented and Constraint Technologies for Distributed
transaction Management}},
booktitle = {Proceedings of the Third International ICSC
Symposia on Intelligent Industrial Automation (IIA`99) and Soft Computing
(SOCO`99)},
year = {1999},
month = {June},
editor = {R. Parenti and F. Masulli},
pages = {222228}}
PADL99 Bibtex entry
@inproceedings{PADL99,
author = {M. Bozzano and G. Delzanno and M. Martelli and V. Mascardi and
F. Zini},
title = {{MultiAgent Systems Development as a Software Engineering
Enterprise}},
booktitle = {Proceedings of First International Workshop on Practical Aspects
of Declarative Languages (PADL'99)},
year = {1999},
month = {January},
editor = {G. Gupta},
publisher = {SpringerVerlag},
note = {LNCS 1551},
pages = {4660}}
PAAM98 Bibtex entry
@inproceedings{PAAM98,
author = {M. Martelli and V. Mascardi and F. Zini},
title = {{Towards MultiAgent Software Prototyping}},
booktitle = {Proceedings of The Third International Conference and Exhibition on
The Practical Application of Intelligent Agents and
MultiAgent Technology (PAAM'98)},
year = {1998},
month = {March},
editor = {H. S. Nwana and D. T. Ndumu},
pages = {331354}}
ICLP97 Bibtex entry
@inproceedings{ICLP97,
author = {M. Martelli and V. Mascardi and F. Zini},
title = {{CaseLP: a Complex Application Specification Environment
Based on Logic Programming}},
booktitle = {Proceedings of ICLP'97 Post Conference Workshop on Logic
Programming and MultiAgents},
year = {1997},
month = {July},
pages = {3550}}
AGP97 Bibtex entry
@inproceedings{AGP97,
author = {M. Martelli and V. Mascardi and F. Zini},
title = {{Applying Logic Programming to the Specification of
Complex Applications}},
booktitle = {Proceedings of AppiaGulpProde 1997: Joint Conference on
Declarative Programming},
year = {1997},
month = {June},
editor = {M. Falaschi and M. Navarro and A. Policriti},
pages = {491499}}
Technical reports
MascardiPhdThesis 2002 Bibtex entry
@phdthesis{MascardiPhdThesis02,
author = {V. Mascardi},
title = {LogicBased Specification Environments for MultiAgent Systems},
year = {2002},
school = {Computer Science Department of Genova University},
address = {Genova, Italy},
note = {DISITH200204. Downloadable from
\url{ftp://ftp.disi.unige.it/person/MascardiV/Tesi/mythesis.ps.gz}}}
Last Updated: January 24, 2006

