Per Year
@proceedings{proceedings-woa2021,
address = {Aachen, Germany},
booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''},
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},
location = {Bologna, Italy},
month = oct,
note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
pages = {II, 258},
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-2963/},
volume = 2963,
year = 2021
}
address = {Aachen, Germany},
booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''},
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},
location = {Bologna, Italy},
month = oct,
note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
pages = {II, 258},
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-2963/},
volume = 2963,
year = 2021
}
@proceedings{proceedings-woa2020,
address = {Aachen, Germany},
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},
pages = {VII, 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/},
urlpdf = {http://apice.unibo.it/xwiki/bin/download/Publications/ProceedingsWoa2020/ProceedingsWOA2020.pdf},
volume = 2706,
year = 2020
}
address = {Aachen, Germany},
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},
pages = {VII, 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/},
urlpdf = {http://apice.unibo.it/xwiki/bin/download/Publications/ProceedingsWoa2020/ProceedingsWOA2020.pdf},
volume = 2706,
year = 2020
}
@inproceedings{kotlindsi4prolog-woa2020,
address = {Aachen, Germany},
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},
keywords = {object-oriented programming, multi-paradigm languages, domain-specific languages, Kotlin},
location = {Bologna, Italy},
month = oct,
note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
numpages = 18,
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 Kt}}: logic programming with objects \char"26{} functions in {K}otlin},
url = {http://ceur-ws.org/Vol-2706/paper14.pdf},
urlpdf = {http://ceur-ws.org/Vol-2706/paper14.pdf},
volume = 2706,
year = 2020
}
address = {Aachen, Germany},
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},
keywords = {object-oriented programming, multi-paradigm languages, domain-specific languages, Kotlin},
location = {Bologna, Italy},
month = oct,
note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
numpages = 18,
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 Kt}}: logic programming with objects \char"26{} functions in {K}otlin},
url = {http://ceur-ws.org/Vol-2706/paper14.pdf},
urlpdf = {http://ceur-ws.org/Vol-2706/paper14.pdf},
volume = 2706,
year = 2020
}
@article{logictech-information11,
articleno = 167,
author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea},
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},
month = mar,
note = {Special Issue ``10th Anniversary of Information---Emerging Research Challenges''},
number = 3,
numpages = 29,
pages = {167:1--167:29},
publisher = {MDPI},
scholar = {15744297419438793629},
scopus = {2-s2.0-85082507008},
title = {Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives},
url = {http://www.mdpi.com/2078-2489/11/3/167},
volume = 11,
wos = {000524309400026},
year = 2020
}
articleno = 167,
author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea},
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},
month = mar,
note = {Special Issue ``10th Anniversary of Information---Emerging Research Challenges''},
number = 3,
numpages = 29,
pages = {167:1--167:29},
publisher = {MDPI},
scholar = {15744297419438793629},
scopus = {2-s2.0-85082507008},
title = {Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives},
url = {http://www.mdpi.com/2078-2489/11/3/167},
volume = 11,
wos = {000524309400026},
year = 2020
}
@article{lpaas-ijguc10,
author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
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},
number = 4,
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},
volume = 10,
wos = {000476657400005},
year = 2019
}
author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
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},
number = 4,
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},
volume = 10,
wos = {000476657400005},
year = 2019
}
@incollection{edgeintelligenceguidelines-idcs2019,
author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea},
booktitle = {Internet and Distributed Computing Systems (IDCS 2019)},
dblp = {conf/idcs/CalegariCDO19},
doi = {10.1007/978-3-030-34914-1_25},
eisbn = {978-3-030-34914-1},
iris = {11585/705119},
isbn = {978-3-030-34913-4},
keywords = {design guidelines, CPCS, micro-intelligence, LPaaS, Situated Logic Programming, Edge intelligence},
location = {Napoli, Italy},
month = {10--12~} # oct,
pages = {260--270},
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 = {http://link.springer.com/10.1007/978-3-030-34914-1_25},
volume = 11874,
year = 2019
}
author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea},
booktitle = {Internet and Distributed Computing Systems (IDCS 2019)},
dblp = {conf/idcs/CalegariCDO19},
doi = {10.1007/978-3-030-34914-1_25},
eisbn = {978-3-030-34914-1},
iris = {11585/705119},
isbn = {978-3-030-34913-4},
keywords = {design guidelines, CPCS, micro-intelligence, LPaaS, Situated Logic Programming, Edge intelligence},
location = {Napoli, Italy},
month = {10--12~} # oct,
pages = {260--270},
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 = {http://link.springer.com/10.1007/978-3-030-34914-1_25},
volume = 11874,
year = 2019
}
@inproceedings{lpaas-ic2e2018,
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)},
dblp = {conf/ic2e/CalegariC0DO18conf/ic2e/CalegariC0DO18},
doi = {10.1109/IC2E.2018.00061},
ieee = {8360344},
iris = {11585/636933},
isbn = {978-1-5386-5008-0},
month = {17--20~} # apr,
note = {Best paper award},
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 = {http://ieeexplore.ieee.org/document/8360344/},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8360344},
wos = {000759774400038},
year = 2018
}
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)},
dblp = {conf/ic2e/CalegariC0DO18conf/ic2e/CalegariC0DO18},
doi = {10.1109/IC2E.2018.00061},
ieee = {8360344},
iris = {11585/636933},
isbn = {978-1-5386-5008-0},
month = {17--20~} # apr,
note = {Best paper award},
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 = {http://ieeexplore.ieee.org/document/8360344/},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8360344},
wos = {000759774400038},
year = 2018
}
@article{lpaas-tplp18,
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},
month = sep,
note = {Special Issue ``Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming''},
number = 5-6,
numpages = 28,
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 = {000443682000005},
year = 2018
}
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},
month = sep,
note = {Special Issue ``Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming''},
number = 5-6,
numpages = 28,
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 = {000443682000005},
year = 2018
}
@article{labelledlp-fi161,
author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
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},
month = jul,
note = {Special Issue CILC 2016},
number = 1-2,
numpages = 22,
pages = {53--74},
scopus = {2-s2.0-85049682130},
title = {Extending Logic Programming with Labelled Variables: Model and Semantics},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi1695},
urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/636935/838171/CDDO-FI-2017.pdf},
volume = 161,
wos = {000437260800005},
year = 2018
}
author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
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},
month = jul,
note = {Special Issue CILC 2016},
number = 1-2,
numpages = 22,
pages = {53--74},
scopus = {2-s2.0-85049682130},
title = {Extending Logic Programming with Labelled Variables: Model and Semantics},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi1695},
urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/636935/838171/CDDO-FI-2017.pdf},
volume = 161,
wos = {000437260800005},
year = 2018
}
@article{lpaas-bdcc2,
articleno = 23,
author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
dblp = {journals/fuin/CalegariDDO18},
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},
number = 3,
numpages = 26,
publisher = {MDPI},
scholar = {247396456770353218},
scopus = {2-s2.0-85075881133},
title = {{LPaaS} as Micro-intelligence: Enhancing {IoT} with Symbolic Reasoning},
url = {http://www.mdpi.com/2504-2289/2/3/23},
urlpdf = {http://www.mdpi.com/2504-2289/2/3/23/pdf},
volume = 2,
year = 2018
}
articleno = 23,
author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
dblp = {journals/fuin/CalegariDDO18},
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},
number = 3,
numpages = 26,
publisher = {MDPI},
scholar = {247396456770353218},
scopus = {2-s2.0-85075881133},
title = {{LPaaS} as Micro-intelligence: Enhancing {IoT} with Symbolic Reasoning},
url = {http://www.mdpi.com/2504-2289/2/3/23},
urlpdf = {http://www.mdpi.com/2504-2289/2/3/23/pdf},
volume = 2,
year = 2018
}
@inproceedings{spacetimelp-woa2018,
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},
location = {Palermo, Italy},
month = {29--30~} # jun,
numpages = 6,
pages = {63--68},
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 = {http://ceur-ws.org/Vol-2215/paper_11.pdf},
urlpdf = {http://ceur-ws.org/Vol-2215/paper_11.pdf},
volume = 2215,
year = 2018
}
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},
location = {Palermo, Italy},
month = {29--30~} # jun,
numpages = 6,
pages = {63--68},
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 = {http://ceur-ws.org/Vol-2215/paper_11.pdf},
urlpdf = {http://ceur-ws.org/Vol-2215/paper_11.pdf},
volume = 2215,
year = 2018
}
@inproceedings{blockchainlp-woa2018,
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},
location = {Palermo, Italy},
month = jun,
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 = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
urlpdf = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
volume = 2215,
year = 2018
}
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},
location = {Palermo, Italy},
month = jun,
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 = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
urlpdf = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
volume = 2215,
year = 2018
}
@inproceedings{lpaas-icnsc2017,
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)},
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},
location = {Calabria, Italy},
month = may,
numpages = 6,
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 = {http://ieeexplore.ieee.org/document/8000070/},
urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8000070},
wos = {000463480000013},
year = 2017
}
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)},
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},
location = {Calabria, Italy},
month = may,
numpages = 6,
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 = {http://ieeexplore.ieee.org/document/8000070/},
urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8000070},
wos = {000463480000013},
year = 2017
}
@inproceedings{lpaas-woa2016,
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},
location = {Catania, Italy},
month = {29--30~} # jul,
note = {Proceedings of the 17th Workshop ``From Objects to Agents'' co-located with 18th European Agent Systems Summer School (EASSS 2016)},
pages = {91--99},
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 = {http://ceur-ws.org/Vol-1664/w14.pdf},
volume = 1664,
year = 2016
}
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},
location = {Catania, Italy},
month = {29--30~} # jul,
note = {Proceedings of the 17th Workshop ``From Objects to Agents'' co-located with 18th European Agent Systems Summer School (EASSS 2016)},
pages = {91--99},
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 = {http://ceur-ws.org/Vol-1664/w14.pdf},
volume = 1664,
year = 2016
}
@inproceedings{lvlp-cilc2016,
address = {Milano, Italy},
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},
month = {20-22~} # jun,
note = {Proceedings of the 31st Italian Conference on Computational Logic},
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 = {http://ceur-ws.org/Vol-1645/paper_7.pdf},
volume = 1645,
year = 2016
}
address = {Milano, Italy},
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},
month = {20-22~} # jun,
note = {Proceedings of the 31st Italian Conference on Computational Logic},
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 = {http://ceur-ws.org/Vol-1645/paper_7.pdf},
volume = 1645,
year = 2016
}
@incollection{bison-insci2016,
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,
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 = {Socio-technical systems; Contact centres; Anonymisation; Privacy},
location = {Firenze, Italy},
month = {12-14~} # sep,
pages = {291--305},
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 = {http://link.springer.com/10.1007/978-3-319-45982-0_25},
volume = 9934,
wos = {000389030700025},
year = 2016
}
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,
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 = {Socio-technical systems; Contact centres; Anonymisation; Privacy},
location = {Firenze, Italy},
month = {12-14~} # sep,
pages = {291--305},
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 = {http://link.springer.com/10.1007/978-3-319-45982-0_25},
volume = 9934,
wos = {000389030700025},
year = 2016
}
@inproceedings{labelled2p-dcaiia2015,
address = {Ferrara, Italy},
author = {Calegari, Roberta and Denti, Enrico and Omicini, Andrea},
booktitle = {Proceedings of the Doctoral Consortium of the 14th Symposium of the Italian Association for Artificial Intelligence (AI*IA 2015 DC)},
dblp = {conf/aiia/CalegariDO15},
editor = {Bellodi, Elena and Bonfietti, Alessio},
iris = {11585/521880},
issn = {1613-0073},
keywords = {Labelled Variables, CLP, pervasive systems, Labelled Systems},
location = {Ferrara, Italy},
month = {23--24~} # sep,
numpages = 6,
organization = {AI*IA},
pages = {25--30},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {16046264553640973420},
scopus = {2-s2.0-85009165803},
semanticscholar = {9324685},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Labelled Variables in Logic Programming: A First Prototype in {{\sf tu}Prolog}},
urlpdf = {http://ceur-ws.org/Vol-1485/proceedings.pdf#page=30},
volume = 1485,
year = 2015
}
address = {Ferrara, Italy},
author = {Calegari, Roberta and Denti, Enrico and Omicini, Andrea},
booktitle = {Proceedings of the Doctoral Consortium of the 14th Symposium of the Italian Association for Artificial Intelligence (AI*IA 2015 DC)},
dblp = {conf/aiia/CalegariDO15},
editor = {Bellodi, Elena and Bonfietti, Alessio},
iris = {11585/521880},
issn = {1613-0073},
keywords = {Labelled Variables, CLP, pervasive systems, Labelled Systems},
location = {Ferrara, Italy},
month = {23--24~} # sep,
numpages = 6,
organization = {AI*IA},
pages = {25--30},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scholar = {16046264553640973420},
scopus = {2-s2.0-85009165803},
semanticscholar = {9324685},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Labelled Variables in Logic Programming: A First Prototype in {{\sf tu}Prolog}},
urlpdf = {http://ceur-ws.org/Vol-1485/proceedings.pdf#page=30},
volume = 1485,
year = 2015
}
@incollection{objsubj-coord02,
acm = {713460},
author = {Ricci, Alessandro and Omicini, Andrea and Denti, Enrico},
booktitle = {Coordination Models and Languages},
dblp = {conf/coordination/RicciOD02},
doi = {10.1007/3-540-46000-4_27},
editor = {Arbab, Farhad and Talcott, Carolyn},
eisbn = {978-3-540-46000-8},
eissn = {1611-3349},
iris = {11585/950120},
isbn = {978-3-540-43410-8},
isbn-10 = {3-540-43410-0},
isbn10 = {3-540-43410-0},
issn = {0302-9743},
note = {5th International Conference (COORDINATION 2002), York, UK, 8--11~} # apr # {~2002. Proceedings},
pages = {291--299},
publisher = {Springer Berlin Heidelberg},
scholar = {3370459498636496835},
scopus = {2-s2.0-84944054953},
semanticscholar = {33793704},
series = {Lecture Notes in Computer Science},
title = {Objective vs. Subjective Coordination in Agent-based Systems: A Case Study},
url = {http://link.springer.com/10.1007/3-540-46000-4_27},
volume = 2315,
wos = {000181348700027},
year = 2002
}
acm = {713460},
author = {Ricci, Alessandro and Omicini, Andrea and Denti, Enrico},
booktitle = {Coordination Models and Languages},
dblp = {conf/coordination/RicciOD02},
doi = {10.1007/3-540-46000-4_27},
editor = {Arbab, Farhad and Talcott, Carolyn},
eisbn = {978-3-540-46000-8},
eissn = {1611-3349},
iris = {11585/950120},
isbn = {978-3-540-43410-8},
isbn-10 = {3-540-43410-0},
isbn10 = {3-540-43410-0},
issn = {0302-9743},
note = {5th International Conference (COORDINATION 2002), York, UK, 8--11~} # apr # {~2002. Proceedings},
pages = {291--299},
publisher = {Springer Berlin Heidelberg},
scholar = {3370459498636496835},
scopus = {2-s2.0-84944054953},
semanticscholar = {33793704},
series = {Lecture Notes in Computer Science},
title = {Objective vs. Subjective Coordination in Agent-based Systems: A Case Study},
url = {http://link.springer.com/10.1007/3-540-46000-4_27},
volume = 2315,
wos = {000181348700027},
year = 2002
}
@incollection{aclt-lnai1760,
acm = {698418},
author = {Denti, Enrico and Omicini, Andrea},
booktitle = {Formal Models of Agents},
dblp = {conf/modelage/DentiO97},
doi = {10.1007/3-540-46581-2_7},
editor = {Meyer, John-Jules Ch. and Schobbens, Pierre-Yves},
eisbn = {978-3-540-46581-2},
iris = {11585/950777},
isbn = {978-3-540-67027-8},
isbn10 = {3-540-67027-0},
issn = {0302-9743},
keywords = {Multi-Agent Systems; Coordination Model; Transactions; Extensible Communication Abstraction},
note = {ESPRIT Project ModelAge Final Workshop. Selected Papers},
pages = {90--102},
publisher = {Springer-Verlag},
scholar = {5902775184975942945},
scopus = {2-s2.0-84942787374},
semanticscholar = {23244123},
series = {LNAI},
title = {Designing Multi-Agent Systems around an Extensible Communication Abstraction},
url = {http://link.springer.com/chapter/10.1007/3-540-46581-2_7},
volume = 1760,
wos = {000170556100007},
year = 1999
}
acm = {698418},
author = {Denti, Enrico and Omicini, Andrea},
booktitle = {Formal Models of Agents},
dblp = {conf/modelage/DentiO97},
doi = {10.1007/3-540-46581-2_7},
editor = {Meyer, John-Jules Ch. and Schobbens, Pierre-Yves},
eisbn = {978-3-540-46581-2},
iris = {11585/950777},
isbn = {978-3-540-67027-8},
isbn10 = {3-540-67027-0},
issn = {0302-9743},
keywords = {Multi-Agent Systems; Coordination Model; Transactions; Extensible Communication Abstraction},
note = {ESPRIT Project ModelAge Final Workshop. Selected Papers},
pages = {90--102},
publisher = {Springer-Verlag},
scholar = {5902775184975942945},
scopus = {2-s2.0-84942787374},
semanticscholar = {23244123},
series = {LNAI},
title = {Designing Multi-Agent Systems around an Extensible Communication Abstraction},
url = {http://link.springer.com/chapter/10.1007/3-540-46581-2_7},
volume = 1760,
wos = {000170556100007},
year = 1999
}
@article{luce-spe99,
acm = {334472},
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},
month = oct,
number = 12,
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 = {http://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 = {000083073900004},
year = 1999
}
acm = {334472},
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},
month = oct,
number = 12,
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 = {http://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 = {000083073900004},
year = 1999
}
@inproceedings{respect-sac98,
acm = {330665},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {1998 ACM Symposium on Applied Computing (SAC'98)},
dblp = {conf/sac/DentiNO98},
doi = {10.1145/330560.330665},
isbn = {0-89791-969-6},
location = {Atlanta, GA, USA},
month = {27~} # feb # {--1~} # mar,
note = {Special Track on Coordination Models, Languages and Applications},
pages = {169--177},
publisher = {ACM},
scopus = {2-s2.0-85002410745},
title = {On the Expressive Power of a Language for Programming Coordination Media},
url = {http://dl.acm.org/citation.cfm?id=330665},
urlpdf = {http://delivery.acm.org/10.1145/340000/330665/p169-denti.pdf},
year = 1998
}
acm = {330665},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {1998 ACM Symposium on Applied Computing (SAC'98)},
dblp = {conf/sac/DentiNO98},
doi = {10.1145/330560.330665},
isbn = {0-89791-969-6},
location = {Atlanta, GA, USA},
month = {27~} # feb # {--1~} # mar,
note = {Special Track on Coordination Models, Languages and Applications},
pages = {169--177},
publisher = {ACM},
scopus = {2-s2.0-85002410745},
title = {On the Expressive Power of a Language for Programming Coordination Media},
url = {http://dl.acm.org/citation.cfm?id=330665},
urlpdf = {http://delivery.acm.org/10.1145/340000/330665/p169-denti.pdf},
year = 1998
}
@incollection{respect-coord97,
acm = {713152},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {Coordination Languages and Models},
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},
note = {2nd International Conference (COORDINATION'97), Berlin, Germany, 1--3~} # sep # {~1997. Proceedings},
pages = {274--288},
publisher = {Springer-Verlag},
scopus = {2-s2.0-84957066558},
series = {Lecture Notes in Computer Science},
title = {Programmable Coordination Media},
url = {http://link.springer.com/10.1007/3-540-63383-9_86},
volume = 1282,
year = 1997
}
acm = {713152},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {Coordination Languages and Models},
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},
note = {2nd International Conference (COORDINATION'97), Berlin, Germany, 1--3~} # sep # {~1997. Proceedings},
pages = {274--288},
publisher = {Springer-Verlag},
scopus = {2-s2.0-84957066558},
series = {Lecture Notes in Computer Science},
title = {Programmable Coordination Media},
url = {http://link.springer.com/10.1007/3-540-63383-9_86},
volume = 1282,
year = 1997
}
@incollection{aclt-frocos96,
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},
note = {1st International Workshop (FroCoS'96), Munich, Germany, 26--29~} # mar # {~1996. Proceedings},
pages = {147--160},
publisher = {Kluwer Academic Publishers},
series = {Applied Logic Series},
title = {Logic Tuple Spaces for the Coordination of Heterogeneous Agents},
url = {http://link.springer.com/10.1007/978-94-009-0349-4_12},
volume = 3,
wos = {WOS:A1996BH48J00012},
year = 1996
}
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},
note = {1st International Workshop (FroCoS'96), Munich, Germany, 26--29~} # mar # {~1996. Proceedings},
pages = {147--160},
publisher = {Kluwer Academic Publishers},
series = {Applied Logic Series},
title = {Logic Tuple Spaces for the Coordination of Heterogeneous Agents},
url = {http://link.springer.com/10.1007/978-94-009-0349-4_12},
volume = 3,
wos = {WOS:A1996BH48J00012},
year = 1996
}
@incollection{aclt-coord96,
acm = {713129},
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},
month = sep,
note = {1st International Conference (COORDINATION'96), Cesena, Italy, 15--17~} # apr # {~1996. Proceedings},
pages = {305--320},
publisher = {Springer},
scopus = {2-s2.0-84958743149},
series = {LNCS},
title = {An Extensible Framework for the Development of Coordinated Applications},
url = {http://link.springer.com/10.1007/3-540-61052-9_53},
volume = 1061,
year = 1996
}
acm = {713129},
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},
month = sep,
note = {1st International Conference (COORDINATION'96), Cesena, Italy, 15--17~} # apr # {~1996. Proceedings},
pages = {305--320},
publisher = {Springer},
scopus = {2-s2.0-84958743149},
series = {LNCS},
title = {An Extensible Framework for the Development of Coordinated Applications},
url = {http://link.springer.com/10.1007/3-540-61052-9_53},
volume = 1061,
year = 1996
}
@incollection{lprobot-scsai95,
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},
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
}
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},
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
}
@inproceedings{aclt-aiia95,
acm = {761273},
author = {Omicini, Andrea and Denti, Enrico and Natali, Antonio},
booktitle = {Topics in Artificial Intelligence},
dblp = {conf/aiia/OmiciniDN95},
doi = {10.1007/3-540-60437-5_43},
editor = {Gori, Marco and Soda, Giovanni},
eisbn = {3-540-60437-5},
iris = {11585/953879},
isbn = {978-3-540-60437-2},
isbn10 = {3-540-60437-5},
issn = {0302-9743},
note = {4th Congress of the Italian Association for Artificial Intelligence (AI*IA'95), Florence, Italy, 11--13~} # oct # {~1995, Proceedings},
pages = {439--450},
publisher = {Springer-Verlag},
scholar = {9467690504149452680},
scopus = {2-s2.0-84957673013},
semanticscholar = {18358079},
series = {LNAI},
title = {Agent Coordination and Control through Logic Theories},
url = {http://link.springer.com/10.1007/3-540-60437-5_43},
volume = 992,
wos = {A1995BF24X00043},
year = 1995
}
acm = {761273},
author = {Omicini, Andrea and Denti, Enrico and Natali, Antonio},
booktitle = {Topics in Artificial Intelligence},
dblp = {conf/aiia/OmiciniDN95},
doi = {10.1007/3-540-60437-5_43},
editor = {Gori, Marco and Soda, Giovanni},
eisbn = {3-540-60437-5},
iris = {11585/953879},
isbn = {978-3-540-60437-2},
isbn10 = {3-540-60437-5},
issn = {0302-9743},
note = {4th Congress of the Italian Association for Artificial Intelligence (AI*IA'95), Florence, Italy, 11--13~} # oct # {~1995, Proceedings},
pages = {439--450},
publisher = {Springer-Verlag},
scholar = {9467690504149452680},
scopus = {2-s2.0-84957673013},
semanticscholar = {18358079},
series = {LNAI},
title = {Agent Coordination and Control through Logic Theories},
url = {http://link.springer.com/10.1007/3-540-60437-5_43},
volume = 992,
wos = {A1995BF24X00043},
year = 1995
}
@incollection{oolp-ilps94,
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},
pages = {89--101},
publisher = {Kluwer Academic Publishers},
title = {Moving {P}rolog Toward Objects},
url = {http://link.springer.com/10.1007/978-1-4615-2690-2_7},
wos = {A1994BB31B00007},
year = 1994
}
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},
pages = {89--101},
publisher = {Kluwer Academic Publishers},
title = {Moving {P}rolog Toward Objects},
url = {http://link.springer.com/10.1007/978-1-4615-2690-2_7},
wos = {A1994BB31B00007},
year = 1994
}
@incollection{ctxlp-elpIII,
acm = {736334},
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},
isbn = {978-3-540-56454-6},
isbn-10 = {3-540-56454-3},
isbn10 = {3-540-56454-3},
issn = {0302-9743},
keywords = {Virtual Machine, Logic Program, Logic Programming, Hypothetical Reasoning, Program Clause},
note = {3rd International Workshop (ELP'92), Bologna, Italy, 26--28~} # feb # {~1992. Proceedings},
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 = {http://link.springer.com/10.1007/3-540-56454-3_17},
volume = 660,
year = 1993
}
acm = {736334},
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},
isbn = {978-3-540-56454-6},
isbn-10 = {3-540-56454-3},
isbn10 = {3-540-56454-3},
issn = {0302-9743},
keywords = {Virtual Machine, Logic Program, Logic Programming, Hypothetical Reasoning, Program Clause},
note = {3rd International Workshop (ELP'92), Bologna, Italy, 26--28~} # feb # {~1992. Proceedings},
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 = {http://link.springer.com/10.1007/3-540-56454-3_17},
volume = 660,
year = 1993
}