Home | Search | Help  
Home PageUniversitą di Genova

Bibtex entries of Viviana Mascardi's papers


Journals


TPLP04 Bibtex entry

@article{TPLP04,
author = {V. Mascardi and M. Martelli and L. Sterling},
title = {Logic-Based 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 = {429--494}
}
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 = {169--197},
year = {2002}}

Chapters in books


LNAI2407 Bibtex entry

@incollection{LNAI2407,
author = {T. Eiter and V. Mascardi and V. S. Subrahmanian},
title = {{Error-Tolerant 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 = {Springer-Verlag},
pages = {586--625},
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 \& Multi-Agent Systems: a Synergic Combination for Applications and Semantics}},
booktitle = {The Logic Programming Paradigm: a 25-Year Perspective},
editor = {K. R. Apt and V. W. Marek and M. Truszczynski and D. S. Warren},
year = {1999},
publisher = {Springer-Verlag},
pages = {5--32}}

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 Service-Oriented 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 Multi-Agent 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 Alternating-time BDI Logic for Multiagent Systems},
year = {2005},
pages = {214--223},
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 Multi-Agent 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 Peer-to-Peer 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 Service-Oriented 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 = {972-8924-02-X},
pages = {205--209}
}
ICWI05b Bibtex entry

@inproceedings{ICWI05b,
author = {M. Mesiti and V. Mascardi and G. Guerrini},
title = {A Customizable Semantic-Based 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 = {972-8924-02-X},
pages = {403--410}
}
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 = {88-371-1590-3},
pages = {9--15}
}
WOA05b Bibtex entry

@inproceedings{WOA05b,
author = {V. Cord\`\i\ and P. Lombardi and M. Martelli and V. Mascardi},
title = {An Ontology-Based 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 = {88-371-1590-3},
pages = {16--21}
}
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 = {88-371-1590-3},
pages = {157--163}
}
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 logic-based 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 = {88-371-1590-3},
pages = {177--183}
}
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 (CILC-2004)},
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 (CILC-2004)},
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 = {112-131},
note = {LNAI 3476},
publisher = {Springer-Verlag}
}
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 Agent-Oriented Information Systems, AOIS'04}},
year = {2004},
editor = {P. Giorgini and M. Winikoff},
pages = {73--87},
}
AAMAS04 Bibtex entry

@inproceedings{AAMAS04,
author = {D.~Ancona and V.~Mascardi and J.~F.~H\"ubner and R.~H.~Bordini},
title = {{Coo-AgentSpeak: 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 = {698--705},
}
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 = {388--399},
publisher = {Springer-Verlag},
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 Rule-Based
Languages to Specify, Implement and Execute Agents},
booktitle = {Proceedings of the 8th APPIA-GULP-PRODE
Joint Conference on Declarative Programming (AGP'03)},
editor = {F.~Buccafurri},
year={2003},
pages = {275--286}}
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 Use-Case Driven Method and Agent-Oriented 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 = {578--585}}
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 = {113--120}}

DALT03 Bibtex entry

@inproceedings{DALT03,
author={D. Ancona and V. Mascardi},
title={{Coo-BDI: 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 = {Springer-Verlag},
pages = {109--134}}
AGP02 Bibtex entry

@inproceedings{AGP02,
author={M. Martelli and V. Mascardi and L. Sterling},
title={{Logic-Based Languages to Model and Program Intelligent Agents}},
booktitle= {Proceedings of Appia-Gulp-Prode 2002: Joint Conference on Declarative Programming},
editor= {J. J. Moreno-Navarro and J. M. Carballo},
year = {2002},
pages = {105--122}}
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 Multi-Agente in D-CaseLP}},
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 Multi-Agent Approach to Vehicle Monitoring in Motorway}},
note={Technical Report DISI TR-00-13. Presented at the poster session at the Second European Workshop on Advanced Video-based 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={Springer-Verlag, Berlin},
note ={Lecture Notes in Artificial Intelligence 1986},
pages = {275--289}}
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 = {76--81}}
AGP00 Bibtex entry

@inproceedings{AGP00,
author={D. Ancona and V. Mascardi},
title={{Mixin-Based Modules for Logic Programming}},
booktitle={Proceedings of Appia-Gulp-Prode 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 Multi-Agent 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 Agent-Based Prototype for Freight Trains Traffic Management}},
booktitle = {Proceedings of FMERail Workshop 5},
editor = {P. G. Larsen},
year = {1999},
month = {September},
publisher = {Springer-Verlag},
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 Component-Based Software Prototyping}},
booktitle = {Proceedings of the Second International Workshop on Component-based 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 Multi-Agent Systems in CaseLP}},
booktitle = {Proc. of Appia-Gulp-Prode 1999: Joint Conference on Declarative Programming},
year = {1999},
month = {September},
editor = {M. C. Meo and M. Vilares-Ferro},
pages = {13--28}}
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 = {40--49},
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 = {{ Agent-Oriented 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 = {222--228}}
PADL99 Bibtex entry

@inproceedings{PADL99,
author = {M. Bozzano and G. Delzanno and M. Martelli and V. Mascardi and F. Zini},
title = {{Multi-Agent 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 = {Springer-Verlag},
note = {LNCS 1551},
pages = {46--60}}
PAAM98 Bibtex entry

@inproceedings{PAAM98, author = {M. Martelli and V. Mascardi and F. Zini},
title = {{Towards Multi-Agent Software Prototyping}},
booktitle = {Proceedings of The Third International Conference and Exhibition on The Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM'98)},
year = {1998},
month = {March},
editor = {H. S. Nwana and D. T. Ndumu},
pages = {331--354}}
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 Multi--Agents},
year = {1997},
month = {July},
pages = {35--50}}
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 Appia-Gulp-Prode 1997: Joint Conference on Declarative Programming},
year = {1997},
month = {June},
editor = {M. Falaschi and M. Navarro and A. Policriti},
pages = {491--499}}

Technical reports


MascardiPhdThesis 2002 Bibtex entry

@phdthesis{MascardiPhdThesis02,
author = {V. Mascardi},
title = {Logic-Based Specification Environments for Multi-Agent Systems},
year = {2002},
school = {Computer Science Department of Genova University},
address = {Genova, Italy},
note = {DISI-TH-2002-04. Downloadable from \url{ftp://ftp.disi.unige.it/person/MascardiV/Tesi/mythesis.ps.gz}}}
Last Updated: January 24, 2006