| Capítulo | 2025 |
Bayesian Model Selection Pruning in Predictive Maintenance
|
Lecture Notes in Computer Science |
| Artículo | 2024 |
A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology
|
AI |
| Capítulo | 2024 |
Evaluación de guardarraíles de modelos LLM ante la generación de artículos sesgados
|
DACIU 2023/2024: Ingeniería y Arquitectura |
| 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 | 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) |
| Ponencia | 2023 |
Prototyping Logic-Based AI Services with LogicUS
|
Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 |
| Artículo | 2022 |
Concept learning consistency under three-way decision paradigm
|
INTERNATIONAL JOURNAL OF MACHINE LEARNING AND CYBERNETICS |
| 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 |
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 | 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 |
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 |
Logic Negation with Spiking Neural P Systems
|
NEURAL PROCESSING LETTERS |
| Capítulo | 2019 |
On experimental efficiency for retraction operator to stem basis
|
Trends in Mathematics and Computational Intelligence |
| Artículo | 2018 |
A logic-algebraic tool for reasoning with Knowledge-Based Systems
|
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING |
| Ponencia | 2018 |
Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data
|
PROCEEDINGS OF SAI INTELLIGENT SYSTEMS CONFERENCE (INTELLISYS) 2016, VOL 2 |
| 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 |
| 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 | 2016 |
ASAP: A framework for designing gamified models of complex systems
|
Iberian Conference on Information Systems and Technologies |
| 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 |
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 |
| Artículo | 2016 |
Semantics for incident identification and resolution reports
|
Logic Journal of the IGPL |
| 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 |
| 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 |
| 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 | 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 |
| 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 |
| 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 |
Specifying and Verifying Meta-Security by Means of Semantic Web Methods
|
INTERNATIONAL JOINT CONFERENCE SOCO'14-CISIS'14-ICEUTE'14 |
| Artículo | 2013 |
Agent-mediated shared conceptualizations in tagging services
|
MULTIMEDIA TOOLS AND APPLICATIONS |
| Ponencia | 2013 |
Building knowledge layers and networks from urban digital information
|
CTV 2013: 9º Congreso Internacional Ciudad y Territorio Virtual (2013), pp. 216-228. |
| Artículo | 2013 |
Complex concept lattices for simulating human prediction in sport
|
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY |
| 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 |
| 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 |
On the complexity of shared conceptualizations
|
ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT I |
| 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 | 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. |
| 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 | 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 |
Social ontology documentation for knowledge externalization
|
METADATA AND SEMANTIC RESEARCH |
| Ponencia | 2009 |
Conservative retractions of propositional logic theories by means of boolean derivatives: Theoretical foundations
|
INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS |
| Ponencia | 2009 |
Extending attribute exploration by means of Boolean derivatives
|
CEUR workshop proceedings |
| Ponencia | 2009 |
On the use of Automated Reasoning Systems in Ontology Integration
|
CEUR workshop proceedings |
| Ponencia | 2009 |
Toward Semantic Mobile Web 2.0 through Multiagent Systems
|
AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PROCEEDINGS |
| Ponencia | 2008 |
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies
|
UNCERTAINTY REASONING FOR THE SEMANTIC WEB I |
| 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 |
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 |
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 |
| Artículo | 2006 |
Foundational challenges in automated Semantic Web data and ontology cleaning
|
IEEE INTELLIGENT SYSTEMS |
| 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 |
| Artículo | 2006 |
Visual ontology cleaning: Cognitive principles and applicability
|
SEMANTIC WEB: RESEARCH AND APPLICATIONS, PROCEEDINGS |
| Ponencia | 2005 |
Controlling ontology extension by uncertain concepts through cognitive entropy
|
CEUR workshop proceedings |
| 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 |
Logic databases and inconsistency handling
|
Encyclopedia of Database Technologies and Applications |
| Artículo | 2004 |
Generalizing programs via subsumption
|
Lecture Notes in Computer Science |
| Ponencia | 2004 |
Ontology cleaning by mereotopological reasoning
|
15TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS |
| 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 | 2003 |
Generalizing programs via subsumption
|
COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2003 |
| 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 |
| 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 |
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) |
| 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 |
Proximidad entre cláusulas en programación lógica inductiva
|
Actas del Encuentro de Matemáticos Andaluces |
| 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 | 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 | 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 | 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) |
