Publication:4251064
From MaRDI portal
zbMath0924.03043MaRDI QIDQ4251064
Toshihide Ibaraki, Kazuhisa Makino, Thomas Eiter
Publication date: 7 November 1999
intractability; theory change; knowledge base; polynomial time algorithms; knowledge compilation; characteristic models; Horn approximation; Horn CNFs; difference of Horn theories; Horn cores; model-based representation
Related Items