scientific article; zbMATH DE number 1304333

MaRDI QIDQ4251064zbMATH OpenFDO

Authors Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino

Publication date 7 November 1999

zbMATH Keywords

characteristic modelsdifference of Horn theoriesHorn approximationHorn CNFsHorn coresintractabilityknowledge baseknowledge compilationmodel-based representationpolynomial time algorithmstheory change

Mathematics Subject Classification ID

Logic in computer science (03B70) Knowledge representation (68T30)

Recommendations

• Disjunctions of Horn theories and their cores
• scientific article; zbMATH DE number 1303023
• Computing intersections of Horn theories for reasoning with models

Cited in

(7)

• Computing intersections of Horn theories for reasoning with models
• Horn approximations of empirical data
• Inter-definability of Horn contraction and Horn revision
• Disjunctions of Horn theories and their cores
• scientific article; zbMATH DE number 4033146 (Why is no real title available?)
• scientific article; zbMATH DE number 1303023 (Why is no real title available?)
• On the difference of Horn theories

This page was built for publication:

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