Joaquín Borrego-Díaz

From MaRDI portal
Person:394435

Available identifiers

zbMath Open borrego-diaz.joaquinMaRDI QIDQ394435

List of research outcomes





PublicationDate of PublicationType
FCA-based reasoning for privacy2024-11-15Paper
Algebraic combinatorics in bounded induction2020-12-15Paper
A model of three-way decisions for knowledge harnessing2020-04-06Paper
A logic-algebraic tool for reasoning with knowledge-based systems2018-11-01Paper
Formally verified tableau-based reasoners for a description logic2015-06-23Paper
Complex concept lattices for simulating human prediction in sport2014-01-27Paper
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations2009-07-09Paper
A Formally Verified Prover for the $\mathcal{ALC\,}$ Description Logic2008-09-02Paper
Computer Aided Systems Theory – EUROCAST 20052006-11-01Paper
https://portal.mardi4nfdi.de/entity/Q44509552004-02-16Paper
https://portal.mardi4nfdi.de/entity/Q44221202003-09-03Paper
On Overspill Principles and Axiom Schemes for Bounded Formulas1997-02-24Paper

Research outcomes over time

This page was built for person: Joaquín Borrego-Díaz

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:394435&oldid=6977237"
Powered by MediaWiki