Matchmaking in e-marketplaces consists of finding and retrieving promising counterparts for
a given request from the set of available advertisements. This paper proposes the use of …

Feature modeling an attractive technique for capturing commonality as well as variability
within an application domain for generative programming and software product line …

Abstract Reasoning engines are largely used in resource discovery and matchmaking
scenarios where, given a request, they are able to provide a list of compatible items …

A profile describes a set of skills a person may have or a set of skills required for a particular
job. Profile matching aims to determine how well a given profile fits to a requested profile …

Automated techniques and tools are required to effectively locate services that fulfil a given
user request. To this purpose, the use of semantic descriptions of services has been widely …

Abstract Traditional Radio-Frequency IDentification (RFID) applications have been focused
on replacing bar codes in supply chain management. Leveraging a ubiquitous computing …

We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction
and Contraction in ALN DL. We also analyze the computational complexity of the problems …

We propose a framework and tractable algorithms for semantic-based automated Web
service composition, fully compliant with Semantic Web technologies. The approach exploits …

Abductive reasoning has been recognized as a valuable complement to deductive inference
for tasks such as diagnosis and integration of incomplete information despite its inherent …

This chapter describes CRUZAR, a Web application that builds custom tourism routes for
each visitor to the city of Zaragoza. This application exploits expert knowledge of the tourism …