DIPARTIMENTO   DI   INFORMATICA
Università di Torino

THE GROUP'S LOGO

Baldoni's publications

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

2017

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

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

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

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

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

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

2016

2015

2014

2013

2012

2011

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2010

2009

2008

2007

2006

2005

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

  • M. Baldoni, U. Endriss, A. Omicini, and P. Torroni, editors. Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Selected and Revised Papers, volume 3904 of Lecture Notes in Artificial Intelligence (LNAI). Springer, 2006.

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

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

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

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

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

  • M. Baldoni, U. Endriss, A. Omicini, and P. Torroni, editors. Proc. of International Workshop Declarative Agent Languages and Technologies, DALT 2005, Utrecht, The Netherlands, July 2005. (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)

2004

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

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

2002

2001

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

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

2000

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

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

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

1999

1998

  • M. Baldoni. Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension. PhD thesis, Dipartimento di Informatica, Università degli Studi di Torino, Italy, 1998. (PostScript)

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

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

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

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

1997

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

1996

1995

1994

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

1993

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



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

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