Author profile: Gutiérrez Naranjo, Miguel Ángel
Data
Name  Gutiérrez Naranjo, Miguel Ángel 
Department  Ciencias de la Comput. e Int. Artificial 
Knowledge area  Ciencia de la Computación e Inteligencia Artificial 
Professional category  Profesor Titular de Universidad 
Request  
Statistics

Items
131

Visits
7106

Downloads
8662
Publications 

Article
SimplicialMap Neural Networks Robust to Adversarial Examples
(MDPI [Commercial Publisher], 20210115)
Broadly speaking, an adversarial example against a classification model occurs when a small perturbation on an input data ... 
Article
Logic Negation with Spiking Neural P Systems
(Springer, 20200101)
Nowadays, the success of neural networks as reasoning systems is doubtless. Nonetheless, one of the drawbacks of such ... 
Presentation
PBIL for Optimizing Hyperparameters of Convolutional Neural Networks and STL Decomposition
(Springer, 20200101)
The optimization of hyperparameters in Deep Neural Networks is a critical task for the final performance, but it involves ... 
Article
Representative Datasets: The Perceptron Case
(Cornell University, 20190101)
One of the main drawbacks of the practical use of neural networks is the long time needed in the training process. Such ... 
Article
Twohiddenlayer Feedforward Neural Networks are Universal Approximators: A Constructive Approach
(Cornell University, 20190101)
It is well known that Artificial Neural Networks are universal approximators. The classical result proves that, given a ... 
Article
Towards a Philological Metric through a Topological Data Analysis Approach
(Cornell University, 20190101)
The canon of the baroque Spanish literature has been thoroughly studied with philological techniques. The major representatives ... 
Article
A membrane computing framework for selfreconfigurable robots
(Springer, 20190101)
Selfreconfigurable robots are built by modules which can move in relationship to each other, which allows the robot ... 
Article
Semantics of deductive databases with spiking neural P systems
(Elsevier, 20180101)
The integration of symbolic reasoning systems based on logic and connectionist systems based on thefunctioning of living ... 
Final Degree Project
Fundamentos matemáticos de los métodos Kernel para aprendizaje supervisado
(20180101)
El objetivo del presente estudio es resaltar la importancia de las máquinas de vector soporte, conjunto de técnicas de ... 
Article
Representative datasets for neural networks
(Elsevier, 20180101)
Neural networks present big popularity and success in many fields. The large training time process problem is a very ... 
Chapter of Book
Other Buds in Membrane Computing
(Springer, 20180101)
It is wellknown the huge Mario’s contribution to the development of Membrane Computing. Many researchers may relate his ... 
Presentation
Solving the BinPacking Problem by Means of Tissue P System with 2Division
(Springer, 20170101)
The ability of tissue P systems with 2division for solving NP problems in polynomial time is wellknown and many solutions ... 
Presentation
An Approach to the BioInspired Control of Selfreconfigurable Robots
(Springer, 20170101)
Selfreconfigurable robots are robots built by modules which can move in relationship to each other. This ability of ... 
Article
Fully automatized parallel segmentation of the optic disc in retinal fundus images
(Elsevier, 20161101)
This paper presents a fully automatic parallel software for the localization of the optic disc (OD) in retinal fundus color ... 
Presentation
Semantics of Deductive Databases in a Membrane Computing Connectionist Model
(Fénix, 20160101)
The integration of symbolic reasoning systems based on logic and connectionist systems based on the functioning of living ... 
Presentation
Solving the 3COL Problem by Using Tissue P Systems without Environment and Proteins on Cells
(Fénix, 20160101)
The 3COL problem consists on deciding if the regions of a map can be coloured with only three colors bearing in mind that ... 
Presentation
A Characterization of PSPACE with Antimatter and Membrane Creation
(Fénix Editora, 20150101)
The use of negative information provides a new tool for exploring the limits of P systems as computational devices. In ... 
Presentation
The Pole Balancing Problem with Enzymatic Numerical P Systems
(Fénix Editora, 20150101)
Pole balancing is a control benchmark widely used in engineering. It involves a pole a xed to a cart via a joint which ... 
Presentation
Solving SAT with Antimatter in Membrane Computing
(Fénix Editora, 20150101)
The set of NPcomplete problems is split into weakly and strongly NP complete ones. The di erence consists in the in uence ... 
Presentation
On The Semantics of Annihilation Rules in Membrane Computing
(Fénix Editora, 20150101)
It is well known that polarizationless recognizer P systems with active membranes, without dissolution, with division of ... 
Article
Recognizer P Systems with Antimatter
(Romanian Academy, Section for Information Science and Technology, 20150101)
In this paper, we consider recognizer P systems with antimatter and the in uence of the matter/antimatter annihilation ... 
Presentation
Antimatter as a Frontier of Tractability in Membrane Computing
(Fénix Editora, 20140101)
It is well known that the polynomial complexity class of recognizer polarizationless P systems with active membranes, ... 
Presentation
Solving the STConnectivity Problem with Pure Membrane Computing Techniques
(Fénix Editora, 20140101)
In Membrane Computing, the solution of a decision problem X belonging to the complexity class P via a polynomially uniform ... 
Presentation
Selfconstructing Recognizer P Systems
(Fénix Editora, 20140101)
Usually, the changes produced in the membrane structure of a P system are considered side effects. The output of the ... 
Presentation
Solving the STConnectivity Problem with Pure Membrane Computing Techniques
(Springer, 20140101)
In Membrane Computing, the solution of a decision problem X belonging to the complexity class P via a polynomially uniform ... 
Presentation
Simulating Turing Machines with Polarizationless P Systems with Active Membranes
(Springer, 20140101)
We prove that every singletape deterministic Turing machine working in t(n) t(n) time, for some function t:N→N t:N→N , ... 
Presentation
Searching Partially Bounded Regions with P Systems
(Springer, 20140101)
The problem of automatically marking the interior and exterior regions of a simple curve in a digital image becomes a hard ... 
Chapter of Book
Skeletonizing Digital Images with Cellular Automata
(Springer, 20140101)
The skeletonization of an image consists of converting the initial image into a more compact representation. In general, ... 
Article
A parallel algorithm for skeletonizing images by using spiking neural P systems
(Elsevier, 20130901)
Skeletonization is a common type of transformation within image analysis. In general, the image B is a skeleton of the ... 
Presentation
Rete Algorithm for P System Simulators
(Fénix Editora, 20130101)
The Rete algorithm is a wellknown algorithm in rulebased production systems which builds directed acyclic graphs that ... 
Presentation
Studying the Chlorophyll Fluorescence in Cyanobacteria with Membrane Computing Techniques
(Fénix Editora, 20130101)
In this paper, we report a pioneer study of the decrease in chlorophyll uorescence produced by the reduction of MTT (a ... 
Article
Segmenting images with gradientbased edge detection using Membrane Computing
(Elsevier, 20130101)
In this paper, we present a parallel implementation of a new algorithm for segmenting images with gradientbased edge ... 
Presentation
A MembraneInspired Evolutionary Algorithm with a Population P System and its Application to Distribution System Recon guration
(Fénix Editora, 20120101)
This paper develops a membraneinspired evolutionary algorithm, PSMA, which is designed by using a population P system and ... 
Article
Using membrane computing for effective homology
(20120101)
Effective Homology is an algebraictopological method based on the computational concept of chain homotopy equivalence on ... 
Article
Designing a new software tool for digital imagery based on P systems
(20120101)
In this paper we present a new software tool for dealing with the problem of segmentation in Digital Imagery. The ... 
Presentation
Cell Complexes and Membrane Computing for Thinning 2D and 3D Images
(Fénix Editora, 20120101)
In this paper, we show a new example of bridging Algebraic Topology, Membrane Computing and Digital Images. In [24], a new ... 
Presentation
Skeletonizing Images by Using Spiking Neural P Systems
(Fénix Editora, 20120101)
Skeletonizing an image is representing a shape with a small amount of information by converting the initial image into a ... 
Presentation
Counting Cells with Tissuelike P Systems
(Fénix Editora, 20120101)
Counting the number of cells obtained in an experiment is crucial in many areas in Biology. Nonetheless, this is usually ... 
Presentation
Parallel Skeletonizing of Digital Images by Using Cellular Automata
(Springer, 20120101)
Recent developments of computer architectures together with alternative formal descriptions provide new challenges in the ... 
Article
A software tool for generating graphics by means of P systems
(Springer, 20110601)
The handmade graphical representation of the configuration of a P system becomes a hard task when the number of membranes ... 
Presentation
Designing Tissuelike P Systems for Image Segmentation on Parallel Architectures
(Fénix Editora, 20110101)
Problems associated with the treatment of digital images have several interesting features from a bioinspired point of ... 
Presentation
P Systems with Replicator Dynamics: A Proposal
(Fénix Editora, 20110101)
This short note proposes some ideas for considering evolutionary game theory in the area of membrane computing 
Presentation
Implementing Local Search with Membrane Computing
(Fénix Editora, 20110101)
Local search is currently one of the most used methods for finding solution in reallife problems. In this paper we present ... 
Presentation
Forward and Backward Chaining with P Systems
(Fénix Editora, 20110101)
On the one hand, one of the concepts which lies at the basis of membrane computing is the multiset rewriting rule. On the ... 
Presentation
Smoothing Problem in 2D Images with Tissuelike P Systems and Parallel Implementation
(Fénix Editora, 20110101)
Smoothing is often used in Digital Imagery to reduce noise within an image. In this paper we present a Membrane Computing ... 
Presentation
Integer Linear Programming for Tissuelike P Systems
(Fénix Editora, 20110101)
In this paper we report a workinprogress whose final target is the implementation of tissuelike P system in a cluster ... 
Presentation
A Parallel Implementation of the Thresholding Problem by Using TissueLike P Systems
(Springer, 20110101)
In this paper we present a parallel algorithm to solve the thresholding problem by using Membrane Computing techniques. ... 
Presentation
DepthFirst Search with P Systems
(Springer, 20110101)
The usual way to find a solution for an NP complete problem in Membrane Computing is by brute force algorithms. These ... 
Presentation
Membrane Computing Meets Artificial Intelligence: A Case Study
(Fénix Editora, 20100101)
The usual way to find a solution for a NP complete problem with Membrane Computing techniques is by brute force algorithms ... 
Presentation
How Does a P System Sound?
(Fénix Editora, 20100101)
P systems are computational devices versatile enough to represent many reallife scenarios. In this paper, we present a ... 
Presentation
A Cellular Way to Obtain Homology Groups in Binary 2D Images
(Fénix Editora, 20100101)
In this paper we present a P systemsbased solution for the Homology Groups of Binary 2D Image (HGB2I) Problem, a classical ... 
Presentation
Tissuelike P Systems Without Environment
(Fénix Editora, 20100101)
In this paper we present a tissuelike P systems model with cell division the environment has been replaced by an extra ... 
Presentation
A Cellular Sudoku Solver
(Fénix Editora, 20100101)
Sudoku is a very popular puzzle which consists on placing several numbers in a squared grid according to some simple rules. ... 
Presentation
Array Tissuelike P Systems
(Fénix Editora, 20100101)
Array grammars have been studied in the framework of Membrane Comput ing by using rewriting rules from transition P ... 
Presentation
An Application of Genetic Algorithms to Membrane Computing
(Fénix Editora, 20100101)
The process of designing a P system in order to perform a task is a hard job. The researcher has often only an approximate ... 
Article
Thresholding 2D Images with Celllike P Systems
(Romanian Academy, 20100101)
Thresholding is the process of splitting a digital image into sets of pixels in order to make it easier to analyze. Pixels ... 
Chapter of Book
A bioinspired software for segmenting digital images.
(20100101)
Segmentation in computer vision refers to the process of partitioning a digital image into multiple segments (sets of ... 
Presentation
Solving Sudoku with Membrane Computing
(IEEE Computer Society, 20100101)
Sudoku is a very popular puzzle which consists on placing several numbers in a squared grid according to some simple rules. ... 
Article
Computing Homology Groups in Binary 2D Imagery by Tissuelike P Systems
(Romanian Academy, Section for Information Science and Technology, 20100101)
We present a new solution for the Homology Groups of Binary 2D Image (HGB2I) Problem by using Membrane Computing techniques. ... 
Presentation
Computing Backwards with P Systems
(Fénix Editora, 20090101)
Searching all the configurations C′ such that produce a given configuration C, or, in other words, computing backwards in ... 
Presentation
Celllike Versus Tissuelike P Systems by Means of Sevilla Carpets
(Fénix Editora, 20090101)
Sevilla Carpets are a handy tool for comparing computations performed by different systems solving the same problem. Such ... 
Presentation
Performing Arithmetic Operations with Spiking Neural P Systems
(Fénix Editora, 20090101)
We consider spiking neural P systems as devices which can be used to perform some basic arithmetic operations, namely ... 
Presentation
Solving the NQueens Puzzle with P Systems
(Fénix Editora, 20090101)
The Nqueens puzzle consists on placing N queens on an N x Ngrid in such way that no two queens are on the same row, column ... 
Book 
Presentation
Hebbian learning from spiking neural P systems view
(Springer, 20090101)
Spiking neural P systems and artificial neural networks are computational devices which share a biological inspiration ... 
Article
Efficient computation in rationalvalued P systems
(Cambridge University Press, 20090101)
In this paper, we describe a new representation for deterministic rationalvalued P systems that allows us to form a bridge ... 
Article
On the efficiency of celllike and tissuelike recognizing membrane systems
(Wiley, 20090101)
Celllike recognizing membrane systems are computational devices in the framework of membrane computing inspired from the ... 
Presentation
Solving the Independent Set problem by using tissuelike P systems with cell division
(Springer, 20090101)
Tissuelike P systems with cell division is a computing model in the framework of Membrane Computing inspired by the ... 
Presentation
Descriptional Complexity of TissueLike P Systems with Cell Division
(Springer, 20090101)
In this paper we address the problem of describing the complexity of the evolution of a tissuelike P system with cell ... 
Presentation
Searching Previous Configurations in Membrane Computing
(Springer, 20090101)
Searching all the configurations C′ which produce a given configuration C is an extremely hard task. The current approximations ... 
Article
First Steps Towards a CPU Made of Spiking Neural P Systems
(Agora University of Oradea, Romania, 20090101)
We consider spiking neural P systems as devices which can be used to perform some basic arithmetic operations, namely ... 
Presentation
Solving the Partition Problem by Using Tissuelike P Systems with Cell Division
(Fénix Editora, 20080101)
Tissuelike P systems with cell division is a computing model in the framework of Membrane Computing that shares with the ... 
Presentation
Solving Numerical NPcomplete Problems by Spiking Neural P Systems with Pre–computed Resources
(Fénix Editora, 20080101)
Recently we have considered the possibility of using spiking neural P systems for solving computationally hard problems, ... 
Presentation
Testing Einstein’s Formula on Brownian Motion Using Membrane Computing
(Fénix Editora, 20080101)
Brownian motion refers to erratic movements of small particles of solid matter suspended in a fluid and it is the basis ... 
Presentation
Graphics and P Systems: Experiments with JPLANT
(Fénix Editora, 20080101)
The handmade graphical representation of the configuration of a P system becomes a hard task when the number of membranes ... 
Presentation
A First Model for Hebbian Learning with Spiking Neural P Systems
(Fénix Editora, 20080101)
Spiking neural P systems and artificial neural networks are computational devices which share a biological inspiration ... 
Book
Sixth Brainstorming Week on Membrane Computing Sevilla, February 4–February 8, 2008 : RGNC REPORT 01/2008
(Fénix Editora, 20080101)

Article
A uniform family of tissue P systems with cell division solving 3COL in a linear time
(Elsevier, 20080101)
Several examples of the efficiency of celllike P systems regarding the solution of NPcomplete problems in polynomial time ... 
Presentation
A Fast Solution to the Partition Problem by Using TissueLike P Systems
(IEEE Computer Society, 20080101)
Tissuelike P systems with cell division is a computing model in the framework of membrane computing based on the intercellular ... 
Article
A software tool for verification of Spiking Neural P Systems
(Springer, 20080101)
The formal verification of a Spiking Neural P System (SN P Systems, for short) designed for solving a given problem is ... 
Presentation
A Linear Solution for Subset Sum Problem with Tissue P Systems with Cell Division
(Fénix Editora, 20070101)
Tissue P systems are a computing model in the framework of Membrane Computing where the treelike membrane structure is ... 
Presentation
A Membrane Computing Model for Ballistic Depositions
(Fénix Editora, 20070101)
Ballistic Deposition was proposed by Vold and Sutherland as a model for colloidal aggregation. These early works were later ... 
Presentation
A Software Tool for Dealing with Spiking Neural P Systems
(Fénix Editora, 20070101)
Software simulators for P system are nowadays the main tool to carry out experiments in the eld of Membrane Computing. ... 
Book
Fifth Brainstorming Week on Membrane Computing.Sevilla, January 29–February 2, 2007 : RGNC REPORT 01/2007
(Fénix Editora, 20070101)

Article
On the degree of parallelism in membrane systems
(Elsevier, 20070101)
In the literature, several designs of P systems might be found for performing the same task. The use of different techniques ... 
Article
A uniform solution to SAT using membrane creation
(Elsevier, 20070101)
In living cells, new membranes are produced basically through two processes: mitosis and autopoiesis. These two processes have ... 
Article
A lineartime tissue P system based solution for the 3coloring problem
(Elsevier, 20070101)
In the literature, several examples of the efficiency of celllike P systems regarding the solution of NPcomplete problems ... 
Presentation
A Logarithmic Bound for Solving Subset Sum with P Systems
(Springer, 20070101)
The aim of our paper is twofold. On one hand we prove the ability of polarizationless P systems with dissolution and with ... 
Presentation
Solving Subset Sum in Linear Time by Using Tissue P Systems with Cell Division
(Springer, 20070101)
Tissue P systems with cell division is a computing model in the framework of Membrane Computing based on intercellular ... 
Presentation
A Cellular Solution to Subset Sum Using Division of Nonelementary Membranes and Dissolution, with Time and Initial Resources Bounded by log k
(SEERC, SouthEast European Research Centre, 20070101)
The aim of our paper is twofold. On one hand we prove the ability of polar izationless P systems with dissolution and ... 
Chapter of Book
Graphical Modeling of Higher Plants Using P Systems
(Springer, 20060101)
L systems have been widely used to model and graphically represent the growth of higher plants [20]. In this paper we ... 
Presentation
An Approach to the Degree of Parallelism in P Systems
(Fénix Editora, 20060101)
In the literature, several designs of P systems were used for performing the same task. The use of different techniques ... 
Presentation
The Growth of Branching Structures with P Systems
(Fénix Editora, 20060101)
Lsystems have been widely used to model and graphically represent the growth of plants. In, the use of membrane computing ... 
Presentation
Fractals and P Systems
(Fénix Editora, 20060101)
In this paper we show that the massive parallelism, the synchronous appli cation of the rules, and the discrete nature ... 
Chapter of Book
A Linear Solution for QSAT with Membrane Creation
(Springer, 20060101)
The usefulness of P systems with membrane creation for solving NP problems has been previously proved (see [2, 3]), but, ... 
Chapter of Book
Available Membrane Computing Software
(Springer, 20060101)
The simulation of a P system with current computers is a quite complex task. P systems are intrinsically nondeterministic ... 
Chapter of Book
On the Power of Dissolution in P Systems with Active Membranes
(Springer, 20060101)
In this paper we study membrane dissolution rules in the framework of P systems with active membranes but without using ... 
Presentation
Celllike and Tissuelike Membrane Systems as Recognizer Devices
(Rosillo's S.L., 20060101)
Most of the variants of membrane systems found in the literature are generally thought as generating devices. In this paper ... 
Presentation
A Membrane Computing View on Tumours
(20060101)
In this paper we discuss about the potential usefulness of P systems as natural tools for modelling tumours. This is done ... 
Article
Computational efficiency of dissolution rules in membrane systems
(Taylor and Francis, 20060101)
Trading (in polynomial time) space for time in the framework of membrane systems is not sufficient to efficiently solve ... 
Presentation
Solving 3COL with Tissue P Systems
(Fénix Editora, 20060101)
In the literature, several examples of the efficiency of celllike P systems in order to solve NPcomplete problems in ... 
Presentation
A Case Study in (Mem)Brane Computation: Generating {n2  n 1}
(Fénix Editora, 20060101)
The aim of this paper is to start an investigation and a comparison of the expressiveness of the two most relevant formalisms ... 
Presentation
A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers
(Springer, 20060101)
The aim of this paper is to start an investigation and a comparison of the expressiveness of the two most relevant formalisms ... 
Presentation
Some Notes on (Mem)Brane Computation
(Springer, 20060101)
Membrane Computing and Brane Calculi are two recent computational paradigms in the framework of Natural Computing. They ... 
Presentation
A Simulator for Confluent P Systems
(Fénix Editora, 20050101)
Software simulators for P system are nowadays the main tool to carry out experiments in the field of Membrane Computing. ... 
Presentation
Simulating Avascular Tumors with Membrane Systems
(Fénix Editora, 20050101)
Tumor growth has received a considerable attention by the scientific community. In the earliest stages of development, ... 
Presentation
Solving SAT with membrane creation
(University of Amsterdam, 20050101)
Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in ... 
Chapter of Book
A Linear Solution of Subset Sum Problem by Using Membrane Creation
(Springer, 20050101)
Membrane Computing is a branch of Natural Computing which starts from the assumption that the processes taking place in ... 
Chapter of Book
Exploring Computation Trees Associated with P Systems
(Springer, 20050101)
Usually, the evolution of a P system generates a computation tree too large to be efficiently handled with present–day ... 
Chapter of Book
On Descriptive Complexity of P Systems
(Springer, 20050101)
In this paper we address the problem of describing the complexity of the evolution of a P system. This issue is is specially ... 
Presentation
Characterizing Tractability with Membrane Creation
(IEEE Computer Society, 20050101)
This paper analyzes the role that membrane dissolution rules play in order to characterize (in the framework of recognizer ... 
Chapter of Book
P Systems with Active Membranes, Without Polarizations and Without Dissolution: A Characterization of P
(Springer, 20050101)
We study the computational efficiency of recognizer P systems with active membranes without polarizations and without ... 
Article
A fast P system for finding a balanced 2partition
(Springer, 20050101)
Numerical problems are not very frequently addressed in the P systems literature. In this paper we present an effective ... 
Presentation
An Efficient Cellular Solution for the Partition Problem
(Fénix Editora, 20040101)
Numerical problems are not very frequently addressed in the P sys tems literature. In this paper we present an e®ective ... 
Presentation
Towards a Programming Language in Cellular Computing
(Fénix Editora, 20040101)
Several solutions to hard numerical problems using P systems have been presented recently, and strong similarities in their ... 
Presentation
Deductive Databases and P Systems
(Fénix Editora, 20040101)
In computational processes based on backwards chaining, a rule of the type A Ã B1; : : : ;Bn is seen as a procedure which ... 
Chapter of Book
Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem
(Springer, 20040101)
In this paper we present an implementation in Prolog of an effective solution to the Knapsack problem via a family of deterministic P systems with active membranes using 2division. 
Article
Deductive databases and P systems
(20040101)

Presentation
Weak Metrics on Configurations of a P System
(Fénix Editora, 20040101)
The evolution of a P system generates a tree of computation po tentially in¯nite where it is very difficult to set the ... 
Presentation
Looking for P Truth
(Fénix Editora, 20040101)
In a general sense, Logic studies how to derive new pieces of in formation from previous ones. In this paper we explore ... 
Article
A Prolog Simulator for Deterministic P Systems with Active Membranes
(Springer, 20040101)
In this paper we propose a new way to represent P systems with active membranes based on Logic Programming techniques. ... 
PhD Thesis
Programación celular resolución eficiente de problemas numéricos NPcompletos
(20040101)
Esta memoria está estructurada en capítulos cuyos contenidos pasamos a describir sucintamente. En el Capítulo 1 se hace ... 
Presentation
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases
(Springer, 20030101)
Classical database management can be flawed if the Knowledge database is built within a complex Knowledge Domain. We ... 
Presentation
Generalizing Programs via Subsumption
(Springer, 20030101)
In this paper we present a class of operators for Machine Learning based on Logic Programming which represents a ... 
Presentation
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases
(Springer, 20030101)
Classical database management can be flawed if the Knowledge database is built within a complex Knowledge Domain. We ... 
PhD Thesis
Operadores de generalización para el aprendizaje clausal
(20020101)
"En esta memoria hemos estudiado los procesos de generalización, el paso de lo particular a lo general, cuando la información ... 
Presentation
A QuasiMetric for Machine Learning
(Springer, 20020101)
The subsumption relation is crucial in the Machine Learning systems based on a clausal representation. In this paper we ... 
Presentation
A methodology for the computeraided cleaning of complex knowledge databases
(IEEE Computer Society, 20020101)
In environments with complex cognitive structure (such as semantic web or sophisticated spatial databases for geographical ... 
Presentation
ILP Operators for Propositional Connectionist Networks
(Wright State University, 20020101)

Presentation
Proximidad entre cláusulas en programación lógica inductiva
(Universidad de Sevilla  Fundación El Monte, 20010101)

Presentation
A Topological Study of the Upward Refinement Operators on ILP
(CEURWS, 20000101)
