Buscar
Mostrando ítems 1-10 de 30
Ponencia
Data-in-the-cloud City: Análisis proactivo de la información digital de la ciudad
(Universidad de Coimbra, 2011)
Ponencia
Scale-Free Structure in Concept Lattices Associated to Complex Systems
(IEEE Computer Society, 2012)
Qualitative representation and reasoning on Complex Systems (CS) is important for a number of human activities on CS, mainly for the understanding of both, our perception about their structure as well as their ...
Ponencia
iaBastos: An Intelligent Marketplace for Agricultural Products
(Springer, 2015)
In this paper we present a multi-agent platform designed to support p2p auctions on agricultural products. Experiments show that it could be feasible to integrate a platform, which is de-centralized by nature, into the ...
Ponencia
Learning Services Based on Formal Concept Reasoning
(IADIS: International Association for Development of the Information Society, 2007)
A formal foundation of automated service discovering for Semantic Web is proposed. The approach is based on the formalization of the problem using an agent oriented programming language (ConGolog), as well as on the use ...
Ponencia
Simulating Language Dynamics by Means of Concept Reasoning
(Springer, 2012)
A problem in the phenomenological reconstruction of Complex Systems (CS) is the extraction of the knowledge that elements playing in CS use during its evolution. This problem is important because such a knowledge would ...
Ponencia
Conceptual-based reasoning in mobile web 2.0 by means multiagent systems - knowledge engineering notes
(ScitePress Digital Library, 2012)
Increasingly, users connect to the Internet by mobile devices and they are generating massive content through them. The lead-off projects in Mobile Web 2.0 offer the opportunity to add semantics in order to obtain structured ...
Ponencia
Extending Qualitative Spatial Theories with Emergent Spatial Concepts: An Automated Reasoning Approach
(Springer, 2014)
Qualitative Spatial Reasoning is an exciting research field of the Knowledge Representation and Reasoning paradigm whose application often requires the extension, refinement or combination of existent theories (as well ...
Ponencia
Toward Semantic Mobile Web 2.0 through Multiagent Systems
(Springer, 2009)
In this paper, a solution for semantic annotation of Consumers Generated Content, based on the actions of a multiagent system, is presented. This solution is designed in the context of an spin-off which was born from ...
Ponencia
Social Ontology Documentation for Knowledge Externalization
(Springer, 2010)
Knowledge externalization and organization is a major challenge that companies must face. Also, they have to ask whether is possible to enhance its management. Mechanical processing of information represents a chance ...
Ponencia
Sistema certificado de decisión proposicional basado en polinomios
(Universidad de Sevilla, Departamento de Ciencias de la Computación e Inteligencia Artificial, 2009)
En [2] introducimos una regla de inferencia para la lógica proposicional (basado en el uso de la derivación de polinomios) denominada regla de independencia, diseñada para el cálculo de retracciones conservativas, y que ...