DIPARTIMENTO   DI   INFORMATICA
Università di Torino

THE GROUP'S LOGO

Publications

The documents distributed by this server have been provided by thecontributing authors as a means to ensure timely dissemination ofscholarly and technical work on a noncommercial basis.Copyright and all rights therein are maintained by the authors orby other copyright holders, notwithstanding that they haveoffered their works here electronically.It is understood that all persons copying this informationwill adhere to the terms and constraints invoked by each author'scopyright.These works may not be reposted without the explicit permission of thecopyright holder.
[2017][2016][2015][2014][2013][2012][2011][2010][2009][2008][2007]

2017

  • M. Baldoni, C. Baroglio, F. Capuzzimati, and R. Micalizio. Commitment-based Agent Interaction in JaCaMo+. Fundamenta Informaticae, 2017. To appear. (PDF)

  • M. Baldoni, C. Baroglio, F. Capuzzimati, and R. Micalizio. Endowing Business Artifacts with a Normative Coordination Layer. In P. De Meo, M. N. Postorino, D. Rosaci, and G. M. L. Sarné, editors, Proc. of 18th Workshop "From Objects To Agents", WOA 2017, volume 1867, pages 71-77, Scilla (RC), Italy, June 15-16 2017. CEUR, Workshop Proceedings. A revised and extended version of this paper appears in the workshop BPAI 2017. (PDF)

  • M. Baldoni, C. Baroglio, F. Capuzzimati, and R. Micalizio. Enriching Business Artifacts with Coordination. In X. Franch and J. Ralyté, editors, Proc. of CAiSE Forum 2017, Conference on Advanced Information Systems Engineering (CAiSE), volume 1848, pages 17-24, Essen, Germany, June 2017. CEUR, Workshop Proceedings. The extended version of this paper appears in the workshop BPAI 2017. (PDF)

  • M. Baldoni, C. Baroglio, F. Capuzzimati, and R. Micalizio. Objective Coordination with Business Artifacts and Social Engagements. In J. Koehler, M. Montali, B. Srivastava, H. Stuckenschmidt, R. De Masellis, C. Di Fracescomarino, F. M. Maggi, and A. Senderovich, editors, Proc. of First Workshop on BP Innovations with Artificial Intelligence, BPAI 2017, co-located with Business Process Management Conference (BPM) 2017, Barcelona, Spain, 11 September 2017. (PDF)

  • M. Baldoni, C. Baroglio, K. M. May, R. Micalizio, and S. Tedeschi. ADOPT JaCaMo: Accountability-Driven Organization Programming Technique for JaCaMo. In A. Bo, A. Bazzan, J. Leite, L. van der Torre, and S. Villata, editors, PRIMA 2017: Principles and Practice of Multi-Agent Systems, 20th International Conference, Lecture Notes in Computer Science, Nice, France, October 30th-November 3rd 2017. Springer. To appear. (PDF)

  • M. Baldoni, C. Baroglio, K. M. May, R. Micalizio, and S. Tedeschi. Supporting Organizational Accountability inside Multiagent Systems. In R. Basili, F. Esposito, R. Ferilli, and F. A. Lisi, editors, AI*IA 2017: Advances in Artificial Intelligence, XVI International Conference of the Italian Association for Artificial Intelligence, LNAI, Bari, Italy, November 14th-17th 2017. Springer. To appear. (PDF)

2016

2015

2014

  • M. Baldoni, C. Baroglio, F. Bex, F. Grasso, N. Green, M.-R. Namazi-Rad, M. Numao, M. Merlin, and M. T. Suarez, editors. Principles and Practice of Multi-Agent Systems: International Workshops: IWEC 2014, CMNA XV, IWEC 2015, Revised Selected Papers, volume 9535 of Lecture Notes in Artificial Intelligence (LNAI), Gold Coast, QLD, Australia and Bertinoro, Italy, 2016. Springer.

  • G. Attardi, V. Basile, C. Bosco, T. Caselli, F. Dell'Orletta, S. Montemagni, V. Patti, M. Simi, and R. Sprugnoli. State of the Art Language Technologies for Italian: The EVALITA 2014 Perspective. Journal of Intelligenza Artificiale, 9(1):43-61, 2015.

  • M. Baldoni. Android applications are inspired by Multi-Agent Systems. Presentation at Droidcon 2014, Torino, Italy, February 2014. (PDF)

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. A Commitment-based Infrastructure for Programming Socio-Technical Systems. ACM Transactions on Internet Technology, Special Issue on Foundations of Social Computing, 14(4):23:1-23:23, December 2014. (PDF)

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. Reasoning about Social Relationships with Jason. In A. Chopra and H. Verhagen, editors, Proc. of the 1st International Workshop on Multiagent Foundations of Social Computing, SC-AAMAS 2014, held in conjuction with AAMAS 2014, Paris, France, May 2014. (PDF)

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. Social Computing in JaCaMo. In T. Schaub, Friedrich, and B. G. O'Sullivan, editors, Proc. of the 21st European Conference on Artificial Intelligence, ECAI 2014, volume 263 of Frontiers in Artificial Intelligence and Applications, pages 959-960, Prague, Czech Republic, August 2014. IOS Press. (PDF)

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. Social Computing with 2COMM. ILIAS Seminar, University of Luxembourg, Luxembourg, June 2014. (PDF)

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. Social Relationships for Designing Agent Interaction in JADE. In C. Santoro and F. Bergenti, editors, Proc. of 15th Workshop From Objects to Agents, WOA 2014, volume 1260, Catania, Italy, September 2014. CEUR, Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. Typing Multi-Agent Systems via Commitments. In F. Dalpiaz, J. Dix, and M. B. van Riemsdijk, editors, Proc. of the 2nd International Workshop on Engineering Multi-Agent Systems, EMAS 2014, held in conjuction with AAMAS 2014, pages 341-359, Paris, France, May 2014. (PDF)

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. Typing Multi-Agent Systems via Commitments. In F. Dalpiaz, J. Dix, and M. B. van Riemsdijk, editors, Post-Proc. of the 2nd International Workshop on Engineering Multi-Agent Systems, EMAS 2014, Revised Selected and Invited Papers, number 8758 in LNAI, pages 388-405. Springer, 2014. (PDF)

  • M. Baldoni, C. Baroglio, and A. Garro. Agents and Multi-Agent Systems: From Objects to Agents, Guest Editorial. SCS M&S Magazine, 4(3):3, December 2014. (PDF)

  • M. Baldoni, C. Baroglio, E. Marengo, V. Patti, and F. Capuzzimati. Engineering commitment-based business protocols with 2CL methodology. Journal of Autonomous Agents and Multi-Agent Systems, 28(4):519-557, July 2014. (PDF)

  • Valerio Basile, Andrea Bolioli, Malvina Nissim, Viviana Patti, and Paolo Rosso. Overview of the Evalita 2014 SENTIment POLarity Classification Task. In Proceedings of the 4th evaluation campaign of Natural Language Processing and Speech tools for Italian (EVALITA'14), pages 50-57, Pisa, Italy, 2014. Pisa University Press. (PDF)

  • C. Bosco, L. Allisio, V. Mussa, V. Patti, G. Ruffo, M. Sanguinetti, and E. Sulis. Detecting Happiness in Italian Tweets: Towards an Evaluation Dataset for Sentiment Analysis in Felicittà. In B. Schuller, P. Buitelaar, L. Devillers, C. Pelachaud, T. Declerck, A. Batliner, P. Rosso, and S. Gaines, editors, Proc. of the 5th International Workshop on EMOTION, SOCIAL SIGNALS, SENTIMENT & LINKED OPEN DATA, ESSSLOD 2014, pages 56-63, Reykjavík, Islanda, May 2014. European Language Resources Association. (PDF)

  • V. Genovese, L. Giordano, V. Gliozzi, and Pozzato G. L. Logics in access control: a conditional approach. Journal of Logic and Computation 24(4), pages 705-762, 2014.

  • L. Giordano, V. Gliozzi, N. Olivetti, and Pozzato G. L. Minimal models for rational closure in SHIQ. In Proc. of the 15th Italian Conference on Theoretical Computer Science (ICTCS 2014), pages 271-277. CEUR Workshop Proceedings, 2014.

  • L. Giordano, V. Gliozzi, N. Olivetti, and Pozzato G. L. Rational Closure in SHIQ. In Proc. of the 27th International Workshop on Description Logics (DL2014), pages 1-13. CEUR Workshop Proceedings, 2014.

  • R. Micalizio, M. Baldoni, and C. Baroglio. Multiagent Planning as an Emerging Behavior in Agent Societies. Presentation at Normative Multi-Agent Systems (NorMAS 2014), University Residential Center, Bertinoro (Forlì-Cesena), Italy, September 2014. (PDF)

  • Manuela Sanguinetti, Emilio Sulis, Viviana Patti, Giancarlo Ruffo, Leonardo Allisio, Valeria Mussa, and Cristina Bosco. Developing corpora and tools for sentiment analysis: the experience of the University of Turin group. In Proceedings of the of the First Italian Conference on Computational Linguistics (CLiC-it 2014), pages 322-327, Pisa, Italy, 2014. Pisa University Press. (PDF)

2013

  • M. Baldoni, C. Baroglio, E. Marengo, V. Patti, and F. Capuzzimati. Engineering commitment-based business protocols with 2CL methodology. Journal of Autonomous Agents and Multi-Agent Systems, 28(4):519-557, July 2014. (PDF)

  • R. Alenda, N. Olivetti, and G. L. Pozzato. Nested Sequents Calculi for Normal Conditional Logics. Journal of Logic and Computation, to appear:1-48, 2013.

  • L. Allisio, V. Mussa, C. Bosco, V. Patti, and G. Ruffo. Felicittà: Visualizing and Estimating Happiness in Italian Cities from Geotagged Tweets. In C. Battaglino, C. Bosco, E. Cambria, R. Damiano, V. Patti, and P. Rosso, editors, Proc. of the First International Workshop on Emotion and Sentiment in Social and Expressive Media: approaches and perspectives from AI (ESSEM 2013) A workshop of the XIII International Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), volume 1096, pages 95-106, Turin, Italy, December 2013. CEUR, Workshop Proceedings. (PDF)

  • M. Baldoni and C. Baroglio. Some Thoughts about Commitment Protocols (Position Paper). In M. Baldoni, L. Dennis, V. Mascardi, and W. Vasconcelos, editors, Post-Proc. of the 10th International Workshop on Declarative Agent Languages and Technologies X, DALT 2012, Revised Selected and Invited Papers, number 7784 in LNAI, pages 190-196. Springer, 2013. (PDF)

  • M. Baldoni, C. Baroglio, F. Bergenti, and A. Garro, editors. Proceedings of the 14th Workshop "From Objects to Agents", WOA 2013, Turin, Italy, December 2013. CEUR Workshop Proceedings. Online CEUR-WS.org/Vol-1099/. (PDF)

  • M. Baldoni, C. Baroglio, G. Boella, and R. Micalizio, editors. AI*IA 2013: Advances in Artificial Intelligence, XIII International Conference of the Italian Association for Artificial Intelligence, volume 8249 of Lecture Notes in Artificial Intelligence (LNAI), Turin, Italy, 2013. Springer.

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. 2COMM: a commitment-based MAS architecture. In M. Cossentino, A. El Fallah Seghrouchni, and M. Winikoff, editors, Proc. of the 1st International Workshop on Engineering Multi-Agent Systems, EMAS 2013, held in conjuction with AAMAS 2013, pages 17-32, St. Paul, Minnesota, USA, May 2013. (PDF)

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. 2COMM: a commitment-based MAS architecture. In M. Cossentino, A. El Fallah Seghrouchni, and M. Winikoff, editors, Post-Proc. of the 1st International Workshop on Engineering Multi-Agent Systems, EMAS 2013, Revised Selected and Invited Papers, number 8245 in LNAI, pages 38-57. Springer, 2013. (PDF)

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. Norms for Typing MAS Multi-Agent Systems. Presentation at Normative Multi-Agent Systems (NorMAS 2013), Lorentz Center, International Center for workshops in the Sciences, Leiden, The Netherlands, August 2013. (PDF)

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. Programming and Reasoning about Social Relationships: a Commitment-based Infrastructure. Technical report, Dip. di Informatica, Univ. di Torino, November 2013. (PDF)

  • M. Baldoni, C. Baroglio, F. Capuzzimati, E. Marengo, and V. Patti. A Generalized Commitment Machine for 2CL protocols and Its Implementation. In M. Baldoni, L. Dennis, V. Mascardi, and W. Vasconcelos, editors, Post-Proc. of the 10th International Workshop on Declarative Agent Languages and Technologies X, DALT 2012, Revised Selected and Invited Papers, number 7784 in LNAI, pages 96-115. Springer, 2013. (PDF)

  • M. Baldoni, C. Baroglio, E. Marengo, and V. Patti. Constitutive and Regulative Specifications of Commitment Protocols: a Decoupled Approach. ACM Transactions on Intelligent Systems and Technology, Special Issue on Agent Communication, 4(2):22:1-22:25, March 2013. (PDF)

  • M. Baldoni, C. Baroglio, V. Patti, and C. Schifanella. Sentiment Analysis in the Planet Art: a Case Study in the Social Semantic Web. In C. Lai, G. Semeraro, and E. Vargiu, editors, New Challenges in Distributed Information Filtering and Retrieval, volume 439 of Studies in Computational Intelligence, pages 131-149. Springer, 2013. (PDF)

  • M. Baldoni, F. Chesani, , P. Mello, and M. Montali, editors. Popularize Artificial Intelligence, Proc. of AI*IA Workshop Popularize Artificial Intelligence, PAI 2013, volume 1107, Turin, Italy, December 2013. CEUR Workshop Proceedings. Online CEUR-WS.org/Vol-1107/. (PDF)

  • M. Baldoni, L. Dennis, V. Mascardi, and W. Vasconcelos, editors. Declarative Agent Languages and Technologies X: Tenth International Workshop, DALT 2012, Revised Selected and Invited Papers, volume 7784 of Lecture Notes in Artificial Intelligence (LNAI), Valencia, Spain, 2013. Springer.

  • M. Baldoni, P. Mello, and F. Riguzzi. 25 years of AI*IA, Guest Editorial. Journal of Intelligenza Artificiale, 7(2):69, November 2013. (PDF)

  • F. Bertola and V. Patti. Emotional Responses to Artworks in Online Collections. In S. Berkovsky, E. Herder, P. Lops, Santos, and Olga C., editors, UMAP 2013 Extended Proceedings. Late-Breaking Results, Project Papers and Workshop Proceedings of the 21st Conference on UMAP. PATCH 2013: Personal Access to Cultural Heritage, volume 997 of CEUR Workshop Proceedings, Roma, Italy, 2013. CEUR-WS.org.

  • C. Bosco, V. Patti, and A. Bolioli. Developing Corpora for Sentiment Analysis: The Case of Irony and Senti-TUT. IEEE Intelligent Systems, Special issue on Knowledge-Based Approaches to Concept-Level Sentiment Analysis, 28(2):55-63, 2013.

  • L. Giordano, V. Gliozzi, A. Jalal, N. Olivetti, and Pozzato G. L. Minimal models for rational closure in SHIQ. In Proc. of AI*IA 2013, Lecture Notes in Artificial Intelligence, LNAI 8249, pages 60 -- 72. Springer, 2013.

  • L. Giordano, V. Gliozzi, N. Olivetti, and Pozzato G. L. A semantics for Rational Closure: Preliminary Results. In Proc. of CILC 2013, pages 99-113. CEUR Workshop Proceedings 1068, 2013.

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A NonMonotonic Description Logic for Reasoning About Typicality. Artificial Intelligence, 195:165-202, 2013. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Minimal Model Semantics and Rational Closure in Description Logics. In Yevgeny Kazakov and Birte Glimm, editors, Proceedings of the 26th International Workshop on Description Logics (DL 2013), volume -- of CEUR, page to appear, Ulm, Germany, July 2013. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Rational closure for description logics of typicality. In Sébastien Konieczny and Nicolas Maudet, editors, Proceedings of IAF 13: Journées d'Intelligence Artificielle Fondamentale, page to appear, Aix en Provence, France, June 12-14 2013. (PDF)

  • S. Lanza, S. Vallana, and C. Baroglio. CME: A Tool for Designing Business Models based on Commitment Patterns. In M. Baldoni, F. Chesani, , P. Mello, and M. Montali, editors, Popularize Artificial Intelligence, Proc. of AI*IA Workshop Popularize Artificial Intelligence, PAI 2013, co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), volume 1107, pages 51-57, Turin, Italy, December 2013. CEUR Workshop Proceedings. Online CEUR-WS.org/Vol-1107/. (PDF)

  • V. Patti and F. Bertola. Organizing Artworks in an Ontology-based Semantic Affective Space. In C. Battaglino, C. Bosco, E. Cambria, R. Damiano, V. Patti, and P. Rosso, editors, Proc. of the First International Workshop on Emotion and Sentiment in Social and Expressive Media: approaches and perspectives from AI (ESSEM 2013) A workshop of the XIII International Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), volume 1096, pages 119-130, Turin, Italy, December 2013. CEUR, Workshop Proceedings. (PDF)

2012

  • M. Baldoni and C. Baroglio. Some Thoughts about Commitment Protocols (Position Paper). In M. Baldoni, L. Dennis, V. Mascardi, and W. Vasconcelos, editors, Post-Proc. of the 10th International Workshop on Declarative Agent Languages and Technologies X, DALT 2012, Revised Selected and Invited Papers, number 7784 in LNAI, pages 190-196. Springer, 2013. (PDF)

  • M. Baldoni, C. Baroglio, F. Capuzzimati, E. Marengo, and V. Patti. A Generalized Commitment Machine for 2CL protocols and Its Implementation. In M. Baldoni, L. Dennis, V. Mascardi, and W. Vasconcelos, editors, Post-Proc. of the 10th International Workshop on Declarative Agent Languages and Technologies X, DALT 2012, Revised Selected and Invited Papers, number 7784 in LNAI, pages 96-115. Springer, 2013. (PDF)

  • M. Baldoni, L. Dennis, V. Mascardi, and W. Vasconcelos, editors. Declarative Agent Languages and Technologies X: Tenth International Workshop, DALT 2012, Revised Selected and Invited Papers, volume 7784 of Lecture Notes in Artificial Intelligence (LNAI), Valencia, Spain, 2013. Springer.

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A NonMonotonic Description Logic for Reasoning About Typicality. Artificial Intelligence, 195:165-202, 2013. (PDF)

  • R. Alenda, N. Olivetti, and G. L. Pozzato. Nested Sequent Calculi for Conditional Logics. In Jérôme Mengin Luis Fariñas del Cerro, Andreas Herzig, editor, Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, volume 7519 of LNAI, pages 14-27, Toulouse, France, Sptember 2012. Springer-Verlag. (PDF)

  • R. Alenda, N. Olivetti, and G. L. Pozzato. Nested Sequent Calculi for Conditional Logics: Preliminary Results. Technical Report --, Dipartimento di Informatica, Università degli Studi di Torino, Italy, July 2012. (PDF)

  • M. Baldoni and C. Baroglio. Some Thoughts about Commitment Protocols. In M. Baldoni, L. Dennis, V. Mascardi, and W. Vasconcelos, editors, Proc. of International Workshop on Declarative Agent Languages and Technologies, DALT 2012, held in conjuction with AAMAS 2012, pages 99-103, Valencia, Spain, June 2012. (PDF)

  • M. Baldoni, C. Baroglio, F. Capuzzimati, E. Marengo, and V. Patti. A Generalized Commitment Machine for 2CL Protocols and its Implementation. In M. Baldoni, L. Dennis, V. Mascardi, and W. Vasconcelos, editors, Proc. of International Workshop on Declarative Agent Languages and Technologies, DALT 2012, held in conjuction with AAMAS 2012, pages 18-34, Valencia, Spain, June 2012. (PDF)

  • M. Baldoni, C. Baroglio, E. Marengo, and V. Patti. Supporting the Analysis of Risks of Violation in Business Protocols: the MiFID Case Study. In M. De Marco, D. Te'eni, V. Albano, and S. Za, editors, Information Systems: Crossroads for Organization, Management, Accounting and Engineering, pages 545-553. Springer, 2012. Best Track Paper Award. (PDF)

  • M. Baldoni, C. Baroglio, E. Marengo, V. Patti, and C. Schifanella. Flexible Choreography-driven Service Selection. Journal of Intelligenza Artificiale, 6(1):97-115, 2012. (PDF)

  • M. Baldoni, C. Baroglio, V. Patti, and P. Rena. From Tags to Emotions: Ontology-driven Sentiment Analysis in the Social Semantic Web. Journal of Intelligenza Artificiale, 6(1):41-54, 2012. (PDF)

  • M. Baldoni, C. Baroglio, V. Patti, and C. Schifanella. Sentiment Analysis in the Planet Art: a Case Study in the Social Semantic Web. Technical Report RT 141/2012, Dipartimento di Informatica, Università degli Studi di Torino, 2012. (PDF)

  • M. Baldoni, F. Chesani, B. Magnini, P. Mello, and M. Montali, editors. Popularize Artificial Intelligence, Proc. of AI*IA Workshop and Prize for celebrating 100th anniversary of Alan Turing's birth, PAI 2012, Rome, Italy, June 15 2012. CEUR Workshop Proceedings. Online CEUR-WS.org/Vol-860/. (PDF)

  • M. Baldoni, L. Dennis, V. Mascardi, and W. B. Vasconcelos, editors. Proc. of International Workshop Declarative Agent Languages and Technologies, DALT 2012, held in conjuction with AAMAS 2012, Valencia, Spain, June 2012. (PDF)

  • D. D'Aprile, L. Giordano, A. Martelli, G. L. Pozzato, D. Rognone, and D. Theseider Dupré. Business Process Compliance Verification: an Annotation Based Approach with Commitments. In M. De Marco, D. Te'eni, V. Albano, and S. Za, editors, Information Systems: Crossroads for Organization, Management, Accounting and Engineering, pages 563-571. Physica-Verlag, A Springer Company, 2012.

  • V. Genovese, L. Giordano, V. Gliozzi, and G. L. Pozzato. Logics in access control: A conditional approach. Journal of Logic and Computation, pages 1-58, 2012. (PDF)

  • A. Gianti, C. Bosco, V. Patti, A. Bolioli, and L. Di Caro. Annotating Irony in a Novel Italian Corpus for Sentiment Analysis. In L. Devillers, B. Schuller, A. Batliner, P. Rosso, E. Douglas-Cowie, R. Cowie, and C. Pelachaud, editors, Proc. of the 4th International Workshop on Corpora for Research on Emotion Sentiment & Social Signals (ES3@LREC'12), pages 1-7, Istanbul, Turkey, 2012. European Language Resources Association (ELRA). (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A minimal model semantics for nonmonotonic reasoning. In Jérôme Mengin Luis Fariñas del Cerro, Andreas Herzig, editor, Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, volume 7519 of LNAI, pages 228-241, Toulouse, France, Sptember 2012. Springer-Verlag. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A modal reconstruction of Rational Closure. In Francesca Alessandra Lisi and Fabio Patrizi, editors, Proceedings of CILC 2012 (9th Convegno Italiano di Logica Computazionale), volume 857 of CEUR, pages 161-175, Roma, Italy, June 2012. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A minimal model semantics for rational closure. In Riccardo Rosati and Stefan Woltran, editors, Proceedings of NMR 2012: 14th International Workshop on Non-Monotonic Reasoning, pages 1-10, Roma, Italy, June 8-10 2012. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. In Yevgeny Kazakov and Frank Wolter, editors, Proceedings of the 25th International Workshop on Description Logics (DL 2012), volume 846 of CEUR, pages 180-190, Roma, Italy, June 2012. (PDF)

  • L. Giordano, A. Martelli, and D. Theseider Dupré. Achieving Completeness in Bounded Model Checking of Action Theories in ASP. In G. Brewka, T. Eiter, and S. A. McIlraith, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, pages 618-622. AAAI Press, 2012. (PDF)

  • L. Giordano, A. Martelli, and D. Theseider Dupré. Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. In F. A. Lisi, editor, Proc. of the 9th Italian Convention on Computational Logic, CILC'12, volume 857 of CEUR Workshop Proceedings, pages 176-190, Rome, Italy, June 6-7 2012. CEUR-WS.org. (PDF)

2011

  • M. Baldoni, C. Baroglio, E. Marengo, and V. Patti. Supporting the Analysis of Risks of Violation in Business Protocols: the MiFID Case Study. In M. De Marco, D. Te'eni, V. Albano, and S. Za, editors, Information Systems: Crossroads for Organization, Management, Accounting and Engineering, pages 545-553. Springer, 2012. Best Track Paper Award. (PDF)

  • M. Baldoni and C. Baroglio. A journey in Computational Logic in Italy, Guest Editorial. Journal of Intelligenza Artificiale, 5(1):67-69, February 2011. (PDF)

  • M. Baldoni, C. Baroglio, , V. Patti, and P. Rena. ArsEmotica: Emotions in the Social Semantic Web. In C. Ghidini, S. Lindstaedt, A. Ngonga, and T. Pellegrini, editors, Proc. of 7th International Conference on Semantic Systems, I-Semantics 2011, pages 171-174, Graz, Austria, September 2011. ACM International Conference Proceeding Series. (PDF)

  • M. Baldoni, C. Baroglio, , V. Patti, and P. Rena. From Tags to Emotions: Ontology-driven Sentiment Analysis in the Social Semantic Web. In C. Lai, G. Semeraro, and E. Vargiu, editors, 5th International Workshop on New Challenges in Distributed Information Filtering and Retrieval, Palermo, Italy, September 2011. CEUR, Workshop Proceedings. Best Paper Award. (PDF)

  • M. Baldoni, C. Baroglio, F. Bergenti, E. Marengo, V. Mascardi, V. Patti, A. Ricci, and A. Santi. An Interaction-oriented Agent Framework for Open Environments. In R. Pirrone and F. Sorbello, editors, Proc. of AI*IA 2011: Artificial Intelligence Around Man and Beyond, 12th International Conference of the Italian Association for Artificial Intelligence, volume 6934 of LNAI, pages 68-79, Palermo, Italy, September 2011. Springer. (PDF)

  • M. Baldoni, C. Baroglio, I. Brunkhorst, N. Henze, E. Marengo, and V. Patti. Constraint Modeling for Curriculum Planning and Validation. International Journal of Interactive Learning Environments, 19(1):83-123, 2011. (PDF)

  • M. Baldoni, C. Baroglio, S. Coriasco, M. Marchisio, C. Mattutino, and S. Rabellino. Tutorato interattivo a distanza. In M. Baldoni, C. Baroglio, S. Coriasco, M. Marchisio, and S. Rabellino, editors, E-learning con Moodle in Italia: una sfida tra passato, presente e futuro, Collana ``I Manuali'', chapter VII.7, pages 383-396. Seneca Edizioni, 2011.

  • M. Baldoni, C. Baroglio, S. Coriasco, M. Marchisio, and S. Rabellino, editors. E-learning con Moodle in Italia: una sfida tra passato, presente e futuro. Collana ``I Manuali''. Seneca Edizioni, 2011.

  • M. Baldoni, C. Baroglio, and E. Marengo. Commitment-based Protocols with Behavioral Rules and Correctness Properties of MAS. In A. Omicini, S. Sardina, and W. Vasconcelos, editors, Post-Proc. of the 8th International Workshop on Declarative Agent Languages and Technologies VIII, DALT 2010, Revised Selected and Invited Papers, number 6619 in LNAI, pages 60-77. Springer, 2011. (PDF)

  • M. Baldoni, C. Baroglio, E. Marengo, and V. Patti. Grafting Regulations into Business Protocols: Supporting the Analysis of Risks of Violation. In A. Antón, D. Baumer, T. Breaux, and D. Karagiannis, editors, Fourth International Workshop on Requirements Engineering and Law (RELAW 2011), held in conjunction with the 19th IEEE International Requirements Engineering Conference, pages 50-59, Trento, Italy, August 30th 2011. IEEE Xplore. (PDF)

  • M. Baldoni, C. Baroglio, E. Marengo, V. Patti, and F. Capuzzimati. Learn the rules so you know how to break them properly. In G. Fortino, A.. Garro, L. Palopoli, W. Russo, and G. Spezzano, editors, Proc. of WOA 2011: Dagli oggetti agli agenti, Progettazione ed analisi di sistemi complessi mediante modellazione e simulazione basate su agenti, volume 741, pages 11-18, Cosenza, Italy, July 2011. CEUR Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, E. Marengo, V. Patti, and A. Ricci. Back to the future: an Interaction-oriented Framework for Social Computing. In A. K. Chopra, F. Dalpiaz, and S. O. Lim, editors, First International Workshop on Requirements Engineering for Social Computing (RESC 2011), held in conjunction with the 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29th 2011. IEEE Xplore. (PDF)

  • M. Baldoni, C. Baroglio, E. Marengo, V. Patti, and C. Schifanella. Models of agent interaction based on modal logics. Journal of Intelligenza Artificiale, 5(1):83-88, February 2011. (PDF)

  • M. Baldoni, A. Cordero, M. Giraudo, C. Grandi, and S. Rabellino. HAP-Moodle: una soluzione open-source per l'High-Availability e la performance applicata a Moodle. In M. Baldoni, C. Baroglio, S. Coriasco, M. Marchisio, and S. Rabellino, editors, E-learning con Moodle in Italia: una sfida tra passato, presente e futuro, Collana ``I Manuali'', chapter V.6, pages 213-226. Seneca Edizioni, 2011.

  • K. S. Candan, L. Di Caro, and M. L. Sapino. Multi-resolution Visualization and Exploration of Text Corpora with Parallel Hierarchical Coordinates. ACM Transactions on Intelligent Systems and Technology, 2011. To appear.

  • Huiping Cao, K. S. Candan, and M. L. Sapino. Skynets: Searching for Minimum Trees in Graphs with Incomparable Edge Weights. In Proc. of CIKM, 2011.

  • M. Ciavarella, S. Coriasco, M. Marchisio, M. Baldoni, and S. Rabellino. Studiare Matematica con Moodle e Maple. In M. Baldoni, C. Baroglio, S. Coriasco, M. Marchisio, and S. Rabellino, editors, E-learning con Moodle in Italia: una sfida tra passato, presente e futuro, Collana ``I Manuali'', chapter I.3, pages 35-50. Seneca Edizioni, 2011.

  • D. D'Aprile, L. Giordano, V. Gliozzi, A. Martelli, G. L. Pozzato, and D. Theseider Dupré. Verifying Compliance of Business Processes with Temporal Answer Sets. In F. Fioravanti, editor, Proceedings of CILC 2011 (8th Convegno Italiano di Logica Computazionale), volume 810 of CEUR, pages 147-161, Pescara, Italy, August 2011. (PDF)

  • L. Di Caro, K. S. Candan, and M. L. Sapino. Navigating within News Collections using Tag-Flakes. Journal of Visual Languages and Computing, 22(2):120-139, 2011.

  • L. Di Caro, M. L. Sapino, and K. S. Candan. Unraveling multi-dimensional data using pDView. In Proc. of EDBT, pages 570-573, 2011.

  • V. Genovese, L. Giordano, V. Gliozzi, and G. L. Pozzato. A conditional constructive logic for access control and its sequent calculus. In K. Brünnler and G. Metcalfe, editors, Proceedings of TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), volume 6793 of LNAI, pages 164-179, Bern, Switzerland, July 2011. Springer-Verlag. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A tableau calculus for a nonmonotonic extension of EL^ bot . In K. Brünnler and G. Metcalfe, editors, Proceedings of TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), volume 6793 of LNAI, pages 180-195, Bern, Switzerland, July 2011. Springer-Verlag. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A tableau calculus for a nonmonotonic extension of the Description Logic DL-Lite_core. In R. Pirrone and F. Sorbello, editors, AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings, volume 6934 of LNAI, pages 164-176, Palermo, Italy, Sptember 2011. Springer-Verlag. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. In F. Fioravanti, editor, Proceedings of CILC 2011 (8th Convegno Italiano di Logica Computazionale), volume 810 of CEUR, pages 41-55, Pescara, Italy, August 2011. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Reasoning about typicality in low complexity DLs: the logics EL bot tip mbox min and DL-litec tip mbox min. In Toby Walsh, editor, Proceedings of IJCAI 2011 (22nd International Joint Conference on Artificial Intelligence), pages 894-899, Barcelona, Spain, July 2011. AAAI. (PDF)

  • Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, and Camilla Schwind. Non-classical logics for knowledge representation and reasoning. Intelligenza Artificiale, 5(1):127-131, 2011. (PDF)

  • E. Marengo, M. Baldoni, and C. Baroglio. Extend Commitment Protocols with Temporal Regulations: Why and How. In Proc. of 5th International Symposium on Rules, Doctoral Consortium, RuleML 2011, number CoRR abs/1107.2086, Barcellona, Spain, July 2011. CoRR, Cornell University Library. (PDF)

  • E. Marengo, M. Baldoni, and C. Baroglio. On Temporal Regulations and Commitment Protocols. In T. Walsh, editor, Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI 2011, pages 2824-2825, Barcellona, Spain, July 2011. AAAI Press/International Joint Conferences on Artificial Intelligence. (PDF)

  • E. Marengo, M. Baldoni, C. Baroglio, A. K. Chopra, V. Patti, and M. P. Singh. Commitments with Regulations: Reasoning about Safety and Control in REGULA. In K. Tumer, P. Yolum, L. Sonenberg, and P. Stone, editors, Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2011, volume 2, pages 467-474, Taipei, Taiwan, May 2011. IFAAMAS. (PDF)

  • C. Schifanella, K. S. Candan, and M. L. Sapino. Metadata-driven multiresolution approach to tensor decomposition. In Proc. of CIKM, 2011.

  • C. Schifanella, K. S. Candan, and M. L. Sapino. On Context-Aware Co-Clustering with Metadata Support. Journal of Intelligent Information Systems, 2011. To appear.

  • L. Giordano, A. Martelli, and C. Schwind. Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. In A. Cappelli and F. Turini, editors, AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, volume 2829 of LNAI, pages 262-274. Springer-Verlag, 2003. (PDF)

2010

  • M. Baldoni, C. Baroglio, and E. Marengo. Commitment-based Protocols with Behavioral Rules and Correctness Properties of MAS. In A. Omicini, S. Sardina, and W. Vasconcelos, editors, Post-Proc. of the 8th International Workshop on Declarative Agent Languages and Technologies VIII, DALT 2010, Revised Selected and Invited Papers, number 6619 in LNAI, pages 60-77. Springer, 2011. (PDF)

  • Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, and Camilla Schwind. Non-classical logics for knowledge representation and reasoning. Intelligenza Artificiale, 5(1):127-131, 2011. (PDF)

  • F. Abel, M. Baldoni, C. Baroglio, N. Henze, R. Kawase, D. Krause, and V. Patti. Leveraging Search and Context Exploration by Exploiting Context in Folksonomy Systems. New Review of Hypermedia and Multimedia, Special Issue on Hypertext and Web Science: Emergent Structures Communities and Collective Intelligence, 16(1-2):33-70, 2010. (PDF)

  • R. Alenda, N. Olivetti, and G. L. Pozzato. CSL-lean: A theorem-Prover for the logic of Comparative Concept Similarity. Electronic Notes in Theoretical Computer Science, 262:3-16, 2010. (PDF)

  • M. Baldoni, C. Baroglio, F. Bergenti, A. Boccalatte, E. Marengo, M. Martelli, V. Mascardi, L. Padovani, V. Patti, A. Ricci, G. Rossi, and A. Santi. MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. In N. Fornara and G. Vouros, editors, Proc. of the 3rd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW'10, 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems, COIN@MALLOW 2010, volume 627, pages 134-146, Domain Valpré in Lyon, France, August 30 - September 2 2010. CEUR Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, C. Grandi, C. Mattutino, and S. Rabellino. Aiutare l'utente di Moodle: Un sistema di Help Desk. In T. Minerva, editor, E-learning, gestione e condivisione della conoscenza, pages 57-66. Edizioni Artestampa, 2010. (PDF)

  • M. Baldoni, C. Baroglio, and E. Marengo. Behavior-oriented Commitment-based Protocols. In H. Coelho, R. Studer, and M. Wooldridge, editors, Proc. of 19th European Conference on Artificial Intelligence, ECAI 2010, pages 137-142, Lisbon, Portugal, August 2010. IOS Press. (PDF)

  • M. Baldoni, C. Baroglio, and E. Marengo. Commitment-based Protocols with Behavioral Rules and Correctness Properties of MAS. In A. Omicini, S. Sardina, and W. Vasconcelos, editors, Proc. of International Workshop on Declarative Agent Languages and Technologies, DALT 2010, held in conjuction with AAMAS 2010, pages 66-83, Toronto, Canada, May 2010. (PDF)

  • M. Baldoni, C. Baroglio, and E. Marengo. Constraints among Commitments: Regulative Specification of Interaction Protocols. In A. Artikis, J. Bentahar, A. K. Chopra, and F. Dignum, editors, Proc. of International Workshop on Agent Communication, AC 2010, held in conjuction with AAMAS 2010, pages 2-18, Toronto, Canada, May 2010. An extended and improved version has been published in the Proc. of the 25-esimo Convegno Italiano di Logica Computazionale, Vol 598, CEUR Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, and V. Mascardi. Special Issue: Agents, Web Services and Ontologies: Integrated Methodologies, Guest Editorial. Multiagent and Grid Systems: An International Journal, 6(2):103-104, 2010. (PDF)

  • M. Baldoni, J. Bentahar, J. W. Lloyd, and M. B. van Riemsdijk, editors. Declarative Agent Languages and Technologies VII: Seventh International Workshop, DALT 2009, Revised Selected and Invited Papers, volume 5948 of Lecture Notes in Artificial Intelligence (LNAI), Budapest, Hungary, 2010. Springer.

  • M. Baldoni, G. Boella, V. Genovese, A. Mugnaini, R. Grenna, and L. van der Torre. A Middleware for Modelling Organizations and Roles in Jade. In L. Braubach, J.-P. Briot, and J. Thangarajah, editors, Programming Multi-Agent Systems, 7th Int. Workshop, ProMAS 2009, Revised Selected Papers, volume 5919 of LNAI, pages 100-117. Springer, 2010. (PDF)

  • M. Baldoni, A. Omicini, C. Baroglio, V. Mascardi, and P. Torroni. Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? In A. Dovier and E. Pontelli, editors, Twenty-five Years of Logic Programming in Italy, volume 6125 of Lecture Notes in Computer Science, pages 204-230. Springer, 2010. (PDF)

  • K. S. Candan, M. Cataldi, and M. L. Sapino. Reducing Metadata Complexity for Faster Table Summarization. In EDBT, Lausanne, 2010.

  • H. Cao, Y. Qi, K. S. Candan, and M. L. Sapino. Feedback-driven Result Ranking and Query Refinement for Exploring Semi-structured Data Collections. In EDBT, Lausanne, 2010.

  • H. Cao, Y Qi, K. S.k Candan, and M. L. Sapino. XML Data Integration: Schema Extraction and Mapping. In Changqing Li, editor, Advanced Applications and Structures in XML Processing: Label Streams, Semantics Utilization and Data Query Technologies. IGI-Global, 2010.

  • D. D'Aprile, L. Giordano, V. Gliozzi, A. Martelli, G. L. Pozzato, and D. Theseider Dupré. Verifying Business Process Compliance by Reasoning about Actions. In Jürgen Dix, João Leite, Guido Governatori, and Wojtek Jamroga, editors, CLIMA XI (Computational Logic in Multi-Agent Systems, 11th International Workshop), special session in Norms and Normative Multi-Agent Systems, volume 6245 of LNAI, pages 99-116, Lisbon, Portugal, August 16-17 2010. Springer-Verlag. (PDF)

  • D. D'Aprile, L. Giordano, V. Gliozzi, A. Martelli, G. L. Pozzato, and D. Theseider Dupré. Verifying Business Process Compliance by Reasoning about Actions. In Angelo Susi, editor, First Workshop on Law Compliancy Issues in Organisational Systems and Strategies (iComply 2010), Firenze, Italy, July 6 2010. (PDF)

  • V. Genovese, L. Giordano, V. Gliozzi, and G. L. Pozzato. A constructive conditional logic for access control: a completeness result. Technical Report 125/2010, Dipartimento di Informatica, Università degli Studi di Torino, Italy, February 2010. (PDF)

  • V. Genovese, L. Giordano, V. Gliozzi, and G. L. Pozzato. A constructive conditional logic for access control: a completeness result and a sequent calculus. In W. Faber and N. Leone, editors, Proceedings of CILC 2010 (7th Convegno Italiano di Logica Computazionale), volume CEUR Workshop Proceedings. Vol. 598, pages 1-15, Rende (CS), Italy, July 2010. (PDF)

  • V. Genovese, L. Giordano, V. Gliozzi, and G. L. Pozzato. A constructive conditional logic for access control: a preliminary report. In Helder Coelho, Rudi Studer, and Michael Wooldridge, editors, Proceedings of ECAI 2010 (19th European Conference on Artificial Intelligence), volume 215 of Frontiers in Artificial Intelligence and Applications, pages 1073-1074 (short paper), Lisbon, Portugal, August 16-20 2010. IOS Press. (PDF)

  • V. Genovese, L. Giordano, V. Gliozzi, and G. L. Pozzato. CondACL: a Constructive Conditional Logic for Access Control - Semantics and Proof Theory. Technical Report 127/2010, Dipartimento di Informatica, Università degli Studi di Torino, Italy, February 2010. (PDF)

  • V. Genovese, L. Giordano, V. Gliozzi, and G. L. Pozzato. Logics in Access Control: A Conditional Approach. In D. Gabbay and L. van der Torre, editors, Proceedings of LIS2010 (1st Workshop of Logics in Security), page to appear, 2010. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A nonmonotonic extension of KLM Preferential Logic P. In Christian G. Fermüller and Andrei Voronkov, editors, Proceedings of LPAR 2010 (17th Conference on Logic for Programming, Artificial Intelligence, and Reasoning), volume 6397 of ARCoSS LNCS, pages 317-332, Yogyakarta, Indonesia, October 10-15 2010. Springer-Verlag. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Preferential vs Rational Description Logics: which one for Reasoning About Typicality? In Helder Coelho, Rudi Studer, and Michael Wooldridge, editors, Proceedings of ECAI 2010 (19th European Conference on Artificial Intelligence), volume 215 of Frontiers in Artificial Intelligence and Applications, pages 1069-1070 (short paper), Lisbon, Portugal, August 16-20 2010. IOS Press. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. In W. Faber and N. Leone, editors, Proceedings of CILC 2010 (7th Convegno Italiano di Logica Computazionale), volume CEUR Workshop Proceedings. Vol. 598, pages 1-15, Rende (CS), Italy, July 2010. (PDF)

  • E. Marengo. Designing and Programming Commitment-based Service-oriented Architectures on top of Agent and Environment Technologies. Technical Report RT 129/2010, Dipartimento di Informatica, Università degli Studi di Torino, Torino, Italy, 2010. (PDF)

  • E. Marengo and M. Baldoni. Validazione e pianificazione automatica di percorsi formativi. Mondo Digitale, 36:64-74, December 2010. (PDF)

  • G. L. Pozzato. Conditional and Preferential Logics: Proof Methods and Theorem Proving, volume 208 of Frontiers in Artificial Intelligence and Applications. IOS Press, 2010.

  • Y. Qi, H. Cao, K. S. Candan, and M. L. Sapino. XML Data Integration: Merging, Query Processing and Conflict Resolution. In Changqing Li, editor, Advanced Applications and Structures in XML Processing: Label Streams, Semantics Utilization and Data Query Technologies. IGI-Global, 2010.

  • P. Shakarian, V.S. Subrahmanian, and M. L. Sapino. GAPs: Geospatial Abduction Problems. ACM Transactions on Intelligent Systems and Technology, 2010.

2009

  • M. Baldoni, C. Baroglio, I. Brunkhorst, N. Henze, E. Marengo, and V. Patti. Constraint Modeling for Curriculum Planning and Validation. International Journal of Interactive Learning Environments, 19(1):83-123, 2011. (PDF)

  • M. Baldoni, J. Bentahar, J. W. Lloyd, and M. B. van Riemsdijk, editors. Declarative Agent Languages and Technologies VII: Seventh International Workshop, DALT 2009, Revised Selected and Invited Papers, volume 5948 of Lecture Notes in Artificial Intelligence (LNAI), Budapest, Hungary, 2010. Springer.

  • M. Baldoni, G. Boella, V. Genovese, A. Mugnaini, R. Grenna, and L. van der Torre. A Middleware for Modelling Organizations and Roles in Jade. In L. Braubach, J.-P. Briot, and J. Thangarajah, editors, Programming Multi-Agent Systems, 7th Int. Workshop, ProMAS 2009, Revised Selected Papers, volume 5919 of LNAI, pages 100-117. Springer, 2010. (PDF)

  • F. Abel, M. Baldoni, C. Baroglio, N. Henze, D. Krause, and V. Patti. Context-based Ranking in Folksonomies. In C. Cattuto, F. Menczer, and G. Ruffo, editors, Proc. of the 20th ACM International Conference on Hypertext and Hypermedia, Hypertext 2009, pages 209-218, Torino, Italy, June 30th - July 1st 2009. ACM. (PDF)

  • E. Acotto, M. Baldoni, C. Baroglio, V. Patti, F. Portis, and G. Vaccarino. ArsMeteo: Artworks and Tags Floating over the Planet Art. In C. Cattuto, F. Menczer, and G. Ruffo, editors, Proc. of the 20th ACM International Conference on Hypertext and Hypermedia, Hypertext 2009, Demo Session, pages 331-332, Torino, Italy, June 30th - July 1st 2009. ACM. (PDF)

  • R. Alenda, N. Olivetti, and G. L. Pozzato. CSL-lean: A theorem-Prover for the logic of Comparative Concept Similarity. In Thomas AND Bolander, editor, Proceedings of the 6th International Workshop on Methods for Modalities (M4M-6), pages 163-175, University of Copenaghen, Denmark, December 2009. (PDF)

  • M. Baldoni and C. Baroglio, editors. Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy, Proc. of the Day Dedicated to Prof. Alberto Martelli, volume 487. CEUR Workshop Proceedings, 2009. (PDF)

  • M. Baldoni, C. Baroglio, J. Bentahar, G. Boella, M. Cossentino, M. Dastani, B. Dunin-Keplicz, G. Fortino, M.-P. Gleizes, J. Leite, V. Mascardi, J. Padget, J. Pavón, A. Polleres, A. El Fallah Seghrouchni, P. Torroni, and R. Verbrugge, editors. Proc. of the 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW'009, volume 494, Turin, Italy, September 7-10 2009. CEUR Workshop Proceedings. Online CEUR-WS.org/Vol-494/. (PDF)

  • M. Baldoni, C. Baroglio, A. K. Chopra, N. Desai, V. Patti, and M. P. Singh. Choice, Interoperability, and Conformance in Interaction Protocols and Service Choreographies. In K. Decker, J. Sichman, C. Sierra, and C. Castelfranchi, editors, Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009, pages 843-850, Budapest, Hungary, May 2009. IFAAMAS. (PDF)

  • M. Baldoni, C. Baroglio, E. Marengo, V. Patti, and C. Schifanella. Joint Achievement of Services' Personal Goals. In M. Baldoni, C. Baroglio, Bentahar, and V. J. Mascardi, editors, Proc. of the 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW'009, Agents, Web Services and Ontologies, Integrated Methodologies International Workshop (MALLOW-AWESOME'009), volume 494, Turin, September 2009. CEUR Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Goal Preservation by Choreography-Driven Matchmaking. In E. Di Nitto and M. Ripeanu, editors, Service-Oriented Computing - ICSOC 2007 Workshops, volume 4907 of LNCS, pages 413-426. Springer, 2009. (PDF)

  • M. Baldoni, C. Baroglio, and V. Patti. Multimodal Logics for Reasoning about Interaction. In Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy, Proc. of the Day Dedicated to Prof. Alberto Martelli, volume 487, pages 82-87. CEUR Workshop Proceedings, Turin, Italy, 2009. (PDF)

  • M. Baldoni, J. Bentahar, J. Lloyd, and M. B. van Riemsdijk, editors. Proc. of International Workshop Declarative Agent Languages and Technologies, DALT 2009, Budapest, Hungary, May 2009. (PDF)

  • M. Baldoni, G. Boella, V. Genovese, A. Mugnaini, R. Grenna, and L. van der Torre. A Middleware for Modeling Organizations and Roles in Jade. In L. Braubach, J.-P.. Briot, and J. Thangarajah, editors, Proc. of the Seventh International Workshop on Programming Multi-Agent Systems, ProMAS 2009, pages 14-28, Budapest, Hungary, May 2009. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. The Interplay between Relationships, Roles and Objects. In F. Arbab, H. Sarbazi-azad, and M. Sirjani, editors, Proc. of the International Conference on Fundamentals of Software Engineering, FSEN'09, volume 5961 of Lecture Notes in Computer Science (LNCS), pages 402-415, Kish Island, Persian Gulf, Iran, April 2009. Springer. (PDF)

  • M. Baldoni, T. C. Son, M. B. van Riemsdijk, and M. Winikoff, editors. Declarative Agent Languages and Technologies VI: Sixth International Workshop, DALT 2008, Revised Selected and Invited Papers, volume 5397 of Lecture Notes in Artificial Intelligence (LNAI), Estoril, Portugal, 2009. Springer.

  • K. S. Candan, H. Cao, Y. Qi, and M. L. Sapino. AlphaSum: Size-Constrained Table Summarization using Value Lattices. In Proc. EDBT-09: 12th Int. Conf. on Extending Database Technology, San Petersburg, Russia, 2009.

  • H. Cao, Y. Qi, K. S. Candan, and M. L. Sapino. Exploring Path Query Results through Relevance Feedback. In Proc. of the 18th ACM Conference on Information and Knowledge Management, CIKM 2009, Hong Kong, China, 2009.

  • M. Cataldi, C. Schifanella, K. S. Candan, M. L. Sapino, and L. Di Caro. CoSeNa: a context-based search and navigation system. In Proc. of the International Conference on Management of Emergent Digital EcoSystems, MEDES'09, pages 218-225, New York, NY, USA, 2009. ACM.

  • L. Giordano and A. Martelli. Verifying Agents' Conformance with Multiparty Protocols. In M. Fisher, F. Sadri, and M. Thielscher, editors, Post-Proc. of the 9th Int. Workshop CLIMA IX Computational Logic in Multi-Agent Systems, volume 5405 of LNCS, pages 17-36, 2009. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A Non-monotonic Description Logic of Typicality. In M. Gavanelli and F. Riguzzi, editors, Proceedings of CILC 2009 (6th Convegno Italiano di Logica Computazionale), pages 5/1-5/13, Ferrara, Italy, June 2009. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. ALC+T: a preferential extension of description logics. Fundamenta Informaticae, 96:341-372, 2009. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning. ACM Transactions on Computational Logic (ToCL), 10(3), 2009. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. On Extending Description Logics for Reasoning About Typicality: a First Step. Technical Report 116/09, Dipartimento di Informatica, Università degli Studi di Torino, Italy, December 2009. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Preferential Extensions of Lightweight Description Logics. In M. Gavanelli and T. Mancini, editors, Proceedings of R.i.C.e.R.c.A 2009: RCRA incontri e confronti, Reggio Emilia, Italy, December 2009.

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Prototypical reasoning with low complexity description logics: preliminary results. In F. Lin, T. Schaub, and E. Erdem, editors, Proceedings of LPNMR 2009 (10th International Conference on Logic Programming and Nonmonotonic Reasoning), volume 5753 of LNAI, pages 430-436, Potsdam, Germany, September 2009. Springer-Verlag. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Reasoning About Typicality in Low Complexity Description Logics: Preliminary Results. Technical Report 121/09, Dipartimento di Informatica, Università degli Studi di Torino, Italy, December 2009.

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Reasoning about typicality in ALC and EL. In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, and Ulrike Sattler, editors, Proceedings of the 22nd International Workshop on Description Logics (DL 2009), volume CEUR Workshop Proceedings. Vol. 477, pages 24/1-24/13, Oxford, United Kindgom, July 27-30 2009. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Reasoning about typicality with low complexity description logics: the logic EL^+^ bot t. In R. Serra and R. Cucchiara, editors, AI*IA 2009: Emergent Perspectives in Artificial Intelligence: XI Conference of the Italian Association for Artificial Intelligence, volume 5883 of LNAI, pages 62-71, Reggio Emilia, Italy, December 9-12 2009. Springer-Verlag. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, G. L. Pozzato, and C. B. Schwind. Non-Classical Logics for Knowledge Representation and Reasoning. In Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy, Proc. of the Day Dedicated to Prof. Alberto Martelli, volume 487, pages 76-81. CEUR Workshop Proceedings, Turin, Italy, 2009. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and C. Schwind. Tableau Calculus for Preference-Based Conditional Logics. ACM Transactions on Computational Logics (TOCL), 10(3), 2009.

  • V. Gliozzi, J. Mayor, J. F. Hu, and K. Plunkett. Labels as Features (not Names) for Infant Categorisation: A Neuro-computational approach. Cognitive Science, 33(4):709-738, 2009.

2008

  • K. S. Candan, M. E. Donderler, T. Hedgpeth, J. W. Kim, Q. Li, and M. L. Sapino. SEA: Segment-Enrich-Annotate Paradigm for Adapting Dialog-based Content for Improved Accessibility. TOIS - ACM Transactions on Information Systems, accepted for publication in 2008.

  • M. Baldoni and C. Baroglio, editors. Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy, Proc. of the Day Dedicated to Prof. Alberto Martelli, volume 487. CEUR Workshop Proceedings, 2009. (PDF)

  • M. Baldoni, C. Baroglio, and V. Patti. Multimodal Logics for Reasoning about Interaction. In Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy, Proc. of the Day Dedicated to Prof. Alberto Martelli, volume 487, pages 82-87. CEUR Workshop Proceedings, Turin, Italy, 2009. (PDF)

  • M. Baldoni, T. C. Son, M. B. van Riemsdijk, and M. Winikoff, editors. Declarative Agent Languages and Technologies VI: Sixth International Workshop, DALT 2008, Revised Selected and Invited Papers, volume 5397 of Lecture Notes in Artificial Intelligence (LNAI), Estoril, Portugal, 2009. Springer.

  • L. Giordano, V. Gliozzi, N. Olivetti, G. L. Pozzato, and C. B. Schwind. Non-Classical Logics for Knowledge Representation and Reasoning. In Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy, Proc. of the Day Dedicated to Prof. Alberto Martelli, volume 487, pages 76-81. CEUR Workshop Proceedings, Turin, Italy, 2009. (PDF)

  • M. Baldoni, C. Baroglio, N. Henze, I. Brunkhorst, E. Marengo, and V. Patti. Constraint Modeling for Curriculum Planning and Validation. Technical Report RT 115/08, Dipartimento di Informatica, Università degli Studi di Torino, December 11th 2008. (PDF)

  • M. Baldoni, C. Baroglio, A. Horvath, V. Patti, F. Portis, M. Avilia, and P. Grillo. Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts. In S. Borgo and L. Lesmo, editors, Formal Ontologies Meet Industry, FOMI 2008, pages 132-143, Torino, Italy, June 2008. IOS Press. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Service selection by choreography-driven matching. In T. Gschwind and C. Pautasso, editors, Emerging Web Services Technology, volume II of Whitestein Series in Software Agent Technologies and Autonomic Computing, chapter 1, pages 5-22. Birkhäuser, September 2008. Revised version of WEWST 2007 paper. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Service selection by choreography-driven matching. In T. Gschwind and C. Pautasso, editors, Proc. of the 2nd ECOWS Workshop on Emerging Web Services Technology, WEWST 2007, volume 313 of CEUR, Workshop Proceedings, pages 1-17, Halle (Saale), Germany, January 2008. (PDF)

  • M. Baldoni, C. Baroglio, V. Patti, and C. Schifanella. Conservative re-use ensuring matches for service selection. In M. Baldoni, M. Cossentino, F. De Paoli, and V. Seidita, editors, Proc. of WOA 2008: Dagli oggetti agli agenti, Evoluzione dell'agent development: metodologie, tool, piattaforme e linguaggi, pages 28-36, Palermo, Italy, November 2008. Seneca Edizioni. (PDF)

  • M. Baldoni, C. Baroglio, V. Patti, and C. Schifanella. Conservative re-use ensuring matches for service selection. In F. Klugl and J. Padget, editors, Proc. of Sixth European Workshop on Multi-Agent Systems, EUMAS 2008, Bath, UK, December 2008. Revised and extended version of WOA 2008 paper.

  • M. Baldoni, G. Boella, M. Dorni, R. Grenna, and A. Mugnaini. powerJADE: Organizations and Roles as Primitives in the JADE Framework. In M. Baldoni, M. Cossentino, F. De Paoli, and V. seidita, editors, Proc. of WOA 2008: Dagli oggetti agli agenti, Evoluzione dell'agent development: metodologie, tool, piattaforme e linguaggi, pages 84-92, Palermo, Italy, November 2008. Seneca Edizioni. (PDF)

  • M. Baldoni, G. Boella, V. Genovese, R. Grenna, and L. van der Torre. How to Program Organizations and Roles in the JADE Framework. In R. Bergmann, G. Lindemann, S. Kirn, and M. Pechoucek, editors, Proceedings of the Multiagent System Technologies, MATES 2008, volume 5244 of Lecture Notes in Artificial Intelligence (LNAI), pages 25-36, Germany, September 2008. (PDF)

  • M. Baldoni, V. Genovese, R. Grenna, and L. van der Torre. Adding Organizations and Roles as Primitives to JADE Framework. In G. Boella, G. Pigozzi, M. P. Singh, and H. Verhagen, editors, Proceedings of the 3rd International Workshop on Normative Multiagent Systems, NorMAS 2008, pages 95-111, Luxembourg, July 2008. (PDF)

  • M. Baldoni, T. C. Son, M. B. van Riemsdijk, and M. Winikoff, editors. Declarative Agent Languages and Technologies V: Fifth International Workshop, DALT 2007, Revised, Selected, and Invited Papers, volume 4897 of Lecture Notes in Artificial Intelligence (LNAI). Springer, 2008.

  • M. Baldoni, T. C. Son, M. B. van Riemsdijk, and M. Winikoff, editors. Proc. of International Workshop Declarative Agent Languages and Technologies, DALT 2008, Estoril, Portugal, May 2008. (PDF)

  • C. Baroglio, P. A. Bonatti, J. Maluszynski, M. Marchiori, A. Polleres, and S> Schaffert, editors. Reasoning Web, 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures, volume 5224 of Lecture Notes in Computer Science (LNCS). Springer, 2008.

  • K.S.. Candan and M. L. Sapino. Multimedia data querying. In Encyclopedia of Database Systems. Springer US, 2008.

  • K. S. Candan, H. Cao, Y. Qi, and M. L. Sapino. Table Summarization with the Help of Domain Lattices. In Proc. CIKM'08 - 17th ACM Conference on Information and Knowledge Management, Napa Valley, USA, 2008. Poster session.

  • K. S. Candan, L. Di Caro, and M. L. Sapino. Creating Tag Hierarchies for Effective Navigation in Social Media. In Proc. SSM 08 - International Workshop on Searching Social media. Co-located with the 17th ACM Conference on Information and Knowledge Management, Napa Valley, USA, 2008.

  • S. K. Candan, M. Cataldi, M. L. Sapino, and C. Schifanella. Structure- and Extension-Informed Taxonomy Alignment. In 4th ODBIS Workshop on Ontologies-based Techniques for DataBases in Information Systems and Knowledge Systems, Co-located with VLDB 2008, pages 1-8, Auckland, New Zealand, 2008. (PDF)

  • Selcuk K. Candan, Huiping Cao, Yan Qi, and Maria Luisa Sapino. System Support for Exploration and Expert Feedback in Resolving Conflicts during Integration of Metadata. The International Journal on Very Large Data Bases, 2008.

  • L. Di Caro, K. S. Candan, and M. L. Sapino. Using tagFlake for Condensing Navigable Tag Hierarchies<> from Tag Clouds. In Proc. of ACM SIGKDD 2008 (demo session), Las Vegas, 2008.

  • A. Favenza, M. Cataldi, M. L. Sapino, and A. Messina. Topic development based refinement of audio-segmented televisionnews. In NLDB08 -13th International Conference on Applications of Natural Language to Information Systems, London, 2008.

  • L. Giordano and A. Martelli. Verifying Agents' Conformance with Multiparty Protocols. In M. Fisher, F. Sadri, and M. Thielscher, editors, Proc. of the 9th Int. Workshop CLIMA IX Computational Logic in Multi-Agent Systems, pages 127-142, 2008. (PDF)

  • L. Giordano and A. Martelli. Verifying the Conformance of Agents with Multiparty Protocols. In M Ghallab, C. D. Spyropoulos, N. Fakotakis, and N. Avouris, editors, Proc. of the 18th European Conference on AI, ECAI 2008, pages 855-856. IOS Press, 2008.

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. ALC+T: Reasoning About Typicality in Description Logics. In A. Formisano, editor, Proceedings of CILC 2008 (5th Convegno Italiano di Logica Computazionale), Perugia, Italy, July 2008. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Reasoning About Typicality in Description Logics: the Logic ALC+Tmin. In M. Gavanelli and T. Mancini, editors, Proceedings of R.i.C.e.R.c.A 2008: RCRA incontri e confronti, Udine, Italy, December 2008.

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Reasoning About Typicality in Preferential Description Logics. In S. Hólldobler, C. Lutz, and H. Wansing, editors, Proceedings of JELIA 2008 (11th European Conference on Logics in Artificial Intelligence), volume 5293 of LNAI, pages 192-205, Dresden, Germany, September 2008. Springer-Verlag. (PDF)

  • V. Gliozzi, J. Mayor, J. F. Hu, and K. Plunkett. The impact of labels on visual categorisation: a neural network model. In B. C. Love, K. McRae, and V. M. Sloutsky, editors, Proc. of the 30th Annual Cognitive Science Society, pages 397-402, Austin, TX, 2008. Cognitive Science Society.

  • A. Martelli. The Seventies. In P. Degano, R. De Nicola, and J. Meseguer, editors, Concurrency, Graphs and Models --- Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, volume 5065 of LNCS, pages 797-798. Springer, 2008. (PDF)

  • N. Olivetti and G. L. Pozzato. Theorem Proving for Conditional Logics: CondLean and GoalDuck. Journal of Applied Non-Classical Logics (JANCL), 18(4):427-473, 2008. (PDF)

  • G. L. Pozzato. Proof Methods for Conditional and Preferential Logics of Nonmonotonic Reasoning. In A. Formisano, editor, Proceedings of CILC 2008 (5th Convegno Italiano di Logica Computazionale), Perugia, Italy, July 2008. (PDF)

  • M. L. Sapino and K.S. Candan. Multimedia information systems. In Borko Furht, editor, Encyclopedia of Multimedia. Springer, 2008.

2007

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Goal Preservation by Choreography-Driven Matchmaking. In E. Di Nitto and M. Ripeanu, editors, Service-Oriented Computing - ICSOC 2007 Workshops, volume 4907 of LNCS, pages 413-426. Springer, 2009. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Service selection by choreography-driven matching. In T. Gschwind and C. Pautasso, editors, Emerging Web Services Technology, volume II of Whitestein Series in Software Agent Technologies and Autonomic Computing, chapter 1, pages 5-22. Birkhäuser, September 2008. Revised version of WEWST 2007 paper. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Service selection by choreography-driven matching. In T. Gschwind and C. Pautasso, editors, Proc. of the 2nd ECOWS Workshop on Emerging Web Services Technology, WEWST 2007, volume 313 of CEUR, Workshop Proceedings, pages 1-17, Halle (Saale), Germany, January 2008. (PDF)

  • M. Baldoni, T. C. Son, M. B. van Riemsdijk, and M. Winikoff, editors. Declarative Agent Languages and Technologies V: Fifth International Workshop, DALT 2007, Revised, Selected, and Invited Papers, volume 4897 of Lecture Notes in Artificial Intelligence (LNAI). Springer, 2008.

  • C. Abela, M. Baldoni, C. Baroglio, N. Henze, I. Brunkhorst, D. Krause, E. Marengo, and V. Patti. Testbeds: overview and state. Technical Report IST506779/Turin/A3-D10/D/PU/a1, Reasoning on the Web with Rules and Semantics, REWERSE, February 28th 2007. (PDF)

  • S. Adali, M. L. Sapino, and B. Marshall. A rank algebra to support multimedia mining applications. In Proc. KDD/MDM07, San Jose', California, 2007.

  • G. Antoniou, U. Assman, C. Baroglio, S. Decker, N. Henze, P.-L. Patranjan, and R. Tolksdorf, editors. Reasoning Web, Third International Summer School 2007, volume 4636 of Lecture Notes in Computer Science (LNCS). Springer, 2007.

  • G. Antoniou, M. Baldoni, P. A. Bonatti, W. Nejdl, and D. Olmedilla. Rule-based policy specification. In T. Yu and J. Jajodia, editors, Security in Data Management in Decentralized Systems, volume 33 of Advances in Information Security, pages 169-216. Springer, 2007. (PDF)

  • M. Baldoni and U. Endriss, editors. Declarative Agent Languages and Technologies IV: Fourth International Workshop, DALT 2006, Selected, Revised, and Invited Papers, volume 4327 of Lecture Notes in Artificial Intelligence (LNAI). Springer, 2007.

  • M. Baldoni and E. Marengo. Curriculum Model Checking: Declarative Representation and Verification of Properties. In E. Duval, R. Klamma, and M. Wolpers, editors, Proc. of EC-TEL 2007 - Second European Conference on Technology Enhanced Learning, volume 4753 of LNCS, pages 432-437. Springer, 2007. (PDF)

  • M. Baldoni, C. Baroglio, G. Berio, and E. Marengo. Declarative representation of curricula models: an LTL- and UML-based approach. In M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, and V. Mascardi, editors, Proc. of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software, pages 34-41, Genova, Italy, September 2007. Seneca Edizioni. (PDF)

  • M. Baldoni, C. Baroglio, I. Brunkhorst, E. Marengo, and V. Patti. A Personalization Web Service for Curricula Planning and Validation. In W. May and M. Kifer, editors, Poster Presentation at the 4th European Semantic Web Conference, ESWC 2007, 2007. (PDF)

  • M. Baldoni, C. Baroglio, I. Brunkhorst, E. Marengo, and V. Patti. Reasoning-based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture. In E. Duval, R. Klamma, and M. Wolpers, editors, Proc. of EC-TEL 2007 - Second European Conference on Technology Enhanced Learning, number 4753 in LNCS, pages 426-431. Springer, 2007. (PDF)

  • M. Baldoni, C. Baroglio, I. Brunkhorst, E. Marengo, and V. Patti. A Service-Oriented Approach for Curriculum Planning and Validation. In Proceedings of the Multi-Agent Logics, Languages, and Organisations, Federated Workshops, MALLOW'007, Agent, Web Services and Ontologies, Integrated Methodologies, MALLOW-AWESOME'007, pages 108-123, Durham, GB, September 2007. (PDF)

  • M. Baldoni, C. Baroglio, C. Grandi, C. Mattutino, and L. Roversi. CD-ROM live per il supporto online alla didattica: l'esperienza di Live! I-Learn@Home. In G. Franceschinis and D. Porporato, editors, Modelli e tecnologie della formazione in rete, pages 233-242. Edizioni Mercurio, 2007. (PDF)

  • M. Baldoni, C. Baroglio, and E. Marengo. Curricula Modeling and Checking. In R. Basili and M. T. Pazienza, editors, Proc. of AI*IA 2007: Advances in Artificial Intelligence, 10th Congress of the Italian Association for Artificial Intelligence, volume 4733 of LNAI, pages 471-482, Rome, Italy, September 2007. Springer. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about interaction protocols for customizing web service selection and composition. Journal of Logic and Algebraic Programming, special issue on Web Services and Formal Methods, 70(1):53-73, January 2007. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Goal preservation by choreography-driven matchmaking. In J.-Y. Chung, W. Emmerich, G. Feuerlicht, W. Lamersdorf, G. Ortiz, and C. Zirpins, editors, Proc. of the Third International Workshop on Engineering Service-Oriented Applications: Analysis, Design and Composition, WESOA 2007, in conjuction with ICSOC 2007, pages 77-88, Vienna, Austria, September 2007. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Preserving player's goals: a choreography-driven matchmaking approach. In M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, and V. Mascardi, editors, Proc. of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software, pages 132-139, Genova, Italy, September 2007. Seneca Edizioni. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Reasoning on choreographies and capability requirements. International Journal of Business Process Integration and Management, IJBPIM, 2(4):247-261, 2007. (PDF)

  • M. Baldoni, C. Baroglio, and V. Mascardi, editors. Proceedings of the Multi-Agent Logics, Languages, and Organisations, Federated Workshops, MALLOW'007, Agent, Web Services and Ontologies, Integrated Methodologies (MALLOW-AWESOME'007) workshop, Durham, GB, September 2007. (PDF)

  • M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, and V. Mascardi, editors. Proc. of Workshop Dagli Oggetti agli Agenti, Agenti e Industria: Applicazioni tecnologiche degli agenti software, WOA 2007, Genova, Italy, September 2007. Seneca Edizioni. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Adding Roles to Relationship Patterns. In M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, and V. Mascardi, editors, Proc. of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software, pages 112-125, Genova, Italy, September 2007. Seneca Edizioni. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Bridging Agent Theory and Object Orientation: Agent-like Communication among Objects. In R. H. Bordini, M. Dastani, J. Dix, and A. Seghrouchni, editors, Post-Proc. of the International Workshop on Programming Multi-Agent Systems, ProMAS 2006, volume 4411 of Lecture Notes in Artificial Intelligence (LNAI), pages 149-164. Springer, 2007. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Interaction between Objects in powerjava. Journal of Object Technology, Special Issue OOPS Track at SAC 2006, 6(2), 2007. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Relationships Meet their Roles in Object Oriented Programming. In F. Arbab, A. Movaghar, J. Rutten, and M. Sirjani, editors, Proc. of the International Symposium on Fundamentals of Software Engineering, FSEN'07, volume 4767 of Lecture Notes in Computer Science (LNCS), pages 440-448, Tehran, Iran, April 2007. Springer. (PDF)

  • M. Baldoni, M. Cossentino, F. De Paoli, and V. Seidita, editors. Proc. of Workshop Dagli Oggetti agli Agenti, Evoluzione dell'agent development: metodologie, tool, piattaforme e linguaggi, Palermo, Italy, September 2007. Seneca Edizioni. (PDF)

  • M. Baldoni, T. C. Son, M. B. van Riemsdijk, and M. Winikoff, editors. Proc. of International Workshop Declarative Agent Languages and Technologies, DALT 2007, Honolulu, Hawai'i, USA, May 2007. (PDF)

  • L. Giordano and A. Martelli. Verifying Agent Conformance with Protocols: an Automata Based Approach. In N. Olivetti and Schwind C.B., editors, Proceedings of Agents, Logic and Theorem Proving Workshop, pages 19-31, Aix En Provence, France, July 2007.

  • L. Giordano and A. Martelli. Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic. In R. Basili and M. T. Pazienza, editors, Proc. of AI*IA 2007: Advances in Artificial Intelligence, 10th Congress of the Italian Association for Artificial Intelligence, volume 4733 of LNAI, pages 145-156, Rome, Italy, September 2007. Springer.

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. An Implmentation of a Free-variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: the Theorem Prover FreeP 1.0. In R. Basili and M.T. Pazienza, editors, Proceedings of AI*IA 2007 (10th Congress of Italian Association for Artificial Intelligence), volume 4733 of LNAI, pages 84-96, Roma, Italy, September 2007. Springer-Verlag. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Extension of Description Logics for Reasoning About Typicality. In Carlos Areces and Stéphane Demri, editors, Proceedings of the 5th International Workshop on Methods for Modalities (M4M-5), pages 239-254, Ecole Normale Supérieure de Cachan, France, November 2007. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. KLM Logics of Nonmonotonic Reasoning: Calculi and Implementations. In G. Fiumara, M. Marchi, and A. Provetti, editors, Proceedings of CILC 2007 (4th Convegno Italiano di Logica Computazionale), S. Agata di Messina, Italy, June 2007. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Preferential Description Logics. In Nachum Dershowitz and Andrei Voronkov, editors, Proceedings of LPAR 2007 (14th Conference on Logic for Programming, Artificial Intelligence, and Reasoning), volume 4790 of LNAI, pages 257-272, Yerevan, Armenia, October 2007. Springer-Verlag. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Tableau Calculi for KLM Logics: extended version. Technical Report 102/07, Dipartimento di Informatica, Università degli Studi di Torino, Italy, December 2007. (PDF)

  • L. Giordano, V. Gliozzi, and G. L. Pozzato. KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. In N. Olivetti, editor, Proceedings of TABLEAUX 2007 (16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), volume 4548 of LNAI, pages 238-244, Aix En Provence, France, July 2007. Springer-Verlag. (PDF)

  • L. Giordano, A. Martelli, and C. Schwind. Specifying and Verifying Interaction Protocols in a Temporal Action Logic. Journal of Applied Logic, 5(2):214-234, June 2007.

  • Q. Li, K. S. Candan, M. Goveas, S. Han, T. Hedgpeth, J. W. Kim, A. Kolhatkar, and M. L. Sapino. OASIS System for Organizing, Annotating, and Serving Information to Students without Sight. In Proc. LWD07 - First International Conference on Technology-based Learning with Disability, Dayton, Ohio, 2007.

  • N. Olivetti and G. L. Pozzato. A Goal-Directed Calculus for Standard Conditional Logics. In G. Fiumara, M. Marchi, and A. Provetti, editors, Proceedings of CILC 2007 (4th Convegno Italiano di Logica Computazionale), S. Agata di Messina, Italy, June 2007. (PDF)

  • N. Olivetti and G. L. Pozzato. Automated Reasoning for Conditional Logics: the Theorem Prover CondLean 3.1. In Jean-Yves Beziau and Alexandre Costa-Leite, editors, Perspectives on Universal Logic, pages 395-415. Polimetrica International Scientific Publisher, Monza, Italy, 2007. (PDF)

  • N. Olivetti, G. L. Pozzato, and C. B. Schwind. A Sequent Calculus and a Theorem Prover for Standard Conditional Logics. ACM Transactions on Computational Logic (ToCL), 8(4), 2007. (PDF)

  • A. Picariello and M. L. Sapino. Managing Uncertanties in Image Databases. In Yu-Jin Zhang, editor, Semantic-based visual Information Retrieval, pages 292-310. Idea Group Inc., USA, 2007.

  • M. Porzio, G.L. Pozzato, and M. Vigilante. Publication Platform for the Results of Digitization and Documentation. Technical Report D18.2, PrestoSpace project, Italy, May 2007.

  • M. Porzio, G.L. Pozzato, and M. Vigilante. The Documentation Platform for the MAD Factory. Technical Report D18.1, PrestoSpace project, Italy, May 2007.

  • M. Porzio, G.L. Pozzato, and M. Vigilante. The Prestospace Orchestrator (PSO). Technical Report D19.0.1, PrestoSpace project, Italy, May 2007.

  • M. Porzio, G.L. Pozzato, and M. Vigilante. The Turnkey System for the MAD Factory. Technical Report D18.3, PrestoSpace project, Italy, May 2007.

  • G. L. Pozzato. Proof Methods for Conditional and Preferential Logics. PhD thesis, Università degli Studi di Torino, February 2007.

  • Y. Qi, K. S. Candan, and M. L. Sapino. FICSR: Feedback-based InConSistency Resolution and Query Processing on Misaligned Data Souruces. In Proc. of ACM SIGMOD 2007, pages 151-162, Beijing, China, 2007.

  • Y. Qi, K. S. Candan, and M. L. Sapino. Sum-Max Monotonic Ranked Joins for Evaluating Top-K Twig Queries on Weighted Data Graphs. In Proc. VLDB07, pages 507-518, Vienna, 2007.

  • Y. Qi, K. S. Candan, M. L. Sapino, and K. W. Kintigh. Using QUEST for Integrating Taxonomies in the Presence of Misalignments and Conflicts, demo session. In Proc. of ACM SIGMOD 2007, pages 1153-1155, Beijing, China, 2007.

  • M.L. Sapino and P. Shenoy. Introduction to the Special Issue on Multimedia Information Systems. Multimedia Tools and Applications, 2007.

  • M. L. Sapino, K. S. Candan, J. W. Kim, and F. Antonelli. Annotating educational discussion boards to help students who are blind. Int. Journal of Continuing Engineering Education and Life-Long learning, special issue on "Integrating Intelligent and Adaptive Hypermedia Techniques in Web-Based Education Systems, 17(4-5):294-318, 2007.



[Group's HOME] [Department's HOME]

If you are interested in papers which are not available, please, contact directly the author(s).