Artículo | 2024 |
A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology
|
AI |
Artículo | 2024 |
An in-depth analysis of data reduction methods for sustainable deep learning
|
Open Research Europe |
Artículo | 2024 |
Exploring deep echo state networks for image classification: a multi-reservoir approach
|
NEURAL COMPUTING & APPLICATIONS |
Artículo | 2024 |
Fault Diagnosis Generalization Improvement Through Contrastive Learning for a Multistage Centrifugal Pump
|
IEEE TRANSACTIONS ON RELIABILITY |
Artículo | 2024 |
FCA-based reasoning for privacy
|
Logic Journal of the IGPL |
Artículo | 2024 |
On conditional axioms and associated inference rules
|
Axioms |
Artículo | 2024 |
Semi-honest subrecursive degrees and the collection rule in arithmetic
|
ARCHIVE FOR MATHEMATICAL LOGIC |
Artículo | 2024 |
Trainable and explainable simplicial map neural networks
|
INFORMATION SCIENCES |
Artículo | 2023 |
Deep learning applied to intracranial hemorrhage detection
|
Journal of Imaging |
Artículo | 2023 |
Lipschitz and Wadge binary games in second order arithmetic
|
ANNALS OF PURE AND APPLIED LOGIC |
Artículo | 2023 |
Logical–Mathematical Foundations of a Graph Query Framework for Relational Learning
|
MATHEMATICS |
Artículo | 2023 |
On the Soundness of XAI in Prognostics and Health Management (PHM)
|
Information (Switzerland) |
Artículo | 2023 |
PBIL for optimizing inception module in convolutional neural networks
|
Logic Journal of the IGPL |
Ponencia | 2023 |
Prototyping Logic-Based AI Services with LogicUS
|
Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 |
Artículo | 2023 |
Rainfall Forecasting using a Bayesian framework and Long Short-Term Memory Multi-model Estimation based on an hourly meteorological monitoring network. Case of study: Andean Ecuadorian Tropical City
|
EARTH SCIENCE INFORMATICS |
Ponencia | 2023 |
The metric-aware kernel-width choice for LIME
|
CEUR workshop proceedings |
Artículo | 2022 |
Adversarial Fault Detector Guided by One-Class Learning for a Multistage Centrifugal Pump
|
IEEE-ASME TRANSACTIONS ON MECHATRONICS |
Artículo | 2022 |
ALLERDET: A novel web app for prediction of protein allergenicity.
|
JOURNAL OF BIOMEDICAL INFORMATICS |
Artículo | 2022 |
Characterizing the Temperature of SAT Formulas
|
International Journal of Computational Intelligence Systems |
Libro | 2022 |
Circumnavigatio: Muestra de arte contemporáneo : alternativa artística a la conmemoración de la I circunnavegación gesta de Magallanes y Elcano
|
Circumnavigatio: Muestra de arte contemporáneo : alternativa artística a la conmemoración de la I circunnavegación gesta de Magallanes y Elcano |
Artículo | 2022 |
Concept learning consistency under three-way decision paradigm
|
INTERNATIONAL JOURNAL OF MACHINE LEARNING AND CYBERNETICS |
Artículo | 2022 |
Detecting the ultra low dimensionality of real networks.
|
NATURE COMMUNICATIONS |
Capítulo | 2022 |
Enabling Knowledge Extraction on Bike Sharing Systems Throughout Open Data
|
HCI in Mobility, Transport, and Automotive Systems |
Ponencia | 2022 |
Estimating re-identification risk by means of formal conceptualization
|
14th International Conference on Computational Intelligence in Security for Information Systems and 12th International Conference on European Transnational Educational (CISIS 2021 and ICEUTE 2021) |
Artículo | 2022 |
Evolutionary game theory in a cell: A membrane computing approach
|
INFORMATION SCIENCES |
Artículo | 2022 |
Explainable artificial intelligence in data science: from foundational issues towards socio-technical considerations
|
MINDS AND MACHINES |
Artículo | 2022 |
Knowledge representation for explainable artificial intelligence: modeling foundations from complex systems
|
COMPLEX & INTELLIGENT SYSTEMS |
Artículo | 2022 |
Topology-based representative datasets to reduce neural network training resources
|
NEURAL COMPUTING & APPLICATIONS |
Artículo | 2021 |
A stacked deep convolutional neural network to predict the remaining useful life of a turbofan engine
|
Annual Conference of the PHM Society |
Artículo | 2021 |
Algebraic combinatorics in bounded induction
|
ANNALS OF PURE AND APPLIED LOGIC |
Artículo | 2021 |
From fault detection to one-class severity discrimination of 3D printers with one-class support vector machine
|
ISA TRANSACTIONS |
Artículo | 2021 |
Fusing convolutional generative adversarial encoders for 3D printer fault detection with only normal condition signals
|
MECHANICAL SYSTEMS AND SIGNAL PROCESSING |
Artículo | 2021 |
Hybrid agent-based methodology for testing response protocols
|
KNOWLEDGE-BASED SYSTEMS |
Artículo | 2021 |
One-shot fault diagnosis of three-dimensional printers through improved feature space learning
|
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS |
Artículo | 2021 |
Optimizing the simplicial-map neural network architecture
|
Journal of Imaging |
Artículo | 2021 |
Simplicial-map neural networks robust to adversarial examples
|
MATHEMATICS |
Artículo | 2021 |
Towards a notion of basis for knowledge-based systems—applications
|
MATHEMATICS |
Artículo | 2020 |
A model of three-way decisions for Knowledge Harnessing
|
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING |
Artículo | 2020 |
Generation of geometric interpolations of building types with deep variational autoencoders
|
Design Science |
Artículo | 2020 |
Knowledge extraction from deep convolutional neural networks applied to cyclo-stationary time-series classification
|
INFORMATION SCIENCES |
Ponencia | 2020 |
Late Breaking Abstract - Recurrent Neural Networks and environmental data for COPD exacerbation prediction
|
Monitoring airway disease |
Artículo | 2020 |
Logic Negation with Spiking Neural P Systems
|
NEURAL PROCESSING LETTERS |
Ponencia | 2020 |
PBIL for optimizing hyperparameters of convolutional neural networks and STL decomposition
|
Lecture Notes in Computer Science |
Artículo | 2020 |
Real-time gun detection in CCTV: an open problem
|
NEURAL NETWORKS |
Artículo | 2020 |
Small worlds and clustering in spatial networks
|
PHYSICAL REVIEW RESEARCH |
Artículo | 2020 |
Two-hidden-layer feed-forward networks are universal approximators: a constructive approach
|
NEURAL NETWORKS |
Artículo | 2020 |
Una metodología desde la teoría de redes para las redes culturales
|
Universitas Humanística |
Ponencia | 2019 |
Deep Form Finding Using Variational Autoencoders for deep form finding of structural typologies
|
Proceedings of the International Conference on Education and Research in Computer Aided Architectural Design in Europe |
Artículo | 2019 |
Generative Adversarial Networks Selection Approach for Extremely Imbalanced Fault Diagnosis of Reciprocating Machinery
|
IEEE ACCESS |
Artículo | 2019 |
Membrane computing and image processing: a short survey
|
Journal of Membrane Computing |
Capítulo | 2019 |
On experimental efficiency for retraction operator to stem basis
|
Trends in Mathematics and Computational Intelligence |
Artículo | 2019 |
Representative Datasets: The Perceptron Case
|
ArXiv.org |
Artículo | 2019 |
Telehealth and machine learning for COPD patient care
|
INTERNATIONAL JOURNAL OF INTEGRATED CARE |
Artículo | 2019 |
Towards a Philological Metric through a Topological Data Analysis Approach
|
ArXiv.org |
Ponencia | 2019 |
Vision and crowdsensing technology for an optimal response in physical-security
|
Lecture Notes in Computer Science |
Artículo | 2018 |
A logic-algebraic tool for reasoning with Knowledge-Based Systems
|
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING |
Otros | 2018 |
A membrane computing framework for self-reconfigurable robots
|
NATURAL COMPUTING |
Artículo | 2018 |
Breve Historia de la Inteligencia Artificial
|
Revista de Occidente |
Artículo | 2018 |
Caja negra, caja blanca: la inteligencia artificial explicable
|
Revista de Occidente |
Ponencia | 2018 |
Echo state network and variational autoencoder for efficient one-class learning on dynamical systems
|
Journal of Intelligent & Fuzzy Systems |
Capítulo | 2018 |
Other Buds in Membrane Computing
|
Enjoying natural computing: essays dedicated to Mario de Jesús Pérez-Jiménez on the occasion of his 70th birthday |
Capítulo | 2018 |
Other buds in membrane computing
|
Enjoying natural computing: essays dedicated to Mario de Jesús Pérez-Jiménez on the occasion of his 70th birthday |
Artículo | 2018 |
Representative datasets for neural networks
|
Electronic Notes In Discrete Mathematics |
Ponencia | 2018 |
Semantic preserving embeddings for multi-relational graphs
|
Proceedings of Computing Conference 2017 |
Artículo | 2018 |
Semantics of deductive databases with spiking neural P systems
|
NEUROCOMPUTING |
Artículo | 2018 |
Solving the 3-COL problem by using tissue P systems without environment and proteins on cells
|
INFORMATION SCIENCES |
Ponencia | 2018 |
Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data
|
PROCEEDINGS OF SAI INTELLIGENT SYSTEMS CONFERENCE (INTELLISYS) 2016, VOL 2 |
Ponencia | 2017 |
An approach to the bio-inspired control of self-reconfigurable robots
|
Communications in Computer and Information Science |
Artículo | 2017 |
Análisis de la tasa de abandono en un Centro con varios Grados en Ingeniería Informática
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
Artículo | 2017 |
Automatic feature extraction of time-series applied to fault severity assessment of helical gearbox in stationary and non-stationary speed operation
|
APPLIED SOFT COMPUTING |
Artículo | 2017 |
Bio-inspired parallel computing of representative geometrical objects of holes of binary 2D-images
|
INTERNATIONAL JOURNAL OF BIO-INSPIRED COMPUTATION |
Ponencia | 2017 |
Combining reservoir computing and variational inference for efficient one-class learning on dynamical systems
|
2017 INTERNATIONAL CONFERENCE ON SENSING, DIAGNOSTICS, PROGNOSTICS, AND CONTROL (SDPC) |
Libro | 2017 |
Future and Emerging Trends in Language Technology. Machine Learning and Big Data: Second International Workshop, FETLT 2016, Seville, Spain, November 30 –December 2, 2016, Revised Selected Papers
|
Future and Emerging Trends in Language Technology. Machine Learning and Big Data: Second International Workshop, FETLT 2016, Seville, Spain, November 30 –December 2, 2016, Revised Selected Papers |
Artículo | 2017 |
Las Matemáticas en el país de los datos (I): de puntos a mónadas
|
La Gaceta De La Real Sociedad Matemática Española |
Artículo | 2017 |
Las Matemáticas en el país de los datos (II): ¿y las tres (cuatro) Vs?
|
La Gaceta De La Real Sociedad Matemática Española |
Artículo | 2017 |
PREDICATIVITY THROUGH TRANSFINITE REFLECTION
|
JOURNAL OF SYMBOLIC LOGIC |
Ponencia | 2017 |
Solving the Bin-Packing Problem by Means of Tissue P System with 2-Division
|
UNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION, UCNC 2017 |
Artículo | 2017 |
Una aplicación de las tecnologías de la web semántica al estudio del periodismo de la Edad Moderna
|
Revista de Humanidades Digitales |
Ponencia | 2017 |
Urban Knowledge Extraction, Representation and Reasoning as a Bridge from Data City towards Smart City
|
Proceedings - 13th IEEE International Conference on Ubiquitous Intelligence and Computing, 13th IEEE International Conference on Advanced and Trusted Computing, 16th IEEE International Conference on Scalable Computing and Communications, IEEE International Conference on Cloud and Big Data Computing, IEEE International Conference on Internet of People and IEEE Smart World Congress and Workshops, UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld 2016 |
Ponencia | 2017 |
Using abstract stobjs in ACL2 to compute matrix normal forms
|
Lecture Notes in Computer Science |
Ponencia | 2016 |
ASAP: A framework for designing gamified models of complex systems
|
Iberian Conference on Information Systems and Technologies |
Artículo | 2016 |
Del genoma a la cultura ... o cómo no morir ahogado por los datos
|
Anejos de la Revista de Historiografía |
Artículo | 2016 |
EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC
|
JOURNAL OF SYMBOLIC LOGIC |
Libro | 2016 |
FORMA 15 : Complex Systems Workshop: Sevilla 25-28 Noviembre 2015
|
FORMA 15 : Complex Systems Workshop: Sevilla 25-28 Noviembre 2015 |
Artículo | 2016 |
Fully automatized parallel segmentation of the optic disc in retinal fundus images
|
Pattern Recognition Letters |
Ponencia | 2016 |
Future and emergent trends in language technology: First international workshop, FETLT 2015 Seville, Spain, november 19–20, 2015 revised selected papers
|
Lecture Notes in Computer Science |
Artículo | 2016 |
Institutions and cultural diversity: Effects of democratic and propaganda processes on local convergence and global diversity
|
PLOS ONE |
Artículo | 2016 |
Inteligencia Artificial y el futuro: de la percepción a la realidad
|
Libre pensamiento |
Ponencia | 2016 |
Máster universitario: la calidad tiene su coste
|
Calidad, docencia universitaria y encuestas: "Bolonia a coste cero" |
Ponencia | 2016 |
Modeling lexicon emergence as concept emergence in networks
|
Advances in Intelligent Systems and Computing |
Libro | 2016 |
Netlogo: una herramienta de modelado
|
Netlogo: una herramienta de modelado |
Editorial | 2016 |
Preface
|
Lecture Notes in Computer Science |
Ponencia | 2016 |
Recovering of 24 May Avenue in the Historical Center of Quito
|
FORMA 15 : Complex Systems Workshop: Sevilla 25-28 Noviembre 2015 |
Artículo | 2016 |
Semantics for incident identification and resolution reports
|
Logic Journal of the IGPL |
Ponencia | 2016 |
Semantics of Deductive Databases in a Membrane Computing Connectionist Model
|
Fourteenth Brainstorming Week on Membrane Computing |
Ponencia | 2016 |
Solving the 3-COL Problem by Using Tissue P Systems without Environment and Proteins on Cells
|
Fourteenth Brainstorming Week on Membrane Computing |
Ponencia | 2016 |
Towards a verifiable Topology of Data
|
XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016 |
Ponencia | 2015 |
A Characterization of PSPACE with Antimatter and Membrane Creation
|
Thirteenth Brainstorming Week on Membrane Computing |
Artículo | 2015 |
A geometric protocol for cryptography with cards
|
DESIGNS CODES AND CRYPTOGRAPHY |
Ponencia | 2015 |
Extracting emergent knowledge about the socioeconomic urban contexts
|
UbiComp and ISWC 2015 - Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and the Proceedings of the 2015 ACM International Symposium on Wearable Computers |
Artículo | 2015 |
Fault diagnosis of spur gearbox based on random forest and wavelet packet decomposition
|
Frontiers of Mechanical Engineering |
Libro | 2015 |
FORMA 14 : Complex Systems Workshop: Sevilla 22-25 Octubre 2014
|
FORMA 14 : Complex Systems Workshop: Sevilla 22-25 Octubre 2014 |
Ponencia | 2015 |
iaBastos: an intelligent marketplace for agricultural products
|
ADVANCES IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS, AND SUSTAINABILITY |
Artículo | 2015 |
Modelling algebraic structures and morphisms in ACL2
|
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING |
Ponencia | 2015 |
On The Semantics of Annihilation Rules in Membrane Computing
|
Thirteenth Brainstorming Week on Membrane Computing |
Ponencia | 2015 |
Pedestrian Behavior Mining from Data
|
ECAL 2015: 13th European Conference on Artificial Life (2015), pp. 4-6. |
Ponencia | 2015 |
Phenomenological percolation in conceptual networks associated to complex systems
|
2014 2nd World Conference on Complex Systems, WCCS 2014 |
Artículo | 2015 |
Propuestas para el análisis de colecciones de arte a través de metodologías y herramientas computacionales
|
Anuario Tarea |
Artículo | 2015 |
Recognizer P systems with antimatter
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
Ponencia | 2015 |
Solving SAT with Antimatter in Membrane Computing
|
Thirteenth Brainstorming Week on Membrane Computing |
Ponencia | 2015 |
The Pole Balancing Problem with Enzymatic Numerical P Systems
|
Thirteenth Brainstorming Week on Membrane Computing |
Artículo | 2014 |
Antimatter as a Frontier of Tractability in Membrane Computing
|
FUNDAMENTA INFORMATICAE |
Ponencia | 2014 |
Artificial intelligence and symbolic computation: 12th international conference, AISC 2014 Seville, Spain, December 11-13, 2014 proceedings
|
Lecture Notes in Computer Science |
Artículo | 2014 |
Emergent concepts on knowledge intensive processes
|
Lecture Notes in Computer Science |
Ponencia | 2014 |
Extending Qualitative Spatial Theories with Emergent Spatial Concepts An Automated Reasoning Approach
|
HYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, HAIS 2014 |
Artículo | 2014 |
Extracción y organización del conocimiento de etiquetados: aplicación a etiquetados en repositorios digitales sobre arte
|
Humanidades Digitales: desafíos, logros y perspectivas de futuro |
Libro | 2014 |
FORMA 13 : Complex Systems Workshop: Sevilla 23-26 Oct 2013
|
FORMA 13 : Complex Systems Workshop: Sevilla 23-26 Oct 2013 |
Artículo | 2014 |
Formally Verified Tableau-Based Reasoners for a Description Logic
|
JOURNAL OF AUTOMATED REASONING |
Artículo | 2014 |
Generador de Grafos Multi-relacionales a partir de redes sociales
|
Ingeniería |
Capítulo | 2014 |
La "perversión" de Bolonia
|
Calidad de la docencia universitaria y encuestas: balance del Plan Bolonia |
Ponencia | 2014 |
La “perversión” de bolonia
|
Calidad de la docencia universitaria y encuestas : Balance del Plan Bolonia: II Congreso Nacional |
Artículo | 2014 |
Local induction and provably total computable functions
|
ANNALS OF PURE AND APPLIED LOGIC |
Ponencia | 2014 |
Nuevas estrategias para la conservación de colecciones de arte con elementos tecnológicos: propuestas
|
Conservación de arte contemporáneo: 15ª jornada, febrero 2014 |
Artículo | 2014 |
On axiom schemes for T-provably formulas
|
ARCHIVE FOR MATHEMATICAL LOGIC |
Editorial | 2014 |
Preface
|
Lecture Notes in Computer Science |
Capítulo | 2014 |
Proving and computing: applying automated reasoning to the verification of symbolic computation systems (invited talk)
|
Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings |
Ponencia | 2014 |
Proving and computing: Applying automated reasoning to the verification of symbolic computation systems (invited talk)
|
Lecture Notes in Computer Science |
Ponencia | 2014 |
Searching partially bounded regions with P systems
|
Advances in Intelligent Systems and Computing |
Ponencia | 2014 |
Self-constructing Recognizer P Systems
|
Twelfth Brainstorming Week on Membrane Computing |
Ponencia | 2014 |
Simulating language dynamics by means of concept reasoning
|
Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering |
Ponencia | 2014 |
Simulating Turing Machines with Polarizationless P Systems with Active Membranes
|
MEMBRANE COMPUTING (CMC 2014) |
Capítulo | 2014 |
Skeletonizing Digital Images with Cellular Automata
|
Emergence, Complexity and Computation |
Ponencia | 2014 |
Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques
|
MEMBRANE COMPUTING (CMC 2014) |
Ponencia | 2014 |
Specifying and Verifying Meta-Security by Means of Semantic Web Methods
|
INTERNATIONAL JOINT CONFERENCE SOCO'14-CISIS'14-ICEUTE'14 |
Artículo | 2014 |
Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm
|
Logic Journal of the IGPL |
Artículo | 2013 |
A colouring protocol for the generalized Russian cards problem
|
THEORETICAL COMPUTER SCIENCE |
Artículo | 2013 |
A parallel algorithm for skeletonizing images by using spiking neural P systems
|
NEUROCOMPUTING |
Artículo | 2013 |
A Rete-based algorithm for rule selection in P systems
|
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING |
Artículo | 2013 |
Agent-mediated shared conceptualizations in tagging services
|
MULTIMEDIA TOOLS AND APPLICATIONS |
Artículo | 2013 |
Biham-middleton-levine traffic model in two-dimensional hexagonal lattice
|
Springer Proceedings in Complexity |
Ponencia | 2013 |
Building knowledge layers and networks from urban digital information
|
CTV 2013: 9º Congreso Internacional Ciudad y Territorio Virtual (2013), pp. 216-228. |
Ponencia | 2013 |
Certified symbolic manipulation: Bivariate simplicial polynomials
|
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC |
Artículo | 2013 |
Complex concept lattices for simulating human prediction in sport
|
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY |
Artículo | 2013 |
DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT
|
REVIEW OF SYMBOLIC LOGIC |
Capítulo | 2013 |
Forward and Backward Chaining with P Systems
|
Natural Computing for Simulation and Knowledge Discovery |
Capítulo | 2013 |
Implementation on CUDA of the Smoothing Problem with Tissue-Like P Systems
|
Natural Computing for Simulation and Knowledge Discovery |
Capítulo | 2013 |
Local Search with P Systems: A Case Study
|
Natural Computing for Simulation and Knowledge Discovery |
Artículo | 2013 |
ON THE OPTIMALITY OF CONSERVATION RESULTS FOR LOCAL REFLECTION IN ARITHMETIC
|
JOURNAL OF SYMBOLIC LOGIC |
Artículo | 2013 |
On the Phenomenological Reconstruction of Complex Systems-The Scale-Free Conceptualization Hypothesis
|
SYSTEMS RESEARCH AND BEHAVIORAL SCIENCE |
Ponencia | 2013 |
Qualitative Reasoning on Complex Systems from Observations
|
HYBRID ARTIFICIAL INTELLIGENT SYSTEMS |
Artículo | 2013 |
RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Ponencia | 2013 |
Rete Algorithm for P System Simulators
|
Eleventh Brainstorming Week on Membrane Computing |
Artículo | 2013 |
Segmenting images with gradient-based edge detection using Membrane Computing
|
Pattern Recognition Letters |
Ponencia | 2013 |
Studying the Chlorophyll Fluorescence in Cyanobacteria with Membrane Computing Techniques
|
Eleventh Brainstorming Week on Membrane Computing |
Artículo | 2013 |
The #OCCUPY network on Twitter and the challenges to social movements theory and research
|
International Journal of Electronic Governance |
Artículo | 2013 |
Towards a digital geography of hispanic baroque art
|
LITERARY AND LINGUISTIC COMPUTING |
Ponencia | 2012 |
A Membrane-Inspired Evolutionary Algorithm with a Population P System and its Application to Distribution System Recon guration
|
Tenth Brainstorming Week on Membrane Computing |
Artículo | 2012 |
A secure additive protocol for card players
|
Australasian Journal of Combinatorics |
Ponencia | 2012 |
Cell Complexes and Membrane Computing for Thinning 2D and 3D Images
|
Tenth Brainstorming Week on Membrane Computing |
Ponencia | 2012 |
CONCEPTUAL-BASED REASONING IN MOBILE WEB 2.0 BY MEANS MULTIAGENT SYSTEMS Knowledge Engineering Notes
|
ICAART: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL. 2 |
Ponencia | 2012 |
Conceptual-based reasoning in Mobile Web 2.0 by means multiagent systems: Knowledge engineering notes
|
ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence |
Ponencia | 2012 |
Counting Cells with Tissue-like P Systems
|
Tenth Brainstorming Week on Membrane Computing |
Artículo | 2012 |
Designing a new software tool for Digital Imagery based on P systems
|
NATURAL COMPUTING |
Artículo | 2012 |
Formalization of a normalization theorem in simplicial topology
|
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE |
Ponencia | 2012 |
Local induction and provably total computable functions: A case study
|
Lecture Notes in Computer Science |
Artículo | 2012 |
Nuevas herramientas y el uso de redes sociales para la gestión de proyectos de investigación en conservación de arte contemporáneo
|
Conservación de arte contemporáneo [Recurso electrónico] : 13ª jornada, febrero 2012 / [organiza], Museo Nacional Centro de Arte Reina Sofía, Departamento de Conservación-Restauración |
Ponencia | 2012 |
On the complexity of shared conceptualizations
|
ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT I |
Ponencia | 2012 |
Parallel Skeletonizing of Digital Images by Using Cellular Automata
|
COMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT (CTIC) |
Ponencia | 2012 |
Repairing conceptual relations in ontologies by means of an interactive visual reasoning: Cognitive and design principles
|
3rd IEEE International Conference on Cognitive Infocommunications, CogInfoCom 2012 - Proceedings |
Ponencia | 2012 |
Scale-Free Structure in Concept Lattices Associated to Complex Systems
|
PROCEEDINGS OF 2012 INTERNATIONAL CONFERENCE ON COMPLEX SYSTEMS (ICCS12) |
Ponencia | 2012 |
Semantic geodemography and urban interoperability
|
METADATA AND SEMANTICS RESEARCH |
Ponencia | 2012 |
Skeletonizing Images by Using Spiking Neural P Systems
|
Tenth Brainstorming Week on Membrane Computing |
Artículo | 2012 |
SUSTAINING A GLOBAL COMMUNITY: ART AND RELIGION IN THE NETWORK OF BAROQUE HISPANIC-AMERICAN PAINTINGS
|
LEONARDO |
Artículo | 2012 |
The Potosi principle: religious prosociality fosters self-organization of larger communities under extreme natural and economic conditions
|
LITERARY AND LINGUISTIC COMPUTING |
Artículo | 2012 |
Using Membrane Computing for Effective Homology
|
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING |
Artículo | 2011 |
A note on parameter free Pi(1)-induction and restricted exponentiation
|
MATHEMATICAL LOGIC QUARTERLY |
Ponencia | 2011 |
A Parallel Implementation of the Thresholding Problem by Using Tissue-Like P Systems
|
COMPUTER ANALYSIS OF IMAGES AND PATTERNS: 14TH INTERNATIONAL CONFERENCE, CAIP 2011, PT 2 |
Artículo | 2011 |
A SIMULATION ALGORITHM FOR MULTIENVIRONMENT PROBABILISTIC P SYSTEMS: A FORMAL VERIFICATION
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Artículo | 2011 |
A software tool for generating graphics by means of P systems
|
NATURAL COMPUTING |
Artículo | 2011 |
A Virtual Laboratory for the Study of History and Cultural Dynamics
|
JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION |
Ponencia | 2011 |
Applying ACL2 to the formalization of algebraic topology: Simplicial polynomials
|
Lecture Notes in Computer Science |
Ponencia | 2011 |
Bounded rationality for data reasoning based on formal concept analysis
|
22nd International Workshop on Database and Expert Systems Applications |
Capítulo | 2011 |
Computational logic and knowledge representation issues in data analysis for the semantic web
|
Data Management in the Semantic Web |
Ponencia | 2011 |
Confidence-Based Reasoning with Local Temporal Formal Contexts
|
ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT II |
Ponencia | 2011 |
Data-in-the-cloud City: Análisis proactivo de la información digital de la ciudad
|
7VCT 2011: 7th Virtual Cities and Territories (2011), pp. 565-571. |
Ponencia | 2011 |
Designing Tissue-like P Systems for Image Segmentation on Parallel Architectures
|
Ninth Brainstorming Week On Membrane Computing |
Artículo | 2011 |
Forward and Backward Chaining with P Systems
|
International Journal of Natural Computing Research |
Artículo | 2011 |
Implementation on CUDA of the Smoothing Problem with Tissue-Like P Systems
|
International Journal of Natural Computing Research |
Ponencia | 2011 |
Implementing Local Search with Membrane Computing
|
Ninth Brainstorming Week On Membrane Computing |
Ponencia | 2011 |
Integer Linear Programming for Tissue-like P Systems
|
Ninth Brainstorming Week On Membrane Computing |
Artículo | 2011 |
Local Search with P Systems
|
International Journal of Natural Computing Research |
Artículo | 2011 |
ON A PARTIAL AFFIRMATIVE ANSWER FOR A PAUN'S CONJECTURE
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Capítulo | 2011 |
Ontological dimensions of semantic mobile web 2.0: First principles
|
Handbook of Research on Mobility and Computing: Evolving Technologies and Ubiquitous Impacts |
Ponencia | 2011 |
P Systems with Replicator Dynamics: A Proposal
|
Ninth Brainstorming Week On Membrane Computing |
Artículo | 2011 |
Proof Pearl: a Formal Proof of Higman's Lemma in ACL2
|
JOURNAL OF AUTOMATED REASONING |
Ponencia | 2011 |
Secure communication of local states in interpreted systems
|
INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE |
Ponencia | 2011 |
Smoothing Problem in 2D Images with Tissue-like P Systems and Parallel Implementation
|
Ninth Brainstorming Week On Membrane Computing |
Ponencia | 2011 |
The art-space of a global community: The network of Baroque paintings in Hispanic-America
|
Proceedings - 2011 2nd International Conference on Culture and Computing, Culture and Computing 2011 |
Libro | 2011 |
XVII Jornadas de Enseñanza Universitaria de la Informática: JENUI 2011 : Actas : Sevilla, 5 al 8 de julio de 2011
|
XVII Jornadas de Enseñanza Universitaria de la Informática: JENUI 2011 : Actas : Sevilla, 5 al 8 de julio de 2011 |
Ponencia | 2010 |
A bio-inspired software for segmenting digital images
|
Proceedings 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010 |
Ponencia | 2010 |
A Cellular Sudoku Solver
|
Eighth Brainstorming Week on Membrane Computing |
Ponencia | 2010 |
A cellular Way to Obtain Homology Groups in Binary 2D Images
|
Eighth Brainstorming Week on Membrane Computing |
Artículo | 2010 |
A Linear Time Solution to the Partition Problem in a Cellular Tissue-Like Model
|
JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE |
Ponencia | 2010 |
A new way to obtain homology groups in Binary 2D images using membrane computing
|
EACA 2010: XII Encuentro de Álgebra Computacional y Aplicaciones = 12th Meeting on Computer Algebra and Applications : Libro de resúmenes = Book of abstracts : Santiago de Compostela, 19-21 de julio de 2010 |
Ponencia | 2010 |
A P system based model of an ecosystem of some scavenger birds
|
Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers |
Artículo | 2010 |
A verified COMMON LISP implementation of Buchberger's algorithm in ACL2
|
JOURNAL OF SYMBOLIC COMPUTATION |
Ponencia | 2010 |
An Application of Genetic Algorithms to Membrane Computing
|
Eighth Brainstorming Week on Membrane Computing |
Ponencia | 2010 |
Array Tissue-like P Systems
|
Eighth Brainstorming Week on Membrane Computing |
Artículo | 2010 |
Computing Homology Groups in Binary 2D Imagery by Tissue-like P Systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
Ponencia | 2010 |
Depth-First Search with P Systems
|
Membrane computing: 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised selected papers |
Ponencia | 2010 |
Expert System to Real Time Control of Machining Processes
|
CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE |
Ponencia | 2010 |
How Does a P System Sound?
|
Eighth Brainstorming Week on Membrane Computing |
Ponencia | 2010 |
Implementing P systems parallelism by means of GPUs
|
Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers |
Ponencia | 2010 |
Membrane Computing Meets Artificial Intelligence: A Case Study
|
Eighth Brainstorming Week on Membrane Computing |
Ponencia | 2010 |
Mereotopological Analysis of Formal Concepts in Security Ontologies
|
COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS 2010 |
Artículo | 2010 |
MEREOTOPOLOGICAL PATTERNS FOR ONTOLOGY EVOLUTION AND DEBUGGING
|
Image-A |
Ponencia | 2010 |
Reconciling Knowledge in Social Tagging Web Services
|
HYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, PT 2 |
Ponencia | 2010 |
Searching previous configurations in membrane computing
|
Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers |
Ponencia | 2010 |
Sensorización y control de un proceso de mecanizado utilizando un sistema experto basado en reglas.
|
Proceedings from the 14th International Congress on Project Management and Engineering. Comunicaciones presentadas al XIV Congreso Internacional de Ingeniería de Proyectos: 1st Latin American Conference on Project Engineering: Madrid 30 de junio, 1 y 2 de julio de 2010 |
Ponencia | 2010 |
Social ontology documentation for knowledge externalization
|
METADATA AND SEMANTIC RESEARCH |
Ponencia | 2010 |
Solving sudoku with membrane computing
|
Proceedings 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010 |
Artículo | 2010 |
Thresholding 2D images with cell-like P systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
Ponencia | 2010 |
Tissue-like P Systems without Environment
|
Eighth Brainstorming Week on Membrane Computing |
Capítulo | 2010 |
Topología simplicial en ACL2
|
Contribuciones científicas en honor de Mirian Andrés Gómez |
Ponencia | 2009 |
A P-lingua programming environment for membrane computing
|
Membrane computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, revised selected and invited papers |
Ponencia | 2009 |
ACL2 verification of simplicial degeneracy programs in the kenzo system
|
INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS |
Artículo | 2009 |
An approach to Ballistic deposition based on membrane computing
|
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING |
Ponencia | 2009 |
Cell-like Versus Tissue-like P Systems by Means of Sevilla Carpets
|
Seventh Brainstorming Week on Membrane Computing |
Ponencia | 2009 |
Computing Backwards with P Systems
|
Seventh Brainstorming Week on Membrane Computing |
Ponencia | 2009 |
Conservative retractions of propositional logic theories by means of boolean derivatives: Theoretical foundations
|
INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS |
Capítulo | 2009 |
Derived and triangulated categories
|
ALGORITHMS IN ALGEBRAIC GEOMETRY AND APPLICATIONS |
Ponencia | 2009 |
Descriptional Complexity of Tissue-Like P Systems with Cell Division
|
UNCONVENTIONAL COMPUTATION, PROCEEDINGS |
Artículo | 2009 |
Efficient computation in rational-valued P systems
|
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE |
Ponencia | 2009 |
Efficient execution in an automated reasoning environment
|
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 |
Artículo | 2009 |
Existentially Closed Models and Conservation Results in Bounded Arithmetic
|
JOURNAL OF LOGIC AND COMPUTATION |
Ponencia | 2009 |
Extending attribute exploration by means of Boolean derivatives
|
CEUR workshop proceedings |
Artículo | 2009 |
First Steps Towards a CPU Made of Spiking Neural P Systems
|
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL |
Ponencia | 2009 |
Hebbian learning from spiking neural P systems view
|
Membrane computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, revised selected and invited papers |
Artículo | 2009 |
On the Efficiency of Cell-Like and Tissue-Like Recognizing Membrane Systems
|
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS |
Ponencia | 2009 |
On the use of Automated Reasoning Systems in Ontology Integration
|
CEUR workshop proceedings |
Ponencia | 2009 |
Performing arithmetic operations with speaking neural P systems
|
Seventh Brainstorming Week on Membrane Computing |
Libro | 2009 |
Seventh Brainstorming Week on Membrane Computing
|
Seventh Brainstorming Week on Membrane Computing |
Libro | 2009 |
Seventh Brainstorming Week on Membrane Computing. Sevilla, February 2-February 6, 2009 Volume I : RGNC REPORT 1/2009
|
Seventh Brainstorming Week on Membrane Computing. Sevilla, February 2-February 6, 2009 Volume I : RGNC REPORT 1/2009 |
Ponencia | 2009 |
Solving the Independent Set Problem by Using Tissue-Like P Systems with Cell Division
|
METHODS AND MODELS IN ARTIFICIAL AND NATURAL COMPUTATION, PT I |
Ponencia | 2009 |
Solving the N-Queens Puzzle with P Systems
|
Seventh Brainstorming Week on Membrane Computing |
Ponencia | 2009 |
Toward Semantic Mobile Web 2.0 through Multiagent Systems
|
AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PROCEEDINGS |
Ponencia | 2009 |
Verificación y eficiencia en programas para el cálculo simbólico: estudio de un caso
|
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 |
Ponencia | 2008 |
A Fast Solution to the Partition Problem by Using Tissue-Like P Systems
|
2008 THIRD INTERNATIONAL CONFERENCE ON BIO-INSPIRED COMPUTING: THEORIES AND APPLICATIONS |
Ponencia | 2008 |
A First Model for Hebbian Learning with Spiking Neural P Systems
|
Sixth Brainstorming Week on Membrane Computing |
Artículo | 2008 |
A software tool for verification of Spiking Neural P Systems
|
NATURAL COMPUTING |
Artículo | 2008 |
A uniform family of tissue P systems with cell division solving 3-COL in a linear time
|
THEORETICAL COMPUTER SCIENCE |
Artículo | 2008 |
Efficient execution in an automated reasoning environment
|
JOURNAL OF FUNCTIONAL PROGRAMMING |
Ponencia | 2008 |
Graphics and P Systems: Experiments with JPLANT
|
Sixth Brainstorming Week on Membrane Computing |
Libro | 2008 |
JAF 26
|
JAF 26 |
Artículo | 2008 |
Reachability problems in low-dimensional iterative maps
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Libro | 2008 |
Sixth Brainstorming Week on Membrane Computing
|
Sixth Brainstorming Week on Membrane Computing |
Libro | 2008 |
Sixth Brainstorming Week on Membrane Computing Sevilla, February 4–February 8, 2008 : RGNC REPORT 01/2008
|
Sixth Brainstorming Week on Membrane Computing Sevilla, February 4–February 8, 2008 : RGNC REPORT 01/2008 |
Ponencia | 2008 |
Solving Numerical NP-complete Problems by Spiking Neural P Systems With Pre-computed Resources
|
Sixth Brainstorming Week on Membrane Computing |
Artículo | 2008 |
Solving SUBSET SUM by Spiking Neural P Systems with Pre-computed Resources
|
FUNDAMENTA INFORMATICAE |
Ponencia | 2008 |
Solving the Partition Problem By Using Tissue-like P Systems with Cell Division
|
Sixth Brainstorming Week on Membrane Computing |
Ponencia | 2008 |
Testing Einsteins´s Formula on Brownian Motion Using Membrane Computing
|
Sixth Brainstorming Week on Membrane Computing |
Ponencia | 2008 |
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies
|
UNCERTAINTY REASONING FOR THE SEMANTIC WEB I |
Ponencia | 2007 |
A Cellular Solution to Subset Sum Using Division of Non-elementary Membranes and Dissolution, with Time and Initial Resources Bounded by log k
|
WMC 2007: 8th Workshop on Membrane Computing (2007), pp. 301-315. |
Ponencia | 2007 |
A formal foundation for Knowledge Integration of defficent information in the Semantic Web
|
COMPUTER AIDED SYSTEMS THEORY- EUROCAST 2007 |
Ponencia | 2007 |
A formally verified prover for the ALC description logic
|
Lecture Notes in Computer Science |
Ponencia | 2007 |
A formally verified prover for the ALC description logic
|
THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS |
Ponencia | 2007 |
A Linear Solution for Subset Sum Problem with Tissue P Systems with Cell Division
|
Fifth Brainstorming Week on Membrane Computing |
Artículo | 2007 |
A Linear-time Tissue P System Based Solution for the 3-coloring Problem
|
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE |
Ponencia | 2007 |
A logarithmic bound for solving subset sum with P systems
|
Membrane computing: 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 revised selected and invited papers |
Ponencia | 2007 |
A Membrane Computing Model for Ballistic Depositions
|
Fifth Brainstorming Week on Membrane Computing |
Artículo | 2007 |
A note on Sigma(1)-maximal models
|
JOURNAL OF SYMBOLIC LOGIC |
Ponencia | 2007 |
A Software Tool for Dealing with Spiking Neural P Systems
|
Fifth Brainstorming Week on Membrane Computing |
Artículo | 2007 |
A uniform solution to SAT using membrane creation
|
THEORETICAL COMPUTER SCIENCE |
Ponencia | 2007 |
Anomalías en ontologías provisionales
|
La interdisciplinariedad y la transdisciplinariedad en la organización del conocimiento científico: Interdisciplinarity and transdisciplinarity in the organization of scientific knowledge : Actas del VIII Congreso ISKO - España, León, 18, 19 y 20 de Abril de 2007 |
Ponencia | 2007 |
Computation in one-dimensional piecewise maps
|
HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS |
Capítulo | 2007 |
Computationally Hard Problems Addressed Through P Systems
|
Applications of Membrane Computing |
Libro | 2007 |
Fifth Brainstorming Week on Membrane Computing
|
Fifth Brainstorming Week on Membrane Computing |
Libro | 2007 |
Fifth Brainstorming Week on Membrane Computing.Sevilla, January 29–February 2, 2007 : RGNC REPORT 01/2007
|
Fifth Brainstorming Week on Membrane Computing.Sevilla, January 29–February 2, 2007 : RGNC REPORT 01/2007 |
Artículo | 2007 |
How to express tumours using membrane systems
|
PROGRESS IN NATURAL SCIENCE-MATERIALS INTERNATIONAL |
Ponencia | 2007 |
KRRT: Knowledge representation and reasoning tutor system
|
Lecture Notes in Computer Science |
Ponencia | 2007 |
KRRT: Knowledge Representation and Reasoning Tutor system
|
COMPUTER AIDED SYSTEMS THEORY- EUROCAST 2007 |
Ponencia | 2007 |
Learning services based on formal concept reasoning
|
MCCSIS 2007 - IADIS Multi Conference on Computer Science and Information Systems - Proceedings of Intelligent Systems and Agents 2007, Interfaces and Human Computer Interaction 2007, Computer Graphics and Visualization 2007 |
Ponencia | 2007 |
On rules and parameter free systems in bounded arithmetic
|
COMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS |
Artículo | 2007 |
On the degree of parallelism in membrane systems
|
THEORETICAL COMPUTER SCIENCE |
Ponencia | 2007 |
Solving subset sum in linear time by using tissue P systems with cell division
|
BIO-INSPIRED MODELING OF COGNITIVE TASKS, PT 1, PROCEEDINGS |
Ponencia | 2006 |
A Case Study in (Mem)Brane Computation: Generating {n2 n 1}
|
Proceedings of the Fourth Brainstorming Week on Membrane Computing, Vol.I, 241-265. Sevilla, E.T.S. de Ingeniería Informática, 30 de Enero-3 de Febrero, 2006 |
Ponencia | 2006 |
A case study in (mem)brane computation: generating squares of natural numbers
|
Membrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers |
Ponencia | 2006 |
A linear solution for QSAT with membrane creation
|
Membrane computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, revised selected and invited papers |
Ponencia | 2006 |
A membrane computing view on tumours
|
Pre-Proceedings of the International Conference on Bio-Inspired Computing - Theory and Applications: Membrane Computing Section, BIC-TA 2006 |
Ponencia | 2006 |
An Approach to the Degree of Parallelism in P Systems
|
Fourth Brainstormming Week on Membrane Computing |
Capítulo | 2006 |
Available Membrane Computing Software
|
Natural Computing Series |
Ponencia | 2006 |
Cell-like and Tissue-like Membrane Systems as Recognizer Devices
|
Workshop on Nature Inspired Cooperative Strategies for Optimization, NICSO 2006, June 29-30, 2006, (2006) |
Capítulo | 2006 |
CHARACTERIZING TRACTABILITY BY CELL-LIKE MEMBRANE SYSTEMS
|
FORMAL MODELS, LANGUAGES AND APPLICATIONS |
Artículo | 2006 |
Computational efficiency of dissolution rules in membrane systems
|
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS |
Artículo | 2006 |
Envelopes, indicators and conservativeness
|
MATHEMATICAL LOGIC QUARTERLY |
Artículo | 2006 |
Formal correctness of a quadratic unification algorithm
|
JOURNAL OF AUTOMATED REASONING |
Artículo | 2006 |
Foundational challenges in automated Semantic Web data and ontology cleaning
|
IEEE INTELLIGENT SYSTEMS |
Libro | 2006 |
Fourth Brainstormming Week on Membrane Computing
|
Fourth Brainstormming Week on Membrane Computing |
Ponencia | 2006 |
Fractals and P Systems
|
Fourth Brainstormming Week on Membrane Computing |
Ponencia | 2006 |
Fusión automatizada de ontologías: aplicación al razonamiento espacial cualitativo
|
Una perspectiva de la inteligencia artificial en su 50 aniversario: Campus Multidisciplinar en Percepción e Inteligencia, CMPI 2006, Albacete, España, 10-14 de Julio del 2006 : actas |
Ponencia | 2006 |
Graphical modeling of higher plants using P systems
|
Membrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers |
Ponencia | 2006 |
On the power of dissolution in P systems with active membranes
|
Membrane computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, revised selected and invited papers |
Artículo | 2006 |
P systems with input in binary form
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Ponencia | 2006 |
Solving 3-COL with Tissue P Systems
|
Fourth Brainstormming Week on Membrane Computing |
Artículo | 2006 |
Some notes on (Mem)Brane computation
|
PARALLEL PROBLEM SOLVING FROM NATURE - PPSN IX, PROCEEDINGS |
Ponencia | 2006 |
The Growth of Branching Structures with P Systems
|
Fourth Brainstormming Week on Membrane Computing |
Artículo | 2006 |
Visual ontology cleaning: Cognitive principles and applicability
|
SEMANTIC WEB: RESEARCH AND APPLICATIONS, PROCEEDINGS |
Artículo | 2005 |
A fast P system for finding a balanced 2-partition
|
SOFT COMPUTING |
Artículo | 2005 |
A linear solution of subset sum problem by using membrane creation
|
MECHANISMS, SYMBOLS AND MODELS UNDERLYING COGNITION, PT 1, PROCEEDINGS |
Ponencia | 2005 |
A Simulator for Confluent P Systems
|
Third Brainstorming Week on Membrane Computing |
Ponencia | 2005 |
Aproximating Non-discrete P Systems
|
Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers |
Libro | 2005 |
Cellular Computing (Complexity Aspects)
|
Cellular Computing (Complexity Aspects) |
Libro | 2005 |
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005
|
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 |
Capítulo | 2005 |
Cellular solutions to some numerical NP-complete problems: A prolog implementation
|
Molecular Computational Models: Unconventional Approaches |
Ponencia | 2005 |
Characterizing tractability with membrane creation
|
Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Proceedings |
Ponencia | 2005 |
Controlling ontology extension by uncertain concepts through cognitive entropy
|
CEUR workshop proceedings |
Ponencia | 2005 |
Converting Integer Numbers from Binary to Unary Notation with P Systems
|
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 |
Ponencia | 2005 |
Exploring computation trees associated with P systems
|
Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers |
Artículo | 2005 |
Extension of ontologies assisted by automated reasoning systems
|
Computer Aided Systems Theory – EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers |
Capítulo | 2005 |
Formal verifications of programs in molecular models with random access memory
|
Recent results in natural computing |
Artículo | 2005 |
Fragments of Arithmetic and true sentences
|
MATHEMATICAL LOGIC QUARTERLY |
Capítulo | 2005 |
Generating pairwise disjoint families through DNA computations
|
Recent results in natural computing |
Capítulo | 2005 |
Logic databases and inconsistency handling
|
Encyclopedia of Database Technologies and Applications |
Ponencia | 2005 |
Multidimensional descriptional complexity of P systems
|
7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 - Proceedings |
Ponencia | 2005 |
Multidimensional Sevilla carpets Associated with P Systems
|
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 |
Ponencia | 2005 |
On descriptive complexity of P systems
|
Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers |
Ponencia | 2005 |
P Systems with active membranes, without polarizations and without dissolution: A characterization of P
|
Lecture Notes in Computer Science |
Ponencia | 2005 |
P Systems with Membrane Creation and Rule Input
|
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 |
Ponencia | 2005 |
Proof pearl: A formal proof of Higman's Lemma in ACL2
|
Lecture Notes in Computer Science |
Artículo | 2005 |
Proof pearl: A formal proof of Higman's lemma in ACL2
|
THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS |
Artículo | 2005 |
Rete algorithm applied to robotic soccer
|
Computer Aided Systems Theory – EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers |
Ponencia | 2005 |
Simulating Avascular Tumors With Membrane Systems
|
Third Brainstorming Week on Membrane Computing |
Libro | 2005 |
Third Brainstorming Week on Membrane Computing
|
Third Brainstorming Week on Membrane Computing |
Capítulo | 2005 |
Topología Simplicial en ACL2
|
Manual de responsabilidad pública: homenaje a Pedro González Gutiérrez-Barquín |
Artículo | 2005 |
Towards a Programming Language in Cellular Computing
|
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE |
Artículo | 2004 |
A note on complexity measures for probabilistic P systems
|
JOURNAL OF UNIVERSAL COMPUTER SCIENCE |
Artículo | 2004 |
A prolog simulator for deterministic P systems with active membranes
|
NEW GENERATION COMPUTING |
Ponencia | 2004 |
An Efficient Cellular Solution for the Partition Problem
|
Second Brainstorming Week On Membrane Computing |
Artículo | 2004 |
DEDUCTIVE DATABASES AND P SYSTEMS
|
Computer science journal of Moldova |
Artículo | 2004 |
Formal reasoning about efficient data structures: A case study in ACL2
|
Lecture Notes in Computer Science |
Artículo | 2004 |
Formal verification of a generic framework to synthesize SAT-provers
|
JOURNAL OF AUTOMATED REASONING |
Ponencia | 2004 |
Formal verification of molecular computational models in ACL2: A case study
|
Lecture Notes in Computer Science |
Artículo | 2004 |
Generalizing programs via subsumption
|
Lecture Notes in Computer Science |
Ponencia | 2004 |
Implementing in Prolog an effective cellular solution to the Knapsack problem
|
Membrane computing: 4th International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, revised papers |
Artículo | 2004 |
Induction, minimization and collection for Delta(n)+(1)(T)-formulas
|
ARCHIVE FOR MATHEMATICAL LOGIC |
Ponencia | 2004 |
Looking for P Truth
|
Second Brainstorming Week On Membrane Computing |
Artículo | 2004 |
On the quantifier complexity of Delta(n+1)(T)-induction
|
ARCHIVE FOR MATHEMATICAL LOGIC |
Ponencia | 2004 |
Ontology cleaning by mereotopological reasoning
|
15TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS |
Artículo | 2004 |
Provably total primitive recursive functions: Theories with induction
|
COMPUTER SCIENCE LOGIC, PROCEEDINGS |
Libro | 2004 |
Recent results in natural computing
|
Recent results in natural computing |
Libro | 2004 |
Second Brainstorming Week On Membrane Computing
|
Second Brainstorming Week On Membrane Computing |
Artículo | 2004 |
The P versus NP problem through cellular computing with membranes
|
ASPECTS OF MOLECULAR COMPUTING |
Ponencia | 2004 |
Towards a Programming Language in Cellular Computing
|
Second Brainstorming Week On Membrane Computing |
Ponencia | 2004 |
Towards a tool for ontology engineering
|
Intelligent Automation and Control Trends, Principles, and Applications - Proceedings of the Sixth Biannual World Automation Congress, WAC |
Artículo | 2004 |
Verified Computer Algebra in ACL2 (Gröbner Bases Computation)
|
Lecture Notes in Computer Science |
Artículo | 2004 |
Verified computer algebra in ACL2 (Grobner bases computation)
|
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS |
Ponencia | 2004 |
Weak Metrics on Configurations of a P System
|
Second Brainstorming Week On Membrane Computing |
Artículo | 2003 |
A formal proof of Dickson's Lemma in ACL2
|
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS |
Ponencia | 2003 |
A MzScheme implementation of transition P systems
|
Membrane computing: International Workshop, WMC-CdeA 2002 Curtea de Arges, Romania, August 19–23, 2002 Revised Papers |
Artículo | 2003 |
Complexity classes in models of cellular computing with membranes
|
NATURAL COMPUTING |
Artículo | 2003 |
Decision P systems and the P≠NP conjecture
|
Lecture Notes in Computer Science |
Artículo | 2003 |
Generalizing programs via subsumption
|
COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2003 |
Artículo | 2003 |
Hybrid networks of evolutionary processors
|
GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT I, PROCEEDINGS |
Libro | 2003 |
Máquinas moleculares basadas en ADN
|
Máquinas moleculares basadas en ADN |
Ponencia | 2003 |
On Sigma(N)-definability in arithmetic
|
PHILOSOPHICAL DIMENSIONS OF LOGIC AND SCIENCE |
Artículo | 2003 |
Towards a practical argumentative reasoning with qualitative spatial databases
|
DEVELOPMENTS IN APPLIED ARTIFICIAL INTELLIGENCE |
Artículo | 2003 |
Verification in ACL2 of a generic framework to synthesize SAT-provers
|
LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION |
Artículo | 2002 |
A formalization of transition P systems
|
FUNDAMENTA INFORMATICAE |
Ponencia | 2002 |
A methodology for the computer-aided cleaning of complex knowledge databases
|
IECON-2002: PROCEEDINGS OF THE 2002 28TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4 |
Artículo | 2002 |
A quasi-metric for machine learning
|
Advances in Artificial Intelligence - IBERAMIA 2002 : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, proceedings |
Libro | 2002 |
Computación celular con membranas: Un modelo no convencional
|
Computación celular con membranas: Un modelo no convencional |
Libro | 2002 |
Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos)
|
Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos) |
Artículo | 2002 |
Formal proofs about rewriting using ACL2
|
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE |
Ponencia | 2002 |
Solving knapsack problems in a sticker based model
|
Lecture Notes in Computer Science |
Libro | 2002 |
Teoría de la complejidad en modelos de computación celular con membranas
|
Teoría de la complejidad en modelos de computación celular con membranas |
Libro | 2001 |
Computación, computabilidad y programación
|
Computación, computabilidad y programación |
Capítulo | 2001 |
Deducción automática en anillos ternarios: algunos métodos de procesamiento del conocimiento matemático
|
Actas del Encuentro de Matemáticos Andaluces |
Capítulo | 2001 |
Formalización del razonamiento ecuacional en una lógica computacional
|
Actas del Encuentro de Matemáticos Andaluces |
Ponencia | 2001 |
Formalizing rewriting in the ACL2 theorem prover
|
Lecture Notes in Computer Science |
Artículo | 2001 |
Formalizing rewriting in the ACL2 theorem prover
|
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION |
Capítulo | 2001 |
Funciones recursivas y fragmentos de la aritmética
|
Actas del Encuentro de Matemáticos Andaluces |
Capítulo | 2001 |
Proximidad entre cláusulas en programación lógica inductiva
|
Actas del Encuentro de Matemáticos Andaluces |
Artículo | 2001 |
Some results on LΔ-n+1
|
MATHEMATICAL LOGIC QUARTERLY |
Ponencia | 2001 |
Verifying an applicative ATP using multiset relations
|
Lecture Notes in Computer Science |
Artículo | 2001 |
Verifying an applicative ATP using multiset relations
|
COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001 |
Ponencia | 2000 |
A Topological Study of the Upward Refinement Operators on ILP
|
CEUR workshop proceedings |
Ponencia | 1999 |
Interpretación reactiva de sistemas basados en concimiento
|
La representación y la organización del conocimiento en sus distintas perspectivas : su influencia en la recuperación de la información: actas del IV Congreso ISKO-España EOCONSID'99, 22-24 de abril de 1999, Granada |
Artículo | 1999 |
Programas transversales científico-tecnológicos: expectativas, limitaciones y resultados
|
Revista de Enseñanza Universitaria |
Capítulo | 1998 |
La invención de predicados en la programación lógica inductiva
|
Innovaciones en informática electrónica y automática |
Capítulo | 1997 |
End and cofinal extensions in arithmetic
|
The bulletin of the workshop on model theory and complexity: Sevilla del 21 al 23 de septiembre de 1995 |
Ponencia | 1997 |
Inducción acotada
|
Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993] |
Ponencia | 1997 |
Las teorías $IDelta_n$ e $Iabla_n$
|
Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993] |
Libro | 1997 |
The bulletin of the workshop on model theory and complexity: Sevilla del 21 al 23 de septiembre de 1995
|
The bulletin of the workshop on model theory and complexity: Sevilla del 21 al 23 de septiembre de 1995 |
Artículo | 1996 |
On overspill principles and axiom schemes for bounded formulas
|
MATHEMATICAL LOGIC QUARTERLY |
Capítulo | 1995 |
Algoritmos y computabilidad
|
Lógica formal: Orígenes, métodos y aplicaciones |
Ponencia | 1995 |
Aplicaciones de la programación lógica inductiva al estudio de la sintaxis
|
Lenguajes naturales y lenguajes formales: actas del XI congreso de lenguajes naturales y lenguajes formales: (Tortosa, 1995) |
Ponencia | 1994 |
Aplicación de la lógica temporal proposicional para la representación y deducción de conocimientos temporales
|
Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994) |
Ponencia | 1994 |
Prueba por consistencia de teoremas inductivos: inducción sin inducción
|
Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994) |
Ponencia | 1993 |
Extensiones cofinales de modelos de la Aritmética
|
Lenguajes naturales y lenguajes formales : actas del IX congreso de lenguajes naturales y lenguajes formales : (Reus, 20-22 de diciembre de 1993) |
Ponencia | 1992 |
"Splitting" en fragmentos del máximo
|
Lenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992) |