A Splitting Algorithm Based on Soft Constraints for the Computation of Truth Degree in Quantitative Logic

DOI10.1007/978-3-642-15660-1_16zbMath1253.68302OpenAlexW64556315MaRDI QIDQ3145830

No author found.

Publication date: 14 December 2012

Published in: Quantitative Logic and Soft Computing 2010 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15660-1_16

zbMATH Keywords

constraint solvingsplitting algorithmmodel countingquantitative logictruth degreesoft constraint

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

This page was built for publication: A Splitting Algorithm Based on Soft Constraints for the Computation of Truth Degree in Quantitative Logic