Informational logic as a tool for automated reasoning

DOI10.1023/A:1005905025531zbMath0893.68148OpenAlexW1563883583MaRDI QIDQ1382161

Maria Teresa Molfino, Paolo Gentilini, Paolo Forcheri

Publication date: 24 August 1998

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005905025531

zbMATH Keywords

automated reasoningknowledge representationinformational logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (2)

Paraconsistent informational logic ⋮ Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework

This page was built for publication: Informational logic as a tool for automated reasoning