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.
[Books, Proceedings, and PhD Thesis][International Journals][National Journals][Chapters in Books][International Conferences and Lecture Notes][Workshops and National Conferences][Project Deliverables and Technical Reports]

Books, Proceedings, and PhD Thesis

International Journals

  • 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, 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, 2014. To appear. (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)

  • 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.

  • 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, P. Mello, and F. Riguzzi. 25 years of AI*IA, Guest Editorial. Journal of Intelligenza Artificiale, 7(2):69, November 2013. (PDF)

  • 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, N. Olivetti, and G. L. Pozzato. A NonMonotonic Description Logic for Reasoning About Typicality. Artificial Intelligence, 195:165-202, 2013. (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)

  • 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)

  • 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, 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, 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)

  • 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.

  • 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.

  • 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)

  • 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.

  • 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, 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)

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

  • 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 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.

  • 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.

  • 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)

  • 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. Reasoning on choreographies and capability requirements. International Journal of Business Process Integration and Management, IJBPIM, 2(4):247-261, 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)

  • 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.

  • 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)

  • 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.

  • L. Giordano and A. Martelli. Tableau-Based Automata Construction for Dynamic Linear Time Temporal Logic. Annals of Mathematics and of Artificial Intelligence, 46(3):289-315, 2006. (PDF)

  • M. Fayzullin, V.S. Subrahmanian, A. Picariello, and M.L. Sapino. The CPR Model for Summarizing Video. Multimedia Tools and Applications, 26(2):153-173, June 2005.

  • L. Giordano, V. Gliozzi, and N. Olivetti. Weak AGM Postulates and Strong Ramsey Test: a logical formalization. Artificial Intelligence, 168(1-2):1-37, 2005.

  • G. Metcalfe, N. Olivetti, and D. Gabbay. Sequent and Hypersequent Calculi for Abelian and Lukasiewicz logic. ACM Transactions on Computational Logic (TOCL), 2005. To appear.

  • S. Abdennadher, J. Alves Alferes, G. Antoniou, U. Assmann, R. Backofen, C. Baroglio, P. A. Bonatti, F. Bry, W. Drabent, N. Eisinger, N. E. Fuchs, T. Geisler, N. Henze, J. Maluszynski, M. Marchiori, A. Martelli, S. Carro Martinez, H. Jurgen Ohlbach, S. Schaffert, M. Schroeder, K. U. Schulz, U. Schwertel, and G. Wagner. Automated reasoning on the web. Communications of Applied Logic, 2004. To appear. (PDF)

  • S. Adali, C. Bufi, and M. L. Sapino. Ranked Relations: Concepts, Applications and Query Languages for Multimedia. Multimedia Tools and Applications, 24(3):197-214, December 2004.

  • G. Antoniou, M. Baldoni, C. Baroglio, R. Baungartner, F. Bry, T. Eiter, N. Henze, M. Herzog, W. May, V. Patti, S. Schaffert, R. Schidlauer, and H. Tompits. Reasoning Methods for Personalization on the Semantic Web. Annals of Mathematics, Computing & Teleinformatics (AMCT), 2(1):1-24, 2004. (PDF)

  • M. Baldoni, C. Baroglio, and V. Patti. Web-based adaptive tutoring: an approach based on logic agents and reasoning about actions. Artificial Intelligence Review, 22(1):3-39, 2004. (PDF)

  • M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Programming Rational Agents in a Modal Action Logic. Annals of Mathematics and Artificial Intelligence, Special issue on Logic-Based Agent Implementation, 41(2-4):207-257, 2004. (PDF)

  • A. Celentano, O.Gaggi, and M. L. Sapino. Retrieval in multimedia presentations. ACM Multimedia Systems Journal, 10(1):77-82, July 2004.

  • A. Chianese, A. Picariello, L. Sansone, and M. L. Sapino. Managing Uncertainties in Image Databases: a fuzzy approach. Journal of Multimedia Tools and Applications, 23:237-252, 2004.

  • G. Metcalfe, D. Gabbay, and N. Olivetti. Hypersequents and Fuzzy Logic. RACSAM (Revista Real Academia de Ciencias, Espana), 98(1):113-126, 2004.

  • G. Metcalfe, N. Olivetti, and D. Gabbay. Analytic Calculi for Product Logics. Archive for Mathematical Logic, 43:859-889, 2004.

  • N. Olivetti. Tableaux for lukasiewicz infinite-valued logic. Studia Logica, 73(1):81-111, 2003.

  • P. A. Bonatti and N. Olivetti. Sequent calculi for propositional nonmonotonic logics. ACM Transactions on Computational Logic, 3(2):226-278, 2002.

  • L. Giordano, V. Gliozzi, and N. Olivetti. Iterated Belief Revision and Conditional Logic. Studia Logica, 70(1):23-47, 2002. (PostScript)

  • L. Giordano, A. Martelli, and C. Schwind. Reasoning About Actions in Dynamic Linear Time Temporal Logic. Journal of the IGPL, 9(2):298-303, 2001.

  • S. Jajodia, P. Samarati, M. L. Sapino, and V. S. Subrahmanian. Flexible Support for Multiple Access Control Policies. ACM Transactions on Database Systems, 26(2):214-260, June 2001.

  • M. Baldoni, C. Baroglio, and D. Cavagnino. Use of IFS Codes for Learning 2D Isolated-Object Classification Systems. Journal of Computer Vision and Image Understanding, 77(3):371-387, March 2000. (PDF)

  • E. Bertino, P. Bonatti, E. Ferrari, and M. L. Sapino. Temporal Authorization Bases: from Specification to Integration. Journal of Computer Security, 2000.

  • D. M. Gabbay, L. Giordano, A. Martelli, N. Olivetti, and M. L. Sapino. Conditional Reasoning in Logic Programming. Journal of Logic Programming, 44(1-3):37-74, 2000.

  • L. Giordano, A. Martelli, and C. Schwind. Ramification and Causality in a Modal Action Logic. Journal of Logic and Computation, 10(5):625-662, 2000.

  • S.Adali, M.L. Sapino, and V.S. Subrahmanian. An Algebra for Creating and Querying Multimedia Presentations. ACM/Springer Multimedia Systems Journal, 8(3):212-230, 2000.

  • M. Baldoni, L. Giordano, and A. Martelli. A Modal Extention of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning. Journal of Logic and Computation, 8(5):597-635, 1998. (PostScript) (PDF)

  • A. Ciabattoni, D. M. Gabbay, and N. Olivetti. Cut-free proof systems for logics of weak excluded middle. Soft Computing, 2(4):147-156, 1998. Special Issue of European COST 15 Action on Many-valued Logic for Computer-Science Application.

  • D. M. Gabbay and N. Olivetti. Algorithmic proof methods and cut elimination for implicational logics - Part i, modal implication. Studia Logica, 61(2):237-280, 1998.

  • L. Giordano and N. Olivetti. Combining Negation as Failure and Embedded Implications in Logic Programs. Journal of Logic Programming, 36(2):91-147, 1998.

  • D. Mundici and N. Olivetti. Resolution and model building in the infinite-valued calculus of l ukasiewicz. Theoretical Computer Science, (200):335-366, 1998.

  • P. Bonatti, M. L. Sapino, and V. S. Subrahmanian. Merging Heterogeneous Security Orderings. Journal of Computer Security, 5(1):3-29, 1997. Preliminary version in Proc. ESORICS'96, 183-197, LNCS 1146, Springer Verlag, 1996. (PostScript)

  • Cristina Baroglio, Attilio Giordana, Michael Kaiser, Marnix Nuttin, and Roberto Piola. Learning controllers for industrial robots. Machine Learning Journal, (23):221-249, 1996. Selected for the book: Recent Advances in Robot Learning, Judy A. Franklin, Tom M. Mitchell, and Sebastian Thrun eds., vol 368, The Kluwer Int. Series in Engineering and Computer Science.

  • P. A. Bonatti and T. Eiter. Querying disjunctive databases through nonmonotonic logics. Theoretical Computer Science, 160(1-2):321-363, 1996. (PostScript)

  • D. M. Gabbay, L. Giordano, A. Martelli, and N. Olivetti. A language for handling hypothetical updates and inconsistency. J. of the Interest Group in Pure and Applied Logic, 4(3):385-416, 1996.

  • P.A. Bonatti. Autoepistemic logics as a unifying framework for the semantics of logic programs. Journal of Logic Programming, 22:91-149, 1995. (PostScript)

  • P.A. Bonatti. A three-valued formalization of provability. Journal of Logic and Computation, 5:173-201, 1995.

  • P. A. Bonatti, S. Kraus, and V.S. Subrahmanian. Foundations of secure deductive databases. IEEE Trans. on Knowledge and Data Engineering, 7:406-422, 1995.

  • L. Console, M. L. Sapino, and D. Theseider Dupré. The role of Abduction in Database View Updating. Journal of Intelligent Information Systems, (4):261-280, 1995.

  • L. Giordano and A. Martelli. A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking. Computational Intelligence, 11(1):11-46, 1995.

  • L. Giordano, A. Martelli, and M. L. Sapino. Extending Negation as Failure by Abduction: a 3-valued Stable Model Semantics. Journal of Logic Programming, 26(1):31-67, 1995.

  • P. A. Bonatti. Autoepistemic logic programming. Journal of Automated Reasoning, 13:35-67, 1994.

  • L. Giordano and A. Martelli. On Cumulative Defaults Logics. Artificial Intelligence, 66:161-179, 1994.

  • L. Giordano and A. Martelli. Structuring Logic Programs: a Modal Approach. J. of Logic Programming, 21(2):59-94, 1994.

  • L. Giordano, A. Martelli, and G.F. Rossi. Structured Prolog: A Language for Structured Logic Programming. Software - Concept and Tools, 15:125-145, 1994.

  • Cristina Baroglio, Marco Botta, and Attilio Giordana. Learning relations: an evaluation of search strategies. Fundamenta Informaticae, 18:221-232, February-April 1993.

  • Cristina Baroglio, Attilio Giordana, and Lorenza Saitta. Learning mutually dependent relations. Journal of Intelligent Information Systems, 1:159-176, 1992.

  • L. Giordano, A. Martelli, and G. F. Rossi. Extending Horn Clause Logic with Implication Goals. Theoretical Computer Science, 95:43-74, 1992.

  • N. Olivetti. Tableaux and Sequent Calculus for Minimal Entailment. J. of Automated Reasoning, 9:99-139, 1992.

  • N. Olivetti and L. Terracini. N-Prolog and Equivalence of Logic Programs. J. of Logic, Language and Information, 1(4):253-340, 1992.

  • P. Bertolotti and O. Gaggi. A Study on Multimedia Documents Behavior: a Notion of Equivalence. Multimedia Tools and Applications. To appear.

National Journals

Chapters in Books

  • 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, C. Baroglio, V. Patti, and E. Marengo. 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, 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, 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.

  • 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.

  • 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, 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)

  • 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.

  • 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.

  • 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)

  • 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. Springer, 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)

  • 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)

  • 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. Baldoni, C. Baroglio, A. Martelli, and Patti. Verification of protocol conformance and agent interoperability. In F. Toni and P. Torroni, editors, Post-Proc. of Sixth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI, volume 3900 of LNCS State-of-the-Art Survey, pages 265-283. Springer, 2006. (PDF)

  • A. Martelli and L. Giordano. Reasoning About Web Services in a Temporal Action Logic. In O. Stock and M. Schaerf, editors, Reasoning, Action and Interaction in AI Theories and System, number 4155 in LNAI, Festschrift, pages 229-246. Springer, 2006. Essay Dedicated to Ligia Carlucci Aiello. (PDF)

  • M. Nagy and V. Patti. Lexical gender in Hungarian: Reflections of Social Structures in an Electronic Corpus. In E.-M. Thüne, S. Leonardi, and C. Bazzanella, editors, Gender, Language and New Literacy, chapter 12, pages 182-195. Continuum, London, 2006.

  • M. Baldoni, C. Baroglio, and N. Henze. Personalization for the Semantic Web. In N. Eisinger and J. Maluszynski, editors, Reasoning Web, First International REWERSE Summer School 2005, volume 3564 of LNCS Tutorials, pages 173-212. Springer-Verlag, Malta, July 2005. (PDF)

  • N. Olivetti and G. L. Pozzato. CondLean 2.0: an Efficient Theorem Prover for Standard Conditional Logics. In Jean-Yves Beziau and Alexandre Costa-Leite, editors, Handbook of the 1st World Congress and School on Universal Logic, pages 89-90. Montreux, Switzerland, 2005.

  • D. Gabbay and N. Olivetti. Interpolation in Goal_directed Proof-Systems I. In Proc. of Logic Colloquium 2001 , (LC01). Association for Symbolic Logic, 2003. To appear.

  • A. Picariello, M.L. Sapino, and V.S. Subrahmanian. A Video Database Algebra. In Borko Furht and Oge Marques, editors, Handbook of Video Databases, chapter 19. CRC Press, 2003.

  • D. Gabbay and N. Olivetti. Goal oriented deductions. In D. Gabbay and F. Guenthner, editors, Handbook of Philosopophical Logic, volume 9, pages 199-285. Kluwer Academic Publishers, second edition, 2002.

  • M. Baldoni. Normal Multimodal Logics with Interaction Axioms. In D. Basin, M. D'Agostino, D. M. Gabbay, S. Matthews, and L. Viganò, editors, Labelled Deduction, volume 17 of Applied Logic Series, pages 33-53. Applied Logic Series, Kluwer Academic Publisher, 2000. (PostScript) (PDF)

  • Cristina Baroglio, Attilio Giordana, and Roberto Piola. Learning function approximators. In Katharina Morik, Michael Kaiser, and Volker Klingspor, editors, Making Robots Smarter - Combining Sensing and Action through Robot Learning. Kluwer Academic Publisher, 1999.

  • N. Olivetti. Tableaux for nonmonotonic logics. In M. D'Agostino et al., editor, Handbook of Tableau Methods. Kluwer Academic Publisher, 1999.

  • M. Baldoni, C. Baroglio, D. Cavagnino, and L. Saitta. Towards Automatic Fractal Feature Extraction for Image Recognition. In H. Liu and H. Motoda, editors, Feature Extraction, Construction and Selection: a Data Mining Perspective, pages 357-373. Kluwer Academic Publisher, 1998. (PDF)

  • Cristina Baroglio, Attilio Giordana, Giuseppe Lo Bello, and Roberto Piola. Learning fuzzy controllers from examples. In C. Taylor and R. Nakhaeizadeh, editors, Statistics and Machine Learning: The Interface, pages 197-219. Wiley, 1997.

  • A. Martelli. Logic Programming and Nonmonotonic Reasoning. In M. I. Sessa, editor, 1985-1995 Ten years of Logic Programming in Italy, pages 105-136. Palladio, 1995.

  • Cristina Baroglio, Marco Botta, and Lorenza Saitta. Why: a system that learns using causal models and examples. In R. Michalsky and G. Tecuci, editors, Machine Learning a Multistrategy Approach IV, pages 319-347. Morgan Kaufmann, 1994.

International Conferences and Lecture Notes

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying the conformance of web services to global interaction protocols: a first step. In M. Bravetti and G. Zavattaro, editors, Proc. of 2nd Int. Workshop on Web Services and Formal Methods, WS-FM 2005, volume 3670 of LNCS, pages 257-271. Springer, Versailles, France, September, 2005. (PDF)

  • 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. 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 963 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. 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. Springer, 2014. To appear. (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, 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, 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)

  • 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)

  • 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, 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)

  • 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, 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)

  • 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.

  • 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. 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)

  • 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.

  • 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, 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)

  • 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.

  • 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)

  • 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)

  • 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)

  • 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)

  • 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, 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, 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)

  • 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. 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 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)

  • 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, 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)

  • 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.

  • 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.

  • 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. 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)

  • S. Adali, M. L. Sapino, and B. Marshall. A rank algebra to support multimedia mining applications. In Proc. KDD/MDM07, San Jose', California, 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, 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, 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, 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. 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)

  • 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. 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, 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)

  • 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.

  • 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. Baldoni, C. Baroglio, A. Martelli, and V. Patti. A priori conformance verification for guaranteeing interoperability in open environments. In A. Dan and W. Lamersdorf, editors, Proc. of the 4th International Conference on Service Oriented Computing, ICSOC 2006, volume 4294 of LNCS, pages 339-351, Chicago, USA, December 2006. Springer. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Interaction Protocols and Capabilities: A Preliminary Report. In J. J. Alferes, J. Bailey, W. May, and U. Schwertel, editors, Post-Proc. of the Fourth Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2006, volume 4187 of LNCS, pages 63-77. Springer, 2006. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages. In R. H. Bordini, M. Dastani, J. Dix, and A. Seghrouchni, editors, Post-Proc. of the International Workshop on Programming Multi-Agent Systems, ProMAS 2005, volume 3862 of Lecture Notes in Computer Science (LNCS), pages 57-75. Springer, 2006. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Interaction among Objects via Roles -- Sessions and Affordances in Java. In R. Gitzel, M. Alesky, M. Schader, and C. Krintz, editors, Proc. of the 4th International Conference on Principles and Practices of Programming In Java, PPPJ 2006, pages 188-193, Mannheim, Germany, August 30th -- September 1st 2006. ACM. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Modelling the Interaction between Objects: Roles as Affordances. In J. Lang, F. Lin, and J. Wang, editors, Knowledge Science, Engineering and Management: First International Conference, KSEM, volume 4092 of LNCS, pages 42-54, Guilin City, China, August 5-8 2006. Springer. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. powerjava: Ontologically Founded Roles in Object Oriented Programming Languages. In D. Ancona and M. Viroli, editors, Proc. of 21st ACM Symposium on Applied Computing, SAC 2006, Special Track on Object-Oriented Programming Languages and Systems, OOPS 2006, pages 1414-1418, Dijon, France, April 2006. ACM. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Roles as a Coordination Construct: Introducing powerjava. In L. Brim and I. Linden, editors, Proc. of 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord`05, volume 150(1) of Electronic Notes in Theoretical Computer Science, pages 9-29. Elsevier Science Direct, 2006. (PDF)

  • P. Bertolotti, O. Gaggi, and M. L. Sapino. Dynamic Context Adaptation in Multimedia Documents. In Proc. of 21st ACM Symposium on Applied Computing, SAC 2006, Special Track on Multimedia and Visualization, Dijon, France, April 2006.

  • K. S. Candan, G. Kwon, L. Peng, and M. L. Sapino. Modelling Adaptive Media Processing Workflows. In Proc. of IEEE ICME06, Toronto, 2006.

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Analytic Tableaux Calculi for KLM Rational Logic R. In M. Fisher, W. van der Hoek, B. Konev, and A. Lisitsa, editors, Proceedings of JELIA 2006 (10th European Conference on Logics in Artificial Intelligence), volume 4160 of LNAI, pages 190-202, Liverpool, England, September 2006. Springer-Verlag.

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Automated Deduction for Logics of Default Reasoning. In G. Brewka, S. Coradeschi, A. Perini, and P. Traverso, editors, Proceedings of ECAI 2006 (17th European Conference on Artificial Intelligence), pages 757-758 (short paper), Riva del Garda, Italy, August-September 2006. IOS Press.

  • L. Giordano, A. Martelli, and C. Schwind. Specialization of Interaction Protocols in a Temporal Action Logic. In W. van der Hoek, A. Lomuscio, E. de Vink, and M. Wooldridge, editors, Proc. of the 3rd Int. Workshop on Logic and Communication in Multi-Agent Systems, LCMAS'05, volume 157 of Electronic Notes in Theoretical Computer Science, pages 3-22. Elsevier Science Direct, 2006. (PDF)

  • A. Messina, M. Montagnuolo, and M. L. Sapino. Characterizing Multimedia Objects through Multimodal Content Analysis and Fuzzy Fingerprints. In Proc. of IEEE International Conference on Signal-Image Technology and Internet-Based Systems, 2006.

  • L. Peng, G. Kwon, Y. Chen, K. S. Candan, H. Sundaram, K. Chatha, and M. L. Sapino. Modular Design of Media Retrieval Workflows with ARIA. In Proc. CIVR 2006 - International Conference on Image and Video Retrieval (demo session), LNCS, July 2006.

  • M. L. Sapino, K. S. Candan, and P. Bertolotti. Log-Analysis based Characterization of Multimedia Documents for Effective Delivery of Distributed Multimedia Presentations. In Proc. DMS06 - International Conference on Distributed Multimedia Systems, August 2006.

  • F. Antonelli and M.L. Sapino. A rule based approach to message board topics classification. In Proc. MIS'05 - 11th International Workshop on Multimedia Information Systems, volume 3665 of LNCS, pages 33-48, 2005.

  • M. Baldoni, C. Baroglio, C. Grandi, and L. Roversi. Live! I-Learn @ Home. In M. Scotto and G. Succi, editors, Proc. of 1st International Conference on Open Source Systems, OSS 2005, pages 294-295, Genova, July 2005. Agenzia Doppiavu. (PDF)

  • M. Baldoni, C. Baroglio, I. Gungui, A. Martelli, M. Martelli, V. Mascardi, V. Patti, and C. Schifanella. Reasoning About Agents' Interaction Protocols Inside DCaseLP. In J. Leite, A. Omicini, P. Torroni, and P. Yolum, editors, Post-Proc. of the International Workshop on Declarative Agent Languages and Technologies, DALT'04, number 3476 in LNAI, pages 112-131. Springer, 2005. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying protocol conformance for logic-based communicating agents. In J. Leite and P. Torroni, editors, Post Proc. of Fifth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V, volume 3487 of LNAI, pages 192-212. Springer, 2005. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Roles and Coordination in powerjava. In J.-M. Jacquet and G. P. Picco, editors, Poster presentation at 7th Int. Conf. Coordination Models and Languages, COORDINATION'05, Namur. Belgium, April 2005. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. A Tableaux Calculus for KLM Preferential and Cumulative Logics. In Bernhard Beckert, editor, Position Papers and Tutorial Description of TABLEAUX 2005, volume 12/2005, pages 11-26, Koblenz, Germany, September 2005. Fachberichte INFORMATIK. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and G. L. Pozzato. Analytic Tableaux for KLM Preferential and Cumulative Logics. In Geoff Sutcliffe and Andrei Voronkov, editors, Proceedings of LPAR 2005 (12th Conference on Logic for Programming, Artificial Intelligence, and Reasoning), volume 3835 of LNAI, pages 666-681, Montego Bay, Jamaica, December 2005. Springer-Verlag.

  • N. Olivetti and G. L. Pozzato. CondLean 3.0: Improving Condlean for Stronger Conditional Logics. In Bernhard Beckert, editor, Proceedings of TABLEAUX 2005 (Automated Reasoning with Analytic Tableaux and Related Methods), volume 3702 of LNAI, pages 328-332, Koblenz, Germany, September 2005. Springer-Verlag.

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about interaction protocols for web service composition. In M. Bravetti and G. Zavattaro, editors, Proc. of 1st Int. Workshop on Web Services and Formal Methods, WS-FM 2004, volume 105 of Electronic Notes in Theoretical Computer Science, pages 21-36. Elsevier Science Direct, 2004. (PDF)

  • P. Bertolotti, O. Gaggi, and M.L. Sapino. A State-Transition Model for Distributed Multimedia Documents. In Proc. of Tenth International Conference on Distributed Multimedia Systems (DMS'2004), San Francisco Bay, USA, September 8-10 2004. (PDF)

  • Yaman F, S. Adali, D. Nau, M.L. sapino, and V.S. Subrahmanian. Plan Databases: Model and Algebra. In Dietmar Seipel and Jose Maria Turull Torres, editors, Proc. FOIKS04 - Third International Symposium on Foundations of Information and Knowledge Systems, LNCS, pages 302-320. Springer, 2004.

  • Laura Giordano and Alberto Martelli. On-the-fly automata construction for dynamic linear time temporal logic. In C. Combi and G. Ligozat, editors, 11th International Symposium on Temporal Representation and Reasoning (TIME'04), pages 133-139, Tatihou, Normandie, France, July 2004. IEEE Computer Society. (PDF)

  • Laura Giordano, Alberto Martelli, and Camilla Schwind. Verifying communicating agents by model checking in a temporal action logic. In J. Alferes and J. Leite, editors, 9th European Conference on Logics in Artificial Intelligence (JELIA'04), volume 3229 of LNAI, pages 57-69, Lisbon, Portugal, Sept. 2004. Springer-Verlag. (PDF)

  • G. Metcalfe, N. Olivetti, and D. Gabbay. Goal-directed proof-methods for Lukasiewicz logic. In Proc. fo Computer Science Logic (CSL) 2004, volume 3210 of LNCS, pages 85-99. Springer, 2004.

  • M. Baldoni, C. Baroglio, L. Giordano, A. Martelli, and V. Patti. Reasoning about communicating agents in the semantic web. In F. Bry, H. Henze, and J. Maluszynski, editors, Proc. of the 1st International Workshop on Principle and Practice of Semantic Web Reasoning, PPSWR 2003, volume 2901 of LNCS, pages 84-98, Mumbai, India, December 2003. Springer. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about Conversation Protocols in a Logic-based Agent Language. 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 300-311. Springer, September 2003. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about self and others: communicating agents in a modal action logic. In C. Blundo and C. Laneve, editors, Theoretical Computer Science, 8th Italian Conference, ICTCS'2003, volume 2841 of LNCS, pages 228-241, Bertinoro, Italy, October 2003. Springer. (PDF)

  • M. Baldoni, C. Baroglio, and V. Patti. Applying logic inference techniques for gaining flexibility and adaptivity in tutoring systems. In C. Stephanidis, editor, Proceedings of the 10th International Conference on Human-Computer Interaction (HCII 2003), Symposium on Human Interfaces 2003, 5th Intrnational Conference on engineering Psychology and Cognitive Ergonomics, 2th International Conference in Human-Computer Interaction, volume 4, pages 517-521, Crete, Greece, June 2003. Lawrence Erlbaum Associates, Inc. (PDF)

  • M. Baldoni, C. Baroglio, and V. Patti. Personalizing web services by reasoning about interaction protocols. In Peter P. Slezak, editor, Proc. of the 4th Joint International Conference on Cognitive Science (ICCS/ASCS-2003), Sydney, Australia, July 2003. (PDF)

  • L. Giordano, V. Gliozzi, N. Olivetti, and C. Schwind. Tableau Calculi for Preference-Based Conditional Logics. In Proc. of TABLEAUX 2003 (Automated Reasoning with Analytic Tableaux and Related Methods), volume 2796 of LNAI, pages 81-101. Springer, 2003. (PostScript)

  • 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)

  • G. Metcalfe, N. Olivetti, and D. M. Gabbay. Goal-Directed Calculi for Gödel-Dummett Logics. In Proc. of CLS 2003 (Computer Science Logic), volume 2803 of LNCS, pages 413-426. Springer, 2003.

  • N. Olivetti and G. L. Pozzato. CondLean: A Theorem Prover for Conditional Logics. In Marta Cialdea Meyer and Fiora Pirri, editors, Proceedings of TABLEAUX 2003 (Automated Reasoning with Analytic Tableaux and Related Methods), volume 2796 of LNAI, pages 264-270, Roma, Italy, September 2003. Springer.

  • Cristina Baroglio. Gcs networks, views, and path planning. In E. Damiani, R.J. Howlett, L.C. Jain, and N. Ichalkaranje, editors, the 6th Int. Conf. on Knowledge-based Intelligent Information & Engeneering Systems, special track on Intelligent Knowledge Management, pages 1471-1475, Podere D'Ombriano, Italy, 2002. IOS Press.

  • G. Metcalfe, N. Olivetti, and D. M. Gabbay. Analytic Sequent Calculi for Abelian and lukasiewicz Logics. In Proc. of TABLEAUX 2002 (Automated Reasoning with Analytic Tableaux and Related Methods), volume 2381 of LNAI, pages 191-205. Springer, 2002.

  • M. Baldoni, C. Baroglio, A. Chiarotto, and V. Patti. Programming Goal-driven Web Sites using an Agent Logic Language. In I. V. Ramakrishnan, editor, Proc. of the Third International Symposium on Practical Aspects of Declarative Languages, volume 1990 of Lecture Notes in Computer Science, pages 60-75, Las Vegas, Nevada, USA, march 2001. Springer. (PostScript) (PDF)

  • M. Baldoni, C. Baroglio, and V. Patti. Structereless, Intention-guided Web Sites: Planning Based Adaptation. In C. Stephanidis, editor, Universal Access in HCI: Toward an Information Society for All, Proceedings of the 9th International Conference on Human-Computer Interaction (HCII 2001), Symposium on Human Interfaces 2001, 4th Intrnational Conference on engineering Psychology and Cognitive Ergonomics, 1th International Conference in Human-Computer Interaction, volume 3, pages 237-241, New Orleans, LA, USA, August 2001. Lawrence Erlbaum Associates, Inc. (PDF)

  • M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. In A. Restivo, S. Ronchi Della Rocca, and L. Roversi, editors, Proc. of Theoretical Computer Science, 7th Italian Conference, ICTCS'2001, volume 2202 of Lecture Notes in Computer Science, pages 405-425, Turin, Italy, 2001. Springer. (PostScript) (PDF)

  • L. Giordano, V. Gliozzi, and N. Olivetti. Belief Revision and The Ramsey Test: a solution. In Proc. AI*IA 2001, Italian Conference on Artificial Intelligence, volume 2175 of LNAI, pages 165-180, Bari, Italy, 2001. Springer. (PDF)

  • L. Giordano, A. Martelli, and C. Schwind. Reasoning About Actions in a Multiagents Domain. In Proc. of the 7th Congress of the Italian Association for Artificial Intelligence, AI*IA'01, volume 2175 of LNAI, pages 237-248, Bari, 2001. (PDF)

  • N. Olivetti and C. Schwind. A sequent calculus and a complexity bound for minimal conditional logic. In A. Restivo, S. Ronchi Della Rocca, and L. Roversi, editors, Proc. of Theoretical Computer Science, 7th Italian Conference, ICTCS'2001, volume 2202 of Lecture Notes in Computer Science, pages 384-404, Turin, Italy, 2001. Springer.

  • L. Giordano, V. Gliozzi, and N. Olivetti. A Conditional Logic for Iterated Belief Revision. In Proc. ECAI 2000 - European Conference on Artificial Intelligence, pages 28-32. IOS Press, 2000. (PostScript)

  • L. Giordano, A. Martelli, and C. Schwind. Reasoning About Actions in Dynamic Linear Time Temporal Logic. In Proc. of Conference on Formal and Applied Practical Reasoning, FAPR 2000, pages 117-129. Imperial College, Technical Report ISSN 1469-4166, 2000.

  • S. Adali, M. L. Sapino, and V. S. Subrahmanian. A Multimedia Presentation Algebra. In Proc. ACM SIGMOD99, pages 121-132, Philadelphia, 1999.

  • E. Bertino, P. A. Bonatti, E. Ferrari, and M. L. Sapino. Specifying and Computing Hierarchies of Temporal Authorizations. In Proc. Appia-Gulp-Prode99 Conference, pages 605-619, L'Aquila, 1999. Also appearing in Proc. of the 13th IFIP WG 11.3 - Working Conference on Database Security, Seattle, July 99, Kluwer.

  • S. Adali, P. A. Bonatti, M. L. Sapino, and V. S. Subrahmanian. A Multi-Similarity Algebra. In Proc. of ACM SIGMOD'98, pages 402-413, Seattle, USA, 1998.

  • M. Baldoni, C. Baroglio, and D. Cavagnino. XFF: a simple method to eXtract Fractal Features for 2D object recognition. In A. Amin, D. Dori, P. Pudil, and H. Freeman, editors, Adavances in Pattern Recognition. Joint IAPR International Workshops, SSPR'98 and SPR'98, volume 1451 of LNCS, pages 382-389. Springer-Verlag, 1998. (PDF)

  • M. Baldoni, C. Baroglio, D. Cavagnino, and L. Egidi. Learning to Classify Images by means of Iterated Function Systems. In M. M. Novak, editor, Fractals and Beyond: Complexities in the Sciences, Proc. of the 5th International Multidisciplinary Conference, FRACTAL'98, pages 173-182. World Scientific, 1998. (PostScript) (PDF)

  • M. Baldoni, L. Giordano, and A. Martelli. A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results. In H. de Swart, editor, Proc. of the International Conference on Analytic Tableaux Related Methods, TABLEAUX'98, volume 1397 of LNAI, pages 44-59. Springer-Verlag, 1998. (PostScript) (PDF)

  • P. A. Bonatti and N. Olivetti. A sequent calculus for circumscription. In Proc. of CSL'97, Computer Science Logic, volume 1414 of LNCS, pages 98-114, 1998. (PostScript)

  • L. Giordano, V. Gliozzi, and N. Olivetti. A Conditional Logic for Belief Revision. In Proc. of the Sixth European Workshop on Logic in Artificial Intelligence, JELIA'98, volume 1489 of LNAI, pages 294-308, Dagstuhl, 1998. (PostScript)

  • L. Giordano, A. Martelli, and C. Schwind. Dealing with Concurrent Actions in Modal Action Logics. In H. Prade, editor, Proc. of the 13th European Conference on Artificial Intelligence, ECAI'98, pages 537-541, Brighton, UK, 1998. John Wiley & Sons.

  • M. Baldoni, C. Baroglio, D. Cavagnino, and G. Lo Bello. Extraction of Discriminant Features from Image Fractal Encoding. In M. Lenzerini, editor, Proc. of AI*IA 97: Advances in Artificial Intelligence, volume 1321 of LNAI, pages 127-138. Springer-Verlag, 1997. (PostScript) (PDF)

  • M. Baldoni, L. Giordano, A. Martelli, and V. Patti. An Abductive Procedure for Reasoning about Actions in Modal Logic Programming. In J. Dix, L. M. Pereira, and T. C. Przymusinski, editors, Proc. of the 2nd International Workshop on Non-Monotonic Extentions of Logic Programming, NMELP'96, volume 1216 of LNAI, pages 132-150. Springer-Verlag, 1997. (PostScript) (PDF)

  • Cristina Baroglio. Exploiting qualitative knowledge to enhance skill acquisition. In Proc. of ECML-97, European Conference on Machine Learning, volume 1224 of LNAI, pages 49-56, Prague, Czech Republic, April 1997. Springer Verlag.

  • P. A. Bonatti. A constructive negation for transition system specifications. In Proc. 1997 Joint Conf. on Declarative Programming APPIA-GULP-PRODE'97, pages 283-294, 1997.

  • P. A. Bonatti. Resolution for skeptical stable semantics. In Proc. Logic Programming and Non Monotonic Reasoning, LPNMR'97, volume 1265 of LNAI, pages 185-197. Springer Verlag, 1997. (PostScript)

  • P. A. Bonatti and N. Olivetti. A sequent calculus for skeptical default logic. In Proc. TABLEAUX'97, volume 1227 of LNAI, pages 107-121. Springer Verlag, 1997. (PostScript)

  • M. Baldoni, L. Giordano, and A. Martelli. A Framework for Modal Logic Programming. In M. Maher, editor, Proc. of the Joint International Conference and Symposium on Logic Programming, JICSLP'96, pages 52-66, Bonn, 1996. The MIT Press. (PostScript) (PDF)

  • M. Baldoni, L. Giordano, and A. Martelli. Translating a Modal Language with Embedded Implications into Horn Clause Logic. In R. Dyckhoff, H. Herre, and P. Schroeder-Heister, editors, Proc. of the 5th International Workshop on Extensions of Logic Programming, ELP'96, volume 1050 of LNAI, pages 19-33. Springer-Verlag, 1996. (PostScript) (PDF)

  • P. A. Bonatti. Sequent calculi for default and autoepistemic logics. In Proc. TABLEAUX'96, volume 1071 of LNAI, pages 127-142. Springer Verlag, 1996.

  • L. Giordano, A. Martelli, and M. L. Sapino. An Abductive Proof Procedure for Conditional Logic Programming. In Proc. 1st Int. Conf. on Formal and Applied Practical Reasoning, FAPR'96, volume 1085 of LNAI, pages 231-245, 1996.

  • Cristina Baroglio and Marco Botta. Multiple predicate learning with RTL. In Proc. of AIIA95, 4th Congress of the Italian Association for AI, volume 992 of LNAI, pages 44-75, Firenze, Italy, October 1995. Springer Verlag.

  • P. A. Bonatti and L. Giordano. Three-valued semantics for extended logic programming. In Proc. 1995 Joint Conf. on Declarative Programming GULP-PRODE'95, pages 295-306, 1995. (PostScript)

  • P. A. Bonatti and A. Varzi. On the meaning of complementary systems. In Proc. of the 10th Int. Congress of Logic, Methodology and Philosophy of Science, Firenze, 1995.

  • D. M. Gabbay, L. Giordano, A. Martelli, and N. Olivetti. Hypothetical updates, priority and inconsistency in a logic programming language. In V. W. Marek, A. Nerode, and M. Truszczynsky, editors, Proc. 3rd Int. Conference on Logic Programming and Non-Monotonic Reasoning, volume 928 of LNCS, pages 203-216, Lexington, KY, USA, 1995. Springer-Verlag.

  • M. Baldoni, L. Giordano, and A. Martelli. A Modal Extention of Logic Programming. In M. Alpuente, R. Barbuti, and I. Ramos, editors, Proc. 1994 Joint Conference on Declarative Programming GULP-PRODE'94, volume 2, pages 324-335, Peñiscola, Spain, September 1994. (PostScript) (PDF)

  • Cristina Baroglio, Attilio Giordana, Giuseppe Lobello, and Roberto Piola. Learning control functions from examples. In ECML, European Conference on Machine Learning Workshop, Catania, Italy, 1994.

  • Cristina Baroglio, Attilio Giordana, and Roberto Piola. Learning fuzzy controllers for industrial robots. In EUFIT-94, 2nd European Conference on Intelligent Techniques and Soft Computing, pages 470-474, Aachen, Germany, September 1994.

  • D. M. Gabbay, L. Giordano, A. Martelli, and N. Olivetti. Conditional Logic Programming. In Proc. ICLP94, pages 272-289, Santa Margherita Ligure, 1994. MIT Press.

  • G. Le Chiara and L. Saitta. Using Fractals to Learn Image Descriptions by means of Artificial Neural Networks. In Proceedings of IEEE International Conference on Neural Networks, pages 2952-2955, Orlando, USA, 1994.

  • Marnix Nuttin, Hendrik Van Brussel, Cristina Baroglio, and Roberto Piola. Robot controller synthesis: Procedure and experiments. In IEEE Conf. on Fuzzy Systems, pages 1218-1223, Orlando, FL, 1994.

  • M. Baldoni, L. Giordano, and A. Martelli. A Multimodal Logic to define Modules in Logic Programming. In D. Miller, editor, Proc. of the International Logic Programming Symposium, ILPS'93, pages 473-487, Vancouver, 1993. The MIT Press. (PDF)

  • Attilio Giordana, Lorenza Saitta, and Cristina Baroglio. Learning simple recursive theories. In J. Komorowski and Z. W. Ras, editors, Proc. of ISMIS-93, Int. Symposium on Intelligent Systems, volume 689 of LNAI, pages 425-434, Trondheim, Norway, June 1993. Springer Verlag.

  • L. Giordano. Defining Variants of Default Logic: A Modal Approach. In Proc. Int. Conf. on Methodologies for Intelligent Systems, volume 689 of LNCS, pages 59-68, Trondheim, 1993. Springer-Verlag.

  • L. Giordano, A. Martelli, and M. L. Sapino. A semantics for Eshghi and Kowalski's abductive procedure. In Proc. 10th Int. Conf. on Logic Programming, ICLP93, pages 586-600, Budapest, 1993. MIT Press.

  • Marco Botta, Cristina Baroglio, Attilio Giordana, and Bruno Graziano. Learning behavioral knowledge in robotic domains. In IROS-93 IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, pages 1816-1822, 1992.

  • L. Giordano and N. Olivetti. Negation as failure in intuitionistic logic programming. In Proc. Joint International Conference and Symposium on Logic Programming, pages 431-445, Washington, 1992. MIT Press.

Workshops and National Conferences

  • 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. 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. 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)

  • 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)

  • R. Micalizio, M. Baldoni, and 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)

  • 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, 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. 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)

  • 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.

  • 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)

  • 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)

  • 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.

  • 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 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, 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)

  • 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)

  • 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. 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)

  • 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, 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)

  • 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 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. 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. 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)

  • 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, 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, 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, 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)

  • 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. 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, 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, 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, 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)

  • 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)

  • 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, 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.

  • 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. 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 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, 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, 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)

  • 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, 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)

  • 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)

  • S. Adali, S. Pearce, and M. L. Sapino. On Querying and Exploring Activities on a User's Desktop. In Proc. e-Chronicle2006 - IEEE workshop on electronic chronicles. In conjunction with ICDE06, 2006.

  • M. Baldoni, C. Baroglio, I. Brunkhorst, N. Henze, E. Marengo, and V. Patti. A Personalization Service for Curriculum Planning. In E. Herder and D. Heckmann, editors, Proc. of the 14th Workshop on Adaptivity and User Modeling in Interactive Systems, ABIS 2006, pages 17-20, Hildesheim, Germany, October 2006. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Conformance and Interoperability in Open Environments. In F. De Paoli, A. Di Stefano, A. Omicini, and C. Santoro, editors, Proc. of WOA 2006: Dagli oggetti agli agenti, Sistemi GRID, P2P e Self-*, volume 204 of CEUR, Workshop Proceedings, Catania, Italy, September 2006. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Interaction Protocols and Capabilities: a preliminary report. In J. J. Alferes, J. Bailey, W. May, and U. Schwertel, editors, Proc. of the 4th International Workshop on Principle and Practice of Semantic Web Reasoning, PPSWR 2006, pages 61-75, Budva, Montenegro, June 2006. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. The Need of Capability Requirements Inside Choreographies and Interaction Protocols. In Y. Yan and L. Zhang, editors, Proc. of the 2006 International Workshop on Service Oriented Techniques, SOT06, pages 17-24, August 2006. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and L. Torasso. Verifying the compliance of personalized curricula to curricula models in the semantic web. In M. Bouzid and N. Henze, editors, Proc. of the Semantic Web Personalization Workshop, held in conjuction with the 3rd European Semantic Web Conference, pages 53-62, Budva, Montenegro, 2006. (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, Proc. of the International Workshop on Programming Multi-Agent Systems, ProMAS 2006, pages 117-132, Hakodate, Japan, May 2006.

  • M. Baldoni, G. Boella, and L. van der Torre. Importing Agent-like Interaction in Object Orientation. In F. De Paoli, A. Di Stefano, A. Omicini, and C. Santoro, editors, Proc. of WOA 2006: Dagli oggetti agli agenti, Sistemi GRID, P2P e Self-*, volume 204 of CEUR, Workshop Proceedings, Catania, Italy, September 2006. (PDF)

  • L. Giordano and A. Martelli. Web Service Composition in a Temporal Action Logic. In Proc. of 4th International Workshop on AI for Service Composition (held in conjunction with ECAI 2006), Riva del Garda, August 2006. (PDF)

  • A. Martelli, M. Baldoni, C. Baroglio, V. Patti, C. Schifanella, and et al. Modeling, verifying and reasoning about web services (extended abstract). In A. Polleres, S. Decker, G. Gupta, and J. de Bruijn, editors, Applications of Logic Programming in the Semantic Web and Semantic Web Services, ALPSWS 2006, volume 196 of CEUR, Workshop Proceedings, pages 105-106, Seattle, WA, August 2006. (PDF)

  • Y. Qi, K. S. Candan, M. L. Sapino, and K. W. Kintigh. QUEST: Query-driven Exploration of Semistructured Data with ConflicTs and Partial Knowledge. In VLDB Workshop on Clean Databases (CleanDB), 2006.

  • S. Adali and M. L. Sapino. An activity based data model for desktop querying. In Poster presentation at SemDesk2005 Workshop, Ireland, 2005.

  • F. Antonelli, K. Jong, K.S. Candan, and M.L. Sapino. Navigation Support for Students who are Blind in Accessing Discussion Boards. In Proc. of Ciah/WBIES 2005 - Combining Intelligent and Adaptive Methods/Techniques in Web Based Education Systems, Salzburg, Austria, 2005.

  • G. Antoniou, M. Baldoni, C. Baroglio, P.A. Bonatti, C. Duma, N. E. Fuchs, A. Martelli, W. Nejdl, D. Olmedilla, V. Patti, J. Peer, and N. Shahmehri. The REWERSE View on Policies. In L. Kagal, T. Finin, and J. Hendler, editors, Proceedings of the Semantic Web and Policy Workshop, held in conjunction with the 4th International Semantic Web Conference, Galway, Ireland, November 2005. (PDF)

  • M. Baldoni, C. Baroglio, S. De Marchis, B. Demo, A. Martelli, I. Perroteau, and L. Roversi. Esperienze di E-learning all'interno della Facoltà di Scienze Matematiche, Fisiche e Naturali dell'Università di Torino. In B. Boniolo, S. Margarita, and C. Spadaro, editors, Atti del Convegno E-learning e Università: iniziative ed esperienze in Italia ed Europa, Torino, Italy, September 2005. (PDF)

  • M. Baldoni, C. Baroglio, and B. Demo. Esperienze di E-learning del Corso di Studi in Informatica dell'Università di Torino: comunità di corsi in ambiente universitario. In P. Frignani, L. Galliani, M. Giacomantonio, and G. Poletti, editors, Proc. of the 11th Expo e-learning 2005, E-learning: protagonista dello sviluppo della società delle conoscenza, Ferrara, Italy, October 2005. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Mascardi, V. Patti, C. Schifanella, and L. Torasso. Personalization, verification and conformance for logic-base communicating agents. In F. Corradini, F. De Paoli, E. Merelli, and A. Omicini, editors, Proc. of WOA 2005: Dagli oggetti agli agenti, simulazione e analisi formale di sistemi complessi, Camerino, Italy, november 2005. Pitagora Editrice Bologna. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Verification of protocol conformance and agent interoperability. In F. Toni and P. Torroni, editors, Pre-proc. of Sixth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI, pages 12-27, London, UK, June 2005. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages. In R. H. Bordini, M. Dastani, J. Dix, and A. Seghrouchni, editors, Proc. of the International Workshop on Programming Multi-Agent Systems, ProMAS 2005, pages 23-38, Utrecht, the Netherlands, July 2005. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Social roles, from agents back to objects. In F. Corradini, F. De Paoli, E. Merelli, and A. Omicini, editors, Proc. of WOA 2005: Dagli oggetti agli agenti, simulazione e analisi formale di sistemi complessi, Camerino, Italy, november 2005. Pitagora Editrice Bologna. (PDF)

  • N. Olivetti and G. L. Pozzato. KLMLean 1.0: a Theorem Prover for Logics of Default Reasoning. In Holger Schlingloff, editor, Proceedings of the 4th International Workshop on Methods for Modalities (M4M-4), pages 235-245, Fraunhofer Institute FIRST, Berlin, Germany, December 2005. Informatik-Bericht 194. (PDF)

  • M. Baldoni, C. Baroglio, R. Del Pero, A. Martelli, A. Messina, G. M. Sacco, P. Bertolotti, and C. Schifanella. A formal framework for handling audiovisual materials. In M. L. Sapino and P. Shenoy, editors, Proc. of the International Workshop on Multimedia Information Systems, MIS'04, pages 130-138, Washington DC, August 2004. Also in CD ACM Digital Library 2005. (PDF)

  • M. Baldoni, C. Baroglio, I. Gungui, A. Martelli, M. Martelli, V. Mascardi, V. Patti, and C. Schifanella. Reasoning about agents' interaction protocols inside DCaseLP. In J. Leite, A. Omicini, P. Torroni, and P. Yolum, editors, Pre-Proc. of the International Workshop on Declarative Agent Languages and Technologies, DALT'04, pages 250-265, New York, USA, July 2004. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about logic-based agent interaction protocols. In G. Rossi and E. Panegai, editors, Proc. of Italian Conference on Computational Logic, CILC'04, pages 250-264, Parma, Italy, June 2004. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying protocol conformance for logic-based communicating agents. In J. Leite and P. Torroni, editors, Pre-Proc. of Fifth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V, pages 82-97, Lisbon, Portugal, September 2004. (PDF)

  • M. Baldoni, C. Baroglio, V. Patti, and L. Torasso. Reasoning about learning object metadata for adapting SCORM courseware. In L. Aroyo and C. Tasso, editors, AH 2004: Workshop Proceedings, Part I, International Workshop on Engineering the Adaptive Web, EAW'04: Methods and Technologies for personalization and Adaptation in the Semantic Web, pages 4-13, Eindhoven, The Netherlands, August 2004. Technische Universiteit Eindhoven. (PDF)

  • M. Baldoni, C. Baroglio, V. Patti, and L. Torasso. SCORM courseware adaptation on the Semantic Web. In G. Adorni, editor, Proc. of IX Convegno della Associazione Italiana Intelligenza Artificiale, Terzo Workshop Intelligenza Artificiale e E-Learning, Perugia, Italy, September 2004. (PDF)

  • P. Bertolotti and O. Gaggi. A Notion of Equivalence for Multimedia Documents. In Proc. of 10-th International Workshop on Multimedia Information Systems (MIS 2004), pages 96-104, Washington DC, Maryland, USA, August 25-27 2004. Also in CD ACM Digital Library 2005. (PDF)

  • C. Schifanella, L. Lusso, M. Baldoni, and C. Baroglio. Design and development of a visual environment for writing DyLOG programs. In M. Baldoni, F. De Paoli, A. Martelli, and A. Omicini, editors, Proc. of WOA 2004: Dagli Oggetti agli Agenti, Sistemi Complessi e Agenti Razionali, pages 43-50, Torino, Italy, November 2004. Pitagora Editrice Bologna. (PDF)

  • L. Torasso. Costruzione automatica di courseware in DyLOG. In G. Rossi and E. Panegai, editors, Proc. of Italian Conference on Computational Logic, CILC'04, pages 217-219, Parma, Italy, June 2004. (PDF)

  • S. Adali, C. Bufi, and M. L. Sapino. Ranked Relations: Concepts, Applications, and Query Languages for Multimedia. In Proc. MIS'03 - 9-th International Workshop on Multimedia Information Systems, Ischia, Italy, 2003.

  • M. Baldoni, C. Baroglio, B. Demo, V. Patti, and L. Torasso. E-learning by doing, an approach based on techniques for reasoning about actions. In G. Adorni, L. Sarti, and G. Vercelli, editors, Proc. of 2nd Workshop on Artificial Intelligence & E-Learning, pages 16-24, Pisa, Italy, September 2003. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about interaction for personalizing web service fruition. In G. Armano, F. De Paoli, A. Omicini, and E. Vargiu, editors, Proc. of WOA 2003: Dagli oggetti agli agenti, sistemi intelligenti e computazione pervasiva, Villasimius (CA), Italy, September 2003. Pitagora Editrice Bologna. (PDF)

  • P. Bertolotti, O. Gaggi, M. L. Sapino, and V. S. Alagar. A Compositional Approach to Multimedia Documents Dynamics. In Proc. of 9-th International Workshop on Multimedia Information Systems (MIS 2003), pages 1-12, Ischia, Italy, 2003. (PDF)

  • M. Fayzullin, V. S. Subrahmanian, A. Picariello, and M. L. Sapino. The CPR Model for Summarizing Video. In Proc. of Workshop ACM MMDB 2003, pages 2-9, New Orleans, USA, November 2003.

  • I. Mura, G. Previti, G. Recchia, L. Torasso, and J. F. Urbina (Global Software Group, Motorola Technology Center Italy). Location aided mobility management in heterogeneous networks using a mobility managemente coordination function. In Proc.of Workshop on Mobility Management, ISTMobile Summit 2003, 2003.

  • M. Baldoni, C. Baroglio, N. Henze, and V. Patti. Setting up a framework for comparing adaptive educational hypermedia: First steps and application on curriculum sequencing. In N. Henze, editor, Proc. of ABIS-Workshop 2002: Personalization for the mobile World, Workshop on Adaptivity and User Modeling in Interative Software Systems, pages 43-50, Hannover, Germany, October 2002. (PostScript) (PDF)

  • M. Baldoni, C. Baroglio, and V. Patti. Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions. In F. De Paoli, S. Manzoni, and A. Poggi, editors, Proc. of WOA 2002: Dagli oggetti agli agenti, dall'informazione alla conoscenza, Milan, Italy, November 2002. Pitagora Editrice Bologna. (PDF)

  • M. Baldoni, C. Baroglio, V. Patti, and L. Torasso. Using a rational agent in an adaptive web-based tutoring system. In P. Brusilovsky, N. Henze, and E. Millán, editors, Proc. of Workshop on Adaptive System for Web-based Education, 2nd Int. Conf. on Adaptve Hypermedia and Adaptive Web Based Systems, pages 43-55, Málaga, Spain, May 2002. Universidad de Málaga. (PDF)

  • A. Celentano, O. Gaggi, and M. L. Sapino. Retrieving consistent multimedia presentation fragments. In Proc. MIS02 - 8-th International Workshop on Multimedia Information Systems, Tempe, Arizona, 2002.

  • A. Picariello and M. L. Sapino. A fuzzy algebra for image databases. In Proc. MIS02 - 8-th International Workshop on Multimedia Information Systems, Tempe, Arizona, 2002.

  • M. Baldoni, C. Baroglio, A. Molia, and V. Patti. Exploiting planning capabilities of a rational agent in adaptive web-based recommendation systems: a case-study. In S. Pizzutilo, editor, Proc. of AI*IA 2001, Demo Session, pages 9-12, Bari, Italy, September 2001. (PDF)

  • S. Adali, L. Console, M.L.Sapino, M. Schenone, and P. Terenziani. Representing and reasoning with temporal constraints in multimedia presentations. In Proc. TIME-2000: Seventh International Workshop on Temporal Representation and Reasoning, Nova Scotia, Canada, 2000.

  • S. Adali, J. Liepins, and M. L. Sapino. Dynamic graph structured document databases. In Proc. MIS'00 - Sixth International Workshop on Multimedia Information Systems, pages 187 --195, Chicago, 2000.

  • M. Baldoni, C. Baroglio, A. Chiarotto, A. Martelli, and V. Patti. Intention-guided Web Sites: A New Perspective on Adaptation. In P. L. Emiliani and C. Stephanidis, editors, Proc. of the 6th ERCIM Workshop, User Interfaces for All, pages 68-82, Florence, Italy, September 2000. (PDF)

  • M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Modeling Agents in a Logic Action Language. In W. van der Hock and J.-J. Meyer, editors, Proc. of Workshop on Practical Reasoning Agents, FAPR2000, 2000. (PostScript) (PDF)

  • Cristina Baroglio, Gianpiero Bussolin, and Lionello Cantoni. Audip -- aula didattica dipartimentale. In A. Andronico, G. Casadei, and G. Sacerdote, editors, Didamatica2000, Cesena, 2000. Il Ponte Vecchio.

  • S. Adali, M. L. Sapino, M. Schenone, and V.S. Subrahmanian. Finite Graph Algebras for Querying Multimedia Presentation Databases. In Proc. MIS'99 - Fifth International Workshop on Multimedia Information Systems, pages 20-27, Indian Wells, Palm Springs Desert, California, 1999.

  • M. Baldoni, C. Baroglio, D. Cavagnino, and L. Saitta. IFS-based feature extraction for learning to classify objects. In R. Cucchiara and M. Piccardi, editors, Proc. of the Workshop: Artificial Intelligence and Pattern Recognition Techniques for Computer Vision, IAPRVA'98, pages 9-14, Ferrara, Italy, 1998. (PostScript) (PDF)

  • M. Baldoni, L. Giordano, A. Martelli, and V. Patti. A Modal Programming Language for Representing Complex Actions. In A. Bonner, B. Freitag, and L. Giordano, editors, Proc. 1998 JICSLP'98 Post-Conference Workshop on Transactions and Change in Logic Databases, DYNAMICS'98, pages 1-15, Manchester, UK, June 1998. Technical Report MPI-9808. (PostScript) (PDF)

  • Cristina Baroglio. Teaching by shaping. In ICML-95 Workshop on Learning by Induction vs. Learning by Demonstration (also in Proc. of the 2nd European Workshop on Learning Robots, Milano, Italy, 1995), Tahoe City, CA, USA, 1995.

  • Cristina Baroglio, Attilio Giordana, and Roberto Piola. Learning controllers from examples. In AIT95, Int. Workshop on Artificial Intelligence Techniques, pages 3-20, Brno, Czech Republic, September 1995.

  • Cristina Baroglio, Attilio Giordana, and Roberto Piola. Learning control functions for industrial robots. In ICML Workshop on Learning Robots, pages 11-19, New Brunswick, NJ, 1994.

  • Cristina Baroglio, Attilio Giordana, and Roberto Piola. Learning fuzzy controllers by means of symbolic induction, backpropagation and reinforcement learning. In GAA-94, Giornate sull'apprendimento automatico, pages 17-20, Parma, Italy, 1994.

  • D. M. Gabbay, L. Giordano, A. Martelli, and N. Olivetti. Hypothetical updates and inconsistency in logic programming. In Proc. ECAI'94 Workshop on Logic and Change, Amsterdam, 1994.

  • Cristina Baroglio and M. Nuttin. Fuzzy controller synthesis in robotic assembly: Procedure and experiments. In 2nd Workshop on Learning Robots, Torino, Italy, November 1993.

  • Cristina Baroglio and Attilio Giordana. Learning contextual relations. In the 3rd Italian Workshop on Machine Learning, Roma, Italy, 1992.

  • N. Olivetti and L. Terracini. A logic for negation as failure. In Proc. ICLP91 Workshop on Logic Programming Semantics and Non-Classical Logics, pages 111-116, INRIA Rocquencourt, 1991.

  • N. Olivetti. Circumscription and Closed World Assumption. Atti della Accademia delle Scienze di Torino, 123(Fasc. 5-6):207-217, 1989.

Project Deliverables and Technical Reports

  • 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)

  • 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, 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)

  • 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. 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)

  • 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)

  • 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. 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.

  • 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)

  • 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)

  • 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)

  • 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.

  • M. Baldoni, C. Baroglio, P. Bonatti, L. Giordano, A. Martelli, V. Patti, and C. Schifanella. Negotiation Analysis and Design: Reasoning on Policies for Verifying Properties. Technical Report IST506779/Turin/I2-D10/D/PU/a1, Reasoning on the Web with Rules and Semantics, REWERSE, September 3rd 2006. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. A priori conformance verification for guaranteeing interoperability in open environments. Technical Report RT 93/06, Dipartimento di Informatica, UNiversità degli Studi di Torino, July 3rd 2006. (PDF)

  • I. Brunkhorst, N. Henze, V. Patti, J. J. A. Alferes, R. Amador, M. Baldoni, C. Baroglio, R. Baumgartner, W. May, and M. A. Klopotek. Testbeds ii: Early prototypes. Technical Report IST506779/Hannover,Turin/A3-D6/D/PU/b1, Reasoning on the Web with Rules and Semantics, REWERSE, February 28th 2006. (PDF)

  • G. Antoniou, M. Baldoni, C. Baroglio, R. Baumgartner, F. Bry, N. Henze, W. May, V. Patti, and S. T. Wierzchon. Personalization for the Semantic Web II. Technical Report IST506779/Hannover/A3-D4/D/PU/b1, Reasoning on the Web with Rules and Semantics, REWERSE, August 31st 2005. (PDF)

  • M. Baldoni, C. Baroglio, S. Carro-Martinez, A. Goy, N. Henze, A. Kulas, D. Magro, M. Montebello, V. Patti, and H. Williams. Thread on testbeds. Technical Report IST506779/Turin/A3-D2/D/PU/a1, Reasoning on the Web with Rules and Semantics, REWERSE, February, 28th 2005. (PDF)

  • P. Bertolotti and O. Gaggi. A study on multimedia documents behavior: a notion of equivalence. Technical Report 82/05, Department of Computer Science, University of Turin, Italy, January 2005. (PDF)

  • P. Bertolotti, O. Gaggi, and M.L. Sapino. Dynamic Context Adaptation: a Formal Framework. Technical Report 88/05, Department of Computer Science, University of Turin, Italy, May 2005. (PDF)

  • N. Olivetti, G. L. Pozzato, and C. B. Schwind. A Sequent Calculus and a Theorem Prover for Standard Conditional Logics: Extended version. Technical Report 87/05, Dipartimento di Informatica, Università degli Studi di Torino, Italy, April 2005. (PDF)

  • M. Baldoni, C. Baroglio, N. Henze, V. Patti, C. Staff, and S. T. Wierzchon. Personalization Functionality for the Semantic Web: Identification and Description of Techniques. Technical Report IST506779/Hannover/A3-D1/D/PU/a1, Reasoning on the Web with Rules and Semantics, REWERSE, August 31st, 2004. (PDF)

  • P. A. Bonatti, N. Shalmehri, C. Duma, D. Olmedilla, W. Nejdl, M. Baldoni, C. Baroglio, A. Martelli, V. Patti, P. Coraggio, G. Antoniou, J. Peer, and N. E. Fuchs. Rule-based Policy Specification: State of the Art and Future Work. Technical Report IST506779/Naples/I2-D1/D/PU/b1, Reasoning on the Web with Rules and Semantics, REWERSE, August 31st, 2004. (PDF)

  • N. Olivetti, G. L. Pozzato, and C. B. Schwind. A Sequent Calculus and a Theorem Prover for Standard Conditional Logics. Technical Report 81/04, Dipartimento di Informatica, Università degli Studi di Torino, Italy, November 2004. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, G. M. Sacco, M. L. Sapino, P. Bertolotti, and C. Schifanella. Gestione di materiali audio-visivi: modello formale e descrizione di un prototipo. Technical Report 68/02, Dipartimento di Informatica, Università degli Studi di Torino, Italy, December 2002. (PDF)

  • M. Baldoni and D. Cavagnino. xn+1 = f (xn). Technical Report 22/96, Dipartimento di Informatica, Università degli Studi di Torino, Italy, 1996. (PostScript) (PDF)



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

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