In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, co...
Abstract. Interaction increases flexibility of segmentation but it leads to undesirable behaviour of an algorithm if knowledge being requested is inappropriate. In region growing, ...
Locally and functionally distributed applications realized on different system architectures demand a universal, portable and intuitive software utility for interprocess communica...
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
This work proposes a system process for extracting automatically a fuzzy ontology from a collection of web resources. The approach exploits the Formal Concept Analysis theory for ...
Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Sab...