Simplification logic for the management of unknown information

DOI10.1016/j.ins.2023.03.015OpenAlexW4323671132MaRDI QIDQ6127881

Ángel Mora, Francisco Pérez-Gámez, Manuel Enciso, Pablo Cordero

Publication date: 14 April 2024

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2023.03.015

zbMATH Keywords

automated reasoningformal concept analysisimplicationssimplification logicunknown information

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: Simplification logic for the management of unknown information