2018

[1] Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Elena Bellodi, and Evelina Lamma. A modular inference system for probabilistic description logics. In Davide Ciucci, Gabriella Pasi, and Barbara Vantaggi, editors, Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings, volume 11142 of Lecture Notes in Computer Science, pages 78--92, Heidelberg, Germany, 2018. © Springer, Springer. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-030-00461-3_6. [ bib | DOI | .pdf ]
[2] Riccardo Zese, Elena Bellodi, Giuseppe Cota, Fabrizio Riguzzi, and Evelina Lamma. Probabilistic DL reasoning with pinpointing formulas: A Prolog-based approach. Theory and Practice of Logic Programming, 2018. [ bib | .pdf ]
[3] Fabrizio Riguzzi, Elena Bellodi, and Riccardo Zese. Preface. In Fabrizio Riguzzi, Elena Bellodi, and Riccardo Zese, editors, Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings, volume 11105 of Lecture Notes in Artificial Intelligence, pages V--VI, Heidelberg, Germany, 2018. © Springer, Springer. [ bib | DOI | .pdf ]
[4] Fabrizio Riguzzi, Elena Bellodi, and Riccardo Zese, editors. Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings, volume 11105 of Lecture Notes in Artificial Intelligence, Heidelberg, Germany, 2018. © Springer, Springer. [ bib | DOI | http ]
[5] Fabrizio Riguzzi, Elena Bellodi, and Riccardo Zese, editors. Up-and-Coming and Short Papers of the 28th International Conference on Inductive Logic Programming (ILP 2018), volume 2206 of CEUR Workshop Proceedings, Aachen, Germany, 2018. © by the authors, Sun SITE Central Europe. [ bib | http ]
[6] Riccardo Zese. Plp: a brick to build your own starship. In Elena Bellodi and Tom Schrijvers, editors, Probabilistic Logic Programming (PLP 2018), volume 2219 of CEUR Workshop Proceedings, page 1, Aachen, Germany, 2018. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[7] Fabrizio Riguzzi, Jan Wielemaker, and Riccardo Zese. Probabilistic inference in swi-prolog. In Elena Bellodi and Tom Schrijvers, editors, Probabilistic Logic Programming (PLP 2018), volume 2219 of CEUR Workshop Proceedings, pages 15--27, Aachen, Germany, 2018. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[8] Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, and Riccardo Zese. Modeling bitcoin protocols with probabilistic logic programming. In Elena Bellodi and Tom Schrijvers, editors, Probabilistic Logic Programming (PLP 2018), volume 2219 of CEUR Workshop Proceedings, pages 49--61, Aachen, Germany, 2018. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[9] Fabrizio Riguzzi, Elena Bellodi, and Riccardo Zese. Preface. In Fabrizio Riguzzi, Elena Bellodi, and Riccardo Zese, editors, Up-and-Coming and Short Papers of the 28th International Conference on Inductive Logic Programming (ILP 2018), volume 2206 of CEUR Workshop Proceedings, pages 1--5, Aachen, Germany, 2018. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[10] Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Giuseppe Cota, and Evelina Lamma. Tableau reasoning for description logics and its extension to probabilities. Annals of Mathematics and Artificial Intelligence, 82(1):101--130, © Springer, March 2018. [ bib | DOI | .pdf | http ]
[11] Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, and Giuseppe Cota. Reasoning on datalog+- ontologies with abductive logic programming. Fundamenta Informaticae, 159:65--93, 2018. [ bib | DOI | .pdf ]

2017

[1] Riccardo Zese. Probabilistic Semantic Web, volume 28 of Studies on the Semantic Web. IOS Press, 2017. [ bib | DOI | http ]
[2] Fabrizio Riguzzi, Giuseppe Cota, Elena Bellodi, and Riccardo Zese. Causal inference in cplint. International Journal of Approximate Reasoning, 91(Supplement C):216--232, © Elsevier, December 2017. [ bib | DOI | http | .pdf ]
[3] Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. Iterated fixpoint well-founded semantics for hybrid knowledge bases. In Dario Della Monica, Aniello Murano, Sasha Rubin, and Luigi Sauro, editors, Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, volume 1949 of CEUR Workshop Proceedings, pages 248--261, Aachen, Germany, 2017. Sun SITE Central Europe. [ bib | .pdf ]
[4] Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. A distribution semantics for non-DL-safe probabilistic hybrid knowledge bases. In Christian Theil Have and Riccardo Zese, editors, 4th International Workshop on Probabilistic logic programming, PLP 2017, volume 1916 of CEUR Workshop Proceedings, pages 40--50, Aachen, Germany, 2017. Sun SITE Central Europe. [ bib | .pdf ]
[5] Riccardo Zese and Christian Theil Have, editors. Proceedings of the Workshop on Probabilistic Logic Programming 2017 co-located with 27th International Conference on Inductive Logic Programming (ILP 2017), Orléans, France, September 7, 2017, volume 1916 of CEUR Workshop Proceedings. CEUR-WS.org, 2017. [ bib | http ]
[6] Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Zese Riccardo. Dischargeable obligations in abductive logic programming. In Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman, editors, Rules and Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July 12--15, 2017, Proceedings, volume 10364 of Lecture Notes in Computer Science, pages 7--21, Cham, 2017. © Springer International Publishing AG, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-61252-2_2. [ bib | DOI | .pdf ]
[7] Riccardo Zese. Probabilistic description logics: Reasoning and learning. In Nick Bassiliades, Antonis Bikakis, Stefania Costantini, Enrico Franconi, Adrian Giurca, Roman Kontchakov, Theodore Patkos, Fariba Sadri, and William Van Woensel, editors, Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK, July 11-15, 2017., volume 1875 of CEUR Workshop Proceedings. CEUR-WS.org, 2017. [ bib | .pdf ]
[8] Fabrizio Riguzzi, Riccardo Zese, and Giuseppe Cota. Probabilistic inductive logic programming on the web. In 20th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2016; Bologna; Italy; 19 November 2016 through 23 November 2016, volume 10180 of Lecture Notes in Computer Science, pages 172--175. Springer, Cham, © Springer International Publishing AG, 2017. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-58694-6_25. [ bib | DOI | .pdf ]
[9] Fabrizio Riguzzi, Evelina Lamma, Marco Alberti, Elena Bellodi, Riccardo Zese, and Giuseppe Cota. Probabilistic logic programming for natural language processing. In Federico Chesani, Paola Mello, and Michela Milano, editors, URANIA 2016, Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents, Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016), volume 1802 of CEUR Workshop Proceedings, pages 30--37, Aachen, Germany, 2017. © by the authors, Sun SITE Central Europe. [ bib | http | .pdf ]
[10] Marco Alberti, Elena Bellodi, Giuseppe Cota, Fabrizio Riguzzi, and Riccardo Zese. cplint on SWISH: Probabilistic logical inference with a web browser. Intelligenza Artificiale, 11(1):47--64, © IOS Press, 2017. [ bib | DOI | .pdf ]
[11] Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese, and Giuseppe Cota. A web system for reasoning with probabilistic OWL. Software: Practice and Experience, 47(1):125--142, © Wiley, January 2017. [ bib | DOI | .pdf ]
[12] Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, and Evelina Lamma. A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics. International Journal of Approximate Reasoning, 80(Supplement C):313--333, © Elsevier, January 2017. [ bib | DOI | .pdf | http ]
[13] Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Zese Riccardo, and Giuseppe Cota. Abductive logic programming for normative reasoning and ontologies. In Mihoko Otake, Setsuya Kurahashi, Yuiko Ota, Ken Satoh, and Daisuke Bekki, editors, New Frontiers in Artificial Intelligence: JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers, volume 10091 of Lecture Notes in Computer Science, pages 187--203, Cham, 2017. © Springer International Publishing AG, Springer International Publishing. [ bib | DOI ]

2016

[1] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, and Giuseppe Cota. Probabilistic logic programming on the web. Software: Practice and Experience, 46(10):1381--1396, © Wiley, October 2016. [ bib | DOI | .pdf ]
[2] Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. Probabilistic constraint logic theories. In Arjen Hommersom and Samer Abdallah, editors, Proceedings of the 3nd International Workshop on Probabilistic Logic Programming (PLP), volume 1661 of CEUR Workshop Proceedings, pages 15--28, Aachen, Germany, 2016. © by the authors, Sun SITE Central Europe. [ bib | http | .pdf ]
[3] Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, and Evelina Lamma. Scaling structure learning of probabilistic logic programs by mapreduce. In Maria Fox and Gal Kaminka, editors, 22nd European Conference on Artificial Intelligence ECAI 2016, volume 285 of Frontiers in Artificial Intelligence and Applications, pages 1602--1603. IOS Press, © CC-BY-NC 4.0, 2016. [ bib | DOI | http ]
[4] Marco Alberti, Giuseppe Cota, Fabrizio Riguzzi, and Riccardo Zese. Probabilistic logical inference on the web. In Giovanni Adorni, Stefano Cagnoni, Marco Gori, and Marco Maratea, editors, Proceedings of the 15th Conference of the Italian Association for Artificial Intelligence (AI*IA2016), Genova, Italy, 28 November - 1 December 2016, volume 10037 of Lecture Notes in Computer Science, pages 351--363, Heidelberg, Germany, 2016. © Springer International Publishing AG, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-49130-1_26. [ bib | DOI | .pdf ]
[5] Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. Probabilistic hybrid knowledge bases under the distribution semantics. In Giovanni Adorni, Stefano Cagnoni, Marco Gori, and Marco Maratea, editors, Proceedings of the 15th Conference of the Italian Association for Artificial Intelligence (AI*IA2016), Genova, Italy, 28 November - 1 December 2016, volume 10037 of Lecture Notes in Computer Science, pages 364--376, Heidelberg, Germany, 2016. © Springer International Publishing AG, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-49130-1_27. [ bib | DOI | .pdf ]
[6] Giuseppe Cota, Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma. Distributed parameter learning for probabilistic ontologies. In Katsumi Inoue, Hayato Ohwada, and Akihiro Yamamoto, editors, Inductive Logic Programming: 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers, volume 9575 of Lecture Notes in Computer Science, pages 30--45, Heidelberg, Germany, 2016. © Springer International Publishing Switzerland, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-40566-7_3. [ bib | DOI | .pdf ]

2015

[1] Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio Riguzzi. Learning probabilistic ontologies with distributed parameter learning. In Elena Bellodi and Alessio Bonfietti, editors, Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), volume 1485 of CEUR Workshop Proceedings, pages 7--12, Aachen, Germany, 2015. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[2] Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma. Tableau reasoners for probabilistic ontologies exploiting logic programming techniques. In Elena Bellodi and Alessio Bonfietti, editors, Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), volume 1485 of CEUR Workshop Proceedings, pages 1--6, Aachen, Germany, 2015. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[3] Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio Riguzzi. Structure learning with distributed parameter learning for probabilistic ontologies. In Jaakko Hollmen and Panagiotis Papapetrou, editors, Doctoral Consortium of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, pages 75--84, © by the authors, 2015. [ bib | http | http ]
[4] Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, and Giuseppe Cota. An abductive framework for Datalog+- ontologies. In Marina De Vos, Thomas Eiter, Yuliya Lierler, and Francesca Toni, editors, Technical Communications of the 31st Int'l. Conference on Logic Programming (ICLP 2015), number 1433 in CEUR Workshop Proceedings, Aachen, Germany, 2015. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[5] Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, and Giuseppe Cota. Abductive logic programming for Datalog+- ontologies. In Davide Ancona, Marco Maratea, and Viviana Mascardi, editors, Proceedings of the 30th Italian Conference on Computational Logic (CILC2015), Genova, Italy, 1-3 July 2015, number 1459 in CEUR Workshop Proceedings, pages 128--143, Aachen, Germany, 2015. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[6] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Reasoning with probabilistic ontologies. In Qiang Yang and Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015, pages 4310--4316, Palo Alto, California USA, 2015. © International Joint Conferences on Artificial Intelligence, AAAI Press / International Joint Conferences on Artificial Intelligence. [ bib | .pdf ]
[7] Riccardo Zese. Inference and learning for probabilistic description logics. In Qiang Yang and Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015, pages 4411--4412, Palo Alto, California USA, 2015. © International Joint Conferences on Artificial Intelligence, AAAI Press / International Joint Conferences on Artificial Intelligence. [ bib | http | .pdf ]
[8] Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio Riguzzi. Logic programming techniques for reasoning with probabilistic ontologies. In Odile Papini, Salem Benferhat, Laurent Garcia, and Marie-Laure Mugnier, editors, International Workshop on Ontologies and Logic Programming for Query Answering, © by the authors, 2015. [ bib | .pdf | http ]
[9] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Probabilistic description logics under the distribution semantics. Semantic Web - Interoperability, Usability, Applicability, 6(5):447--501, 2015. [ bib | DOI | .pdf ]

2014

[1] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, and Giuseppe Cota. Learning probabilistic description logics. In Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, and Michael Pool, editors, Uncertainty Reasoning for the Semantic Web III, volume 8816 of Lecture Notes in Computer Science, pages 63--78. Springer International Publishing, © Springer International Publishing, 2014. The original publication is available at http://www.springerlink.com. [ bib | DOI | .pdf ]
[2] Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, and Fabiano Aguiari. Semantics and inference for probabilistic description logics. In Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, and Michael Pool, editors, Uncertainty Reasoning for the Semantic Web III, volume 8816 of Lecture Notes in Computer Science, pages 79--99. Springer International Publishing, © Springer International Publishing, 2014. The original publication is available at http://www.springerlink.com. [ bib | DOI | .pdf ]
[3] Fabrizio Riguzzi, Elena Bellodi, and Riccardo Zese. A history of probabilistic inductive logic programming. Frontiers in Robotics and AI, 1(6):1--5, © by the authors, 2014. [ bib | DOI | http ]
[4] Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vitor Santos Costa, and Riccardo Zese. Lifted variable elimination for probabilistic logic programming. Theory and Practice of Logic Programming, 14(Special issue 4-5 - ICLP 2014):681--695, © Cambridge University Press, 2014. [ bib | DOI | http ]
[5] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Learning the parameters of probabilistic description logics. In Gerson Zaverucha, Vitor Santos Costa, and Aline Marins Paes, editors, Late Breaking papers of the 23rd International Conference on Inductive Logic Programming, Rio de Janeiro, Brazil, August 28th to 30th, 2013, volume 1187 of CEUR Workshop Proceedings, pages 46--51, Aachen, Germany, 2014. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[6] Riccardo Zese. Learning probabilistic description logics theories. In Luigi Di Caro, Carmine Dodaro, Andrea Loreggia, Roberto Navigli, Alan Perotti, and Manuela Sanguinetti, editors, Proceedings of the Second Doctoral Workshop in Artificial Intelligence (DWAI 2014) An official workshop of the 13th Symposium of the Italian Association for Artificial Intelligence "Artificial Intelligence for Society and Economy" (AI*IA 2014), Pisa, Italy, December 11, 2014., volume 1334 of CEUR Workshop Proceedings, pages 13--22. CEUR-WS.org, 2014. [ bib | .pdf ]
[7] Riccardo Zese. Reasoning with probabilistic logics. CoRR, abs/1405.0915, © by the authors, 2014. [ bib | http | .pdf ]

2013

[1] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Computing instantiated explanations in OWL DL. In Matteo Baldoni, Cristina Baroglio, and Guido Boella, editors, Proceedings of the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA2013), Turin, Italy, 4-6 December 2013, volume 8249 of Lecture Notes in Artificial Intelligence, pages 397--408, Heidelberg, Germany, 2013. © Springer, Springer. The original publication is available at http://www.springerlink.com. [ bib | DOI | .pdf ]
[2] Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio Riguzzi. A description logics tableau reasoner in Prolog. In Domenico Cantone and Marianna Nicolosi Asmundo, editors, Proceedings of the 28th Italian Conference on Computational Logic (CILC2013), Catania, Italy, 25-27 September 2013, number 1068 in CEUR Workshop Proceedings, pages 33--47, Aachen, Germany, 2013. © by the authors, Sun SITE Central Europe. [ bib | .pdf | .pdf ]
[3] Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, and Riccardo Zese. BUNDLE: A reasoner for probabilistic ontologies. In Wolfgang Faber and Domenico Lembo, editors, 7th International Conference on Web Reasoning and Rule Systems (RR 2013), Mannheim, Germany, July 27-29 2013. Proceedings, volume 7994 of Lecture Notes in Computer Science, pages 183--197, Heidelberg, Germany, 2013. © Springer, Springer. The original publication is available at http://www.springerlink.com. [ bib | DOI | .pdf ]
[4] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Parameter learning for probabilistic ontologies. In Wolfgang Faber and Domenico Lembo, editors, 7th International Conference on Web Reasoning and Rule Systems (RR 2013), Mannheim, Germany, July 27-29 2013. Proceedings, volume 7994 of Lecture Notes in Computer Science, pages 265--270, Heidelberg, Germany, 2013. © Springer, Springer. The original publication is available at http://www.springerlink.com. [ bib | DOI | .pdf ]

2012

[1] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Epistemic and statistical probabilistic ontologies. In Fernando Bobillo, Rommel Carvalho, Paulo C. G. da Costa, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Trevor Martin, Matthias Nickles, and Michael Pool, editors, Proceedings of the 8th International Workshop on Uncertain Reasoning for the Semantic Web (URSW2012), Boston, USA, 11 November 2012, number 900 in CEUR Workshop Proceedings, pages 3--14, Aachen, Germany, 2012. Sun SITE Central Europe. [ bib | .pdf ]
[2] Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, and Riccardo Zese. Semantics and inference for probabilistic ontologies. In Matteo Baldoni, Federico Chesani, Bernardo Magnini, Paola Mello, and Marco Montai, editors, Popularize Artificial Intelligence. Proceedings of the AI*IA Workshop and Prize for Celebrating 100th Anniversary of Alan Turing's Birth (PAI 2012), Rome, Italy, June 15, 2012, volume 860 of CEUR Workshop Proceedings, pages 41--46, Aachen, Germany, 2012. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]