Per Sort
@article{traindelay-information41,
apice = {TraindelayInformation14},
articleno = 269,
author = {Denti, Enrico and Burroni, Luca},
doi = {10.3390/info14050269},
issn = {2078-2489},
journal = {Information},
number = 5,
title = {Delay Indices for Train Punctuality},
url = {https://www.mdpi.com/2078-2489/14/5/269},
volume = 14,
year = 2023
} @article{logictech-information11,
apice = {LogictechInformation11},
articleno = 167,
author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea},
core = {304121587},
dblp = {journals/information/CalegariCDO20},
doi = {10.3390/info11030167},
editor = {Susilo, Willy},
iris = {11585/752671},
issn = {2078-2489},
journal = {Information},
keywords = {symbolic AI; logic-based technologies; intelligent systems},
lens = {000-282-226-770-373},
month = mar,
note = {Special Issue ``10th Anniversary of Information---Emerging Research Challenges''},
number = 3,
numpages = 29,
openalex = {W3012567678},
pages = {1--29},
publisher = {MDPI},
scholar = {15744297419438793629},
scopus = {2-s2.0-85082507008},
title = {Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives},
url = {https://www.mdpi.com/2078-2489/11/3/167},
volume = 11,
wos = {WOS:000524309400026},
year = 2020
} @article{lpaas-ijguc10,
apice = {LpaasIjguc10},
author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
core = {226740151},
dblp = {journals/ijguc/CalegariDMO19},
doi = {10.1504/IJGUC.2019.10022135},
editor = {de Macedo, Douglas Dyllon Jeronimo and Messina, Fabrizio},
eissn = {1741-8488},
iris = {11585/657394},
issn = {1741-847X},
journal = {International Journal of Grid and Utility Computing},
keywords = {IoT, logic programming, multi-agent systems, pervasive computing, LPaaS, artificial intelligence, interoperability},
lens = {033-556-055-655-436},
number = 4,
openalex = {W2954917416},
pages = {344--360},
publisher = {Inderscience},
scholar = {3690275178730600901},
scopus = {2-s2.0-85069787119},
title = {Logic Programming as a Service in Multi-Agent Systems for the {I}nternet of {T}hings},
url = {https://www.inderscience.com/info/inarticle.php?artid=100878},
urlpdf = {https://www.inderscienceonline.com/doi/pdf/10.1504/IJGUC.2019.10022135},
volume = 10,
wos = {WOS:000476657400005},
year = 2019
} @article{lpaas-bdcc2,
apice = {LpaasBdcc2},
articleno = 23,
author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
core = {287851424},
dblp = {journals/bdcc/CalegariC0DO18},
doi = {10.3390/bdcc2030023},
eissn = {2504-2289},
iris = {11585/640012},
journal = {Big Data and Cognitive Computing},
keywords = {Logic Programming as a Service, IoT, symbolic reasoning},
lens = {017-986-911-790-519},
number = 3,
numpages = 26,
openalex = {W2885077523},
publisher = {MDPI},
scholar = {247396456770353218},
scopus = {2-s2.0-85075881133},
title = {{LPaaS} as Micro-intelligence: Enhancing {IoT} with Symbolic Reasoning},
url = {https://www.mdpi.com/2504-2289/2/3/23},
urlpdf = {https://www.mdpi.com/2504-2289/2/3/23/pdf},
volume = 2,
year = 2018
} @article{lpaas-tplp18,
apice = {LpaasTplp18},
author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
dblp = {journals/tplp/CalegariDMO18},
doi = {10.1017/S1471068418000364},
editor = {Fioretto, Ferdinando and Pontelli, Enrico},
iris = {11585/642508},
journal = {Theory and Practice of Logic Programming},
keywords = {logic programming, distributed systems, service-oriented architectures, pervasive systems, intelligent systems, LPaaS, situatedness},
lens = {014-518-018-635-050},
month = sep,
note = {Special Issue ``Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming''},
number = {5-6},
numpages = 28,
openalex = {W2807492317},
pages = {846--873},
publisher = {Cambridge University Press},
scholar = {13482792136370336832},
scopus = {2-s2.0-85050006559},
title = {Logic Programming as a Service},
url = {https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/logic-programming-as-a-service/8A8109052E2F9EC177332F36183E80BE},
volume = 18,
wos = {WOS:000443682000005},
year = 2018
} @article{labelledlp-fi161,
apice = {LabelledlpFundinfo161},
author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
core = {195747834},
dblp = {journals/fuin/CalegariDDO18},
doi = {10.3233/FI-2018-1695},
editor = {Fiorentini, Camillo and Momigliano, Alberto and Pettorossi, Alberto},
iris = {11585/636935},
journal = {Fundamenta Informaticae},
keywords = {logic programming, labelled systems, labelled variables, formal semantics, meta-interpretation, situated intelligence},
lens = {124-906-407-590-565},
month = jul,
note = {Special Issue CILC 2016},
number = {1-2},
numpages = 22,
openalex = {W2810600471},
pages = {53--74},
scopus = {2-s2.0-85049682130},
title = {Extending Logic Programming with Labelled Variables: Model and Semantics},
url = {https://content.iospress.com/articles/fundamenta-informaticae/fi1695},
urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/636935/838171/CDDO-FI-2017.pdf},
urlpdf = {https://journals.sagepub.com/doi/pdf/10.3233/FI-2018-1695},
volume = 161,
wos = {WOS:000437260800005},
year = 2018
} @article{2p-alpnews2016,
apice = {2pAlpNews2016},
author = {Calegari, Roberta and Denti, Enrico},
journal = {ALP Newsletter},
month = dec,
publisher = {Association for Logic Programming},
title = {{B}uilding {S}mart {S}paces on the {H}ome {M}anager platform},
url = {https://www.cs.nmsu.edu/ALP/2016/12/building-smart-spaces-on-the-home-manager-platform/},
year = 2016
} @article{butlers-springerplus3,
abstract = {Many efforts today aim to energy saving, promoting the user's awareness and virtuous behavior in a sustainability perspective. Our houses, appliances, energy meters and devices are becoming smarter and connected, domotics is increasing possibilities in house automation and control, and ambient intelligence and assisted living are bringing attention onto people's needs from different viewpoints.Our assumption is that considering these aspects together allows for novel intriguing possibilities. To this end, in this paper we combine home energy management with domotics, coordination technologies, intelligent agents, ambient intelligence, ubiquitous technologies and gamification to devise novel scenarios, where energy monitoring and management is just the basic brick of a much wider and comprehensive home management system. The aim is to control home appliances well beyond energy consumption, combining home comfort, appliance scheduling, safety constraints, etc. with dynamically-changeable users' preferences, goals and priorities. At the same time, usability and attractiveness are seen as key success factors: so, the intriguing technologies available in most houses and smart devices are exploited to make the system configuration and use simpler, entertaining and attractive for users. These aspects are also integrated with ubiquitous and pervasive technologies, geo-localization, social networks and communities to provide enhanced functionalities and support smarter application scenarios, hereby further strengthening technology acceptation and diffusion.Accordingly, we first analyse the system requirements and define a reference multi-layer architectural model - the Butlers architecture - that specifies seven layers of functionalities, correlating the requirements, the corresponding technologies and the consequent value-added for users in each layer. Then, we outline a set of notable scenarios of increasing functionalities and complexity, discuss the structure of the corresponding system patterns in terms of the proposed architecture, and make this concrete by presenting some comprehensive interaction examples as comic strip stories. Next, we discuss the implementation requirements and how they can be met with the available technologies, discuss a possible architecture, refine it in the concrete case of the TuCSoN coordination technology, present a subsystem prototype and discuss its properties in the Butlers perspective.},
apice = {ButlersSpringerplus3},
author = {Denti, Enrico},
doi = {10.1186/2193-1801-3-52},
eissn = {2193-1801},
iris = {11585/223673},
journal = {SpringerPlus},
keywords = {Home management, Ambient intelligence, Energy saving, Coordination infrastructures, Multi-Agent systems, Pervasive computing, Gamification, Smart homes, Smart living},
month = jan,
number = 52,
numpages = 30,
pages = {1--30},
publisher = {Springer},
scopus = {2-s2.0-84897801502},
title = {Novel pervasive scenarios for home management: the Butlers architecture},
url = {http://www.springerplus.com/content/3/1/52/abstract},
volume = 3,
wos = {WOS:000358914200001},
year = 2014
} @article{ed-user-interaction-manifesto,
abstract = {There is a no-man's land between how the Graphical User Interfaces are typically conceived, designed and engineered in desktop applications and mobile apps, and what users actually expect: it's where the users' experience, expectations, training, habits, mental attitude come into play. New software versions add features, change the GUI layout, behavior and environment for innovation and marketing reasons, but in doing so they often disregard the value of the user experience: all the user can do is accept the new situation and trying to adapt. To make things worse, customization options are usually limited when it comes to restoring the previous environment, and downgrading restrictions in software licenses also apply. Background services may also start at the worst time, monopolizing the system against the user's will, causing frustration and possibly more serious problems due to service unavailability. In short, there's a grey cross area in software design and deployment where the user is not fully respected as a person whose experience is intrinsically a value worth preserving. In this paper we analyze and discuss some common situations from different scenarios, and exploit them to extract some golden rules for a more respected software user – the Respected User Manifesto.},
address = {Alhambra, CA 91801, USA},
apice = {EDUserInteractionManifesto},
author = {Denti, Enrico},
doi = {10.13189/wjcat.2014.020103},
eissn = {2331-4990},
iris = {11585/204016},
issn = {2331-4982},
journal = {World Journal of Computer Application and Technology},
keywords = {Human-Computer Interaction, Graphical User Interfaces Guidelines, User Experience, UI Design, Manifesto, Software Deployment, Downgrade Right},
month = {January},
note = {Available online from December 3, 2013},
number = 1,
numpages = 12,
pages = {10--21},
publisher = {Horizon Research Publishing Company},
title = {Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto},
url = {https://www.hrpub.org/journals/article_info.php?aid=1094},
urlpdf = {http://www.hrpub.org/download/20131215/WJCAT3-13701807.pdf},
volume = 2,
year = 2014
} @article{2p-alpnews2013,
apice = {2PAlpnews2013},
author = {Denti, Enrico and Omicini, Andrea and Calegari, Roberta},
iris = {11585/230475},
journal = {ALP Newsletter},
lens = {064-393-486-149-288},
month = oct,
openalex = {W2898647777},
publisher = {Association for Logic Programming},
title = {{{\sf tu}Prolog}: Making {P}rolog Ubiquitous},
url = {http://www.cs.nmsu.edu/ALP/2013/10/tuprolog-making-prolog-ubiquitous/},
year = 2013
} }}})))
((({{{ @article{weblp-ia5,
apice = {WeblpIa5},
author = {Piancastelli, Giulio and Omicini, Andrea and Denti, Enrico},
core = {226570919},
dblp = {journals/ia/PiancastelliOD11},
doi = {10.3233/IA-2011-0019},
iris = {11585/100501},
issn = {1724-8035},
journal = {Intelligenza Artificiale},
keywords = {World Wide Web, REST, Contextual Logic Programming, tuProlog, Prolog},
lens = {107-975-524-753-952},
number = 1,
openalex = {W1595037937},
pages = {151--155},
publisher = {IOS Press},
title = {Towards a Logic Framework for {W}eb Programming},
url = {https://doi.org/10.3233/IA-2011-0019},
urlpdf = {https://journals.sagepub.com/doi/pdf/10.3233/IA-2011-0019},
volume = 5,
wos = {WOS:000217543500020},
year = 2011
} }}})))
((({{{ @article{cartagows-mags6,
apice = {CartagowsMags6},
author = {Ricci, Alessandro and Denti, Enrico and Piunti, Michele},
doi = {10.3233/MGS-2010-0146},
issn = {1574-1702},
journal = {Multiagent and Grid Systems},
month = jun,
note = {Special Issue on "Agents, Web Services and Ontologies: Integrated Methodologies"},
number = 2,
pages = {105--132},
publisher = {IOS Press},
title = {A Platform for Developing {SOA/WS} Applications as Open and Heterogeneous Multi-agent Systems},
url = {https://doi.org/10.3233/MGS-2010-0146},
urlpdf = {https://journals.sagepub.com/doi/pdf/10.3233/MGS-2010-0146},
volume = 6,
year = 2010
} }}})))
((({{{ @article{soda-ijaose4,
acm = {10.1504/IJAOSE.2010.029808},
apice = {SodaIjaose4},
author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
core = {226525477},
dblp = {journals/ijaose/MolesiniDO10},
doi = {10.1504/IJAOSE.2010.029808},
eissn = {1746-1383},
iris = {11585/83014},
issn = {1746-1375},
journal = {International Journal of Agent-Oriented Software Engineering},
keywords = {Agent-Oriented Software Engineering, Methodologies, Artifacts, A&A Meta-Model, SODA, Conference Management System},
lens = {068-680-021-357-623},
number = 1,
openalex = {W2113686391},
pages = {1--31},
publisher = {Inderscience Publishers},
scopus = {2-s2.0-75649088909},
title = {Agent-based Conference Management: A Case Study in {{\sf SODA}}},
url = {https://www.inderscienceonline.com/doi/10.1504/IJAOSE.2010.029808},
urlpdf = {https://www.inderscienceonline.com/doi/pdf/10.1504/IJAOSE.2010.029808},
volume = 4,
year = 2010
} @article{orchestration-scp66,
apice = {OrchestrationScp66},
author = {Viroli, Mirko and Denti, Enrico and Ricci, Alessandro},
doi = {doi:10.1016/j.scico.2007.01.008},
editor = {Canal, Carlos and Viroli, Mirko},
issn = {0167-6423},
journal = {Science of Computer Programming},
keywords = {Multiagent systems; Orchestration languages; Coordination models; Languages process algebra},
month = may,
note = {Special Issue on Foundations of Coordination Languages and Software Architectures 2005},
number = 3,
pages = {226--245},
publisher = {Elsevier Science B.V.},
title = {Engineering a {BPEL} Orchestration Engine as a Multi-agent System},
url = {https://www.sciencedirect.com/science/article/pii/S0167642307000378},
volume = 66,
year = 2007
} @article{tuprolog-scp57,
acm = {10.1016/j.scico.2005.02.001},
apice = {TuprologScp57},
author = {Denti, Enrico and Omicini, Andrea and Ricci, Alessandro},
core = {82084901},
dblp = {journals/scp/DentiOR05},
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},
lens = {088-500-923-228-374},
month = aug,
number = 2,
numpages = 34,
openalex = {W1996005700},
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 = {https://www.sciencedirect.com/science/article/pii/S0167642305000158},
volume = 57,
wos = {WOS:000230801800004},
year = 2005
} @article{dp2003,
apice = {DP2003},
author = {Denti, Enrico and Prati, Nando},
booktitle = {Essays on Cooperative Games - in honor of Guillermo Owen},
doi = {10.1007/s11238-004-5644-4},
issn = {0040-5833},
journal = {Theory and Decision},
month = {2},
note = {Double Special Issue},
number = 2,
pages = {183--192},
publisher = {Kluwer Academic Publishers},
title = {Relevance of Winning Coalitions in Indirect Control of Corporations},
volume = 56,
year = 2004
} @article{tucson-ijcis11,
apice = {TucsonIjcis11},
author = {Ricci, Alessandro and Omicini, Andrea and Denti, Enrico},
dblp = {journals/ijcis/RicciOD02},
doi = {10.1142/S0218843002000637},
editor = {Klusch, Matthias and Zambonelli, Franco},
iris = {11585/939233},
issn = {0218-8430},
journal = {International Journal of Cooperative Information Systems},
lens = {094-438-337-197-686},
month = sep # {/} # dec,
note = {Special Issue: Cooperative {I}nformation {A}gents -- Best Papers of {CIA 2001}},
number = {3 \& 4},
openalex = {W1985688307},
pages = {355--379},
publisher = {World Scientific},
scopus = {2-s2.0-0036742772},
title = {Virtual Enterprises and Workflow Management as Agent Coordination Issues},
url = {https://www.worldscientific.com/doi/10.1142/S0218843002000637},
volume = 11,
wos = {WOS:000178160900009},
year = 2002
} @article{tools-aai16,
apice = {ToolsAai16},
author = {Denti, Enrico and Omicini, Andrea and Ricci, Alessandro},
dblp = {journals/aai/DentiOR02},
doi = {10.1080/08839510290030462},
editor = {Müller, Jörg P. and Petta, Paolo},
eissn = {1087-6545},
iris = {11585/903191},
issn = {0883-9514},
journal = {Applied Artificial Intelligence},
lens = {008-828-840-726-850},
month = oct # {--} # dec,
note = {Special Issue: Engineering Agent Systems -- Best of ``From Agent Theory to Agent Implementation (AT2AI-3)''},
number = {9--10},
openalex = {W2153326881},
pages = {721--752},
publisher = {Taylor \& Francis},
scopus = {2-s2.0-0036820240},
title = {Coordination Tools for {MAS} Development and Deployment},
url = {https://www.tandfonline.com/doi/abs/10.1080/08839510290030462},
urlopenaccess = {http://www.tandfonline.com/doi/epdf/10.1080/08839510290030462},
urlpdf = {http://www.tandfonline.com/doi/pdf/10.1080/08839510290030462},
volume = 16,
wos = {WOS:000179222400004},
year = 2002
} @article{respect-scp41,
apice = {RespectScp41},
author = {Omicini, Andrea and Denti, Enrico},
core = {82395652},
dblp = {journals/scp/OmiciniD01},
doi = {10.1016/S0167-6423(01)00011-9},
iris = {11585/903090},
issn = {0167-6423},
journal = {Science of Computer Programming},
lens = {118-882-922-396-272},
month = nov,
number = 3,
numpages = 18,
openalex = {W2005818379},
pages = {277--294},
publisher = {Elsevier Science B. V.},
scopus = {2-s2.0-0035501083},
title = {From Tuple Spaces to Tuple Centres},
url = {https://www.sciencedirect.com/science/article/pii/S0167642301000119},
volume = 41,
wos = {WOS:000173598300003},
year = 2001
} @article{luce-jaamas4,
acm = {10.1023/A:1010039317965},
apice = {LuceJaamas4},
author = {Denti, Enrico and Omicini, Andrea},
dblp = {journals/aamas/DentiO01},
doi = {10.1023/A:1010039317965},
eissn = {1573-7454},
iris = {11585/903091},
issn = {1387-2532},
journal = {Autonomous Agents and Multi-Agent Systems},
lens = {134-309-489-581-431},
month = mar # {-} # jun,
number = {1-2},
openalex = {W1570586234},
pages = {139--141},
publisher = {Springer Netherlands},
scopus = {2-s2.0-0035587852},
title = {{\sf {LuCe}}: A Tuple-based Coordination Infrastructure for {P}rolog and {J}ava Agents},
url = {https://link.springer.com/10.1023/A:1010039317965},
volume = 4,
wos = {WOS:000167543800008},
year = 2001
} @article{pd2001algorithm,
abstract = {In this paper we study the case of a firm whose stockholders (briefly SHs) are companies whose property is in turn split into many SHs. – the so-called indirect SHs. Although most of the following considerations are referred to the case of indirect shareholding, they can be referred also to other cases. We first introduce some definitions (apart from the first, taken from gambarelli and Owen 81994)), then we introduce an algorithm to find all the winning coalitions in the indirect control problem},
apice = {PD2001algorithm},
author = {Nando Prati and Denti, Enrico},
eissn = {1129-6569},
issn = {1127-1035},
journal = {Decisions in Economics and Finance},
month = {March},
note = {A Journal on Applied Mathematics},
number = 2,
numpages = 6,
pages = {153--158},
publisher = {Springer},
title = {An Algorithm for Winning Coalitions in Indirect Control of Corporations},
url = {https://link.springer.com/10.1007/s102030170005},
urlpdf = {https://link.springer.com/content/pdf/10.1007%2Fs102030170005.pdf},
volume = 24,
year = 2001
} @article{tucson-aiia2001,
apice = {TucsonAiia2001},
author = {Ricci, Alessandro and Omicini, Andrea and Denti, Enrico},
journal = {AI*IA Notizie},
month = dec,
number = 4,
pages = {48--49},
title = {Enlightened Agents in {{\sf TuCSoN,
volume = {XIV},
year = 2001
} }}}
@article{luce-spe99,
acm = {334472},
apice = {LuceSpe99},
author = {Denti, Enrico and Omicini, Andrea},
dblp = {journals/spe/DentiO99},
doi = {10.1002/(SICI)1097-024X(199910)29:12<1103::AID-SPE273>3.0.CO;2-E},
editor = {Comer, Douglas E. and Wellings, Andy J.},
eissn = {1097-024X},
iris = {11585/903187},
issn = {0038-0644},
journal = {Software: Practice and Experience},
lens = {061-216-649-791-990},
month = oct,
number = 12,
openalex = {W2054999976},
pages = {1103--1121},
publisher = {John Wiley \& Sons, Ltd.},
scopus = {2-s2.0-0033206756},
title = {An Architecture for Tuple-based Coordination of Multi-Agent Systems},
url = {https://onlinelibrary.wiley.com/doi/10.1002/(SICI)1097-024X(199910)29:12<1103::AID-SPE273>3.0.CO;2-E/abstract},
urlpdf = {http://onlinelibrary.wiley.com/doi/10.1002/(SICI)1097-024X(199910)29:12<1103::AID-SPE273>3.0.CO;2-E/pdf},
volume = 29,
wos = {WOS:000083073900004},
year = 1999
} @article{ed1988mcmsx,
address = {Roma, Italia},
apice = {ED1988McMsx},
author = {Denti, Enrico},
editor = {Francesco Ragusa},
journal = {MC Microcomputer},
keywords = {Turbo Pascal, Grafica, MSX},
month = {Marzo},
number = 3,
numpages = 3,
pages = {246--248},
title = {Grafica in Turbo Pascal},
volume = 72,
year = 1988
} @inproceedings{kotlindsi4prolog-woa2020,
address = {Aachen, Germany},
apice = {Kotlindsi4prologWoa2020},
author = {Ciatto, Giovanni and Calegari, Roberta and Siboni, Enrico and Denti, Enrico and Omicini, Andrea},
booktitle = {WOA 2020 -- 21th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CiattoCSDO20},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/781391},
issn = {1613-0073},
keywords = {object-oriented programming, multi-paradigm languages, domain-specific languages, Kotlin},
lens = {118-082-078-695-668},
location = {Bologna, Italy},
month = oct,
note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
numpages = 18,
openalex = {W3094844482},
pages = {219--236},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85095597762},
series = {CEUR Workshop Proceedings},
subseries = {AIxIA Series},
title = {{\sf 2}{P}-{\sc {K}t}: logic programming with objects \& functions in {K}otlin},
url = {http://ceur-ws.org/Vol-2706/paper14.pdf},
urlpdf = {http://ceur-ws.org/Vol-2706/paper14.pdf},
volume = 2706,
wos = {WOS:001788676900016},
year = 2020
} @incollection{edgeintelligenceguidelines-idcs2019,
apice = {EdgeintelligenceguidelinesIdcs2019},
author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea},
booktitle = {Internet and Distributed Computing Systems (IDCS 2019)},
core = {275904539},
dblp = {conf/idcs/CalegariCDO19},
doi = {10.1007/978-3-030-34914-1_25},
eisbn = {978-3-030-34914-1},
eissn = {1611-3349},
iris = {11585/705119},
isbn = {978-3-030-34913-4},
issn = {0302-9743},
keywords = {design guidelines, CPCS, micro-intelligence, LPaaS, Situated Logic Programming, Edge intelligence},
lens = {040-178-813-197-058},
location = {Napoli, Italy},
month = {10--12}}},
publisher = {Springer},
scopus = {2-s2.0-85075905010},
series = {Lecture Notes in Computer Science},
title = {Engineering Micro-intelligence at the Edge of {CPCS}: Design Guidelines},
url = {https://link.springer.com/10.1007/978-3-030-34914-1_25},
volume = 11874,
year = 2019
} @inproceedings{spacetimelp-woa2018,
apice = {SpacetimelpWoa2018},
author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CalegariC0DO18},
editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
iris = {11585/646038},
keywords = {LPaaS, situatedness, logic programming, SOA, space-time programming},
lens = {143-593-833-862-986},
location = {Palermo, Italy},
month = {29--30}}},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85054314622},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Logic Programming in Space-Time: The Case of Situatedness in {LPaaS}},
url = {https://ceur-ws.org/Vol-2215/paper_11.pdf},
urlpdf = {https://ceur-ws.org/Vol-2215/paper_11.pdf},
volume = 2215,
year = 2018
} @inproceedings{lpaas-ic2e2018,
apice = {LpaasIc2e2018},
author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
booktitle = {2018 IEEE International Conference on Cloud Engineering (IC2E 2018)},
core = {287851432},
dblp = {conf/ic2e/CalegariC0DO18},
doi = {10.1109/IC2E.2018.00061},
ieee = {8360344},
iris = {11585/636933},
isbn = {978-1-5386-5008-0},
lens = {029-133-739-786-761},
month = {17--20}}},
pages = {292--297},
publisher = {IEEE Computer Society},
scholar = {470119961420072962},
scopus = {2-s2.0-85048334877},
title = {Micro-intelligence for the {IoT}: {SE} Challenges and Practice in {LPaaS}},
url = {https://ieeexplore.ieee.org/document/8360344/},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8360344},
wos = {WOS:000759774400038},
year = 2018
} @inproceedings{blockchainlp-woa2018,
apice = {BlockchainlpWoa2018},
author = {Ciatto, Giovanni and Calegari, Roberta and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CiattoC0DO18},
editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
iris = {11585/646042},
keywords = {blockchain, logic programming, smart contracts},
lens = {054-724-593-838-469},
location = {Palermo, Italy},
month = jun,
openalex = {W2893170444},
pages = {69--74},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {816353538952619884},
scopus = {2-s2.0-85054323401},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {From the Blockchain to Logic Programming and Back: Research Perspectives},
url = {https://ceur-ws.org/Vol-2215/paper_12.pdf},
urlpdf = {https://ceur-ws.org/Vol-2215/paper_12.pdf},
volume = 2215,
year = 2018
} @inbook{calegari2018,
address = {"Cham"},
apice = {DCKES2017},
author = {"Calegari, Roberta},
booktitle = {"Intelligent Interactive Multimedia Systems and Services 2017"},
doi = {"10.1007/978-3-319-59480-4_45"},
editor = {"De Pietro, Giuseppe},
isbn = {"978-3-319-59480-4"},
note = {"Proceedings of IIMSS 2017, Vilamoura, Portugal, 21-23 June 2017"},
pages = {"451--460"},
publisher = {"Springer International Publishing"},
title = {"Context Reasoning and Prediction in Smart Environments: The Home Manager Case"},
url = {"https://doi.org/10.1007/978-3-319-59480-4_45"},
year = {"2018"}
} @inproceedings{lpaas-icnsc2017,
apice = {LpaasIcnsc2017},
author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
booktitle = {2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC 2017)},
core = {153482730},
dblp = {conf/icnsc/CalegariD0O17},
doi = {10.1109/ICNSC.2017.8000070},
editor = {Fortino, Giancarlo and Zhou, MengChu and Lukszo, Zofia and Vasilakos, Athanasios V. and Basile, Francesco and Palau, Carlos and Liotta, Antonio and Fanti, Maria Pia and Guerrieri, Antonio and Vinci, Andrea},
eisbn = {978-1-5090-4428-0},
ieee = {8000070},
iris = {11585/605740},
isbn = {978-1-5090-4428-3},
keywords = {IoT, logic programming, LPaaS, pervasive computing, artificial intelligence, interoperability},
lens = {085-467-114-978-000},
location = {Calabria, Italy},
month = may,
numpages = 6,
openalex = {W2743052233},
pages = {72--77},
publisher = {IEEE},
scopus = {2-s2.0-85025141526},
title = {{L}ogic {P}rogramming as a {S}ervice ({LPaaS}): Intelligence for the {IoT}},
url = {https://ieeexplore.ieee.org/document/8000070/},
urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8000070},
wos = {WOS:000463480000013},
year = 2017
} @incollection{bison-insci2016,
apice = {BisonInsci2016},
author = {Cevenini, Claudia and Denti, Enrico and Omicini, Andrea and Cerno, Italo},
booktitle = {Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action},
chapter = 25,
core = {156953492},
dblp = {conf/insci/CeveniniDOC16},
doi = {10.1007/978-3-319-45982-0_25},
editor = {Bagnoli, Franco and Satsiou, Anna and Stavrakakis, Ioannis and Nesi, Paolo and Pacini, Giovanna and Welp, Yanina and Tiropanis, Thanassis and DiFranzo, Dominic},
eisbn = {978-3-319-45982-0},
iris = {11585/562456},
isbn = {978-3-319-45981-3},
issn = {0302-9743},
keywords = {Privacy, Socio-technical systems, Contact centres, Anonymisation},
lens = {063-968-276-264-93X},
location = {Firenze, Italy},
month = {12-14}}},
publisher = {Springer International Publishing},
scopus = {2-s2.0-84986203603},
series = {Lecture Notes in Computer Science},
title = {Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the {EU}},
url = {https://link.springer.com/10.1007/978-3-319-45982-0_25},
volume = 9934,
wos = {WOS:000389030700025},
year = 2016
} @inproceedings{acec-wetice2016,
apice = {AcecWetice2016},
articleno = 33,
author = {Giacomo Cabri and Massimo Cossentino and Denti, Enrico and Paolo Giorgini and Molesini, Ambra and Monica Mordonini and Michele Tomaiuolo and Luca Sabatucci},
booktitle = {Proc. 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises},
doi = {10.1109/WETICE.2016.11},
institution = {IEEE},
isbn = {978-1-5090-1663-1/16},
keywords = {adaptation, socio-technical systems, smart spaces},
location = {Paris, France},
month = {June},
numpages = 6,
pages = {3--8},
publisher = {IEEE Computer Society},
scopus = {2-s2.0-84983802946},
title = {Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces},
venue = {ACEC - WETICE 2016},
year = 2016
} @inproceedings{lvlp-cilc2016,
address = {Milano, Italy},
apice = {Label2pCilc016},
author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
booktitle = {CILC 2016 – Italian Conference on Computational Logic. Proceedings of the 31st Italian Conference on Computational Logic},
dblp = {conf/cilc/CalegariDDO16},
editor = {Fiorentini, Camillo and Momigliano, Alberto},
iris = {11585/562441},
issn = {1613-0073},
keywords = {labelled logic programming; labelled systems; formal semantics},
lens = {056-848-477-065-080},
month = {20-22}}},
pages = {5--20},
publisher = {CEUR-WS},
scopus = {2-s2.0-84985916728},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Labelled Variables in Logic Programming: Foundations},
url = {https://ceur-ws.org/Vol-1645/paper_7.pdf},
volume = 1645,
year = 2016
} @inproceedings{lpaas-woa2016,
apice = {LpaasWoa2016},
author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
booktitle = {WOA 2016 -- 17th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CalegariDMO16},
editor = {Santoro, Corrado and Messina, Fabrizio and De Benedetti, Massimiliano},
iris = {11585/562436},
issn = {1613-0073},
keywords = {Logic programming; Pervasive systems; IoT; LP-as-a-service},
lens = {152-299-063-602-887},
location = {Catania, Italy},
month = {29--30}}},
pages = {79--84},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-84985995176},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Towards Logic Programming as a Service: Experiments in {\sf tu}{P}rolog},
url = {https://ceur-ws.org/Vol-1664/w14.pdf},
volume = 1664,
year = 2016
} @inproceedings{insci2016-smartspace,
abstract = {Smart Spaces outline an intriguing application scenario where people are immersed in time and space in an augmented virtual environment, which suitably exploits ubiquitous computing technologies, space and time awareness, and pervasive intelligence. A number of technical, social, pragmatic challenges, arising from several perspectives and domains, need to be dealt with. Moving from a Socio-Technical Systems approach, this paper first introduces the Butlers for Smart Spaces (BSS) architecture, which specialises the Butlers architecture originally defined for Smart Homes to the Smart Spaces scenario; then, it shows how BSS can be mapped onto the Home Manager platform, and discussed how a Smart Space can be designed and developed on its top-in general, and with regard a specific example.},
apice = {HomeManagerInsci16},
author = {Calegari, Roberta and Denti, Enrico},
booktitle = {Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action},
chapter = 26,
doi = {10.1007/978-3-319-45982-0_26},
editor = {Franco Bagnoli and Anna Satsiou and Ioannis Stavrakakis and Paolo Nesi and Giovanna Pacini and Yanina Welp and Thanassis Tiropanis and Dominic DiFranzo},
eisbn = {978-3-319-45982-0},
iris = {11585/562992},
isbn = {978-3-319-45981-3},
issn = {0302-9743},
keywords = {Socio-Technical Systems, Smart Spaces, Home Manager, Home intelligence, Butlers architecture},
location = {Firenze, Italy},
month = {12-14 September},
note = {Accepted as a poster},
numpages = 12,
pages = {306--317},
publisher = {Springer International Publishing},
series = {Lecture Notes in Computer Science},
title = {The Butlers Framework for Socio-Technical Smart Spaces},
url = {https://link.springer.com/10.1007/978-3-319-45982-0_26},
volume = 9934,
wos = {WOS:000389030700026},
year = 2016
} @conference{home-man2-icaart2015,
address = {Lisbon, Portugal},
apice = {HomeMan2icaart2015},
author = {Denti, Enrico and Calegari, Roberta},
booktitle = {7th International Conference on Agents and Artificial Intelligence 2015 (ICAART 2015)},
doi = {10.5220/0005284002490256},
editor = {Loiseau, Stephane and Filipe, Joaquim and Duval, Beatrice and Van Den Herik, Jaap},
isbn = {978-989-758-073-4},
month = {10--12}}},
title = {{B}utler-ising {H}ome{M}anager: A Pervasive Multi-Agent System for Home Intelligence},
year = 2015
} @inproceedings{labelled2p-dcaiia2015,
address = {Ferrara, Italy},
apice = {Labelled2pDcaiia2015},
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},
lens = {077-260-476-984-186},
location = {Ferrara, Italy},
month = {23--24}}},
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
} @inproceedings{homemanager-its2014,
address = {Taipei, Taiwan},
apice = {HomeManITS2014},
author = {Denti, Enrico and Calegari, Roberta and Prandini, Marco},
booktitle = {5th International Conference on Internet Technologies \& Society 2014 (ITS 2014)},
editor = {Kommers, Piet and Issa, Tomayess and Chang, Dian-Fu and Isaías, Pedro},
isbn = {978-989-8533-29-6},
month = {10--12}}},
publisher = {IADIS Press},
title = {Extending a Smart Home Multi-Agent System with Role-Based Access Control},
year = 2014
} @inproceedings{pma12,
abstract = {Functional Structural Plant Modeling (FSPM) studies the interaction between plant and environment including architectural and morphological features. VPN (Virtual Plant on the Net) has been developed to analyze the benefits of having a plant simulation model (Virtual Plant Engine,VPE) apart from a graphic client (Virtual Plant Interface,VPI). VPI use Java3D to render the plant in a virtual scene where the skeleton of simulated plants is enriched of VRML-2 features. VPI also allows the user to interact actively with the plant cutting elements and see it re-grown from VPE. Both VPI and VPE have an OO approach to represent and model a wide range of plant.},
apice = {PMA12},
author = {Giuliano Vitali and Eugenio Magnanini and Nico Mennucci and Denti, Enrico},
booktitle = {2012 IEEE 4th International Symposium on Plant Growth Modeling, Simulation, Visualization and Applications},
doi = {10.1109/PMA.2012.6524865},
editor = {Mengzhen Kang and Yves Dumont and Yan Guo},
iris = {11585/154286},
isbn = {978-1-4673-0067-4},
isbn13 = {978-1-4673-0067-4},
keywords = {FSPM, Object-Oriented, Virtual Plants},
numpages = 4,
pages = {409--412},
publisher = {IEEE Press},
scopus = {2-s2.0-84879674867},
title = {VPN - Client-server object-oriented virtual plant modeling tool},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6524865&refinements%3D4278825126%26sortType%3Dasc_p_Sequence%26filter%3DAND%28p_IS_Number%3A6524799%29},
urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6524865},
year = 2012
} @inproceedings{mabs-woa2011,
apice = {MabsWoa2011},
author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
booktitle = {WOA 2011 -- XII Workshop Nazionale ``Dagli Oggetti agli Agenti''},
dblp = {conf/woa/MolesiniDO11},
editor = {Fortino, Giancarlo and Garro, Alfredo and Palopoli, Luigi and Russo, Wilma and Spezzano, Giandomenico},
iris = {11585/103230},
issn = {1613-0073},
keywords = {MABS, medioeval battles, MAS, SODA, TuCSoN, AOSE},
lens = {058-689-466-906-152},
location = {Rende, Italy},
month = {4-6}}},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-84868677911},
series = {CEUR Workshop Proceedings},
title = {{\sf BaSi}: Multi-Agent Based Simulation for Medieval Battles},
urlpdf = {http://ceur-ws.org/Vol-741/ID11_MolesiniDentiOmicini.pdf},
volume = 741,
year = 2011
} @inproceedings{sec-icaart2010,
address = {Valencia, Spain},
apice = {SecIcaart2010},
author = {Molesini, Ambra and Prandini, Marco and Nardini, Elena and Denti, Enrico},
booktitle = {2nd International Conference on Agents and Artificial Intelligence (ICAART 2010)},
editor = {Filipe, Joaquim and Fred, Ana and Sharp, Bernadette},
isbn = {978-989-674-022-1},
month = {22--24}}},
publisher = {INSTICC},
title = {Risk Analysis and Deployment Security Issues in a Multi-Agent System},
volume = 2,
year = 2010
} @inproceedings{virtualplants-fspm2010,
abstract = {In Functional Structural Plant Modeling a main objective is the comprehension of the interaction between plant morphology and environment, which means the need of developing tools allowing the user to validate a mathematical model on the basis of its graphical output: the Virtual Plant (VP). In this study a client-server approach has been used to have the VP simulation engine apart from the VP rendering, easy to be used also on the internet, whose parts could be developed apart by different competencies (engine developer, parameter estimator, tester) and using different computing resources. Client and server applications communicate using the SOAP protocol, which is used to exchange XML documents. An XML dialect (Virtual Plant Modeling Language – VPML) has been coined to code statically a plant grown within a give environment (climate) and a time interval. VPML may code a single plantule as much as a full plant history, made of several snapshots taken during the growing period. VPML only maps plant structure, that is how plant modules (internode, bud, petiole, blade) are connected, together with the values of their parameters, both graphical and physiological. Graphic features of plant modules are got from separate VRML files, and used on the client to build- up the VP graphic aspect. The client also allows the user to interact with the virtual plant profiting of the native features of Java3D: user can select, query and prune single modules and submit the modified plant to the server to have it grown to another date.},
apice = {VirtualplantsFspm2010},
author = {Vitali, Giuliano and Magnanini, Eugenio and Mennucci, Niko and Denti, Enrico},
booktitle = {Proceedings of the 6th International Workshop on Functional-Structural Plant Models},
editor = {DeJong, Theodore and Da Silva, David},
keywords = {virtual plant, modeling, java, botany},
month = sep,
numpages = 1,
pages = {240},
publisher = {UCDAVIS, California},
title = {Interacting with Virtual Plants: a Client-Server Approach},
url = {https://www.plantsciences.ucdavis.edu/symposium/2010/fspm/main/proceedings.htm},
urlpdf = {http://www.plantsciences.ucdavis.edu/symposium/2010/fspm/pdf/Proceedings_FSPM2010.pdf},
year = 2010
} @article{vmdagro2010,
abstract = {Recently the sector of Functional Structural Plant Modeling (FSPM) has significatively grown (AA.VV., 2004,2007) attracting the attention of researchers from several branches of biological sciences. Objective of FSP Modelers is using a morphological characterization to improve plant eco-physiological modeling. In some case they move from pure mathematical and geometrical simulators used in animation movies and landscape design, in other cases they are to interpretate external characters of a plant. Several tools has been developed, some freely downloadable, others with a commercial mean. Even when they are available at a collaborative level, the plant simulating engine is often embedded with graphics and few efforts has been made to distinguish the task of making a plant from that of representing it on a screen which also means define a standard to code plants. Communicating a virtual plant between programs with different purposes not only allow for a better use of computer resourses but could allow for plants interchange between researchers. The development of the project required to define and reach several objectives, as the possibility to work on a virtual-plant project at a team level, with different skillness and competencies, and to define a standard language to represent plant structure separated from the geometrical features. Even if the first objective was fullfilled, it seems to require a powerful server when more clients are run at same time, as in web-games. About the second it is probably a former step toward a proposal for an open format for interchange plants at structural level. The simulator, is at present very simple and is still lacking a radiative environment. Java3D allows for self-shading but not for reciprocal shading. Other features which could be important for realistic rendering is physical collisions and gravity, both important to improve space occupation of elements parts in light and other atmospheric interactions. From the other side, the system is per se, already able to simulate a number of plants.},
apice = {VMDAgro2010},
author = {Giuliano Vitali and Eugenio Magnanini and Denti, Enrico},
booktitle = {Proceedings of AGRO 2010 - the XI ESA Congress, Montpellier, France},
isbn = {978-2-909613-01-7},
keywords = {virtual plant, modeling, java, client-server},
month = {September},
note = {August 29 - September 3, 2010},
numpages = 2,
pages = {913--914},
publisher = {Pure Impressions, Montpellier, France},
title = {Simulate plants: a client-server graphic approach},
year = 2010
} @incollection{aose-ccis67,
apice = {AoseCcis67},
author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
booktitle = {Agents and Artificial Intelligence},
core = {226552740},
dblp = {conf/icaart/MolesiniDO09a},
doi = {10.1007/978-3-642-11819-7_16},
editor = {Filipe, Joaquim and Fred, Ana and Sharp, Bernadette},
eisbn = {978-3-642-11819-7},
iris = {11585/93505},
isbn = {978-3-642-11818-0},
issn = {1865-0929},
lens = {059-593-937-401-872},
note = {International Conference (ICAART 2009), Porto, Portugal, 19-21 January 2009. Revised Selected Papers},
openalex = {W1426718461},
pages = {205--218},
publisher = {Springer},
scopus = {2-s2.0-77957599274},
series = {Communications in Computer and Information Science},
title = {{H}ome{M}anager: Testing Agent-Oriented Software Engineering in Home Intelligence},
url = {https://link.springer.com/10.1007/978-3-642-11819-7_16},
volume = 67,
wos = {WOS:000278079200016},
year = 2010
} @inproceedings{aose-sac09,
acm = {1529429},
apice = {AoseSac2009},
author = {Molesini, Ambra and Nardini, Elena and Denti, Enrico and Omicini, Andrea},
booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
core = {226493152},
dblp = {conf/sac/MolesiniDNO09},
doi = {10.1145/1529282.1529429},
editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
iris = {11585/71832},
isbn = {978-1-60558-166-8},
keywords = {Multi-agent systems, AOSE, software process, methodology, MAS infrastructures, SODA, TuCSoN, SPEM, situational method engineering},
lens = {118-403-174-484-806},
location = {Honolulu, Hawai'i, USA},
month = {8--12}}},
publisher = {ACM},
scopus = {2-s2.0-72949123438},
title = {Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures},
url = {1529429},
volume = {II},
year = 2009
} @inproceedings{aose-icaart2009,
apice = {SodaIcaart2009},
author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
booktitle = {International Conference on Agents and Artificial Intelligence (ICAART 2009)},
dblp = {conf/icaart/MolesiniDO09},
editor = {Filipe, Joaquim and Fred, Ana and Sharp, Bernadette},
iris = {11585/70534},
isbn = {978-989-8111-66-1},
lens = {149-061-137-456-328},
location = {Porto, Portugal},
month = {19--21}}},
publisher = {INSTIL},
scopus = {2-s2.0-70349464966},
title = {An Agent-based Application for Home Intelligence},
wos = {WOS:000267058000059},
year = 2009
} @incollection{weblp-ceur487,
apice = {WeblpCeur487},
author = {Piancastelli, Giulio and Omicini, Andrea and Denti, Enrico},
booktitle = {Il Milione (i.e. $2\hat{}}},
editor = {Baldoni, Matteo and Baroglio, Cristina},
iris = {11585/82474},
issn = {1613-0073},
keywords = {World Wide Web, REST, Contextual Logic Programming, tuProlog, Prolog},
month = aug,
note = {Proceedings of the Day Dedicated to Prof. Alberto Martelli. Turin, Italy, 3 June 2008},
pages = {15--19},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-84893178974},
series = {CEUR Workshop Proceedings},
title = {Towards a Logic Language and Framework for {W}eb Programming},
url = {http://CEUR-WS.org/Vol-487/paper3.pdf},
urlpdf = {http://CEUR-WS.org/Vol-487/paper3.pdf},
volume = 487,
year = 2009
} @incollection{soda-esawIX,
acm = {10.1007/978-3-642-02562-4_4},
apice = {SodaEsawIX},
author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
booktitle = {Engineering Societies in the Agents World IX},
core = {226524222},
dblp = {conf/esaw/MolesiniDO08},
doi = {10.1007/978-3-642-02562-4_4},
editor = {Artikis, Alexander and Picard, Gauthier and Vercouter, Laurent},
eissn = {1611-3349},
iris = {11585/82471},
isbn = {978-3-642-02561-7},
issn = {0302-9743},
keywords = {RBAC; RBAC-MAS; SODA; Agent-Oriented Software Engineering},
lens = {111-571-128-613-652},
month = jun,
note = {9th International Workshop (ESAW'08), 24--26~} # sep # {~2008, Saint-\'{E}tienne, France. Revised Selected Papers},
openalex = {W2095694412},
pages = {69--84},
publisher = {Springer},
scopus = {2-s2.0-70349335669},
series = {Lecture Notes in Computer Science},
title = {{RBAC-MAS} \& {{\sf SODA}}: Experimenting {RBAC} in {AOSE}},
url = {https://link.springer.com/10.1007/978-3-642-02562-4_4},
volume = 5485,
wos = {WOS:000268328400004},
year = 2009
} @inproceedings{eclipse2p-ceur436,
apice = {Eclipse2pCeur436},
author = {Piancastelli, Giulio and Denti, Enrico},
booktitle = {Eclipse-IT 2008 -- 3rd Italian Workshop on Eclipse Technologies},
editor = {Lanubile, Filippo},
location = {Bari, Italy},
scopus = {2-s2.0-84885705295},
series = {CEUR Workshop Proceedings},
title = {Designing a Development Environment for Logic and Multi-Paradigm Programming},
url = {https://ceur-ws.org/Vol-436/paper2.pdf},
volume = 436,
year = 2009
} @inproceedings{soda-woa2008,
address = {Palermo, Italy},
apice = {SodaWoa2008},
author = {Molesini, Ambra and Nardini, Elena and Denti, Enrico and Omicini, Andrea},
booktitle = {9th Workshop ``From Objects to Agents'' (WOA 2008) -- Evolution of Agent Development: Methodologies, Tools, Platforms and Languages},
dblp = {conf/woa/Molesini0DO08},
editor = {Baldoni, Matteo and Cossentino, Massimo and De Paoli, Flavio and Seidita, Valeria},
iris = {11585/70468},
isbn = {978-88-6122-122-2},
keywords = {SPEM, SODA, OMG standard, Meta-modelling, AOSE Methodologies},
lens = {052-647-296-931-297},
month = nov,
openalex = {W2804755460},
pages = {108--114},
publisher = {Seneca Edizioni},
scopus = {2-s2.0-84868687104},
title = {Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: {SPEM} 2.0 on {{\sf SODA,
url = {https://www.pa.icar.cnr.it/woa08/materiali/Proceedings.pdf},
year = 2008
} }}}
@incollection{soda-esawVIII,
acm = {10.1007/978-3-540-87654-0_17},
apice = {SodaEsawVIII},
author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
booktitle = {Engineering Societies in the Agents World VIII},
core = {226460820},
dblp = {conf/esaw/MolesiniDO07},
doi = {10.1007/978-3-540-87654-0},
editor = {Artikis, Alexander and O'Hare, Gregory and Stathis, Kostas and Vouros, George},
eissn = {1611-3349},
iris = {11585/62573},
isbn = {978-3-540-87653-3},
issn = {0302-9743},
lens = {052-658-671-733-377},
month = sep,
note = {8th International Workshop (ESAW'07), 22--24~} # oct # {~2007, Athens, Greece. Revised Selected Papers},
openalex = {W2180339940},
pages = {300--317},
publisher = {Springer},
scopus = {2-s2.0-55249105476},
series = {Lecture Notes in Computer Science},
title = {From {AO} Methodologies to {MAS} Infrastructures: The {{\sf SODA}} Case Study},
url = {https://link.springer.com/10.1007/978-3-540-87654-0_17},
urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-540-87654-0_17.pdf},
volume = 4995,
wos = {WOS:000261347600017},
year = 2008
} @inproceedings{ri-dl-pppj08,
apice = {JavaSecPppj08},
author = {Riccioni, Anna and Denti, Enrico and Laschi, Roberto},
booktitle = {6th ACM International Symposium on Principles and Practice of Programming in Java (PPPJ 2008) - Modena, Italy, 9-11 September 2008},
doi = {10.1145/1411732.1411735},
editor = {Vega, Louis and Amaral, Vasco and Horspool, Nigel and Cabri, Giacomo},
isbn = {978-1-60558-223-8},
month = oct,
pages = {13--22},
publisher = {ACM},
series = {ACM International Conference Proceeding},
title = {An experimental environment for teaching {J}ava Security},
volume = 347,
year = 2008
} @inproceedings{soda-esaw08,
address = {Saint-Étienne, France},
apice = {SodaEsaw2008},
author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
booktitle = {9th International Workshop ``Engineering Societies in the Agents World'' (ESAW'08)},
keywords = {RBAC; RBAC-MAS; SODA; Agent-Oriented Software Engineering},
month = {24--26}}}}: Experimenting {RBAC} in {AOSE}},
url = {https://www.emse.fr/esaw08/submissions/esaw2008_submission_5.pdf},
urlpdf = {https://www.emse.fr/esaw08/submissions/esaw2008_submission_5.pdf},
year = 2008
} @inproceedings{tuprolog-eit08,
apice = {TuprologEit08},
author = {Piancastelli, Giulio and Denti, Enrico},
booktitle = {Eclipse-IT 2008. 3rd Italian Workshop on Eclipse Technologies. Proceedings},
editor = {Lanubile, Filippo},
month = nov,
pages = {17--26},
title = {Designing a Development Environment for Logic and Multi-Paradigm Programming},
year = 2008
} @inproceedings{aose-sac08,
acm = {1363853},
address = {Fortaleza, Ceará, Brazil},
apice = {AoseSac2008},
author = {Nardini, Elena and Molesini, Ambra and Omicini, Andrea and Denti, Enrico},
booktitle = {23th ACM Symposium on Applied Computing (SAC 2008)},
core = {226460602},
dblp = {conf/sac/NardiniMOD08},
doi = {10.1145/1363686.1363853},
editor = {Wainwright, Roger L. and Haddad, Hisham M. and Menezes, Ronaldo and Viroli, Mirko},
iris = {11585/62494},
isbn = {978-1-59593-753-7},
keywords = {AOSE methodology, SODA, SPEM, agent-oriented software engineering, multiagent system},
lens = {145-663-545-410-559},
month = {16--20}}},
pages = {700--706},
publisher = {ACM},
scopus = {2-s2.0-56749097328},
title = {{SPEM} on Test: the {{\sf SODA}} Case Study},
url = {https://dl.acm.org/doi/10.1145/1363686.1363853},
volume = 1,
wos = {WOS:000268392200128},
year = 2008
} @inproceedings{soda-esaw07,
address = {Athens, Greece},
apice = {SodaEsaw2007},
author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
booktitle = {8th International Workshop ``Engineering Societies in the Agents World'' (ESAW'07)},
editor = {Artikis, Alexander and O'Hare, Gregory and Stathis, Kostas and Vouros, George},
month = {22--24}}},
publisher = {NCSR ``Demokritos''},
title = {From {AOSE} Methodologies to {MAS} Infrastructures: The {{\sf SODA}} Case Study},
year = 2007
} @inproceedings{simpa-woa2007,
address = {Genova, Italy},
apice = {SimpaWoa2007},
author = {Ricci, Alessandro and Denti, Enrico},
booktitle = {Dagli Oggetti agli Agenti - Agenti e Industria: Applicazioni tecnologiche degli agenti software (WOA 2007)},
editor = {Baldoni, Matteo and Boccalatte, Antonio and De Paoli, Flavio and Martelli, Maurizio and Mascardi, Viviana},
isbn = {978-88-6122-061-4},
month = {September},
note = {WOA 2007 - Dagli Oggetti agli Agenti Agenti e Industria: Applicazioni tecnologiche degli agenti software - Genova, 24-25 Settembre 2007},
pages = {140--156},
publisher = {Seneca Edizioni, Torino},
title = {simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services},
year = 2007
} @inproceedings{rid-eclipse07,
address = {Napoli, Italy},
apice = {RidEclipse07},
author = {Riccioni, Anna and Denti, Enrico},
booktitle = {1st International Conference on Eclipse Technologies (ECLIPSE - IT '07)},
isbn = {978-88-87998-79-5},
month = oct,
pages = {81--92},
publisher = {Cuzzolin Editore},
title = {{vLab}: an {E}clipse-based Virtual Laboratory},
year = 2007
} @incollection{soda-esawVI,
acm = {10.1007/11759683_4},
apice = {SodaEsawVI},
author = {Molesini, Ambra and Omicini, Andrea and Denti, Enrico and Ricci, Alessandro},
booktitle = {Engineering Societies in the Agents World VI},
core = {226325957},
dblp = {conf/esaw/MolesiniODR05},
doi = {10.1007/11759683_4},
editor = {Dikenelli, Oğuz and Gleizes, Marie-Pierre and Ricci, Alessandro},
eisbn = {978-3-540-34452-0},
iris = {11585/27904},
isbn = {978-3-540-34451-3},
isbn10 = {3-540-34451-9},
issn = {0302-9743},
lens = {080-430-934-904-268},
month = jun,
note = {6th International Workshop (ESAW 2005), Kuşadası, Aydın, Turkey, Turkey, 26--28~} # oct # {~2005. Revised, Selected \& Invited Papers},
openalex = {W1845347606},
pages = {49--62},
publisher = {Springer},
scopus = {2-s2.0-33746628029},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {{\sf {SODA}}: A Roadmap to Artefacts},
url = {https://link.springer.com/10.1007/11759683_4},
urlpdf = {https://link.springer.com/content/pdf/10.1007/11759683_4.pdf},
volume = 3963,
wos = {WOS:000238506800004},
year = 2006
} @incollection{norms-coinI,
acm = {10.1007/11775331_9},
apice = {NormsCoinI},
author = {Rubino, Rossella and Omicini, Andrea and Denti, Enrico},
booktitle = {Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems},
core = {226227403},
dblp = {conf/atal/RubinoOD05},
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},
lens = {042-624-857-490-707},
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},
openalex = {W1515221739},
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 = {https://link.springer.com/10.1007/11775331_9},
urlpdf = {https://link.springer.com/content/pdf/10.1007/11775331_9.pdf},
volume = 3913,
wos = {WOS:000239580700009},
year = 2006
} @incollection{soda-aoseVI,
acm = {10.1007/11752660_7},
apice = {ZoomingAoseVI},
author = {Molesini, Ambra and Omicini, Andrea and Ricci, Alessandro and Denti, Enrico},
booktitle = {Agent-Oriented Software Engineering VI},
core = {20691967},
dblp = {conf/aose/MolesiniORD05},
doi = {10.1007/11752660_7},
editor = {Müller, Jörg P. and Zambonelli, Franco},
iris = {11585/28106},
isbn = {3-540-34097-1},
issn = {0302-9743},
lens = {000-925-151-406-329},
note = {6th International Workshop (AOSE 2005), Utrecht, The Netherlands, 25--26~} # jul # {~2005. Revised and Invited Papers},
openalex = {W1566540438},
pages = {81--93},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-33745847518},
series = {Lecture Notes in Computer Science},
subseries = {Programming and Software Engineering},
title = {Zooming Multi-Agent Systems},
url = {https://link.springer.com/10.1007/11752660_7},
volume = 3950,
wos = {WOS:000238091200007},
year = 2006
} @inproceedings{owls-eumas06,
address = {Lisbon, Portugal},
apice = {OwlsEumas2006},
author = {Rubino, Rossella and Molesini, Ambra and Denti, Enrico},
booktitle = {4th European Workshop on Multi-Agent Systems (EUMAS 2006)},
editor = {Omicini, Andrea and Dunin-Keplicz, Barbara and Padget, Julian},
issn = {1613-0073},
month = {14--15}}},
series = {CEUR Workshop Proceedings},
title = {{OWL-S} for Describing Artifacts},
url = {https://ceur-ws.org/Vol-223/72.pdf},
year = 2006
} @article{cabano2006139,
apice = {CDRVEntcs2006},
author = {"Michele Cabano and Enrico Denti and Alessandro Ricci and Mirko Viroli"},
doi = {"10.1016/j.entcs.2005.12.037"},
issn = {"1571-0661"},
journal = {"Electronic Notes in Theoretical Computer Science"},
number = {"1"},
pages = {"139--158"},
title = {"Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres"},
url = {"http://www.sciencedirect.com/science/article/pii/S1571066106001836"},
volume = {"154"},
year = {"2006"}
} @inproceedings{aose-aica06,
address = {Cesena, Italy},
apice = {AoseAica06},
author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
booktitle = {Atti Congresso Annuale AICA 2006},
isbn = {88-6055-075-0},
lens = {108-932-743-620-160},
month = {21--22}}},
pages = {271--280},
publisher = {Alinea Editrice, Firenze, Italy},
title = {Metodologie per l'ingegneria del software: approccio ad agenti},
volume = 1,
year = 2006
} @inproceedings{soda-ceemas05,
acm = {10.1007/11559221_17},
apice = {SodaCeemas2005},
author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
booktitle = {Multi-Agent Systems and Applications {IV}},
core = {226218252},
dblp = {conf/ceemas/MolesiniDO05},
doi = {10.1007/11559221_17},
editor = {Pěchouček, Michal and Petta, Paolo and Varga, László Zsolt},
eisbn = {978-3-540-31731-9},
isbn = {978-3-540-29046-9},
isbn10 = {3-540-29046-X},
issn = {0302-9743},
lens = {150-089-397-887-335},
note = {4th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS'05), Budapest, Hungary, 15--17~} # sep # {~2005, Proceedings},
openalex = {W1486192697},
pages = {163--172},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-33646126089},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {{MAS} Meta-models on Test: {UML} vs. {OPM} in the {{\sf SODA}} Case Study},
url = {https://link.springer.com/10.1007/11559221_17},
urlpdf = {https://link.springer.com/content/pdf/10.1007/11559221_17.pdf},
volume = 3690,
wos = {WOS:000233298100017},
year = 2005
} @inproceedings{soda-esaw05,
address = {Kuşadası, Aydın, Turkey},
apice = {SodaEsaw2005},
author = {Molesini, Ambra and Omicini, Andrea and Denti, Enrico and Ricci, Alessandro},
booktitle = {6th International Workshop ``Engineering Societies in the Agents World'' (ESAW'05)},
editor = {Dikenelli, Oğuz and Gleizes, Marie-Pierre and Ricci, Alessandro},
iris = {11585/22714},
month = {26--28}}},
title = {{{\sf SODA}}: A Roadmap to Artefacts},
year = 2005
} }}})))
((({{{ @inproceedings{soda-aose2005,
address = {AAMAS 2005, Utrecht, The Netherlands},
apice = {ZoomingAose2005},
author = {Molesini, Ambra and Omicini, Andrea and Ricci, Alessandro and Denti, Enrico},
booktitle = {6th International Workshop ``Agent-Oriented Software Engineering'' (AOSE 2005)},
editor = {Müller, Jörg P. and Zambonelli, Franco},
iris = {11585/6275},
month = {25--26}}},
year = 2005
} }}})))
((({{{ @inproceedings{norms-anirem05,
address = {AAMAS 2005, Utrecht, The Netherlands},
apice = {NormsAnirem05},
author = {Rubino, Rossella and Omicini, Andrea and Denti, Enrico},
booktitle = {1st International Workshop ``Agents, Norms and Institutions for Regulated Multi-Agent Systems'' (ANI@REM 2005)},
editor = {Lindemann, Gabriela and Ossowski, Sascha and Padget, Julian A. and Vazquez-Salceda, Javier},
month = {25}}},
year = 2005
} }}})))
((({{{ @incollection{drr-esaw2003,
apice = {DrrEsaw2003},
author = {Denti, Enrico and Ricci, Alessandro and Rubino, Rossella},
booktitle = {Engineering Societies in the Agents World IV},
doi = {10.1007/b98212},
editor = {Petta, Paolo and Omicini, Andrea and Pitt, Jeremy},
isbn = {3-540-22231-6},
month = {July},
note = {4th International Workshop (ESAW 2003), London, UK, October 29-21, 2003. Revised, selected and invited papers.},
pages = {228--245},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
title = {Integrating and Orchestrating Services upon an Agent Coordination Infrastructure},
volume = 3071,
wos = {WOS:000222847300015},
year = 2004
} }}})))
((({{{ @inproceedings{aose-ce2003,
apice = {AoseCe2003},
author = {Denti, Enrico and Omicini, Andrea and Ricci, Alessandro},
booktitle = {Concurrent Engineering -- The Vision for the Future Generation in Research and Applications},
dblp = {conf/ispe/DentiOR03},
editor = {Jardim-Gonçalves, Ricardo and Cha, Jianzhong and Steiger-Garção, Adolfo},
iris = {11585/951120},
isbn = {90-5809-622-X},
isbn-cd = {90-5809-625-4},
isbn-vol = {90-5809-623-8},
isbn13 = {9789058096227},
lens = {183-359-913-568-07X},
note = {10th ISPE International Conference, Madeira, Portugal, 26--30~} # jul # {~2003. Proceedings},
openalex = {W137147857},
pages = {199--205},
publisher = {A.A. Balkema Publishers},
scopus = {2-s2.0-1542750214},
title = {Task-Oriented Engineering of Coordinated Software Systems},
volume = {1: Enhanced Interoperable Systems},
wos = {WOS:000185175400027},
year = 2003
} }}})))
((({{{ @incollection{at-esawIII,
apice = {AtEsawIII},
author = {Ricci, Alessandro and Omicini, Andrea and Denti, Enrico},
booktitle = {Engineering Societies in the Agents World III},
dblp = {conf/esaw/RicciOD02},
doi = {10.1007/3-540-39173-8_8},
editor = {Petta, Paolo and Tolksdorf, Robert and Zambonelli, Franco},
eissn = {1611-3349},
isbn = {978-3-540-14009-2},
isbn10 = {3-540-14009-3},
issn = {0302-9743},
lens = {130-000-775-862-145},
month = apr,
note = {3rd International Workshop (ESAW 2002), Madrid, Spain, 16--17~} # sep # {~2002. Revised Papers},
openalex = {W1791630249},
pages = {96--110},
publisher = {Springer},
scopus = {2-s2.0-7044221924},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {{A}ctivity {T}heory as a Framework for {MAS} Coordination},
url = {https://link.springer.com/10.1007/3-540-39173-8_8},
urlpdf = {http://link.springer.com/content/pdf/10.1007/3-540-39173-8_8.pdf},
volume = 2577,
wos = {WOS:000183488600008},
year = 2003
} }}})))
((({{{ @inproceedings{soda-aamas02,
acm = {545072},
address = {Bologna, Italy},
apice = {SodaAamas2002},
author = {Ricci, Alessandro and Omicini, Andrea and Denti, Enrico},
booktitle = {1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002)},
dblp = {conf/atal/RicciOD02},
doi = {10.1145/545056.545072},
editor = {Castelfranchi, Cristiano and Johnson, W. Lewis},
isbn = {1-58113-480-0},
lens = {136-292-327-944-003},
month = {15--19}}},
pages = {1064--1065},
publisher = {ACM Press},
scopus = {2-s2.0-0036355544},
title = {Engineering Agent Societies: A Case Study in Smart Environments},
url = {545072},
volume = 3,
year = 2002
} }}})))
((({{{ @inproceedings{at-esaw2002,
address = {Madrid, Spain},
apice = {AtEsaw2002},
author = {Ricci, Alessandro and Omicini, Andrea and Denti, Enrico},
booktitle = {3rd International Workshop ``Engineering Societies in the Agents World'' (ESAW 2002)},
editor = {Paolo Petta and Robert Tolksdorf and Franco Zambonelli and Sascha Ossowski},
month = sep,
numpages = 14,
pages = {195--208},
publisher = {Universidad Rey Carlos, Madrid},
title = {Activity Theory as a Framework for MAS Coordination},
year = 2002
} }}})))
((({{{ @inproceedings{tools-atai02,
address = {Vienna, Austria},
apice = {ToolsAtai2002},
author = {Denti, Enrico and Omicini, Andrea and Ricci, Alessandro},
booktitle = {Cybernetics and Systems 2002},
editor = {Trappl, Robert},
isbn = {3-85206-160-1},
month = {2--5}}},
publisher = {Austrian Society for Cybernetic Studies},
title = {Coordination Tools for the Development of Agent-based Systems},
volume = 2,
year = 2002
} }}})))
((({{{ @incollection{objsubj-coord02,
acm = {713460},
apice = {ObjsubjCoord02},
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},
isbn10 = {3-540-43410-0},
issn = {0302-9743},
lens = {151-526-851-005-240},
note = {5th International Conference (COORDINATION 2002), York, UK, 8--11~} # apr # {~2002. Proceedings},
openalex = {W1582577665},
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 = {https://link.springer.com/10.1007/3-540-46000-4_27},
volume = 2315,
wos = {WOS:000181348700027},
year = 2002
} }}})))
((({{{ @inproceedings{tucson-wetice2001,
acm = {715790},
apice = {TucsonWetice2001},
author = {Ricci, Alessandro and Omicini, Andrea and Denti, Enrico},
booktitle = {IEEE 10th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET~ICE 2001)},
dblp = {conf/wetice/RicciOD01},
doi = {10.1109/ENABL.2001.953442},
ieee = {953442},
isbn = {0-7695-1269-0},
issn = {1080-1383},
lens = {014-988-678-906-481},
location = {3rd International Workshop ``Web-based Infrastructures and Coordination Architectures for Collaborative Enterprises'', MIT, Cambridge, MA, USA},
month = {20--22 } # jun,
note = {Proceedings},
openalex = {W1875868954},
pages = {348--353},
publisher = {IEEE CS},
scopus = {2-s2.0-79956102175},
title = {The {{\sf TuCSoN}} Coordination Infrastructure for {V}irtual {E}nterprises},
url = {https://ieeexplore.ieee.org/document/953442},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=953442},
wos = {WOS:000172786100065},
year = 2001
} }}})))
((({{{ @article{respect-entcs48,
apice = {RespectEntcs48},
author = {Omicini, Andrea and Denti, Enrico},
booktitle = {Declarative Programming - Selected Papers from AGP 2000},
core = {82826598},
dblp = {journals/entcs/OmiciniD01},
doi = {10.1016/S1571-0661(04)00156-2},
editor = {Dovier, Agostino and Meo, Maria Chiara and Omicini, Andrea},
iris = {11585/903186},
isbn = {0-444-50916-X},
issn = {1571-0661},
journal = {Electronic Notes in Theoretical Computer Science},
lens = {136-513-475-839-930},
month = jun,
note = {Declarative Programming -- Selected Papers from AGP 2000, La Habana, Cuba, 4--6~} # dec # {~2000},
openalex = {W4235684204},
pages = {179--196},
scopus = {2-s2.0-0001384925},
series = {Electronic Notes in Theoretical Computer Science},
title = {Formal \sf {ReSpecT}\rm},
url = {https://www.sciencedirect.com/science/article/pii/S1571066104001562},
volume = 48,
year = 2001
} }}})))
((({{{ @incollection{tuprolog-padl01,
acm = {667932},
apice = {TuprologPadl01},
author = {Denti, Enrico and Omicini, Andrea and Ricci, Alessandro},
booktitle = {Practical Aspects of Declarative Languages},
dblp = {conf/padl/DentiOR01},
doi = {10.1007/3-540-45241-9_13},
editor = {Ramakrishnan, I.V.},
eissn = {1611-3349},
isbn = {978-3-540-41768-2},
isbn10 = {3-540-41768-0},
issn = {0302-9743},
lens = {006-361-903-964-110},
note = {3rd International Symposium (PADL 2001), Las Vegas, NV, USA, 11--12~} # mar # {~2001. Proceedings},
numpages = 15,
openalex = {W1565219029},
pages = {184--198},
publisher = {Springer Berlin Heidelberg},
scopus = {2-s2.0-84949232061},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {{\sf tu}{P}rolog: A Light-weight {P}rolog for {I}nternet Applications and Infrastructures},
url = {https://link.springer.com/10.1007/3-540-45241-9_13},
volume = 1990,
year = 2001
} }}})))
((({{{ @inproceedings{tucson-woa2001,
address = {Bologna, Italy},
apice = {TucsonWoa2001},
author = {Ricci, Alessandro and Omicini, Andrea and Denti, Enrico},
booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: tendenze evolutive dei sistemi software'' (WOA 2001)},
dblp = {conf/woa/RicciOD01},
editor = {Omicini, Andrea and Viroli, Mirko},
isbn = {88-371-1272-6},
lens = {048-744-357-531-271},
location = {Modena, Italy},
month = {4--5}}},
publisher = {Pitagora Editrice Bologna},
title = {Enlightened Agents in {{\sf TuCSoN}}},
url = {http://lia.deis.unibo.it/books/woa2001/pdf/21.pdf},
year = 2001
} @incollection{tucson-ciaV,
acm = {735704},
apice = {TucsonCiaV},
author = {Ricci, Alessandro and Denti, Enrico and Omicini, Andrea},
booktitle = {Cooperative Information Agents {V}},
dblp = {conf/cia/RicciDO01},
doi = {10.1007/3-540-44799-7_26},
editor = {Klusch, Matthias and Zambonelli, Franco},
eissn = {1611-3349},
iris = {11585/951310},
isbn = {978-3-540-42545-8},
isbn10 = {3-540-42545-4},
issn = {0302-9743},
lens = {091-638-265-011-332},
note = {5th International Workshop (CIA 2001), Modena, Italy, 6--8~} # sep # {~2001. Proceedings},
openalex = {W1590033640},
pages = {235--246},
publisher = {Springer},
scopus = {2-s2.0-58149108068},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management},
url = {https://link.springer.com/10.1007/3-540-44799-7_26},
volume = 2182,
wos = {WOS:000180978200026},
year = 2001
} @inproceedings{respect-agp00,
apice = {RespectAgp2000},
author = {Omicini, Andrea and Denti, Enrico},
booktitle = {Proceedings of the GULP-PRODE Joint Conference on Declarative Programming (AGP'00) – La Habana, Cuba, December 4-7, 2000},
location = {La Habana, Cuba},
numpages = 16,
openalex = {W2801437440},
title = {Formal {{\sf ReSpecT,
year = 2000
} }}}
@inproceedings{luce-wetice00,
acm = {715511},
apice = {LuceWetice2000},
author = {Denti, Enrico and Omicini, Andrea},
booktitle = {IEEE 9th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET~ICE 2000)},
dblp = {conf/wetice/DentiO00},
doi = {10.1109/ENABL.2000.883735},
ieee = {883735},
isbn = {0-7695-0798-0},
issn = {1080-1383},
lens = {082-165-877-668-593},
location = {2nd International Workshop ``Web-based Infrastructures and Coordination Architectures for Collaborative Enterprises'', Gaithersburg, MD, USA},
month = {14--16}}},
pages = {230--235},
publisher = {IEEE CS},
scopus = {2-s2.0-77649140308},
title = {A Coordination Infrastructure for Agent-based {I}nternet Applications},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=883735},
urlpdf = {http://dlib.computer.org/conferen/wetice/0798/pdf/07980230.pdf},
wos = {WOS:000165310400040},
year = 2000
} @incollection{luce-coord00,
acm = {713439},
apice = {LuceCoord2000},
author = {Denti, Enrico and Omicini, Andrea and Toschi, Vladimiro},
booktitle = {Coordination Languages and Models},
core = {22390049},
dblp = {conf/coordination/DentiOT00},
doi = {10.1007/3-540-45263-X_20},
editor = {Porto, António and Roman, Gruia-Catalin},
eissn = {1611-3349},
iris = {11585/951111},
isbn = {978-3-540-41020-1},
isbn10 = {3-540-41020-1},
issn = {0302-9743},
lens = {089-739-468-125-998},
note = {4th International Conference (COORDINATION 2000), Limassol, Cyprus, 11--13~} # sep # {~2000. Proceedings},
openalex = {W1510458946},
pages = {305--310},
publisher = {Springer},
scopus = {2-s2.0-0002949646},
series = {Lecture Notes in Computer Science},
title = {The {{\sf LuCe}} Coordination Technology for {MAS} Design and Development on the {I}nternet},
url = {https://link.springer.com/10.1007/3-540-45263-X_20},
volume = 1906,
wos = {WOS:000174581400020},
year = 2000
} @inproceedings{luce-aiia99,
address = {Bologna, Italy},
apice = {LuceAiia99},
author = {Denti, Enrico and Omicini, Andrea and Toschi, Vladimiro},
booktitle = {6th AI*IA Congress of the Italian Association for Artificial Intelligence (AI*IA'99)},
editor = {Lamma, Evelina and Mello, Paola},
isbn = {88-371-1132-0},
lens = {016-733-621-283-891},
month = {14--17 } # sep,
openalex = {W183850638},
pages = {29--38},
publisher = {Pitagora Editrice Bologna},
title = {Coordination Technology for the Development of Multi-Agent Systems on the {W}eb},
year = 1999
} @incollection{aclt-lnai1760,
acm = {698418},
apice = {AcltLnai1760},
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},
lens = {033-319-508-245-095},
note = {ESPRIT Project ModelAge Final Workshop. Selected Papers},
openalex = {W1742482163},
pages = {90--102},
publisher = {Springer-Verlag},
scholar = {5902775184975942945},
scopus = {2-s2.0-84942787374},
semanticscholar = {23244123},
series = {Lecture Notes in Artificial Intelligence},
title = {Designing Multi-Agent Systems around an Extensible Communication Abstraction},
url = {https://link.springer.com/10.1007/3-540-46581-2_7},
volume = 1760,
wos = {WOS:000170556100007},
year = 1999
} @inproceedings{luce-iclp99,
address = {Las Cruces, NM, USA},
apice = {LuceIclp99},
author = {Denti, Enrico and Omicini, Andrea},
booktitle = {ICLP'99 International Workshop on Multi-Agent Systems in Logic Programming (MAS'99)},
editor = {Rochefort, Stephen and Sadri, Fariba and Toni, Francesca},
lens = {021-357-820-507-338},
month = {30~} # nov,
openalex = {W183537089},
title = {Engineering Multi-Agent Systems in {{\sf LuCe,
year = 1999
} }}}
@inproceedings{respect-sac98,
acm = {330665},
apice = {RespectSac1998},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {1998 ACM Symposium on Applied Computing (SAC'98)},
core = {23047576},
dblp = {conf/sac/DentiNO98},
doi = {10.1145/330560.330665},
isbn = {0-89791-969-6},
lens = {147-094-505-050-523},
location = {Atlanta, GA, USA},
month = {27 } # feb # { -- 1 } # mar,
note = {Special Track on Coordination Models, Languages and Applications},
openalex = {W2001013228},
pages = {169--177},
publisher = {ACM},
scopus = {2-s2.0-85002410745},
title = {On the Expressive Power of a Language for Programming Coordination Media},
url = {330665},
urlpdf = {http://delivery.acm.org/10.1145/340000/330665/p169-denti.pdf},
year = 1998
} @inproceedings{lpcoord-iclp_lpinternet97,
address = {Leuven, Belgium},
apice = {LpcoordIclp97},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {ICLP'97 Post-Conference 2nd International Workshop on Logic Programming Tools for Internet Applications},
editor = {De Bosschere, Koen and Hermenegildo, Manuel and Tarau, Paul},
lens = {077-948-422-216-371},
month = {11}}},
title = {Merging {L}ogic {P}rogramming into {W}eb-based Technology: A Coordination-based Approach},
url = {https://cliplab.org/lpnet/proceedings97/denti/denti.html},
urlpdf = {https://cliplab.org/lpnet/proceedings97/denti.ps},
year = 1997
} @inproceedings{aclt-modelage97,
address = {Certosa di Pontignano, SI, Italy},
apice = {AcltModelage97},
author = {Denti, Enrico and Omicini, Andrea},
booktitle = {4th Workshop on Formal Models of Agents (ModelAge'97)},
editor = {Cesta, Amedeo and Schoebbens, Pierre Yves},
isbn = {88-85059-07-4},
keywords = {Multi-Agent Systems, Coordination Model, Programmable Communication Abstraction},
lens = {091-603-177-135-837},
month = {15--17}}},
publisher = {Istituto di Psicologia del CNR},
title = {Designing Multi-Agent Systems around an Extensible Communication Abstraction},
year = 1997
} @incollection{respect-coord97,
acm = {713152},
apice = {RespectCoord97},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {Coordination Languages and Models},
core = {100176399},
dblp = {conf/coordination/DentiNO97},
doi = {10.1007/3-540-63383-9_86},
editor = {Garlan, David and Le Métayer, Daniel},
eisbn = {978-3-540-69527-1},
isbn = {978-3-540-63383-9},
isbn10 = {3-540-63383-9},
issn = {0302-9743},
keywords = {Coordination Models, Programmable Coordination Media, Reactions, Tuple Spaces, Multi-Agent Systems},
lens = {035-937-639-469-09X},
note = {2nd International Conference (COORDINATION'97), Berlin, Germany, 1--3~} # sep # {~1997. Proceedings},
openalex = {W1821716322},
pages = {274--288},
publisher = {Springer-Verlag},
scopus = {2-s2.0-84957066558},
series = {Lecture Notes in Computer Science},
title = {Programmable Coordination Media},
url = {https://link.springer.com/10.1007/3-540-63383-9_86},
volume = 1282,
year = 1997
} @incollection{aclt-frocos96,
apice = {AcltFrocos1996},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Venuti, Marco},
booktitle = {Frontiers of Combining Systems},
dblp = {conf/frocos/DentiNOV96},
doi = {10.1007/978-94-009-0349-4_12},
editor = {Baader, Franz and Schulz, Klaus U.},
eisbn = {978-94-009-0349-4},
iris = {11585/951322},
isbn = {978-94-010-6643-3},
isbn10 = {0-7923-4271-2},
issn = {1386-2790},
lens = {018-591-725-841-079},
note = {1st International Workshop (FroCoS'96), Munich, Germany, 26--29~} # mar # {~1996. Proceedings},
numpages = 14,
openalex = {W1596754786},
pages = {147--160},
publisher = {Kluwer Academic Publishers},
series = {Applied Logic Series},
title = {Logic Tuple Spaces for the Coordination of Heterogeneous Agents},
url = {https://link.springer.com/10.1007/978-94-009-0349-4_12},
volume = 3,
wos = {WOS:A1996BH48J00012},
year = 1996
} @incollection{aclt-coord96,
acm = {713129},
apice = {AcltCoord1996},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Venuti, Marco},
booktitle = {Coordination Languages and Models},
dblp = {conf/coordination/DentiNOV96},
doi = {10.1007/3-540-61052-9_53},
editor = {Ciancarini, Paolo and Hankin, Chris},
eisbn = {978-3-540-49936-7},
isbn = {978-3-540-61052-6},
isbn10 = {3-540-61052-9},
issn = {0302-9743},
lens = {127-140-598-728-178},
month = sep,
note = {1st International Conference (COORDINATION'96), Cesena, Italy, 15--17~} # apr # {~1996. Proceedings},
openalex = {W2009603287},
pages = {305--320},
publisher = {Springer},
scopus = {2-s2.0-84958743149},
series = {Lecture Notes in Computer Science},
title = {An Extensible Framework for the Development of Coordinated Applications},
url = {https://link.springer.com/10.1007/3-540-61052-9_53},
volume = 1061,
year = 1996
} @inproceedings{aclt-aiia95,
acm = {761273},
apice = {AcltAiixa95},
author = {Omicini, Andrea and Denti, Enrico and Natali, Antonio},
booktitle = {Topics in Artificial Intelligence},
core = {21260299},
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},
lens = {196-368-143-391-63X},
note = {4th Congress of the Italian Association for Artificial Intelligence (AI*IA'95), Florence, Italy, 11--13~} # oct # {~1995, Proceedings},
numpages = 12,
openalex = {W1530491305},
pages = {439--450},
publisher = {Springer-Verlag},
scholar = {9467690504149452680},
scopus = {2-s2.0-84957673013},
semanticscholar = {18358079},
series = {Lecture Notes in Artificial Intelligence},
title = {Agent Coordination and Control through Logic Theories},
url = {https://link.springer.com/10.1007/3-540-60437-5_43},
volume = 992,
wos = {WOS:A1995BF24X00043},
year = 1995
} @inproceedings{lprobot-pap94,
apice = {LprobotPap94},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Zanichelli, Francesco},
booktitle = {2nd International Conference on the Practical Applications of Prolog (PAP'94)},
editor = {Sterling, Leon},
location = {London, UK},
month = {26--29}}},
year = 1994
} @inproceedings{lpse-iclp94,
apice = {LpseIclp94},
author = {Denti, Enrico and Omicini, Andrea},
booktitle = {ICLP'94 Post-Conference Workshop on Applications of Logic Programming to Software Engineering},
editor = {Ciancarini, Paolo and Sterling, Leon},
location = {S. Margherita Ligure, GE, Italy},
month = {18}}},
title = {Open Logic Theory Composition in a Software Engineering Perspective},
year = 1994
} @incollection{ctxlp-elpIII,
acm = {736334},
apice = {CtxElpIII},
author = {Denti, Enrico and Lamma, Evelina and Mello, Paola and Natali, Antonio and Omicini, Andrea},
booktitle = {Extensions of Logic Programming},
dblp = {conf/elp/DentiLMNO92},
doi = {10.1007/3-540-56454-3_17},
editor = {Lamma, Evelina and Mello, Paola},
eisbn = {978-3-540-47562-0},
eissn = {1611-3349},
isbn = {978-3-540-56454-6},
isbn10 = {3-540-56454-3},
issn = {0302-9743},
keywords = {Virtual Machine, Logic Program, Logic Programming, Hypothetical Reasoning, Program Clause},
lens = {084-134-586-083-676},
note = {3rd International Workshop (ELP'92), Bologna, Italy, 26--28~} # feb # {~1992. Proceedings},
openalex = {W1511030248},
pages = {339--358},
publisher = {Springer},
scopus = {2-s2.0-85028860344},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Techniques for Implementing Contexts in {L}ogic {P}rogramming},
url = {https://link.springer.com/10.1007/3-540-56454-3_17},
volume = 660,
year = 1993
} @inproceedings{oolp-iclp_piselp93,
address = {Budapest, Hungary},
apice = {OolpIclp93},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {ICLP'93 Post-Conference Workshop on Practical Implementations and Systems Experience in Logic Programming},
editor = {Tick, Evan},
month = {25}}},
title = {From Modules to Structured Theories and Logic Objects: A Common ``Program-based'' Run-time Support},
year = 1993
} @inproceedings{ctxlp-elp92,
address = {Bologna, Italy},
apice = {CtxlpElp92},
author = {Denti, Enrico and Lamma, Evelina and Mello, Paola and Natali, Antonio and Omicini, Andrea},
booktitle = {3rd International Workshop on Extensions of Logic Programming (ELP'92)},
editor = {Lamma, Evelina and Mello, Paola},
lens = {185-839-158-560-28X},
month = {26--28}}},
pages = {145--170},
publisher = {Tecnoprint Bologna},
title = {Implementing Contexts in {L}ogic {P}rogramming},
year = 1992
} @inproceedings{ctxlp-gulp92,
apice = {CtxlpGulp92},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {7th Italian Conference on Logic Programming (GULP'92)},
editor = {Costantini, Stefania},
lens = {037-141-965-224-660},
location = {Tremezzo, Como, Italy},
month = {17--19 } # jun,
openalex = {W115270588},
pages = {307--320},
publisher = {Città Studi, Milano, Italy},
title = {Contexts as First-Class Objects: An Implementation based on the {SICS}tus {P}rolog System},
year = 1992
} @incollection{mpm-mdabook2021,
apice = {MpmMdabook2021},
author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
booktitle = {Advancements in Model-Driven Architecture in Software Engineering},
chapter = 4,
doi = {10.4018/978-1-7998-3661-2.ch004},
editor = {Rhazali, Yassine},
eisbn = {9781799836636},
iris = {11585/769135},
isbn = {9781799836612},
isbn10 = {1799836614},
isbn13 = {9781799836629},
keywords = {Multi-Paradigm Modeling; Development Process; Meta-Modeling; MDE},
lens = {039-924-771-442-049},
month = jun,
numpages = 24,
openalex = {W3081183216},
pages = {64--87},
publisher = {IGI Global},
scholar = {5411882464942243375},
semanticscholar = {224974647},
title = {{MDE} \& {MDA} in a Multi-Paradigm Modeling Perspective},
url = {https://www.igi-global.com/book/advancements-model-driven-architecture-software/243747},
urlopenaccess = {https://cris.unibo.it/retrieve/500c8915-a4b9-451f-b3dc-24b38a93209e/MDEMDAinaMulti-ParadigmModelingPerspective.pdf},
year = 2021
} @incollection{weblp-unito08,
apice = {WeblpUnito08},
author = {Piancastelli, Giulio and Omicini, Andrea and Denti, Enrico},
booktitle = {Il {M}ilione. Viaggio nella logica computazionale in {I}talia},
editor = {Baldoni, Matteo and Baroglio, Cristina},
institution = {Dipartimento di Informatica, Università degli Studi di Torino},
iris = {11585/82474},
lens = {072-391-145-055-284},
month = {3}}},
openalex = {W2613246747},
pages = {15--19},
publisher = {Dipartimento di Informatica, Universit{\`a} degli Studi di Torino},
title = {Towards a Logic Language and Framework for {W}eb Programming},
urlpdf = {http://www.di.unito.it/~argo/papers/2008_IlMilione.pdf},
year = 2008
} @incollection{coordbook2001-ch04,
apice = {Coordbook2001-Ch04},
author = {Rossi, Davide and Cabri, Giacomo and Denti, Enrico},
booktitle = {Coordination of Internet Agents: Models, Technologies, and Applications},
chapter = 4,
editor = {Omicini, Andrea and Zambonelli, Franco and Klusch, Matthias and Tolksdorf, Robert},
isbn = {3-540-41613-7},
month = mar,
numpages = 27,
pages = {83--109},
publisher = {Springer},
title = {Tuple-based Technologies for Coordination},
year = 2001
} @incollection{lprobot-scsai95,
apice = {LprobotScsai95},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Zanichelli, Francesco},
booktitle = {Logic Programming: Formal Methods and Practical Applications},
chapter = 12,
dblp = {books/el/beierleP95/DentiNOZ95},
editor = {Beierle, Christoph and Plümer, Lutz},
isbn = {978-0-444-82092-1},
isbn10 = {0-444-82092-2},
lens = {161-703-407-666-269},
openalex = {W35266853},
pages = {343--379},
publisher = {Elsevier},
scopus = {2-s2.0-85023302187},
series = {Studies in Computer Science and Artificial Intelligence},
title = {Robot Control Systems as Contextual Logic Programs},
volume = 11,
year = 1995
} @incollection{oolp-ilps94,
apice = {OolpIlps94},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {Implementations of Logic Programming Systems},
dblp = {conf/iclp/DentiNO93},
doi = {10.1007/978-1-4615-2690-2_7},
editor = {Tick, Evan and Succi, Giancarlo},
eisbn = {978-1-4615-2690-2},
eissn = {978-1-4615-2690-2},
iris = {11585/951126},
isbn = {978-1-4613-6157-2},
isbn10 = {0-7923-9457-7},
issn = {978-1-4613-6157-2},
keywords = {contextual logic programming; modules; structured theories},
lens = {117-110-411-608-492},
openalex = {W1570546230},
pages = {89--101},
publisher = {Kluwer Academic Publishers},
title = {Moving {P}rolog Toward Objects},
url = {https://link.springer.com/10.1007/978-1-4615-2690-2_7},
wos = {WOS:A1994BB31B00007},
year = 1994
} @book{ed2003oopintro,
apice = {ED2003OOPIntro},
author = {Denti, Enrico},
edition = {Terza edizione},
month = {Gennaio},
note = {Raccolta a stampa del materiale impiegato durante il corso di Fondamenti di Informatica L-B 2002-2003},
numpages = 152,
publisher = {Esculapio},
series = {Progetto Leonardo},
title = {Introduzione alla Programmazione a oggetti in Java},
year = 2003
} @book{ed2000didintrooop,
address = {Bologna, Italy},
apice = {ED2000didIntroOOP},
author = {Denti, Enrico},
edition = {Seconda edizione},
keywords = {Java, Object-oriented programming},
month = {Gennaio},
note = {Raccolta a stampa del materiale impiegato durante il corso di Fondamenti di Informatica A 2000-2001 (II modulo)},
publisher = {Esculapio},
series = {Progetto Leonardo},
title = {Introduzione alla Programmazione a oggetti in Java},
year = 2001
} @book{eddid2000oop,
address = {Bologna},
apice = {EDdid2000oop},
author = {Denti, Enrico},
edition = {Prima edizione},
keywords = {Java, Object-oriented programming},
month = {Marzo},
note = {Fondamenti di Informatica A - Raccolta a stampa del materiale impiegato durante il corso 1999-2000 (Parte III)},
publisher = {Esculapio},
series = {Progetto Leonardo},
title = {Introduzione alla Programmazione a oggetti in Java},
year = 2000
} @book{ed2000didfonda2,
address = {Bologna, Italy},
apice = {ED2000didFondA2},
author = {Denti, Enrico},
month = jan,
note = {Fondamenti di Informatica A - Raccolta a stampa del materiale impiegato durante il corso 1999-2000 (Parte II: capitoli 17-25)},
series = {Progetto Leonardo},
title = {Fondamenti di Informatica A (Parte II)},
year = 2000
} @book{fond-a99,
address = {Bologna, Italy},
apice = {FondA99},
author = {Denti, Enrico},
note = {Didactic publication},
publisher = {Esculapio},
series = {Progetto Leonardo},
title = {Fondamenti di Informatica A (I parte) - Raccolta del materiale proiettato e discusso a lezione},
year = 1999
} @book{ed1999didfonda1,
apice = {ED1999didFondA1},
author = {Denti, Enrico},
month = {November},
note = {Raccolta a stampa del materiale impiegato durante il corso 1999-2000 (Parte I: capitoli 1-16)},
publisher = {Esculapio},
series = {Progetto Leonardo},
title = {Fondamenti di Informatica A (Parte I)},
year = 1999
} @book{cal-eletIII,
address = {Bologna, Italy},
apice = {CalEletIII},
author = {Denti, Enrico and Natali, Antonio},
isbn = {88-371-0771-4},
note = {Teaching material},
publisher = {Pitagora Editrice},
series = {Consorzio Nettuno},
title = {Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti},
year = 1995
} @techreport{denti-acltimpl99,
address = {Bologna, Italy},
apice = {DNO1997AcltImpl},
author = {Denti, Enrico},
institution = {Department of Electronics, Computer Science and Systems (DEIS), Universit{\`a} di Bologna},
keywords = {coordination languages, ACLT, Linda, tuple spaces, distributed programming, logic programming},
number = {DEIS-LIA-99-04},
series = {LIA Series},
title = {Implementing the {ACLT} Coordination Model},
type = {DEIS Technical Report},
volume = 38,
year = 1999
} @techreport{aclt-techrep97,
address = {Bologna, Italy},
apice = {AcltTechrep97},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
institution = {Department of Electronics, Computer Science and Systems (DEIS), Università di Bologna},
keywords = {Multi-agent systems, Coordination, Tuple Spaces, Petri Nets, Programmable Coordination Media, Turing Equivalence},
number = {DEIS-LIA-97-009},
series = {DEIS Technical Reports},
subseries = {LIA Series},
title = {Expressive Power of the {$\mathcal{ACLT}$} Reaction Specification Language},
type = {DEIS Technical Report},
volume = 26,
year = 1997
} @techreport{pfcnr-4-91,
address = {Roma, Italy},
apice = {DNORealTimeSurvey93},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
institution = {CNR},
month = mar,
note = {Progetto Finalizzato ``Sistemi informatici e calcolo parallelo'', Sottoprogetto ``Linguaggi di nuova concezione''},
number = {4/91},
series = {CNR Technical Report},
title = {Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale},
type = {CNR Technical Report},
year = 1993
} @article{cisemme392,
apice = {CiseMME392},
author = {Mauro Cesana and Denti, Enrico and Natali, Antonio and Judith Szanto},
institution = {CISE S.p.A., Milan, Italy},
number = 7312,
series = {Rapporto Topico interno CISE S.p.A.},
title = {Supporto alla Comunicazione Remota in MME 3},
year = 1992
} @techreport{pfcnr-4-70,
address = {Rome, Italy},
apice = {CsmUserGuide92},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
institution = {CNR},
month = may,
note = {Progetto Finalizzato ``Sistemi informatici e calcolo parallelo'', Sottoprogetto ``Linguaggi di nuova concezione''},
number = {4/70},
title = {{CSM} User's Guide},
type = {Technical Report},
year = 1992
} @phdthesis{d-phdthesis,
apice = {EDphdthesis1998},
author = {Denti, Enrico},
school = {Dept. of Electronics, Computer Science and Systems (DEIS) Viale Risorgimento 2, I-40136 Bologna, Italy},
title = {Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction},
year = 1998
} @proceedings{proceedings-woa2021,
address = {Aachen, Germany},
apice = {ProceedingsWoa2021},
dblp = {conf/woa/2021},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/834360},
issn = {1613-0073},
lens = {132-633-768-294-517},
location = {Bologna, Italy},
month = oct,
note = {22nd Workshop ``From Objects to Agents" (WOA 2021), Bologna, Italy, 1–3 September 2021. Proceedings},
numpages = {II, 258},
openalex = {W3119307673},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {WOA 2021 – 22nd Workshop ``From Objects to Agents''},
url = {http://ceur-ws.org/Vol-2963/},
volume = 2963,
year = 2021
} @proceedings{proceedings-woa2020,
address = {Aachen, Germany},
apice = {ProceedingsWoa2020},
booktitle = {WOA 2020 -- 21st Workshop ``From Objects to Agents''},
dblp = {conf/woa/2020},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/781511},
issn = {1613-0073},
location = {Bologna, Italy},
month = oct,
note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
numpages = {VI, 251},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {From Objects to Agents},
url = {http://ceur-ws.org/Vol-2706/},
volume = 2706,
year = 2020
} @inproceedings{preface-woa2021,
apice = {PrefaceWoa2021},
author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/834358},
issn = {1613-0073},
location = {Bologna, Italy},
month = oct,
note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
numpages = 2,
pages = {i--ii},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85116895007},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Preface},
url = {http://ceur-ws.org/Vol-2963/xpreface.pdf},
volume = 2963,
year = 2021
} @inproceedings{preface-woa2020,
address = {Aachen, Germany},
apice = {PrefaceWoa2020},
author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
booktitle = {WOA 2020 -- 21th Workshop ``From Objects to Agents''},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/781522},
location = {Bologna, Italy},
month = oct,
note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
numpages = 2,
pages = {iii--iv},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85095596630},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Preface},
url = {http://ceur-ws.org/Vol-2706/xpreface.pdf},
urlpdf = {http://ceur-ws.org/Vol-2706/xpreface.pdf},
volume = 2706,
year = 2020
} @misc{denti-phdthesis-abstract,
apice = {EdPhdThesisAbstract},
author = {Denti, Enrico},
howpublished = {AI*IA Notizie, Anno XI, N° 4},
journal = {AI*IA Notizie},
month = {December},
note = {Abstract of Ph.D. Thesis},
number = 4,
title = {Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction},
url = {http://www.dsi.unifi.it/AIIA/},
volume = 11,
year = 1998
} 
0000-0003-1687-8793