LOCIC - Prisma - Unidad de Bibliometría

LOGICA, COMPUTACION E INGENIERIA DEL CONOCIMIENTO - TIC-137 (LOCIC)

Tipo de colectivo: Grupo de investigación
Estado: Grupo definitivo
Ámbito: Andalucía
Instituciones: Universidad de Sevilla
Fecha de creación: 01/01/1995

Investiga en

Tipo Año Título Fuente
Capítulo2025 Bayesian Model Selection Pruning in Predictive Maintenance Lecture Notes in Computer Science
Artículo2024 A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology AI
Artículo2024 An in-depth analysis of data reduction methods for sustainable deep learning Open Research Europe
Artículo2024 An in-depth analysis of data reduction methods for sustainable deep learning. Open Research Europe
Artículo2024 Exploring deep echo state networks for image classification: a multi-reservoir approach NEURAL COMPUTING & APPLICATIONS
Artículo2024 Fault Diagnosis Generalization Improvement Through Contrastive Learning for a Multistage Centrifugal Pump IEEE TRANSACTIONS ON RELIABILITY
Artículo2024 FCA-based reasoning for privacy Logic Journal of the IGPL
Capítulo2024 Interpretation of the Intent Detection Problem as Dynamics in a Low-Dimensional Space Frontiers in artificial intelligence and applications
Ponencia2024 Lipschitz Determinacy and Arithmetic Transfinite Recursion Lecture Notes in Computer Science
Artículo2024 On conditional axioms and associated inference rules Axioms
Artículo2024 Semi-honest subrecursive degrees and the collection rule in arithmetic ARCHIVE FOR MATHEMATICAL LOGIC
Artículo2024 Trainable and explainable simplicial map neural networks INFORMATION SCIENCES
Artículo2024 Using deep learning for predicting the dynamic evolution of breast cancer migration COMPUTERS IN BIOLOGY AND MEDICINE
Artículo2023 Deep learning applied to intracranial hemorrhage detection Journal of Imaging
Artículo2023 Lipschitz and Wadge binary games in second order arithmetic ANNALS OF PURE AND APPLIED LOGIC
Artículo2023 Logical–Mathematical Foundations of a Graph Query Framework for Relational Learning MATHEMATICS
Artículo2023 On the Soundness of XAI in Prognostics and Health Management (PHM) Information (Switzerland)
Artículo2023 PBIL for optimizing inception module in convolutional neural networks Logic Journal of the IGPL
Ponencia2023 Prototyping Logic-Based AI Services with LogicUS Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023
Artículo2023 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
Ponencia2023 The metric-aware kernel-width choice for LIME CEUR workshop proceedings
Artículo2022 Adversarial Fault Detector Guided by One-Class Learning for a Multistage Centrifugal Pump IEEE-ASME TRANSACTIONS ON MECHATRONICS
Artículo2022 ALLERDET: A novel web app for prediction of protein allergenicity. JOURNAL OF BIOMEDICAL INFORMATICS
Artículo2022 Characterizing the Temperature of SAT Formulas International Journal of Computational Intelligence Systems
Libro2022 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ículo2022 Concept learning consistency under three-way decision paradigm INTERNATIONAL JOURNAL OF MACHINE LEARNING AND CYBERNETICS
Artículo2022 Detecting the ultra low dimensionality of real networks. NATURE COMMUNICATIONS
Capítulo2022 Enabling Knowledge Extraction on Bike Sharing Systems Throughout Open Data HCI in Mobility, Transport, and Automotive Systems
Ponencia2022 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ículo2022 Evolutionary game theory in a cell: A membrane computing approach INFORMATION SCIENCES
Artículo2022 Explainable artificial intelligence in data science: from foundational issues towards socio-technical considerations MINDS AND MACHINES
Artículo2022 Knowledge representation for explainable artificial intelligence: modeling foundations from complex systems COMPLEX & INTELLIGENT SYSTEMS
Artículo2022 Topology-based representative datasets to reduce neural network training resources NEURAL COMPUTING & APPLICATIONS
Artículo2021 A stacked deep convolutional neural network to predict the remaining useful life of a turbofan engine Annual Conference of the PHM Society
Artículo2021 Algebraic combinatorics in bounded induction ANNALS OF PURE AND APPLIED LOGIC
Artículo2021 From fault detection to one-class severity discrimination of 3D printers with one-class support vector machine ISA TRANSACTIONS
Artículo2021 Fusing convolutional generative adversarial encoders for 3D printer fault detection with only normal condition signals MECHANICAL SYSTEMS AND SIGNAL PROCESSING
Artículo2021 Hybrid agent-based methodology for testing response protocols KNOWLEDGE-BASED SYSTEMS
Artículo2021 One-shot fault diagnosis of three-dimensional printers through improved feature space learning IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS
Artículo2021 Optimizing the simplicial-map neural network architecture Journal of Imaging
Artículo2021 Simplicial-map neural networks robust to adversarial examples MATHEMATICS
Artículo2021 Towards a notion of basis for knowledge-based systems—applications MATHEMATICS
Artículo2020 A model of three-way decisions for Knowledge Harnessing INTERNATIONAL JOURNAL OF APPROXIMATE REASONING
Artículo2020 Generation of geometric interpolations of building types with deep variational autoencoders Design Science
Artículo2020 Knowledge extraction from deep convolutional neural networks applied to cyclo-stationary time-series classification INFORMATION SCIENCES
Ponencia2020 Late Breaking Abstract - Recurrent Neural Networks and environmental data for COPD exacerbation prediction Monitoring airway disease
Artículo2020 Logic Negation with Spiking Neural P Systems NEURAL PROCESSING LETTERS
Ponencia2020 PBIL for optimizing hyperparameters of convolutional neural networks and STL decomposition Lecture Notes in Computer Science
Artículo2020 Real-time gun detection in CCTV: an open problem NEURAL NETWORKS
Artículo2020 Small worlds and clustering in spatial networks PHYSICAL REVIEW RESEARCH
Artículo2020 Two-hidden-layer feed-forward networks are universal approximators: a constructive approach NEURAL NETWORKS
Artículo2020 Una metodología desde la teoría de redes para las redes culturales Universitas Humanística
Ponencia2019 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ículo2019 Generative Adversarial Networks Selection Approach for Extremely Imbalanced Fault Diagnosis of Reciprocating Machinery IEEE ACCESS
Artículo2019 Membrane computing and image processing: a short survey Journal of Membrane Computing
Capítulo2019 On experimental efficiency for retraction operator to stem basis Trends in Mathematics and Computational Intelligence
Artículo2019 Representative Datasets: The Perceptron Case ArXiv.org
Artículo2019 Telehealth and machine learning for COPD patient care INTERNATIONAL JOURNAL OF INTEGRATED CARE
Artículo2019 Towards a Philological Metric through a Topological Data Analysis Approach ArXiv.org
Ponencia2019 Vision and crowdsensing technology for an optimal response in physical-security Lecture Notes in Computer Science
Artículo2018 A logic-algebraic tool for reasoning with Knowledge-Based Systems JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Otros2018 A membrane computing framework for self-reconfigurable robots NATURAL COMPUTING
Artículo2018 Breve Historia de la Inteligencia Artificial Revista de Occidente
Artículo2018 Caja negra, caja blanca: la inteligencia artificial explicable Revista de Occidente
Ponencia2018 Echo state network and variational autoencoder for efficient one-class learning on dynamical systems Journal of Intelligent & Fuzzy Systems
Capítulo2018 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ítulo2018 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ículo2018 Representative datasets for neural networks Electronic Notes In Discrete Mathematics
Ponencia2018 Semantic preserving embeddings for multi-relational graphs Proceedings of Computing Conference 2017
Artículo2018 Semantics of deductive databases with spiking neural P systems NEUROCOMPUTING
Artículo2018 Solving the 3-COL problem by using tissue P systems without environment and proteins on cells INFORMATION SCIENCES
Ponencia2018 Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data PROCEEDINGS OF SAI INTELLIGENT SYSTEMS CONFERENCE (INTELLISYS) 2016, VOL 2
Ponencia2017 An approach to the bio-inspired control of self-reconfigurable robots Communications in Computer and Information Science
Artículo2017 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ículo2017 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ículo2017 Bio-inspired parallel computing of representative geometrical objects of holes of binary 2D-images INTERNATIONAL JOURNAL OF BIO-INSPIRED COMPUTATION
Ponencia2017 Combining reservoir computing and variational inference for efficient one-class learning on dynamical systems 2017 INTERNATIONAL CONFERENCE ON SENSING, DIAGNOSTICS, PROGNOSTICS, AND CONTROL (SDPC)
Libro2017 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ículo2017 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ículo2017 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ículo2017 PREDICATIVITY THROUGH TRANSFINITE REFLECTION JOURNAL OF SYMBOLIC LOGIC
Ponencia2017 Solving the Bin-Packing Problem by Means of Tissue P System with 2-Division UNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION, UCNC 2017
Artículo2017 Una aplicación de las tecnologías de la web semántica al estudio del periodismo de la Edad Moderna Revista de Humanidades Digitales
Ponencia2017 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
Ponencia2017 Using abstract stobjs in ACL2 to compute matrix normal forms Lecture Notes in Computer Science
Ponencia2016 ASAP: A framework for designing gamified models of complex systems Iberian Conference on Information Systems and Technologies
Artículo2016 Del genoma a la cultura ... o cómo no morir ahogado por los datos Anejos de la Revista de Historiografía
Artículo2016 EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC JOURNAL OF SYMBOLIC LOGIC
Libro2016 FORMA 15 : Complex Systems Workshop: Sevilla 25-28 Noviembre 2015 FORMA 15 : Complex Systems Workshop: Sevilla 25-28 Noviembre 2015
Artículo2016 Fully automatized parallel segmentation of the optic disc in retinal fundus images Pattern Recognition Letters
Ponencia2016 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ículo2016 Institutions and cultural diversity: Effects of democratic and propaganda processes on local convergence and global diversity PLOS ONE
Artículo2016 Inteligencia Artificial y el futuro: de la percepción a la realidad Libre pensamiento
Ponencia2016 Máster universitario: la calidad tiene su coste Calidad, docencia universitaria y encuestas: "Bolonia a coste cero"
Ponencia2016 Modeling lexicon emergence as concept emergence in networks Advances in Intelligent Systems and Computing
Libro2016 Netlogo: una herramienta de modelado Netlogo: una herramienta de modelado
Editorial2016 Preface Lecture Notes in Computer Science
Ponencia2016 Recovering of 24 May Avenue in the Historical Center of Quito FORMA 15 : Complex Systems Workshop: Sevilla 25-28 Noviembre 2015
Artículo2016 Semantics for incident identification and resolution reports Logic Journal of the IGPL
Ponencia2016 Semantics of Deductive Databases in a Membrane Computing Connectionist Model Fourteenth Brainstorming Week on Membrane Computing
Ponencia2016 Solving the 3-COL Problem by Using Tissue P Systems without Environment and Proteins on Cells Fourteenth Brainstorming Week on Membrane Computing
Ponencia2016 Towards a verifiable Topology of Data XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016
Ponencia2015 A Characterization of PSPACE with Antimatter and Membrane Creation Thirteenth Brainstorming Week on Membrane Computing
Artículo2015 A geometric protocol for cryptography with cards DESIGNS CODES AND CRYPTOGRAPHY
Ponencia2015 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ículo2015 Fault diagnosis of spur gearbox based on random forest and wavelet packet decomposition Frontiers of Mechanical Engineering
Libro2015 FORMA 14 : Complex Systems Workshop: Sevilla 22-25 Octubre 2014 FORMA 14 : Complex Systems Workshop: Sevilla 22-25 Octubre 2014
Ponencia2015 iaBastos: an intelligent marketplace for agricultural products ADVANCES IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS, AND SUSTAINABILITY
Artículo2015 Modelling algebraic structures and morphisms in ACL2 APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING
Ponencia2015 On The Semantics of Annihilation Rules in Membrane Computing Thirteenth Brainstorming Week on Membrane Computing
Ponencia2015 Pedestrian Behavior Mining from Data ECAL 2015: 13th European Conference on Artificial Life (2015), pp. 4-6.
Ponencia2015 Phenomenological percolation in conceptual networks associated to complex systems 2014 2nd World Conference on Complex Systems, WCCS 2014
Artículo2015 Propuestas para el análisis de colecciones de arte a través de metodologías y herramientas computacionales Anuario Tarea
Artículo2015 Recognizer P systems with antimatter ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY
Ponencia2015 Solving SAT with Antimatter in Membrane Computing Thirteenth Brainstorming Week on Membrane Computing
Ponencia2015 The Pole Balancing Problem with Enzymatic Numerical P Systems Thirteenth Brainstorming Week on Membrane Computing
Artículo2014 Antimatter as a Frontier of Tractability in Membrane Computing FUNDAMENTA INFORMATICAE
Ponencia2014 Artificial intelligence and symbolic computation: 12th international conference, AISC 2014 Seville, Spain, December 11-13, 2014 proceedings Lecture Notes in Computer Science
Artículo2014 Emergent concepts on knowledge intensive processes Lecture Notes in Computer Science
Ponencia2014 Extending Qualitative Spatial Theories with Emergent Spatial Concepts An Automated Reasoning Approach HYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, HAIS 2014
Artículo2014 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
Libro2014 FORMA 13 : Complex Systems Workshop: Sevilla 23-26 Oct 2013 FORMA 13 : Complex Systems Workshop: Sevilla 23-26 Oct 2013
Artículo2014 Formally Verified Tableau-Based Reasoners for a Description Logic JOURNAL OF AUTOMATED REASONING
Artículo2014 Generador de Grafos Multi-relacionales a partir de redes sociales Ingeniería
Capítulo2014 La "perversión" de Bolonia Calidad de la docencia universitaria y encuestas: balance del Plan Bolonia
Ponencia2014 La “perversión” de bolonia Calidad de la docencia universitaria y encuestas : Balance del Plan Bolonia: II Congreso Nacional
Artículo2014 Local induction and provably total computable functions ANNALS OF PURE AND APPLIED LOGIC
Ponencia2014 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ículo2014 On axiom schemes for T-provably formulas ARCHIVE FOR MATHEMATICAL LOGIC
Editorial2014 Preface Lecture Notes in Computer Science
Ponencia2014 Proving and computing: Applying automated reasoning to the verification of symbolic computation systems (invited talk) Lecture Notes in Computer Science
Capítulo2014 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
Ponencia2014 Searching partially bounded regions with P systems Advances in Intelligent Systems and Computing
Ponencia2014 Self-constructing Recognizer P Systems Twelfth Brainstorming Week on Membrane Computing
Ponencia2014 Simulating language dynamics by means of concept reasoning Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering
Ponencia2014 Simulating Turing Machines with Polarizationless P Systems with Active Membranes MEMBRANE COMPUTING (CMC 2014)
Capítulo2014 Skeletonizing Digital Images with Cellular Automata Emergence, Complexity and Computation
Ponencia2014 Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques MEMBRANE COMPUTING (CMC 2014)
Ponencia2014 Specifying and Verifying Meta-Security by Means of Semantic Web Methods INTERNATIONAL JOINT CONFERENCE SOCO'14-CISIS'14-ICEUTE'14
Artículo2014 Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm Logic Journal of the IGPL
Artículo2013 A colouring protocol for the generalized Russian cards problem THEORETICAL COMPUTER SCIENCE
Artículo2013 A parallel algorithm for skeletonizing images by using spiking neural P systems NEUROCOMPUTING
Artículo2013 A Rete-based algorithm for rule selection in P systems INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING
Artículo2013 Agent-mediated shared conceptualizations in tagging services MULTIMEDIA TOOLS AND APPLICATIONS
Artículo2013 Biham-middleton-levine traffic model in two-dimensional hexagonal lattice Springer Proceedings in Complexity
Ponencia2013 Building knowledge layers and networks from urban digital information CTV 2013: 9º Congreso Internacional Ciudad y Territorio Virtual (2013), pp. 216-228.
Ponencia2013 Certified symbolic manipulation: Bivariate simplicial polynomials Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC
Artículo2013 Complex concept lattices for simulating human prediction in sport JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY
Artículo2013 DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT REVIEW OF SYMBOLIC LOGIC
Capítulo2013 Forward and Backward Chaining with P Systems Natural Computing for Simulation and Knowledge Discovery
Capítulo2013 Implementation on CUDA of the Smoothing Problem with Tissue-Like P Systems Natural Computing for Simulation and Knowledge Discovery
Capítulo2013 Local Search with P Systems: A Case Study Natural Computing for Simulation and Knowledge Discovery
Artículo2013 ON THE OPTIMALITY OF CONSERVATION RESULTS FOR LOCAL REFLECTION IN ARITHMETIC JOURNAL OF SYMBOLIC LOGIC
Artículo2013 On the Phenomenological Reconstruction of Complex Systems-The Scale-Free Conceptualization Hypothesis SYSTEMS RESEARCH AND BEHAVIORAL SCIENCE
Ponencia2013 Qualitative Reasoning on Complex Systems from Observations HYBRID ARTIFICIAL INTELLIGENT SYSTEMS
Artículo2013 RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Ponencia2013 Rete Algorithm for P System Simulators Eleventh Brainstorming Week on Membrane Computing
Artículo2013 Segmenting images with gradient-based edge detection using Membrane Computing Pattern Recognition Letters
Ponencia2013 Studying the Chlorophyll Fluorescence in Cyanobacteria with Membrane Computing Techniques Eleventh Brainstorming Week on Membrane Computing
Artículo2013 The #OCCUPY network on Twitter and the challenges to social movements theory and research International Journal of Electronic Governance
Artículo2013 Towards a digital geography of hispanic baroque art LITERARY AND LINGUISTIC COMPUTING
Ponencia2012 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ículo2012 A secure additive protocol for card players Australasian Journal of Combinatorics
Ponencia2012 Cell Complexes and Membrane Computing for Thinning 2D and 3D Images Tenth Brainstorming Week on Membrane Computing
Ponencia2012 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
Ponencia2012 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
Ponencia2012 Counting Cells with Tissue-like P Systems Tenth Brainstorming Week on Membrane Computing
Artículo2012 Designing a new software tool for Digital Imagery based on P systems NATURAL COMPUTING
Artículo2012 Formalization of a normalization theorem in simplicial topology ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Ponencia2012 Local induction and provably total computable functions: A case study Lecture Notes in Computer Science
Artículo2012 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
Ponencia2012 On the complexity of shared conceptualizations ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT I
Ponencia2012 Parallel Skeletonizing of Digital Images by Using Cellular Automata COMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT (CTIC)
Ponencia2012 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
Ponencia2012 Scale-Free Structure in Concept Lattices Associated to Complex Systems PROCEEDINGS OF 2012 INTERNATIONAL CONFERENCE ON COMPLEX SYSTEMS (ICCS12)
Ponencia2012 Semantic geodemography and urban interoperability METADATA AND SEMANTICS RESEARCH
Ponencia2012 Skeletonizing Images by Using Spiking Neural P Systems Tenth Brainstorming Week on Membrane Computing
Artículo2012 SUSTAINING A GLOBAL COMMUNITY: ART AND RELIGION IN THE NETWORK OF BAROQUE HISPANIC-AMERICAN PAINTINGS LEONARDO
Artículo2012 The Potosi principle: religious prosociality fosters self-organization of larger communities under extreme natural and economic conditions LITERARY AND LINGUISTIC COMPUTING
Artículo2012 Using Membrane Computing for Effective Homology APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING
Artículo2011 A note on parameter free Pi(1)-induction and restricted exponentiation MATHEMATICAL LOGIC QUARTERLY
Ponencia2011 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ículo2011 A SIMULATION ALGORITHM FOR MULTIENVIRONMENT PROBABILISTIC P SYSTEMS: A FORMAL VERIFICATION INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Artículo2011 A software tool for generating graphics by means of P systems NATURAL COMPUTING
Artículo2011 A Virtual Laboratory for the Study of History and Cultural Dynamics JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION
Ponencia2011 Applying ACL2 to the formalization of algebraic topology: Simplicial polynomials Lecture Notes in Computer Science
Ponencia2011 Bounded rationality for data reasoning based on formal concept analysis 22nd International Workshop on Database and Expert Systems Applications
Capítulo2011 Computational logic and knowledge representation issues in data analysis for the semantic web Data Management in the Semantic Web
Ponencia2011 Confidence-Based Reasoning with Local Temporal Formal Contexts ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT II
Ponencia2011 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.
Ponencia2011 Designing Tissue-like P Systems for Image Segmentation on Parallel Architectures Ninth Brainstorming Week On Membrane Computing
Artículo2011 Forward and Backward Chaining with P Systems International Journal of Natural Computing Research
Artículo2011 Implementation on CUDA of the Smoothing Problem with Tissue-Like P Systems International Journal of Natural Computing Research
Ponencia2011 Implementing Local Search with Membrane Computing Ninth Brainstorming Week On Membrane Computing
Ponencia2011 Integer Linear Programming for Tissue-like P Systems Ninth Brainstorming Week On Membrane Computing
Artículo2011 Local Search with P Systems International Journal of Natural Computing Research
Artículo2011 ON A PARTIAL AFFIRMATIVE ANSWER FOR A PAUN'S CONJECTURE INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Capítulo2011 Ontological dimensions of semantic mobile web 2.0: First principles Handbook of Research on Mobility and Computing: Evolving Technologies and Ubiquitous Impacts
Ponencia2011 P Systems with Replicator Dynamics: A Proposal Ninth Brainstorming Week On Membrane Computing
Artículo2011 Proof Pearl: a Formal Proof of Higman's Lemma in ACL2 JOURNAL OF AUTOMATED REASONING
Ponencia2011 Secure communication of local states in interpreted systems INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE
Ponencia2011 Smoothing Problem in 2D Images with Tissue-like P Systems and Parallel Implementation Ninth Brainstorming Week On Membrane Computing
Ponencia2011 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
Libro2011 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
Ponencia2010 A bio-inspired software for segmenting digital images Proceedings 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010
Ponencia2010 A Cellular Sudoku Solver Eighth Brainstorming Week on Membrane Computing
Ponencia2010 A cellular Way to Obtain Homology Groups in Binary 2D Images Eighth Brainstorming Week on Membrane Computing
Artículo2010 A Linear Time Solution to the Partition Problem in a Cellular Tissue-Like Model JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE
Ponencia2010 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
Ponencia2010 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ículo2010 A verified COMMON LISP implementation of Buchberger's algorithm in ACL2 JOURNAL OF SYMBOLIC COMPUTATION
Ponencia2010 An Application of Genetic Algorithms to Membrane Computing Eighth Brainstorming Week on Membrane Computing
Ponencia2010 Array Tissue-like P Systems Eighth Brainstorming Week on Membrane Computing
Artículo2010 Computing Homology Groups in Binary 2D Imagery by Tissue-like P Systems ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY
Ponencia2010 Depth-First Search with P Systems Membrane computing: 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised selected papers
Ponencia2010 Expert System to Real Time Control of Machining Processes CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Ponencia2010 How Does a P System Sound? Eighth Brainstorming Week on Membrane Computing
Ponencia2010 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
Ponencia2010 Membrane Computing Meets Artificial Intelligence: A Case Study Eighth Brainstorming Week on Membrane Computing
Ponencia2010 Mereotopological Analysis of Formal Concepts in Security Ontologies COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS 2010
Artículo2010 MEREOTOPOLOGICAL PATTERNS FOR ONTOLOGY EVOLUTION AND DEBUGGING Image-A
Ponencia2010 Reconciling Knowledge in Social Tagging Web Services HYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, PT 2
Ponencia2010 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
Ponencia2010 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
Ponencia2010 Social ontology documentation for knowledge externalization METADATA AND SEMANTIC RESEARCH
Ponencia2010 Solving sudoku with membrane computing Proceedings 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010
Artículo2010 Thresholding 2D images with cell-like P systems ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY
Ponencia2010 Tissue-like P Systems without Environment Eighth Brainstorming Week on Membrane Computing
Capítulo2010 Topología simplicial en ACL2 Contribuciones científicas en honor de Mirian Andrés Gómez
Ponencia2009 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
Ponencia2009 ACL2 verification of simplicial degeneracy programs in the kenzo system INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS
Artículo2009 An approach to Ballistic deposition based on membrane computing INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING
Ponencia2009 Cell-like Versus Tissue-like P Systems by Means of Sevilla Carpets Seventh Brainstorming Week on Membrane Computing
Ponencia2009 Computing Backwards with P Systems Seventh Brainstorming Week on Membrane Computing
Ponencia2009 Conservative retractions of propositional logic theories by means of boolean derivatives: Theoretical foundations INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS
Capítulo2009 Derived and triangulated categories ALGORITHMS IN ALGEBRAIC GEOMETRY AND APPLICATIONS
Ponencia2009 Descriptional Complexity of Tissue-Like P Systems with Cell Division UNCONVENTIONAL COMPUTATION, PROCEEDINGS
Artículo2009 Efficient computation in rational-valued P systems MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Ponencia2009 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ículo2009 Existentially Closed Models and Conservation Results in Bounded Arithmetic JOURNAL OF LOGIC AND COMPUTATION
Ponencia2009 Extending attribute exploration by means of Boolean derivatives CEUR workshop proceedings
Artículo2009 First Steps Towards a CPU Made of Spiking Neural P Systems INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL
Ponencia2009 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ículo2009 On the Efficiency of Cell-Like and Tissue-Like Recognizing Membrane Systems INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS
Ponencia2009 On the use of Automated Reasoning Systems in Ontology Integration CEUR workshop proceedings
Ponencia2009 Performing arithmetic operations with speaking neural P systems Seventh Brainstorming Week on Membrane Computing
Libro2009 Seventh Brainstorming Week on Membrane Computing Seventh Brainstorming Week on Membrane Computing
Libro2009 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
Ponencia2009 Solving the Independent Set Problem by Using Tissue-Like P Systems with Cell Division METHODS AND MODELS IN ARTIFICIAL AND NATURAL COMPUTATION, PT I
Ponencia2009 Solving the N-Queens Puzzle with P Systems Seventh Brainstorming Week on Membrane Computing
Ponencia2009 Toward Semantic Mobile Web 2.0 through Multiagent Systems AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PROCEEDINGS
Ponencia2009 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
Ponencia2008 A Fast Solution to the Partition Problem by Using Tissue-Like P Systems 2008 THIRD INTERNATIONAL CONFERENCE ON BIO-INSPIRED COMPUTING: THEORIES AND APPLICATIONS
Ponencia2008 A First Model for Hebbian Learning with Spiking Neural P Systems Sixth Brainstorming Week on Membrane Computing
Artículo2008 A software tool for verification of Spiking Neural P Systems NATURAL COMPUTING
Artículo2008 A uniform family of tissue P systems with cell division solving 3-COL in a linear time THEORETICAL COMPUTER SCIENCE
Artículo2008 Efficient execution in an automated reasoning environment JOURNAL OF FUNCTIONAL PROGRAMMING
Ponencia2008 Graphics and P Systems: Experiments with JPLANT Sixth Brainstorming Week on Membrane Computing
Libro2008 JAF 26 JAF 26
Artículo2008 Reachability problems in low-dimensional iterative maps INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Libro2008 Sixth Brainstorming Week on Membrane Computing Sixth Brainstorming Week on Membrane Computing
Libro2008 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
Ponencia2008 Solving Numerical NP-complete Problems by Spiking Neural P Systems With Pre-computed Resources Sixth Brainstorming Week on Membrane Computing
Artículo2008 Solving SUBSET SUM by Spiking Neural P Systems with Pre-computed Resources FUNDAMENTA INFORMATICAE
Ponencia2008 Solving the Partition Problem By Using Tissue-like P Systems with Cell Division Sixth Brainstorming Week on Membrane Computing
Ponencia2008 Testing Einsteins´s Formula on Brownian Motion Using Membrane Computing Sixth Brainstorming Week on Membrane Computing
Ponencia2008 Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies UNCERTAINTY REASONING FOR THE SEMANTIC WEB I
Ponencia2007 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.
Ponencia2007 A formal foundation for Knowledge Integration of defficent information in the Semantic Web COMPUTER AIDED SYSTEMS THEORY- EUROCAST 2007
Ponencia2007 A formally verified prover for the ALC description logic THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS
Ponencia2007 A formally verified prover for the ALC description logic Lecture Notes in Computer Science
Ponencia2007 A Linear Solution for Subset Sum Problem with Tissue P Systems with Cell Division Fifth Brainstorming Week on Membrane Computing
Artículo2007 A Linear-time Tissue P System Based Solution for the 3-coloring Problem ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Ponencia2007 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
Ponencia2007 A Membrane Computing Model for Ballistic Depositions Fifth Brainstorming Week on Membrane Computing
Artículo2007 A note on Sigma(1)-maximal models JOURNAL OF SYMBOLIC LOGIC
Ponencia2007 A Software Tool for Dealing with Spiking Neural P Systems Fifth Brainstorming Week on Membrane Computing
Artículo2007 A uniform solution to SAT using membrane creation THEORETICAL COMPUTER SCIENCE
Ponencia2007 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
Ponencia2007 Computation in one-dimensional piecewise maps HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS
Capítulo2007 Computationally Hard Problems Addressed Through P Systems Applications of Membrane Computing
Libro2007 Fifth Brainstorming Week on Membrane Computing Fifth Brainstorming Week on Membrane Computing
Libro2007 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ículo2007 How to express tumours using membrane systems PROGRESS IN NATURAL SCIENCE-MATERIALS INTERNATIONAL
Ponencia2007 KRRT: Knowledge Representation and Reasoning Tutor system COMPUTER AIDED SYSTEMS THEORY- EUROCAST 2007
Ponencia2007 KRRT: Knowledge representation and reasoning tutor system Lecture Notes in Computer Science
Ponencia2007 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
Ponencia2007 On rules and parameter free systems in bounded arithmetic COMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS
Artículo2007 On the degree of parallelism in membrane systems THEORETICAL COMPUTER SCIENCE
Ponencia2007 Solving subset sum in linear time by using tissue P systems with cell division BIO-INSPIRED MODELING OF COGNITIVE TASKS, PT 1, PROCEEDINGS
Ponencia2006 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
Ponencia2006 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
Ponencia2006 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
Ponencia2006 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
Ponencia2006 An Approach to the Degree of Parallelism in P Systems Fourth Brainstormming Week on Membrane Computing
Capítulo2006 Available Membrane Computing Software Natural Computing Series
Ponencia2006 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ítulo2006 CHARACTERIZING TRACTABILITY BY CELL-LIKE MEMBRANE SYSTEMS FORMAL MODELS, LANGUAGES AND APPLICATIONS
Artículo2006 Computational efficiency of dissolution rules in membrane systems INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS
Artículo2006 Envelopes, indicators and conservativeness MATHEMATICAL LOGIC QUARTERLY
Artículo2006 Formal correctness of a quadratic unification algorithm JOURNAL OF AUTOMATED REASONING
Artículo2006 Foundational challenges in automated Semantic Web data and ontology cleaning IEEE INTELLIGENT SYSTEMS
Libro2006 Fourth Brainstormming Week on Membrane Computing Fourth Brainstormming Week on Membrane Computing
Ponencia2006 Fractals and P Systems Fourth Brainstormming Week on Membrane Computing
Ponencia2006 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
Ponencia2006 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
Ponencia2006 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ículo2006 P systems with input in binary form INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Ponencia2006 Solving 3-COL with Tissue P Systems Fourth Brainstormming Week on Membrane Computing
Artículo2006 Some notes on (Mem)Brane computation PARALLEL PROBLEM SOLVING FROM NATURE - PPSN IX, PROCEEDINGS
Ponencia2006 The Growth of Branching Structures with P Systems Fourth Brainstormming Week on Membrane Computing
Artículo2006 Visual ontology cleaning: Cognitive principles and applicability SEMANTIC WEB: RESEARCH AND APPLICATIONS, PROCEEDINGS
Artículo2005 A fast P system for finding a balanced 2-partition SOFT COMPUTING
Artículo2005 A linear solution of subset sum problem by using membrane creation MECHANISMS, SYMBOLS AND MODELS UNDERLYING COGNITION, PT 1, PROCEEDINGS
Ponencia2005 A Simulator for Confluent P Systems Third Brainstorming Week on Membrane Computing
Ponencia2005 Aproximating Non-discrete P Systems Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers
Libro2005 Cellular Computing (Complexity Aspects) Cellular Computing (Complexity Aspects)
Libro2005 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ítulo2005 Cellular solutions to some numerical NP-complete problems: A prolog implementation Molecular Computational Models: Unconventional Approaches
Ponencia2005 Characterizing tractability with membrane creation Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Proceedings
Ponencia2005 Controlling ontology extension by uncertain concepts through cognitive entropy CEUR workshop proceedings
Ponencia2005 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
Ponencia2005 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ículo2005 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ítulo2005 Formal verifications of programs in molecular models with random access memory Recent results in natural computing
Artículo2005 Fragments of Arithmetic and true sentences MATHEMATICAL LOGIC QUARTERLY
Capítulo2005 Generating pairwise disjoint families through DNA computations Recent results in natural computing
Capítulo2005 Logic databases and inconsistency handling Encyclopedia of Database Technologies and Applications
Ponencia2005 Multidimensional descriptional complexity of P systems 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 - Proceedings
Ponencia2005 Multidimensional Sevilla carpets Associated with P Systems Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005
Ponencia2005 On descriptive complexity of P systems Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers
Ponencia2005 P Systems with active membranes, without polarizations and without dissolution: A characterization of P Lecture Notes in Computer Science
Ponencia2005 P Systems with Membrane Creation and Rule Input Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005
Artículo2005 Proof pearl: A formal proof of Higman's lemma in ACL2 THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS
Ponencia2005 Proof pearl: A formal proof of Higman's Lemma in ACL2 Lecture Notes in Computer Science
Artículo2005 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
Ponencia2005 Simulating Avascular Tumors With Membrane Systems Third Brainstorming Week on Membrane Computing
Libro2005 Third Brainstorming Week on Membrane Computing Third Brainstorming Week on Membrane Computing
Capítulo2005 Topología Simplicial en ACL2 Manual de responsabilidad pública: homenaje a Pedro González Gutiérrez-Barquín
Artículo2005 Towards a Programming Language in Cellular Computing ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Artículo2004 A note on complexity measures for probabilistic P systems JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Artículo2004 A prolog simulator for deterministic P systems with active membranes NEW GENERATION COMPUTING
Ponencia2004 An Efficient Cellular Solution for the Partition Problem Second Brainstorming Week On Membrane Computing
Artículo2004 DEDUCTIVE DATABASES AND P SYSTEMS Computer science journal of Moldova
Artículo2004 Formal reasoning about efficient data structures: A case study in ACL2 Lecture Notes in Computer Science
Artículo2004 Formal verification of a generic framework to synthesize SAT-provers JOURNAL OF AUTOMATED REASONING
Ponencia2004 Formal verification of molecular computational models in ACL2: A case study Lecture Notes in Computer Science
Artículo2004 Generalizing programs via subsumption Lecture Notes in Computer Science
Ponencia2004 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ículo2004 Induction, minimization and collection for Delta(n)+(1)(T)-formulas ARCHIVE FOR MATHEMATICAL LOGIC
Ponencia2004 Looking for P Truth Second Brainstorming Week On Membrane Computing
Artículo2004 On the quantifier complexity of Delta(n+1)(T)-induction ARCHIVE FOR MATHEMATICAL LOGIC
Ponencia2004 Ontology cleaning by mereotopological reasoning 15TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS
Artículo2004 Provably total primitive recursive functions: Theories with induction COMPUTER SCIENCE LOGIC, PROCEEDINGS
Libro2004 Recent results in natural computing Recent results in natural computing
Libro2004 Second Brainstorming Week On Membrane Computing Second Brainstorming Week On Membrane Computing
Artículo2004 The P versus NP problem through cellular computing with membranes ASPECTS OF MOLECULAR COMPUTING
Ponencia2004 Towards a Programming Language in Cellular Computing Second Brainstorming Week On Membrane Computing
Ponencia2004 Towards a tool for ontology engineering Intelligent Automation and Control Trends, Principles, and Applications - Proceedings of the Sixth Biannual World Automation Congress, WAC
Artículo2004 Verified computer algebra in ACL2 (Grobner bases computation) ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS
Artículo2004 Verified Computer Algebra in ACL2 (Gröbner Bases Computation) Lecture Notes in Computer Science
Ponencia2004 Weak Metrics on Configurations of a P System Second Brainstorming Week On Membrane Computing
Artículo2003 A formal proof of Dickson's Lemma in ACL2 LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS
Ponencia2003 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ículo2003 Complexity classes in models of cellular computing with membranes NATURAL COMPUTING
Artículo2003 Decision P systems and the P≠NP conjecture Lecture Notes in Computer Science
Artículo2003 Generalizing programs via subsumption COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2003
Artículo2003 Hybrid networks of evolutionary processors GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT I, PROCEEDINGS
Libro2003 Máquinas moleculares basadas en ADN Máquinas moleculares basadas en ADN
Ponencia2003 On Sigma(N)-definability in arithmetic PHILOSOPHICAL DIMENSIONS OF LOGIC AND SCIENCE
Artículo2003 Towards a practical argumentative reasoning with qualitative spatial databases DEVELOPMENTS IN APPLIED ARTIFICIAL INTELLIGENCE
Artículo2003 Verification in ACL2 of a generic framework to synthesize SAT-provers LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION
Artículo2002 A formalization of transition P systems FUNDAMENTA INFORMATICAE
Ponencia2002 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ículo2002 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
Libro2002 Computación celular con membranas: Un modelo no convencional Computación celular con membranas: Un modelo no convencional
Libro2002 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ículo2002 Formal proofs about rewriting using ACL2 ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Ponencia2002 Solving knapsack problems in a sticker based model Lecture Notes in Computer Science
Libro2002 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
Libro2001 Computación, computabilidad y programación Computación, computabilidad y programación
Capítulo2001 Deducción automática en anillos ternarios: algunos métodos de procesamiento del conocimiento matemático Actas del Encuentro de Matemáticos Andaluces
Capítulo2001 Formalización del razonamiento ecuacional en una lógica computacional Actas del Encuentro de Matemáticos Andaluces
Ponencia2001 Formalizing rewriting in the ACL2 theorem prover Lecture Notes in Computer Science
Artículo2001 Formalizing rewriting in the ACL2 theorem prover ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
Capítulo2001 Funciones recursivas y fragmentos de la aritmética Actas del Encuentro de Matemáticos Andaluces
Capítulo2001 Proximidad entre cláusulas en programación lógica inductiva Actas del Encuentro de Matemáticos Andaluces
Artículo2001 Some results on LΔ-n+1 MATHEMATICAL LOGIC QUARTERLY
Artículo2001 Verifying an applicative ATP using multiset relations COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001
Ponencia2001 Verifying an applicative ATP using multiset relations Lecture Notes in Computer Science
Ponencia2000 A Topological Study of the Upward Refinement Operators on ILP CEUR workshop proceedings
Ponencia1999 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ículo1999 Programas transversales científico-tecnológicos: expectativas, limitaciones y resultados Revista de Enseñanza Universitaria
Capítulo1998 La invención de predicados en la programación lógica inductiva Innovaciones en informática electrónica y automática
Capítulo1997 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
Ponencia1997 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]
Ponencia1997 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]
Libro1997 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ículo1996 On overspill principles and axiom schemes for bounded formulas MATHEMATICAL LOGIC QUARTERLY
Capítulo1995 Algoritmos y computabilidad Lógica formal: Orígenes, métodos y aplicaciones
Ponencia1995 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)
Ponencia1994 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)
Ponencia1994 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)
Ponencia1993 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)
Ponencia1992 "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)

Proyectos de Investigación

Fecha de inicio Fecha de fin Denominación Agencia financiadora Importe concedido
01/12/2022 30/11/2024 Topología Computacional para el ahorro de energía y la optimización de métodos de aprendizaje profundo para alcanzar soluciones verdes de Inteligencia Artificial (TED2021-129438B-I00) Ministerio de Ciencia e Innovación (Nacional) 46.920,00 €
01/10/2022 30/09/2025 REliable & eXplAinable Swarm Intelligence for People with Reduced mObility (REXASI-PRO) (GA-101070028) European Commission (Europeo) 205.880,00 €
01/09/2022 31/08/2025 Sistema híbrido de reconocimiento de objetos para la búsqueda de armas (PID2021-126359OB-I00) Ministerio de Ciencia e Innovación (Nacional) 81.917,00 €
01/12/2021 30/11/2023 Detección automática de IndividuoS ARMados - US (PDC2021-121197-C21) Ministerio de Ciencia e Innovación (Nacional) 75.900,00 €
05/10/2021 31/03/2023 TAL.IA: TrAducción de la Lengua de signos mediante Inteligencia Artificial (P20_01213) Consejería de Economía, Conocimiento, Empresas y Universidad (Autonómico) 38.700,00 €
05/10/2021 31/12/2022 Advances in topics on computational topology and its relationship with neural networks (P20_01145) Consejería de Economía, Conocimiento, Empresas y Universidad (Autonómico) 14.794,53 €
01/06/2020 29/02/2024 Herramientas Lógicas y Algebraicas para el Análisis de Sistemas Basados en Conocimiento. Aplicaciones (PID2019-109152GB-I00) Ministerio de Ciencia, Innovación y Universidades (Nacional) 40.414,00 €
01/06/2020 30/09/2023 Advances in Topología Computacional y Aplicaciones (PID2019-107339GB-I00) Ministerio de Ciencia, Innovación y Universidades (Nacional) 37.147,00 €
01/01/2018 30/09/2021 Vision and Crowdsensing Technology for an Optimal Response in Physical-Security (TIN2017-82113-C2-1-R) Ministerio de Economía y Competitividad (Nacional) 91.718,00 €
01/01/2014 31/12/2017 Lógica Computacional para la Ciencia del Dato (TIN2013-41086-P) Ministerio de Economía y Competitividad (Nacional) 45.483,90 €
01/01/2013 31/12/2015 De la Computación Celular a la Computación de Alto Rendimiento. Aplicación a la Dinámica de Poblaciones. (TIN2012-37434) Ministerio de Economía y Competitividad (Nacional) 94.208,40 €
15/03/2011 30/04/2016 Interpretaciones Alternativas de Lógicas no Clásicas (Ialnoc) (P10-HUM-5844) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico) 158.247,00 €
15/03/2011 14/09/2015 Conceptos Emergentes en Sistemas Complejos. Aplicaciones en Entornos Urbanos y en Complejidad Cultural (P10-TIC-6064) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico) 191.625,00 €
01/01/2011 31/12/2012 La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención (AIB2010PT-00106) Ministerio de Ciencia e Innovación (Nacional) 5.000,00 €
01/01/2010 31/12/2012 Modelo lógico-computacional para la evolución de teorías sobre conceptos formales (TIN2009-09492) Ministerio de Ciencia e Innovación (Nacional) 57.959,00 €
01/01/2010 31/12/2012 Computación celular: aplicación a la biología de sistema y sintética (TIN2009-13192) Ministerio de Ciencia e Innovación (Nacional) 149.556,00 €
01/01/2010 31/12/2010 Gestión mecanizada del conocimiento matemático. Aplicaciones en lógica (MTM2009-13842-C02-02) Ministerio de Ciencia e Innovación (Nacional) 4.840,00 €
01/10/2009 30/09/2017 The Hispanic Baroque: Complexity in the First Atlantic Culture (BAROQUE) The University of Western Ontario (Social Sciences and Humanities Research Council of Canada) (Social Sciences and Humanities Research Council of Canada) (Internacional) 73.532,80 €
13/01/2009 13/01/2014 Lógica de Protocolos Incondicionalmente Seguros (P08-HUM-04159) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico) 506.623,68 €
13/01/2009 31/12/2013 Modelado y Simulación Computacional en Biología de Sistemas (P08-TIC-04200) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico) 528.403,68 €
01/01/2009 31/12/2011 Modelos de la aritmética y álgebras de funciones computables (MTM2008-06435) Ministerio de Educación y Ciencia (Nacional) 19.602,00 €
01/10/2006 30/09/2009 Análisis computacional y simulación de procesos biológicos en computación celular (TIN2006-13425) Ministerio de Educación y Ciencia (Nacional) 145.200,00 €
01/03/2006 28/02/2009 Desarrollo de modelos y herramientas de computación celular con membranas para aplicaciones en biología y economía (EXC/2005/TIC-581) Junta de Andalucía (Plan Andaluz de Investigación) (Autonómico) 97.199,96 €
31/12/2005 31/12/2008 Modelos de la aritmética y clasificación de funciones computables (MTM2005-08658) Ministerio de Educación y Ciencia (Nacional) 24.990,00 €
31/12/2005 31/12/2006 Modelización y simulación de procesos biológicos y computacionales a través de sistemas celulares con membranas (TIN2005-09345-C04-01) Ministerio de Educación y Ciencia (Nacional) 24.990,00 €
13/12/2004 13/12/2007 Sistemas verificados para razonamiento en la Web semántica (TIN2004-03884) Ministerio de Ciencia y Tecnología (Nacional) 37.950,00 €
01/12/2002 30/11/2005 Desarrollo, verificación y automatización de modelos moleculares y celulares con membranas (TIC2002-04220-C03-01) Ministerio de Ciencia y Tecnología (Nacional) 29.785,00 €
28/12/2000 27/12/2003 Desarrollo y verificación formal de sistemas de razonamiento (TIC2000-1368-C03-02) Ministerio de Ciencia y Tecnología (Nacional) 13.126,10 €

Contratos

Fecha de inicio Fecha de fin Denominación Agencia financiadora Importe concedido
31/08/2024 31/12/2025 CÁTEDRA DE INTELIGENCIA ARTIFICIAL US - GOOGLE (TSI-100930-2023-2) Ministerio de Asuntos Económicos y Transformación Digital (Local)
30/01/2023 01/06/2023 ONEIRE (P003-23/E17) AERTEC Solutions, S.L. (Desconocido)
03/03/2022 15/10/2022 Capacitadores de Inteligencia Artificial para el Análisis Predictivo Avanzado y Certificación de Datos con Blockchain en Plataformas Iiot (CAPACIOTT). (P007-22/E21) Open Sistemas de Información e Internet, S.L. (Desconocido)
15/12/2021 15/12/2024 Accelerated Networking and Processing in the Semiconductor Industry through Artificial Intelligence" (P038-21/E17) Mellanox Technologies LTD (Desconocido)
15/09/2017 15/06/2018 Escalabilidad y eficiencia mediante computación heterogénea CPU-GPU (EFICOMP-GPU). (P033-17/E21) Datrik Intelligence, S.A. (Desconocido)
15/12/2015 03/03/2016 Nomad Garden - Gestión interactiva de jardines mediante el tratamiento inteligente de datos (P066-15/E21) NOMAD GARDEN S.C. (Desconocido)
15/11/2013 31/12/2014 El corredor de la carretera N-340 como eje histórico del litoral andaluz: metodologías de caracterización y estrategias para su patrimonialización y regeneración sostenible (2040/0701) AGENCIA DE OBRA PUBLICA DE LA JUNTA DE ANDALUCIA (Desconocido)
01/01/2011 30/05/2011 Informe técnico sobre aplicabilidad de Sistemas Basados en el Conocimiento al proyecto SOLEME (P025-11/E19) Clever Tecnología S.L. (Desconocido)
15/01/2008 15/01/2010 Proyecto Minerva "Plataforma de servicios en movilidad Cartuja-93" Weteve (OG-003/08) Asociación de Investigación y Cooperación Industrial de Andalucía (Desconocido)
01/10/2007 01/04/2009 Mymem. Plataforma de servicios de movilidad (OG-128/07) Asociación de Investigación y Cooperación Industrial de Andalucía (Desconocido)

Ayudas

Fecha de inicio Fecha de fin Denominación Agencia financiadora Importe concedido
14/12/2012 13/12/2014 Epistemic protocol synthesis (STARTING GRANT) (FFI2011-15945-E) Ministerio de Ciencia e Innovación (Nacional) 75.000,00 €
19/09/2012 20/09/2012 Lógica Matemática en España. Jornadas en Memoria del Profesor Alejandro Fernández Margarit. (PP2012-01-024) Universidad de Sevilla (Local) 400,00 €
05/09/2011 07/09/2011 First International Summer School in Biomolecular and Biocellular Computing (PP2011-01-049) Universidad de Sevilla (Local) 1.500,00 €
19/10/2010 21/10/2010 Cla 2010, the International Conference on Concept Lattices and Their Applications. (PP2010-01-023) Universidad de Sevilla (Local) 2.500,00 €
15/09/2010 28/02/2011 CLA 2010, the International Conference on Concept Lattices and Their Applications (TIN2010-11572-E) Ministerio de Ciencia e Innovación (Nacional) 2.500,00 €
05/05/2010 30/09/2010 Computations and bioprocesses in living celles (CoBio-Live) (OTR2010-PC22) Universidad de Sevilla (Oficina de Transferencia de Resultados de Investigación) (Local) 3.500,00 €
01/10/2008 31/07/2009 Estancia de movilidad en el extranjero "Programa José Castillejo" (JC2008-00371) Ministerio de Ciencia e Innovación (Nacional) 45.450,00 €
30/11/2007 30/04/2008 Advancing mathematical and computacional aids for diagnosis and prognosis in molecular medicine (OTRI/08-FCIE32) Universidad de Sevilla(Oficina de Transferencia de Resultados de Investigación) (Local) 3.000,00 €
15/10/2007 15/02/2008 Cellular Computing Network (OTRI/06-PC36) Universidad de Sevilla(Oficina de Transferencia de Resultados de Investigación) (Local) 3.000,00 €
16/03/2006 31/12/2007 Theory and practice of membrane computing (HI2005-0194) Ministerio de Educación y Ciencia (Nacional) 11.040,00 €
El colectivo no tiene ningún resultado de investigación asociado