TY - CHAP
T1 - On approximate knowledge compilation with weighted decision diagrams
AU - Heling-Tveretina, O.
AU - Provan, G.
PY - 2007
Y1 - 2007
N2 - Computational efficiency is a central concern in the design of knowledge representation systems. Despite the tremendous progress in developing solution techniques for dealing with large constraint satisfaction problems, there will be always problems that are too large for the very powerful techniques. Decision Diagrams (DDs) is one of the standard approaches for representing a problem in a more compact way. In this paper we propose an approach for approximate knowledge compilation with Weighted Decision Diagrams.
AB - Computational efficiency is a central concern in the design of knowledge representation systems. Despite the tremendous progress in developing solution techniques for dealing with large constraint satisfaction problems, there will be always problems that are too large for the very powerful techniques. Decision Diagrams (DDs) is one of the standard approaches for representing a problem in a more compact way. In this paper we propose an approach for approximate knowledge compilation with Weighted Decision Diagrams.
KW - Approximate compilation
KW - Constraint satisfaction problem
KW - Weighted decision diagrams
UR - https://www.scopus.com/pages/publications/84866509099
M3 - Chapter
AN - SCOPUS:84866509099
SN - 9781601320254
T3 - Proceedings of the 2007 International Conference on Artificial Intelligence, ICAI 2007
SP - 470
EP - 475
BT - Proceedings of the 2007 International Conference on Artificial Intelligence, ICAI 2007
T2 - 2007 International Conference on Artificial Intelligence, ICAI 2007
Y2 - 25 June 2007 through 28 June 2007
ER -