En esta memoria se expone la dimensión de VC, un concepto originalmente definido por V. N. Vapnik y A. Ya. Chervonenkis ...

A widespread need to explain the behavior and outcomes of AI-based systems has emerged, due to their ubiquitous presence. ...

Alongside the particular need to explain the behavior of black box artificial intelligence (AI) systems, there is a general ...

Concept Mining is one of the main challenges both in Cognitive Computing and in Machine Learning. The ongoing improve ment ...

In the paradigm of Knowledge-Based Systems (KBS), the design of methods to simplify the reasoning leads to more efficient ...

In this paper, new methods for analyzing models of weak subsystems of Peano Arithmetic are proposed. The focus will be on ...

his paper presents the data-driven techniques and method ologies used to predict the remaining useful life (RUL) of a fleet ...

The present work introduces the Knowledge Harnessing, by showing its theoretical founda-tions as well as a three-way ...

Nowadays, the success of neural networks as reasoning systems is doubtless. Nonetheless, one of the drawbacks of such ...

This final project shows the main concepts related to privacy in Data Science. We present the definition of Differential ...

A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases speci ed by propositional ...

In this paper, we introduce an implementation of an inference rule called “Independence Rule” which lets us reduce the ...

This paper introduces ASAP, a framework for the development of mobile gamification of problems where Complex Systems play ...

In order to achieve a safe and systematic treatment of security protocols, organizations release a number of technical briefings ...

The term of Architectural Survey, in the field of Architecture and Heritage, includes the necessary operations, ...

Urban Data management represents a major challenge in the field of Smart Cities. Its understanding is essential for the ...

This work introduces a (qualitative) data-driven framework to extract patterns of pedestrian behaviour and synthesize ...

An approach to represent and analyze socioeconomic contexts as well as to reason with them, in order to extract useful ...

In this paper we present a multi-agent platform designed to support p2p auctions on agricultural products. Experiments ...

Amodel for lexicon emergence in social networks is presented. The model is based on a modified version of classic Naming ...

In this paper we estimate the soundness of tagging in digital repositories within the field of Digital Humanities by ...

A general -observation-based- qualitative framework to extract agent-based pedestrian behavior is presented. To extract qualitative rules from data we use tools, from Formal Concept Analysis, for implicational reasoning.

Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. One ...

Qualitative Spatial Reasoning is an exciting research field of the Knowledge Representation and Reasoning paradigm whose ...

A notion of phenomenological percolation for Conceptual Structures associated to Complex Systems (CS) is proposed. This ...

An approach to refine and revise the general framework of KiP (Knowledge Intensive Process) is presented. The specific ...

In order to achieve a systematic treatment of security protocols, organizations release a number of technical briefings ...

En un trabajo clásico de 1973, los investigadores Horst W. J. Rittel y Melvin M. Webber introducen, dentro del campo de ...

In order to address the study of complex systems, the detection of patterns in their dynamics could play a key role in ...

The understanding and management of complex digital information on cities need the use of tools providing experts with ...

Some of the most remarkable innovative technologies from the Web 2.0 are the collaborative tagging systems. They allow the ...

Phenomenological reconstruction of a complex system (CS) from collected and selected data allows us to work with formal ...

A hybrid approach to phenomenological reconstruction of Complex Systems (CS), using Formal Concept Analysis (FCA) as main ...

Qualitative representation and reasoning on Complex Systems (CS) is important for a number of human activities on CS, ...

A problem in the phenomenological reconstruction of Complex Systems (CS) is the extraction of the knowledge that elements ...

Increasingly, users connect to the Internet by mobile devices and they are generating massive content through them. The ...

The technologies of visual representation are a great help for understanding items of information and the relations among ...

In the Social Web, folksonomies and other similar knowledge organization techniques may suffer limitations due to both ...

Nowadays there exists an increasing interest on the use of the information collected by cities coming from different ...

Formal Concept Analysis (FCA) is a theory whose goal is to discover and to extract Knowledge from qualitative data. It ...

Formal Concept Analysis (FCA) is a theory whose goal is to discover and extract Knowledge from qualitative data. It also ...

In order to address complex systems, apply pattern recongnition on their evolution could play an key role to understand their ...

Knowledge externalization and organization is a major challenge that companies must face. Also, they have to ask whether ...

Sometimes we want to search for new information about topics but we can not find relevant results using our own knowledge ...

In this paper an analysis of security ontologies, using an mereotopological interpretation of the relationship amongst ...

In this paper the foundational principles and the application of a mereotopological theory, the Region Connection Calculus, ...

In this paper, a solution for semantic annotation of Consumers Generated Content, based on the actions of a multiagent ...

En [2] introducimos una regla de inferencia para la lógica proposicional (basado en el uso de la derivación de polinomios) ...

We present a specialised (polynomial-based) rule for the propositional logic called the Independence Rule, which is useful ...

Ontology Integration is a challenge in the field of Knowledge Engineering, whose solution is indispensable for the envisioned ...

We present a translation of problems of Formal Context Analysis into ideals problems in F2[x] through the Boolean ...

A logical formalism to support the insertion of uncertain concepts in formal ontologies is presented. It is based on the ...

A formal foundation of automated service discovering for Semantic Web is proposed. The approach is based on the formalization ...

Maintenance of logical robustness in Information Integration represents a major challenge in the envisioned Semantic Web. ...

The Ontology Web Language (OWL) is a language used for the Semantic Web. OWL is based on Description Logics (DLs), a ...

La evolución de las ontologías es un problema clave en la Integración del Conocimiento, cuya resolución es imprescindible ...

The application of automated reasoning systems to data cleaning in the Semantic Web raises many challenges on the foundational ...

In this paper we connect two research areas, the Qualitative Spatial Reasoning and visual reasoning on ontologies. We ...

La presente memoria se estructura en tres grandes bloques: I Tratamiento automatizado de la teoría RCC y métodos asistidos ...

A method to extend ontologies with the assistance of automated reasoning systems and preserving a kind of completeness ...

A tool based on a spatial representation of provisional ontologies is designed. The tool allows the cleming of Knowledge Bases, aa well to induce new concepts in early steps of the building of an ontology.

This paper is concerned with a formal verification of the Formal Concept Analysis framework. We use the PVS system to ...

A mereotopological semantics to manage ontologies is presented. The aim is to provide a formal basis for ontology cleaning. ...

Classical database management can be flawed if the Knowledge database is built within a complex Knowledge Domain. We ...

In this paper we present a class of operators for Machine Learning based on Logic Programming which represents a ...

Classical database management can be flawed if the Knowledge database is built within a complex Knowledge Domain. We ...

"En esta memoria hemos estudiado los procesos de generalización, el paso de lo particular a lo general, cuando la información ...

In environments with complex cognitive structure (such as semantic web or sophisticated spatial databases for geographical ...

The subsumption relation is crucial in the Machine Learning systems based on a clausal representation. In this paper we ...

Este libro constituye el primer volumen de una serie sobre deducción automática. Su objetivo es la presentación de Prolog ...

Todos los que hemos impartido tópicos diversos relativos a la Teoría de Conjuntos, en primer o segundo ciclo universitario, ...