27:T431,

Summaries of Web sites help Web users get an idea of the site contents without having to spend time browsing the sites. Currently, manually constructed summaries of Web sites by volunteer experts are available, such as the DMOZ Open Directory Project. This research is directed towards automating the Web site summarization task. To achieve this objective, an approach which applies machine learning and natural language processing techniques is developed to summarize a Web site automatically. The information content of the automatically generated summaries is compared, via a formal evaluation process involving human subjects, to DMOZ summaries, home page browsing and time-limited site browsing, for a number of academic and commercial Web sites. Statistical evaluation of the scores of the answers to a list of questions about the sites demonstrates that the automatically generated summaries convey the same information to the reader as DMOZ summaries do, and more information than the two browsing options.

28:T418,

In this paper we propose XICOMAS_Q , an XML-based multi-agent system for the Information Content oriented management of QoS in telecommunications networks. XICOMAS_Q is characterized by the following features: (i) it is strongly subjective, i.e. it handles network management activities according to user preferences represented by means of a user profile; (ii) it can operate on a large variety of telecommunications networks; (iii) it is semi-automatic; (iv) it is XML-based, i.e. it exploits XML for guaranteeing a light, versatile and standard mechanism for information management and exchange. The paper reports also various experimental results as well as a comparison between XICOMAS_Q and other related QoS management systems already presented in the literature.

29:T4df,

We present an agent-based mechanism that acts as a mediator module between theorem proving systems and mathematical knowledge bases containing information that is necessary for the constructions of proofs. Unlike the more popular user-oriented mediators who work as information agents to provide the so-called value-added services to the collected data before presenting it to users or user applications, our (multi-)agents are more task-oriented. That is, our agents work in tandem with the user or user application on the tasks the user is trying to solve. This approach is particularly suitable to mathematical knowledge retrieval in theorem proving as (i) checking for applicable axioms/definitions/theorems from the knowledge base can be done independently from the proof search process concurrently carried out by the prover, and (ii) the prover and the mediator operate on two different search spaces and the search outcome brought about by the mediator can be of great benefit to the prover, e.g. to avoid the prover from exploring many unnecessary or irrelevant proof steps, to keep the prover's search space more manageable and the constructed proof more comprehensible.

2a:T4b5,Web Intelligence (WI) is an official journal of the Web Intelligence Consortium (WIC), an international organization dedicated to promoting collaborative scientific research and industrial development in the era of Web intelligence. WI seeks to collaborate with major societies and international conferences in the field. WI is a peer-reviewed journal, which publishes four issues a year, in both online and print form.WI aims to achieve a multi-disciplinary balance between research advances in theories and methods usually associated with Collective Intelligence, Data Science, Human-Centric Computing, Knowle