Per Year
@inproceedings{labelled2p-dcaiia2015,
address = {Ferrara, Italy},
author = {Calegari, Roberta and Denti, Enrico and Omicini, Andrea},
booktitle = {Proceedings of the Doctoral Consortium of the 14th Symposium of the Italian Association for Artificial Intelligence (AI*IA 2015 DC)},
dblp = {conf/aiia/CalegariDO15},
editor = {Bellodi, Elena and Bonfietti, Alessio},
iris = {11585/521880},
issn = {1613-0073},
keywords = {Labelled Variables, CLP, pervasive systems, Labelled Systems},
location = {Ferrara, Italy},
month = {23--24~} # sep,
numpages = 6,
organization = {AI*IA},
pages = {25--30},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {16046264553640973420},
scopus = {2-s2.0-85009165803},
semanticscholar = {9324685},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Labelled Variables in Logic Programming: A First Prototype in {{\sf tu}Prolog}},
urlpdf = {http://ceur-ws.org/Vol-1485/proceedings.pdf#page=30},
volume = 1485,
year = 2015
}
address = {Ferrara, Italy},
author = {Calegari, Roberta and Denti, Enrico and Omicini, Andrea},
booktitle = {Proceedings of the Doctoral Consortium of the 14th Symposium of the Italian Association for Artificial Intelligence (AI*IA 2015 DC)},
dblp = {conf/aiia/CalegariDO15},
editor = {Bellodi, Elena and Bonfietti, Alessio},
iris = {11585/521880},
issn = {1613-0073},
keywords = {Labelled Variables, CLP, pervasive systems, Labelled Systems},
location = {Ferrara, Italy},
month = {23--24~} # sep,
numpages = 6,
organization = {AI*IA},
pages = {25--30},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {16046264553640973420},
scopus = {2-s2.0-85009165803},
semanticscholar = {9324685},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Labelled Variables in Logic Programming: A First Prototype in {{\sf tu}Prolog}},
urlpdf = {http://ceur-ws.org/Vol-1485/proceedings.pdf#page=30},
volume = 1485,
year = 2015
}
@incollection{norms-coinI,
acm = {10.1007/11775331_9},
author = {Rubino, Rossella and Omicini, Andrea and Denti, Enrico},
booktitle = {Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems},
doi = {10.1007/11775331_9},
editor = {Boissier, Olivier and Padget, Julian A. and Dignum, Virginia and Lindemann, Gabriela and Matson, Eric and Ossowski, Sascha and Sichman, Jaime Simão and Vázquez-Salceda, Javier},
eissn = {1611-3349},
iris = {11585/6276},
isbn = {978-3-540-35173-3},
isbn10 = {3-540-35173-6},
issn = {0302-9743},
month = jun,
note = {AAMAS 2005 International Workshops ``Agents, Norms and Institutions for Regulated Multi-Agent Systems'' (ANI@REM 2005), and ``Organizations in Multi-Agent Systems'' (OOOP 2005), Utrecht, The Netherlands, 25--26~} # jul # {~2005. Revised Selected Papers},
pages = {127--141},
publisher = {Springer Berlin Heidelberg},
scholar = {16804771392392253867},
scopus = {2-s2.0-33746097439},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Computational Institutions for Modelling Norm-Regulated {MAS}: An Approach Based on Coordination Artifacts},
url = {http://link.springer.com/10.1007/11775331_9},
urlpdf = {https://link.springer.com/content/pdf/10.1007/11775331_9.pdf},
volume = 3913,
wos = {000239580700009},
year = 2006
}
acm = {10.1007/11775331_9},
author = {Rubino, Rossella and Omicini, Andrea and Denti, Enrico},
booktitle = {Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems},
doi = {10.1007/11775331_9},
editor = {Boissier, Olivier and Padget, Julian A. and Dignum, Virginia and Lindemann, Gabriela and Matson, Eric and Ossowski, Sascha and Sichman, Jaime Simão and Vázquez-Salceda, Javier},
eissn = {1611-3349},
iris = {11585/6276},
isbn = {978-3-540-35173-3},
isbn10 = {3-540-35173-6},
issn = {0302-9743},
month = jun,
note = {AAMAS 2005 International Workshops ``Agents, Norms and Institutions for Regulated Multi-Agent Systems'' (ANI@REM 2005), and ``Organizations in Multi-Agent Systems'' (OOOP 2005), Utrecht, The Netherlands, 25--26~} # jul # {~2005. Revised Selected Papers},
pages = {127--141},
publisher = {Springer Berlin Heidelberg},
scholar = {16804771392392253867},
scopus = {2-s2.0-33746097439},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Computational Institutions for Modelling Norm-Regulated {MAS}: An Approach Based on Coordination Artifacts},
url = {http://link.springer.com/10.1007/11775331_9},
urlpdf = {https://link.springer.com/content/pdf/10.1007/11775331_9.pdf},
volume = 3913,
wos = {000239580700009},
year = 2006
}
@article{tuprolog-scp57,
acm = {10.1016/j.scico.2005.02.001},
author = {Denti, Enrico and Omicini, Andrea and Ricci, Alessandro},
doi = {10.1016/j.scico.2005.02.001},
iris = {11585/1796},
issn = {0167-6423},
journal = {Science of Computer Programming},
keywords = {Java; Prolog; Language integration; Reflection; Agent infrastructures},
month = aug,
number = 2,
pages = {217--250},
publisher = {Elsevier Science B.V.},
scholar = {11814947363577124615},
scopus = {2-s2.0-21344467290},
title = {Multi-paradigm {J}ava-{P}rolog Integration in {{\sf tu}Prolog}},
url = {http://www.sciencedirect.com/science/article/pii/S0167642305000158},
volume = 57,
wos = {000230801800004},
year = 2005
}
acm = {10.1016/j.scico.2005.02.001},
author = {Denti, Enrico and Omicini, Andrea and Ricci, Alessandro},
doi = {10.1016/j.scico.2005.02.001},
iris = {11585/1796},
issn = {0167-6423},
journal = {Science of Computer Programming},
keywords = {Java; Prolog; Language integration; Reflection; Agent infrastructures},
month = aug,
number = 2,
pages = {217--250},
publisher = {Elsevier Science B.V.},
scholar = {11814947363577124615},
scopus = {2-s2.0-21344467290},
title = {Multi-paradigm {J}ava-{P}rolog Integration in {{\sf tu}Prolog}},
url = {http://www.sciencedirect.com/science/article/pii/S0167642305000158},
volume = 57,
wos = {000230801800004},
year = 2005
}
@incollection{objsubj-coord02,
acm = {713460},
author = {Ricci, Alessandro and Omicini, Andrea and Denti, Enrico},
booktitle = {Coordination Models and Languages},
dblp = {conf/coordination/RicciOD02},
doi = {10.1007/3-540-46000-4_27},
editor = {Arbab, Farhad and Talcott, Carolyn},
eisbn = {978-3-540-46000-8},
eissn = {1611-3349},
iris = {11585/950120},
isbn = {978-3-540-43410-8},
isbn-10 = {3-540-43410-0},
isbn10 = {3-540-43410-0},
issn = {0302-9743},
note = {5th International Conference (COORDINATION 2002), York, UK, 8--11~} # apr # {~2002. Proceedings},
pages = {291--299},
publisher = {Springer Berlin Heidelberg},
scholar = {3370459498636496835},
scopus = {2-s2.0-84944054953},
semanticscholar = {33793704},
series = {Lecture Notes in Computer Science},
title = {Objective vs. Subjective Coordination in Agent-based Systems: A Case Study},
url = {http://link.springer.com/10.1007/3-540-46000-4_27},
volume = 2315,
wos = {000181348700027},
year = 2002
}
acm = {713460},
author = {Ricci, Alessandro and Omicini, Andrea and Denti, Enrico},
booktitle = {Coordination Models and Languages},
dblp = {conf/coordination/RicciOD02},
doi = {10.1007/3-540-46000-4_27},
editor = {Arbab, Farhad and Talcott, Carolyn},
eisbn = {978-3-540-46000-8},
eissn = {1611-3349},
iris = {11585/950120},
isbn = {978-3-540-43410-8},
isbn-10 = {3-540-43410-0},
isbn10 = {3-540-43410-0},
issn = {0302-9743},
note = {5th International Conference (COORDINATION 2002), York, UK, 8--11~} # apr # {~2002. Proceedings},
pages = {291--299},
publisher = {Springer Berlin Heidelberg},
scholar = {3370459498636496835},
scopus = {2-s2.0-84944054953},
semanticscholar = {33793704},
series = {Lecture Notes in Computer Science},
title = {Objective vs. Subjective Coordination in Agent-based Systems: A Case Study},
url = {http://link.springer.com/10.1007/3-540-46000-4_27},
volume = 2315,
wos = {000181348700027},
year = 2002
}
@incollection{aclt-lnai1760,
acm = {698418},
author = {Denti, Enrico and Omicini, Andrea},
booktitle = {Formal Models of Agents},
dblp = {conf/modelage/DentiO97},
doi = {10.1007/3-540-46581-2_7},
editor = {Meyer, John-Jules Ch. and Schobbens, Pierre-Yves},
eisbn = {978-3-540-46581-2},
iris = {11585/950777},
isbn = {978-3-540-67027-8},
isbn10 = {3-540-67027-0},
issn = {0302-9743},
keywords = {Multi-Agent Systems; Coordination Model; Transactions; Extensible Communication Abstraction},
note = {ESPRIT Project ModelAge Final Workshop. Selected Papers},
pages = {90--102},
publisher = {Springer-Verlag},
scholar = {5902775184975942945},
scopus = {2-s2.0-84942787374},
semanticscholar = {23244123},
series = {LNAI},
title = {Designing Multi-Agent Systems around an Extensible Communication Abstraction},
url = {http://link.springer.com/chapter/10.1007/3-540-46581-2_7},
volume = 1760,
wos = {000170556100007},
year = 1999
}
acm = {698418},
author = {Denti, Enrico and Omicini, Andrea},
booktitle = {Formal Models of Agents},
dblp = {conf/modelage/DentiO97},
doi = {10.1007/3-540-46581-2_7},
editor = {Meyer, John-Jules Ch. and Schobbens, Pierre-Yves},
eisbn = {978-3-540-46581-2},
iris = {11585/950777},
isbn = {978-3-540-67027-8},
isbn10 = {3-540-67027-0},
issn = {0302-9743},
keywords = {Multi-Agent Systems; Coordination Model; Transactions; Extensible Communication Abstraction},
note = {ESPRIT Project ModelAge Final Workshop. Selected Papers},
pages = {90--102},
publisher = {Springer-Verlag},
scholar = {5902775184975942945},
scopus = {2-s2.0-84942787374},
semanticscholar = {23244123},
series = {LNAI},
title = {Designing Multi-Agent Systems around an Extensible Communication Abstraction},
url = {http://link.springer.com/chapter/10.1007/3-540-46581-2_7},
volume = 1760,
wos = {000170556100007},
year = 1999
}
@inproceedings{aclt-aiia95,
acm = {761273},
author = {Omicini, Andrea and Denti, Enrico and Natali, Antonio},
booktitle = {Topics in Artificial Intelligence},
dblp = {conf/aiia/OmiciniDN95},
doi = {10.1007/3-540-60437-5_43},
editor = {Gori, Marco and Soda, Giovanni},
eisbn = {3-540-60437-5},
iris = {11585/953879},
isbn = {978-3-540-60437-2},
isbn10 = {3-540-60437-5},
issn = {0302-9743},
note = {4th Congress of the Italian Association for Artificial Intelligence (AI*IA'95), Florence, Italy, 11--13~} # oct # {~1995, Proceedings},
pages = {439--450},
publisher = {Springer-Verlag},
scholar = {9467690504149452680},
scopus = {2-s2.0-84957673013},
semanticscholar = {18358079},
series = {LNAI},
title = {Agent Coordination and Control through Logic Theories},
url = {http://link.springer.com/10.1007/3-540-60437-5_43},
volume = 992,
wos = {A1995BF24X00043},
year = 1995
}
acm = {761273},
author = {Omicini, Andrea and Denti, Enrico and Natali, Antonio},
booktitle = {Topics in Artificial Intelligence},
dblp = {conf/aiia/OmiciniDN95},
doi = {10.1007/3-540-60437-5_43},
editor = {Gori, Marco and Soda, Giovanni},
eisbn = {3-540-60437-5},
iris = {11585/953879},
isbn = {978-3-540-60437-2},
isbn10 = {3-540-60437-5},
issn = {0302-9743},
note = {4th Congress of the Italian Association for Artificial Intelligence (AI*IA'95), Florence, Italy, 11--13~} # oct # {~1995, Proceedings},
pages = {439--450},
publisher = {Springer-Verlag},
scholar = {9467690504149452680},
scopus = {2-s2.0-84957673013},
semanticscholar = {18358079},
series = {LNAI},
title = {Agent Coordination and Control through Logic Theories},
url = {http://link.springer.com/10.1007/3-540-60437-5_43},
volume = 992,
wos = {A1995BF24X00043},
year = 1995
}