-
[show abstract]
[hide abstract]
ABSTRACT: The proposal of Elisa Marengo's thesis is to extend commitment protocols to
explicitly account for temporal regulations. This extension will satisfy two
needs: (1) it will allow representing, in a flexible and modular way, temporal
regulations with a normative force, posed on the interaction, so as to
represent conventions, laws and suchlike; (2) it will allow committing to
complex conditions, which describe not only what will be achieved but to some
extent also how. These two aspects will be deeply investigated in the proposal
of a unified framework, which is part of the ongoing work and will be included
in the thesis.
07/2011;
-
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; 01/2011
-
Intelligenza Artificiale. 01/2011; 5:67-69.
-
Proceedings the 7th International Conference on Semantic Systems, I-SEMANTICS 2011, Graz, Austria, September 7-9, 2011; 01/2011
-
IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011; 01/2011
-
10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3; 01/2011
-
Intelligenza Artificiale. 01/2011; 5:83-88.
-
Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011; 01/2011
-
[show abstract]
[hide abstract]
ABSTRACT: We propose an interaction-oriented framework and the related support infrastructure, that reifies commitment-based interaction protocols into programmable environments and artifacts. The use of commitments gives a normative characterization to coordination artifacts, while the use of artifacts enables the application of software engineering methodologies to protocols.
First International Workshop on Requirements Engineering for Social Computing, RESC 2011, Trento, Italy, August 29, 2011; 01/2011
-
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP; 01/2010
-
Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers; 01/2010
-
ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings; 01/2010
-
Matteo Baldoni, Cristina Baroglio,
Federico Bergenti,
Antonio Boccalatte,
Elisa Marengo,
Maurizio Martelli,
Viviana Mascardi,
Luca Padovani,
Viviana Patti,
Alessandro Ricci,
Gianfranco Rossi,
Andrea Santi
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30 - September 2, 2010; 01/2010
-
Multiagent and Grid Systems. 01/2010; 6:103-104.
-
[show abstract]
[hide abstract]
ABSTRACT: With the advent of Web 2.0 tagging became a popular feature in social media systems. People tag diverse kinds of content, e.g. products at Amazon, music at Last.fm, images at Flickr, etc. In the last years several researchers analyzed the impact of tags on information retrieval. Most works focused on tags only and ignored context information. In this article we present context-aware approaches for learning semantics and improve personalized information retrieval in tagging systems. We investigate how explorative search, initialized by clicking on tags, can be enhanced with automatically produced context information so that search results better fit to the actual information needs of the users. We introduce the SocialHITS algorithm and present an experiment where we compare different algorithms for ranking users, tags, and resources in a contextualized way. We showcase our approaches in the domain of images and present the TagMe! system that enables users to explore and tag Flickr pictures. In TagMe! we further demonstrate how advanced context information can easily be generated: TagMe! allows users to attach tag assignments to a specific area within an image and to categorize tag assignments. In our corresponding evaluation we show that those additional facets of tag assignments gain valuable semantics, which can be applied to improve existing search and ranking algorithms significantly.
New Review in Hypermedia and Multimedia 01/2010; 16(1-2):33-70. · 0.58 Impact Factor
-
[show abstract]
[hide abstract]
ABSTRACT: Curricula authoring is a complex process, involving different actors and different kinds of knowledge. Learners aim at acquiring expertise about some topic of their own interest, and need to perceive that the curriculum they attend will lead them towards their goal; when this does not happen, they become demotivated. Learners are all different, not only in their aims but also in their background knowledge and skills; curricula must carefully be tailored to the learner's individual traits: when this does not happen, curricula are not effective from a pedagogical perspective. On the other hand, it is not possible to leave learners alone in the design of a curriculum because this activity involves both knowledge about the topics to teach, and knowledge about teaching itself. It is one of the tasks of the school to support curricula authoring so to guarantee the correctness of the result w.r.t. the teaching goals and to pedagogical strategies. In this article we face the problem of authoring personalized curricula and propose a modular, layered architecture that accounts for the representation of learning resources, of the domain model, of the learner, and of pedagogical constraints, with the aim of supporting different validation tasks. The representation combines a Semantic Web approach to annotation with a declarative representation in linear temporal logic. The validation layer of the proposed architecture includes different kinds of inter-conceptual, post-construction verifications, all of which can be realized by means of model checking techniques. The article also reports about a prototype implementation based on the Personal Reader for education, a framework that supplies to its users personalization functionalities implemented in a service-oriented fashion.
01/2009;
-
8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2; 01/2009
-
HYPERTEXT 2009, Proceedings of the 20th ACM Conference on Hypertext and Hypermedia, Torino, Italy, June 29 - July 1, 2009; 01/2009
-
Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009; 01/2009
-
HYPERTEXT 2009, Proceedings of the 20th ACM Conference on Hypertext and Hypermedia, Torino, Italy, June 29 - July 1, 2009; 01/2009
