Keywords: تدوین دانش; Knowledge compilation; Model counting; Logic;
مقالات ISI تدوین دانش (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تدوین دانش; Knowledge compilation; Probabilistic inference; Weighted model counting; Bayesian networks; Binary decision diagrams;
Keywords: تدوین دانش; Knowledge representation; Knowledge compilation; Computational complexity
Keywords: تدوین دانش; Probabilistic graphical models; Dynamic Bayesian Networks; Probabilistic inference; Knowledge compilation
Recognition of tractable DNFs representable by a constant number of intervals
Keywords: تدوین دانش; Knowledge compilation; Interval Boolean functions; Disjunctive normal forms;
TP-Compilation for inference in probabilistic logic programs
Keywords: تدوین دانش; Probabilistic inference; Knowledge compilation; Probabilistic logic programs; Dynamic relational models;
Complexity issues related to propagation completeness
Keywords: تدوین دانش; Boolean functions; Satisfiability; Knowledge compilation; Empowering implicates; Unit propagation; Propagation completeness
First order LUB approximations: characterization and algorithms
Keywords: تدوین دانش; Approximation; Reformulation; Knowledge compilation; Resolution theorem proving; Automated reasoning; First order logic;