-
Kaminski, R.; Schaub, T.; Wanko, P.: ¬A tutorial on hybrid answer set solving with clingo (2017)
0.20
0.1988737 = sum of:
0.1988737 = product of:
0.7102632 = sum of:
0.039467737 = weight(abstract_txt:become in 3937) [ClassicSimilarity], result of:
0.039467737 = score(doc=3937,freq=1.0), product of:
0.1256087 = queryWeight, product of:
1.1583928 = boost
5.027389 = idf(docFreq=787, maxDocs=44218)
0.02156857 = queryNorm
0.31421182 = fieldWeight in 3937, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
5.027389 = idf(docFreq=787, maxDocs=44218)
0.0625 = fieldNorm(doc=3937)
0.061117746 = weight(abstract_txt:changing in 3937) [ClassicSimilarity], result of:
0.061117746 = score(doc=3937,freq=1.0), product of:
0.16812661 = queryWeight, product of:
1.3401834 = boost
5.8163543 = idf(docFreq=357, maxDocs=44218)
0.02156857 = queryNorm
0.36352214 = fieldWeight in 3937, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
5.8163543 = idf(docFreq=357, maxDocs=44218)
0.0625 = fieldNorm(doc=3937)
0.16123337 = weight(abstract_txt:reasoning in 3937) [ClassicSimilarity], result of:
0.16123337 = score(doc=3937,freq=4.0), product of:
0.20221259 = queryWeight, product of:
1.4697725 = boost
6.378767 = idf(docFreq=203, maxDocs=44218)
0.02156857 = queryNorm
0.7973459 = fieldWeight in 3937, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
6.378767 = idf(docFreq=203, maxDocs=44218)
0.0625 = fieldNorm(doc=3937)
0.19460282 = weight(abstract_txt:solving in 3937) [ClassicSimilarity], result of:
0.19460282 = score(doc=3937,freq=5.0), product of:
0.21279804 = queryWeight, product of:
1.5077517 = boost
6.543596 = idf(docFreq=172, maxDocs=44218)
0.02156857 = queryNorm
0.91449535 = fieldWeight in 3937, product of:
2.236068 = tf(freq=5.0), with freq of:
5.0 = termFreq=5.0
6.543596 = idf(docFreq=172, maxDocs=44218)
0.0625 = fieldNorm(doc=3937)
0.03939743 = weight(abstract_txt:knowledge in 3937) [ClassicSimilarity], result of:
0.03939743 = score(doc=3937,freq=2.0), product of:
0.12545948 = queryWeight, product of:
1.6372415 = boost
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.02156857 = queryNorm
0.31402513 = fieldWeight in 3937, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.0625 = fieldNorm(doc=3937)
0.14542846 = weight(abstract_txt:continuously in 3937) [ClassicSimilarity], result of:
0.14542846 = score(doc=3937,freq=1.0), product of:
0.29965705 = queryWeight, product of:
1.7891973 = boost
7.7650614 = idf(docFreq=50, maxDocs=44218)
0.02156857 = queryNorm
0.48531634 = fieldWeight in 3937, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
7.7650614 = idf(docFreq=50, maxDocs=44218)
0.0625 = fieldNorm(doc=3937)
0.0690156 = weight(abstract_txt:case in 3937) [ClassicSimilarity], result of:
0.0690156 = score(doc=3937,freq=1.0), product of:
0.22970286 = queryWeight, product of:
2.2153594 = boost
4.807296 = idf(docFreq=981, maxDocs=44218)
0.02156857 = queryNorm
0.300456 = fieldWeight in 3937, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.807296 = idf(docFreq=981, maxDocs=44218)
0.0625 = fieldNorm(doc=3937)
0.28 = coord(7/25)
-
Li, L.X.; Xu, L.D.: Knowledge-based problem solving (2002)
0.15
0.14604686 = sum of:
0.14604686 = product of:
0.6085286 = sum of:
0.076275915 = weight(abstract_txt:problem in 4259) [ClassicSimilarity], result of:
0.076275915 = score(doc=4259,freq=10.0), product of:
0.098880604 = queryWeight, product of:
1.0277833 = boost
4.460548 = idf(docFreq=1388, maxDocs=44218)
0.02156857 = queryNorm
0.7713941 = fieldWeight in 4259, product of:
3.1622777 = tf(freq=10.0), with freq of:
10.0 = termFreq=10.0
4.460548 = idf(docFreq=1388, maxDocs=44218)
0.0546875 = fieldNorm(doc=4259)
0.05347803 = weight(abstract_txt:changing in 4259) [ClassicSimilarity], result of:
0.05347803 = score(doc=4259,freq=1.0), product of:
0.16812661 = queryWeight, product of:
1.3401834 = boost
5.8163543 = idf(docFreq=357, maxDocs=44218)
0.02156857 = queryNorm
0.3180819 = fieldWeight in 4259, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
5.8163543 = idf(docFreq=357, maxDocs=44218)
0.0546875 = fieldNorm(doc=4259)
0.06267684 = weight(abstract_txt:enables in 4259) [ClassicSimilarity], result of:
0.06267684 = score(doc=4259,freq=1.0), product of:
0.18689209 = queryWeight, product of:
1.4129977 = boost
6.1323667 = idf(docFreq=260, maxDocs=44218)
0.02156857 = queryNorm
0.3353638 = fieldWeight in 4259, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.1323667 = idf(docFreq=260, maxDocs=44218)
0.0546875 = fieldNorm(doc=4259)
0.09975806 = weight(abstract_txt:reasoning in 4259) [ClassicSimilarity], result of:
0.09975806 = score(doc=4259,freq=2.0), product of:
0.20221259 = queryWeight, product of:
1.4697725 = boost
6.378767 = idf(docFreq=203, maxDocs=44218)
0.02156857 = queryNorm
0.4933326 = fieldWeight in 4259, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
6.378767 = idf(docFreq=203, maxDocs=44218)
0.0546875 = fieldNorm(doc=4259)
0.22845119 = weight(abstract_txt:solving in 4259) [ClassicSimilarity], result of:
0.22845119 = score(doc=4259,freq=9.0), product of:
0.21279804 = queryWeight, product of:
1.5077517 = boost
6.543596 = idf(docFreq=172, maxDocs=44218)
0.02156857 = queryNorm
1.0735587 = fieldWeight in 4259, product of:
3.0 = tf(freq=9.0), with freq of:
9.0 = termFreq=9.0
6.543596 = idf(docFreq=172, maxDocs=44218)
0.0546875 = fieldNorm(doc=4259)
0.08788861 = weight(abstract_txt:knowledge in 4259) [ClassicSimilarity], result of:
0.08788861 = score(doc=4259,freq=13.0), product of:
0.12545948 = queryWeight, product of:
1.6372415 = boost
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.02156857 = queryNorm
0.70053387 = fieldWeight in 4259, product of:
3.6055512 = tf(freq=13.0), with freq of:
13.0 = termFreq=13.0
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.0546875 = fieldNorm(doc=4259)
0.24 = coord(6/25)
-
Chen, H.; Baptista Nunes, J.M.; Ragsdell, G.; An, X.: Somatic and cultural knowledge : drivers of a habitus-driven model of tacit knowledge acquisition (2019)
0.13
0.13387232 = sum of:
0.13387232 = product of:
0.418351 = sum of:
0.015869187 = weight(abstract_txt:context in 5460) [ClassicSimilarity], result of:
0.015869187 = score(doc=5460,freq=1.0), product of:
0.09360693 = queryWeight, product of:
4.339969 = idf(docFreq=1566, maxDocs=44218)
0.02156857 = queryNorm
0.16953005 = fieldWeight in 5460, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.339969 = idf(docFreq=1566, maxDocs=44218)
0.0390625 = fieldNorm(doc=5460)
0.019337459 = weight(abstract_txt:environment in 5460) [ClassicSimilarity], result of:
0.019337459 = score(doc=5460,freq=1.0), product of:
0.10679178 = queryWeight, product of:
1.0681074 = boost
4.635553 = idf(docFreq=1165, maxDocs=44218)
0.02156857 = queryNorm
0.18107629 = fieldWeight in 5460, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.635553 = idf(docFreq=1165, maxDocs=44218)
0.0390625 = fieldNorm(doc=5460)
0.038198594 = weight(abstract_txt:changing in 5460) [ClassicSimilarity], result of:
0.038198594 = score(doc=5460,freq=1.0), product of:
0.16812661 = queryWeight, product of:
1.3401834 = boost
5.8163543 = idf(docFreq=357, maxDocs=44218)
0.02156857 = queryNorm
0.22720134 = fieldWeight in 5460, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
5.8163543 = idf(docFreq=357, maxDocs=44218)
0.0390625 = fieldNorm(doc=5460)
0.057013527 = weight(abstract_txt:intensive in 5460) [ClassicSimilarity], result of:
0.057013527 = score(doc=5460,freq=1.0), product of:
0.21957867 = queryWeight, product of:
1.5315849 = boost
6.6470313 = idf(docFreq=155, maxDocs=44218)
0.02156857 = queryNorm
0.25964966 = fieldWeight in 5460, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.6470313 = idf(docFreq=155, maxDocs=44218)
0.0390625 = fieldNorm(doc=5460)
0.0670089 = weight(abstract_txt:adapt in 5460) [ClassicSimilarity], result of:
0.0670089 = score(doc=5460,freq=1.0), product of:
0.24454561 = queryWeight, product of:
1.6163148 = boost
7.014756 = idf(docFreq=107, maxDocs=44218)
0.02156857 = queryNorm
0.2740139 = fieldWeight in 5460, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
7.014756 = idf(docFreq=107, maxDocs=44218)
0.0390625 = fieldNorm(doc=5460)
0.049246788 = weight(abstract_txt:knowledge in 5460) [ClassicSimilarity], result of:
0.049246788 = score(doc=5460,freq=8.0), product of:
0.12545948 = queryWeight, product of:
1.6372415 = boost
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.02156857 = queryNorm
0.39253142 = fieldWeight in 5460, product of:
2.828427 = tf(freq=8.0), with freq of:
8.0 = termFreq=8.0
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.0390625 = fieldNorm(doc=5460)
0.12854181 = weight(abstract_txt:continuously in 5460) [ClassicSimilarity], result of:
0.12854181 = score(doc=5460,freq=2.0), product of:
0.29965705 = queryWeight, product of:
1.7891973 = boost
7.7650614 = idf(docFreq=50, maxDocs=44218)
0.02156857 = queryNorm
0.42896307 = fieldWeight in 5460, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
7.7650614 = idf(docFreq=50, maxDocs=44218)
0.0390625 = fieldNorm(doc=5460)
0.043134753 = weight(abstract_txt:case in 5460) [ClassicSimilarity], result of:
0.043134753 = score(doc=5460,freq=1.0), product of:
0.22970286 = queryWeight, product of:
2.2153594 = boost
4.807296 = idf(docFreq=981, maxDocs=44218)
0.02156857 = queryNorm
0.187785 = fieldWeight in 5460, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.807296 = idf(docFreq=981, maxDocs=44218)
0.0390625 = fieldNorm(doc=5460)
0.32 = coord(8/25)
-
Giunchiglia, F.; Maltese, V.; Dutta, B.: Domains and context : first steps towards managing diversity in knowledge (2011)
0.12
0.120304756 = sum of:
0.120304756 = product of:
0.5012698 = sum of:
0.04397798 = weight(abstract_txt:context in 603) [ClassicSimilarity], result of:
0.04397798 = score(doc=603,freq=3.0), product of:
0.09360693 = queryWeight, product of:
4.339969 = idf(docFreq=1566, maxDocs=44218)
0.02156857 = queryNorm
0.46981543 = fieldWeight in 603, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
4.339969 = idf(docFreq=1566, maxDocs=44218)
0.0625 = fieldNorm(doc=603)
0.05513271 = weight(abstract_txt:problem in 603) [ClassicSimilarity], result of:
0.05513271 = score(doc=603,freq=4.0), product of:
0.098880604 = queryWeight, product of:
1.0277833 = boost
4.460548 = idf(docFreq=1388, maxDocs=44218)
0.02156857 = queryNorm
0.5575685 = fieldWeight in 603, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
4.460548 = idf(docFreq=1388, maxDocs=44218)
0.0625 = fieldNorm(doc=603)
0.11400921 = weight(abstract_txt:reasoning in 603) [ClassicSimilarity], result of:
0.11400921 = score(doc=603,freq=2.0), product of:
0.20221259 = queryWeight, product of:
1.4697725 = boost
6.378767 = idf(docFreq=203, maxDocs=44218)
0.02156857 = queryNorm
0.5638087 = fieldWeight in 603, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
6.378767 = idf(docFreq=203, maxDocs=44218)
0.0625 = fieldNorm(doc=603)
0.07370584 = weight(abstract_txt:knowledge in 603) [ClassicSimilarity], result of:
0.07370584 = score(doc=603,freq=7.0), product of:
0.12545948 = queryWeight, product of:
1.6372415 = boost
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.02156857 = queryNorm
0.5874872 = fieldWeight in 603, product of:
2.6457512 = tf(freq=7.0), with freq of:
7.0 = termFreq=7.0
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.0625 = fieldNorm(doc=603)
0.14542846 = weight(abstract_txt:continuously in 603) [ClassicSimilarity], result of:
0.14542846 = score(doc=603,freq=1.0), product of:
0.29965705 = queryWeight, product of:
1.7891973 = boost
7.7650614 = idf(docFreq=50, maxDocs=44218)
0.02156857 = queryNorm
0.48531634 = fieldWeight in 603, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
7.7650614 = idf(docFreq=50, maxDocs=44218)
0.0625 = fieldNorm(doc=603)
0.0690156 = weight(abstract_txt:case in 603) [ClassicSimilarity], result of:
0.0690156 = score(doc=603,freq=1.0), product of:
0.22970286 = queryWeight, product of:
2.2153594 = boost
4.807296 = idf(docFreq=981, maxDocs=44218)
0.02156857 = queryNorm
0.300456 = fieldWeight in 603, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.807296 = idf(docFreq=981, maxDocs=44218)
0.0625 = fieldNorm(doc=603)
0.24 = coord(6/25)
-
Ohly, H.P.: Knowledge-based systems : another data approach for social scientists (1993)
0.12
0.11795902 = sum of:
0.11795902 = product of:
0.49149594 = sum of:
0.039105408 = weight(abstract_txt:support in 7462) [ClassicSimilarity], result of:
0.039105408 = score(doc=7462,freq=1.0), product of:
0.0952698 = queryWeight, product of:
1.0088431 = boost
4.378348 = idf(docFreq=1507, maxDocs=44218)
0.02156857 = queryNorm
0.41047013 = fieldWeight in 7462, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.378348 = idf(docFreq=1507, maxDocs=44218)
0.09375 = fieldNorm(doc=7462)
0.08216625 = weight(abstract_txt:decision in 7462) [ClassicSimilarity], result of:
0.08216625 = score(doc=7462,freq=1.0), product of:
0.15628825 = queryWeight, product of:
1.2921388 = boost
5.6078424 = idf(docFreq=440, maxDocs=44218)
0.02156857 = queryNorm
0.52573526 = fieldWeight in 7462, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
5.6078424 = idf(docFreq=440, maxDocs=44218)
0.09375 = fieldNorm(doc=7462)
0.11956217 = weight(abstract_txt:cases in 7462) [ClassicSimilarity], result of:
0.11956217 = score(doc=7462,freq=2.0), product of:
0.15928806 = queryWeight, product of:
1.3044806 = boost
5.6614056 = idf(docFreq=417, maxDocs=44218)
0.02156857 = queryNorm
0.75060344 = fieldWeight in 7462, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
5.6614056 = idf(docFreq=417, maxDocs=44218)
0.09375 = fieldNorm(doc=7462)
0.08804256 = weight(abstract_txt:studied in 7462) [ClassicSimilarity], result of:
0.08804256 = score(doc=7462,freq=1.0), product of:
0.1636537 = queryWeight, product of:
1.3222358 = boost
5.7384624 = idf(docFreq=386, maxDocs=44218)
0.02156857 = queryNorm
0.53798085 = fieldWeight in 7462, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
5.7384624 = idf(docFreq=386, maxDocs=44218)
0.09375 = fieldNorm(doc=7462)
0.059096143 = weight(abstract_txt:knowledge in 7462) [ClassicSimilarity], result of:
0.059096143 = score(doc=7462,freq=2.0), product of:
0.12545948 = queryWeight, product of:
1.6372415 = boost
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.02156857 = queryNorm
0.4710377 = fieldWeight in 7462, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5527887 = idf(docFreq=3442, maxDocs=44218)
0.09375 = fieldNorm(doc=7462)
0.103523396 = weight(abstract_txt:case in 7462) [ClassicSimilarity], result of:
0.103523396 = score(doc=7462,freq=1.0), product of:
0.22970286 = queryWeight, product of:
2.2153594 = boost
4.807296 = idf(docFreq=981, maxDocs=44218)
0.02156857 = queryNorm
0.45068398 = fieldWeight in 7462, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.807296 = idf(docFreq=981, maxDocs=44218)
0.09375 = fieldNorm(doc=7462)
0.24 = coord(6/25)