Two-face Horn extensions

DOI10.1007/3-540-63890-3_13MaRDI QIDQ4370203zbMATH OpenFDO

Authors Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino

Publication date 1 April 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63890-3_13

zbMATH Keywords

abductionexpert systemsHorn functionHorn rulespartially defined Boolean function

Mathematics Subject Classification ID

Boolean functions (06E30) Analysis of algorithms and problem complexity (68Q25) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Bidual Horn functions and extensions
• Horn Extensions of a Partially Defined Boolean Function
• Double Horn functions
• On disguised double Horn functions and extensions

Cited in

(4)

• Double Horn functions
• Horn Extensions of a Partially Defined Boolean Function
• On disguised double Horn functions and extensions
• Decision lists and related Boolean functions

This page was built for publication: Two-face Horn extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4370203)