Joaquín Borrego-Díaz

Neural Process. Lett., 2020

A model of three-way decisions for Knowledge Harnessing.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2020

2018

A logic-algebraic tool for reasoning with Knowledge-Based Systems.

[BibT_eX]

[DOI]

María Magdalena Fernández-Lebrón

María-José Hidalgo-Doblado

J. Log. Algebraic Methods Program., 2018

2016

Semantics for incident identification and resolution reports.

[BibT_eX]

[DOI]

Jaime de Miguel-Rodríguez

José Luis Pro-Martín

Virginia Matos-Arana

Log. J. IGPL, 2016

Urban Knowledge Extraction, Representation and Reasoning as a Bridge from Data City towards Smart City.

[BibT_eX]

[DOI]

Proceedings of the 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, 2016

Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data.

[BibT_eX]

[DOI]

Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016, 2016

2015

Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Soft Computing Models in Industrial and Environmental Applications, 2015

iaBastos: An Intelligent Marketplace for Agricultural Products.

[BibT_eX]

[DOI]

David Solís Martín

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection, 2015

Extracting emergent knowledge about the socioeconomic urban contexts.

[BibT_eX]

[DOI]

Jaime de Miguel-Rodríguez

Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, 2015

Modeling Lexicon Emergence as Concept Emergence in Networks.

[BibT_eX]

[DOI]

María-José Hidalgo-Doblado

Proceedings of the Second International Afro-European Conference for Industrial Advancement, 2015

2014

Formally Verified Tableau-Based Reasoners for a Description Logic.

[BibT_eX]

[DOI]

Francisco-Jesús Martín-Mateos

José-Luis Ruiz-Reina

J. Autom. Reason., 2014

Discovering New Sentiments from the Social Web.

[BibT_eX]

[DOI]

CoRR, 2014

Specifying and Verifying Meta-Security by Means of Semantic Web Methods.

[BibT_eX]

[DOI]

José Luis Pro-Martín

Virginia Matos-Arana

Proceedings of the International Joint Conference SOCO'14-CISIS'14-ICEUTE'14, 2014

Emergent Concepts on Knowledge Intensive Processes.

[BibT_eX]

[DOI]

Antonio Jiménez-Mavillard

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2014

Extending Qualitative Spatial Theories with Emergent Spatial Concepts - An Automated Reasoning Approach.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Artificial Intelligence Systems - 9th International Conference, 2014

2013

Agent-mediated shared conceptualizations in tagging services.

[BibT_eX]

[DOI]

Jesús Giráldez-Cru

Multim. Tools Appl., 2013

Complex concept lattices for simulating human prediction in sport.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2013

Qualitative Reasoning on Complex Systems from Observations.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Artificial Intelligent Systems - 8th International Conference, 2013

2012

Semantic Geodemography and Urban Interoperability.

[BibT_eX]

[DOI]

Mónica A. Martín-Pérez

José A. Zamora-Aguilera

Proceedings of the Metadata and Semantics Research - 6th Research Conference, 2012

On the Complexity of Shared Conceptualizations.

[BibT_eX]

[DOI]

Jesús Giráldez-Cru

Proceedings of the Artificial Intelligence and Soft Computing, 2012

Conceptual-based Reasoning in Mobile Web 2.0 by Means Multiagent Systems - Knowledge Engineering Notes.

[BibT_eX]

Jesús Giráldez-Cru

Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 2, 2012

Repairing conceptual relations in ontologies by means of an interactive visual reasoning: Cognitive and design principles.

[BibT_eX]

[DOI]

Proceedings of the IEEE 3rd International Conference on Cognitive Infocommunications, 2012

Simulating Language Dynamics by Means of Concept Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Bio-Inspired Models of Network, Information, and Computing Systems, 2012

2011

Selecting Attributes for Sport Forecasting using Formal Concept Analysis

[BibT_eX]

[DOI]

CoRR, 2011

Confidence-Based Reasoning with Local Temporal Formal Contexts.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2011

Bounded Rationality for Data Reasoning Based on Formal Concept Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2011 Database and Expert Systems Applications, 2011

2010

Social Ontology Documentation for Knowledge Externalization.

[BibT_eX]

[DOI]

Antonio Jiménez-Mavillard

Proceedings of the Metadata and Semantic Research - 4th International Conference, 2010

Reconciling Knowledge in Social Tagging Web Services.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Artificial Intelligence Systems, 5th International Conference, 2010

Mereotopological Analysis of Formal Concepts in Security Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Computational Intelligence in Security for Information Systems 2010, 2010

2009

Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations.

[BibT_eX]

[DOI]

María Magdalena Fernández-Lebrón

Proceedings of the Intelligent Computer Mathematics, 2009

Toward Semantic Mobile Web 2.0 through Multiagent Systems.

[BibT_eX]

[DOI]

Fernando Gómez-Marín

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2009

2008

Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty Reasoning for the Semantic Web I, 2008

2007

A Formally Verified Prover for the <i>ALC</i> Description Logic.

[BibT_eX]

[DOI]

José-Antonio Alonso

Francisco-Jesús Martín-Mateos

María-José Hidalgo

José-Luis Ruiz-Reina

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2007

2006

Foundational Challenges in Automated Semantic Web Data and Ontology Cleaning.

[BibT_eX]

[DOI]

Francisco-Jesús Martín-Mateos

IEEE Intell. Syst., 2006

Visual Ontology Cleaning: Cognitive Principles and Applicability.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2006

2005

Controlling Ontology Extension by Uncertain Concepts through Cognitive Entropy.

[BibT_eX]

Proceedings of the International Semantic Web Conference, 2005

Extension of Ontologies Assisted by Automated Reasoning Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2005

Logic Databases and Inconsistency Handling.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Technologies and Applications, 2005

2004

Ontology Cleaning by Mereotopological Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August, 2004

2003

Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases.

[BibT_eX]

[DOI]

Jorge D. Navarro-Marín

Proceedings of the Developments in Applied Artificial Intelligence, 2003

Generalizing Programs vis Subsumption.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2003

2002

A Quasi-Metric for Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2002

2000

A Topological Study of the Upward Refinement Operators in ILP.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming, 10th International Conference, 2000

1996

On Overspill Principles and Axiom Schemes for Bounded Formulas.

[BibT_eX]

[DOI]