Buscar
Mostrando ítems 41-50 de 81
Ponencia
Qualitative Reasoning on Complex Systems from Observations
(Springer, 2013)
A hybrid approach to phenomenological reconstruction of Complex Systems (CS), using Formal Concept Analysis (FCA) as main tool for conceptual data mining, is proposed. To illustrate the method, a classic CS is ...
Artículo
Algebraic combinatorics in bounded induction
(Elsevier, 2021)
In this paper, new methods for analyzing models of weak subsystems of Peano Arithmetic are proposed. The focus will be on the study of algebro-combinatoric properties of certain definable cuts. Their relationship with ...
Artículo
Verification of the Formal Concept Analysis
(Real Academia de Ciencias, 2004)
This paper is concerned with a formal verification of the Formal Concept Analysis framework. We use the PVS system to represent and formally verify some algorithms of this theory. We also develop a method to transform ...
Ponencia
Visual Ontology Cleaning: Cognitive Principles and Applicability
(Springer, 2006)
In this paper we connect two research areas, the Qualitative Spatial Reasoning and visual reasoning on ontologies. We discuss the logical limitations of the mereotopological approach to the visual ontology cleaning, ...
Ponencia
A stacked deep convolutional neural network to predict the remaining useful life of a turbofan engine
(PHM Society, 2021)
his paper presents the data-driven techniques and method ologies used to predict the remaining useful life (RUL) of a fleet of aircraft engines that can suffer failures of diverse nature. The solution presented is based ...
Artículo
Extracción y organización del conocimiento de etiquetados. Aplicación a etiquetados en repositorios digitales sobre arte
(Seminario Interdisciplinar para el Estudio de la Literatura Áurea Española, 2014)
Ponencia
Repairing Conceptual Relations in Ontologies by means of an Interactive Visual Reasoning: Cognitive and Design Principles
(IEEE Computer Society, 2012)
The technologies of visual representation are a great help for understanding items of information and the relations among them, especially, for non-expert users on Knowledge Based Systems, e.g. ontologies, which represent ...
Artículo
Logic Negation with Spiking Neural P Systems
(Springer, 2020)
Nowadays, the success of neural networks as reasoning systems is doubtless. Nonetheless, one of the drawbacks of such reasoning systems is that they work as black-boxes and the acquired knowledge is not human readable. ...
Ponencia
Pedestrian Behavior Mining from Data
(University of York, UK, 2015)
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.
Ponencia
Proximidad entre cláusulas en programación lógica inductiva
(Universidad de Sevilla - Fundación El Monte, 2001)