-
Kaminski, R.; Schaub, T.; Wanko, P.: ¬A tutorial on hybrid answer set solving with clingo (2017)
0.20
0.19806433 = sum of:
0.19806433 = product of:
0.7073726 = sum of:
0.039381865 = weight(abstract_txt:become in 4937) [ClassicSimilarity], result of:
0.039381865 = score(doc=4937,freq=1.0), product of:
0.12550457 = queryWeight, product of:
1.1586578 = boost
5.0206127 = idf(docFreq=796, maxDocs=44421)
0.021574842 = queryNorm
0.3137883 = fieldWeight in 4937, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
5.0206127 = idf(docFreq=796, maxDocs=44421)
0.0625 = fieldNorm(doc=4937)
0.06120075 = weight(abstract_txt:changing in 4937) [ClassicSimilarity], result of:
0.06120075 = score(doc=4937,freq=1.0), product of:
0.16838363 = queryWeight, product of:
1.3420706 = boost
5.8153634 = idf(docFreq=359, maxDocs=44421)
0.021574842 = queryNorm
0.3634602 = fieldWeight in 4937, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
5.8153634 = idf(docFreq=359, maxDocs=44421)
0.0625 = fieldNorm(doc=4937)
0.15862074 = weight(abstract_txt:reasoning in 4937) [ClassicSimilarity], result of:
0.15862074 = score(doc=4937,freq=4.0), product of:
0.20014681 = queryWeight, product of:
1.4631867 = boost
6.3401756 = idf(docFreq=212, maxDocs=44421)
0.021574842 = queryNorm
0.79252195 = fieldWeight in 4937, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
6.3401756 = idf(docFreq=212, maxDocs=44421)
0.0625 = fieldNorm(doc=4937)
0.19434938 = weight(abstract_txt:solving in 4937) [ClassicSimilarity], result of:
0.19434938 = score(doc=4937,freq=5.0), product of:
0.2127457 = queryWeight, product of:
1.5085365 = boost
6.5366817 = idf(docFreq=174, maxDocs=44421)
0.021574842 = queryNorm
0.91352904 = fieldWeight in 4937, product of:
2.236068 = tf(freq=5.0), with freq of:
5.0 = termFreq=5.0
6.5366817 = idf(docFreq=174, maxDocs=44421)
0.0625 = fieldNorm(doc=4937)
0.03925831 = weight(abstract_txt:knowledge in 4937) [ClassicSimilarity], result of:
0.03925831 = score(doc=4937,freq=2.0), product of:
0.12524194 = queryWeight, product of:
1.6368742 = boost
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.021574842 = queryNorm
0.31345978 = fieldWeight in 4937, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.0625 = fieldNorm(doc=4937)
0.14595841 = weight(abstract_txt:continuously in 4937) [ClassicSimilarity], result of:
0.14595841 = score(doc=4937,freq=1.0), product of:
0.3005717 = queryWeight, product of:
1.7930793 = boost
7.769642 = idf(docFreq=50, maxDocs=44421)
0.021574842 = queryNorm
0.48560262 = fieldWeight in 4937, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
7.769642 = idf(docFreq=50, maxDocs=44421)
0.0625 = fieldNorm(doc=4937)
0.06860314 = weight(abstract_txt:case in 4937) [ClassicSimilarity], result of:
0.06860314 = score(doc=4937,freq=1.0), product of:
0.2289293 = queryWeight, product of:
2.2130494 = boost
4.794713 = idf(docFreq=998, maxDocs=44421)
0.021574842 = queryNorm
0.29966956 = fieldWeight in 4937, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.794713 = idf(docFreq=998, maxDocs=44421)
0.0625 = fieldNorm(doc=4937)
0.28 = coord(7/25)
-
Li, L.X.; Xu, L.D.: Knowledge-based problem solving (2002)
0.15
0.14558406 = sum of:
0.14558406 = product of:
0.6066003 = sum of:
0.07635882 = weight(abstract_txt:problem in 5259) [ClassicSimilarity], result of:
0.07635882 = score(doc=5259,freq=10.0), product of:
0.09901389 = queryWeight, product of:
1.0291377 = boost
4.4593854 = idf(docFreq=1396, maxDocs=44421)
0.021574842 = queryNorm
0.771193 = fieldWeight in 5259, product of:
3.1622777 = tf(freq=10.0), with freq of:
10.0 = termFreq=10.0
4.4593854 = idf(docFreq=1396, maxDocs=44421)
0.0546875 = fieldNorm(doc=5259)
0.053550653 = weight(abstract_txt:changing in 5259) [ClassicSimilarity], result of:
0.053550653 = score(doc=5259,freq=1.0), product of:
0.16838363 = queryWeight, product of:
1.3420706 = boost
5.8153634 = idf(docFreq=359, maxDocs=44421)
0.021574842 = queryNorm
0.31802768 = fieldWeight in 5259, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
5.8153634 = idf(docFreq=359, maxDocs=44421)
0.0546875 = fieldNorm(doc=5259)
0.06281729 = weight(abstract_txt:enables in 5259) [ClassicSimilarity], result of:
0.06281729 = score(doc=5259,freq=1.0), product of:
0.18728778 = queryWeight, product of:
1.4154031 = boost
6.133123 = idf(docFreq=261, maxDocs=44421)
0.021574842 = queryNorm
0.33540517 = fieldWeight in 5259, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.133123 = idf(docFreq=261, maxDocs=44421)
0.0546875 = fieldNorm(doc=5259)
0.09814157 = weight(abstract_txt:reasoning in 5259) [ClassicSimilarity], result of:
0.09814157 = score(doc=5259,freq=2.0), product of:
0.20014681 = queryWeight, product of:
1.4631867 = boost
6.3401756 = idf(docFreq=212, maxDocs=44421)
0.021574842 = queryNorm
0.49034792 = fieldWeight in 5259, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
6.3401756 = idf(docFreq=212, maxDocs=44421)
0.0546875 = fieldNorm(doc=5259)
0.22815365 = weight(abstract_txt:solving in 5259) [ClassicSimilarity], result of:
0.22815365 = score(doc=5259,freq=9.0), product of:
0.2127457 = queryWeight, product of:
1.5085365 = boost
6.5366817 = idf(docFreq=174, maxDocs=44421)
0.021574842 = queryNorm
1.0724243 = fieldWeight in 5259, product of:
3.0 = tf(freq=9.0), with freq of:
9.0 = termFreq=9.0
6.5366817 = idf(docFreq=174, maxDocs=44421)
0.0546875 = fieldNorm(doc=5259)
0.08757827 = weight(abstract_txt:knowledge in 5259) [ClassicSimilarity], result of:
0.08757827 = score(doc=5259,freq=13.0), product of:
0.12524194 = queryWeight, product of:
1.6368742 = boost
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.021574842 = queryNorm
0.6992727 = fieldWeight in 5259, product of:
3.6055512 = tf(freq=13.0), with freq of:
13.0 = termFreq=13.0
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.0546875 = fieldNorm(doc=5259)
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.13383445 = sum of:
0.13383445 = product of:
0.41823268 = sum of:
0.015823796 = weight(abstract_txt:context in 460) [ClassicSimilarity], result of:
0.015823796 = score(doc=460,freq=1.0), product of:
0.09348655 = queryWeight, product of:
4.333128 = idf(docFreq=1584, maxDocs=44421)
0.021574842 = queryNorm
0.16926281 = fieldWeight in 460, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.333128 = idf(docFreq=1584, maxDocs=44421)
0.0390625 = fieldNorm(doc=460)
0.01934533 = weight(abstract_txt:environment in 460) [ClassicSimilarity], result of:
0.01934533 = score(doc=460,freq=1.0), product of:
0.1068873 = queryWeight, product of:
1.0692728 = boost
4.6332955 = idf(docFreq=1173, maxDocs=44421)
0.021574842 = queryNorm
0.1809881 = fieldWeight in 460, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.6332955 = idf(docFreq=1173, maxDocs=44421)
0.0390625 = fieldNorm(doc=460)
0.03825047 = weight(abstract_txt:changing in 460) [ClassicSimilarity], result of:
0.03825047 = score(doc=460,freq=1.0), product of:
0.16838363 = queryWeight, product of:
1.3420706 = boost
5.8153634 = idf(docFreq=359, maxDocs=44421)
0.021574842 = queryNorm
0.22716263 = fieldWeight in 460, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
5.8153634 = idf(docFreq=359, maxDocs=44421)
0.0390625 = fieldNorm(doc=460)
0.056587197 = weight(abstract_txt:intensive in 460) [ClassicSimilarity], result of:
0.056587197 = score(doc=460,freq=1.0), product of:
0.21861877 = queryWeight, product of:
1.5292171 = boost
6.6262937 = idf(docFreq=159, maxDocs=44421)
0.021574842 = queryNorm
0.2588396 = fieldWeight in 460, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.6262937 = idf(docFreq=159, maxDocs=44421)
0.0390625 = fieldNorm(doc=460)
0.06726579 = weight(abstract_txt:adapt in 460) [ClassicSimilarity], result of:
0.06726579 = score(doc=460,freq=1.0), product of:
0.24532296 = queryWeight, product of:
1.6199236 = boost
7.019336 = idf(docFreq=107, maxDocs=44421)
0.021574842 = queryNorm
0.2741928 = fieldWeight in 460, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
7.019336 = idf(docFreq=107, maxDocs=44421)
0.0390625 = fieldNorm(doc=460)
0.049072888 = weight(abstract_txt:knowledge in 460) [ClassicSimilarity], result of:
0.049072888 = score(doc=460,freq=8.0), product of:
0.12524194 = queryWeight, product of:
1.6368742 = boost
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.021574842 = queryNorm
0.39182472 = fieldWeight in 460, product of:
2.828427 = tf(freq=8.0), with freq of:
8.0 = termFreq=8.0
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.0390625 = fieldNorm(doc=460)
0.12901023 = weight(abstract_txt:continuously in 460) [ClassicSimilarity], result of:
0.12901023 = score(doc=460,freq=2.0), product of:
0.3005717 = queryWeight, product of:
1.7930793 = boost
7.769642 = idf(docFreq=50, maxDocs=44421)
0.021574842 = queryNorm
0.42921615 = fieldWeight in 460, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
7.769642 = idf(docFreq=50, maxDocs=44421)
0.0390625 = fieldNorm(doc=460)
0.042876963 = weight(abstract_txt:case in 460) [ClassicSimilarity], result of:
0.042876963 = score(doc=460,freq=1.0), product of:
0.2289293 = queryWeight, product of:
2.2130494 = boost
4.794713 = idf(docFreq=998, maxDocs=44421)
0.021574842 = queryNorm
0.18729347 = fieldWeight in 460, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.794713 = idf(docFreq=998, maxDocs=44421)
0.0390625 = fieldNorm(doc=460)
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.1198113 = sum of:
0.1198113 = product of:
0.49921376 = sum of:
0.043852188 = weight(abstract_txt:context in 1603) [ClassicSimilarity], result of:
0.043852188 = score(doc=1603,freq=3.0), product of:
0.09348655 = queryWeight, product of:
4.333128 = idf(docFreq=1584, maxDocs=44421)
0.021574842 = queryNorm
0.46907485 = fieldWeight in 1603, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
4.333128 = idf(docFreq=1584, maxDocs=44421)
0.0625 = fieldNorm(doc=1603)
0.055192634 = weight(abstract_txt:problem in 1603) [ClassicSimilarity], result of:
0.055192634 = score(doc=1603,freq=4.0), product of:
0.09901389 = queryWeight, product of:
1.0291377 = boost
4.4593854 = idf(docFreq=1396, maxDocs=44421)
0.021574842 = queryNorm
0.5574232 = fieldWeight in 1603, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
4.4593854 = idf(docFreq=1396, maxDocs=44421)
0.0625 = fieldNorm(doc=1603)
0.11216179 = weight(abstract_txt:reasoning in 1603) [ClassicSimilarity], result of:
0.11216179 = score(doc=1603,freq=2.0), product of:
0.20014681 = queryWeight, product of:
1.4631867 = boost
6.3401756 = idf(docFreq=212, maxDocs=44421)
0.021574842 = queryNorm
0.5603976 = fieldWeight in 1603, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
6.3401756 = idf(docFreq=212, maxDocs=44421)
0.0625 = fieldNorm(doc=1603)
0.07344557 = weight(abstract_txt:knowledge in 1603) [ClassicSimilarity], result of:
0.07344557 = score(doc=1603,freq=7.0), product of:
0.12524194 = queryWeight, product of:
1.6368742 = boost
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.021574842 = queryNorm
0.58642954 = fieldWeight in 1603, product of:
2.6457512 = tf(freq=7.0), with freq of:
7.0 = termFreq=7.0
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.0625 = fieldNorm(doc=1603)
0.14595841 = weight(abstract_txt:continuously in 1603) [ClassicSimilarity], result of:
0.14595841 = score(doc=1603,freq=1.0), product of:
0.3005717 = queryWeight, product of:
1.7930793 = boost
7.769642 = idf(docFreq=50, maxDocs=44421)
0.021574842 = queryNorm
0.48560262 = fieldWeight in 1603, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
7.769642 = idf(docFreq=50, maxDocs=44421)
0.0625 = fieldNorm(doc=1603)
0.06860314 = weight(abstract_txt:case in 1603) [ClassicSimilarity], result of:
0.06860314 = score(doc=1603,freq=1.0), product of:
0.2289293 = queryWeight, product of:
2.2130494 = boost
4.794713 = idf(docFreq=998, maxDocs=44421)
0.021574842 = queryNorm
0.29966956 = fieldWeight in 1603, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.794713 = idf(docFreq=998, maxDocs=44421)
0.0625 = fieldNorm(doc=1603)
0.24 = coord(6/25)
-
Ohly, H.P.: Knowledge-based systems : another data approach for social scientists (1993)
0.12
0.11752244 = sum of:
0.11752244 = product of:
0.48967686 = sum of:
0.039035957 = weight(abstract_txt:support in 7461) [ClassicSimilarity], result of:
0.039035957 = score(doc=7461,freq=1.0), product of:
0.09521625 = queryWeight, product of:
1.0092087 = boost
4.37303 = idf(docFreq=1522, maxDocs=44421)
0.021574842 = queryNorm
0.4099716 = fieldWeight in 7461, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.37303 = idf(docFreq=1522, maxDocs=44421)
0.09375 = fieldNorm(doc=7461)
0.08173129 = weight(abstract_txt:decision in 7461) [ClassicSimilarity], result of:
0.08173129 = score(doc=7461,freq=1.0), product of:
0.15583323 = queryWeight, product of:
1.2910869 = boost
5.5944448 = idf(docFreq=448, maxDocs=44421)
0.021574842 = queryNorm
0.5244792 = fieldWeight in 7461, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
5.5944448 = idf(docFreq=448, maxDocs=44421)
0.09375 = fieldNorm(doc=7461)
0.11917292 = weight(abstract_txt:cases in 7461) [ClassicSimilarity], result of:
0.11917292 = score(doc=7461,freq=2.0), product of:
0.15904118 = queryWeight, product of:
1.3043082 = boost
5.6517344 = idf(docFreq=423, maxDocs=44421)
0.021574842 = queryNorm
0.74932116 = fieldWeight in 7461, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
5.6517344 = idf(docFreq=423, maxDocs=44421)
0.09375 = fieldNorm(doc=7461)
0.0879445 = weight(abstract_txt:studied in 7461) [ClassicSimilarity], result of:
0.0879445 = score(doc=7461,freq=1.0), product of:
0.16363403 = queryWeight, product of:
1.3230073 = boost
5.73276 = idf(docFreq=390, maxDocs=44421)
0.021574842 = queryNorm
0.53744626 = fieldWeight in 7461, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
5.73276 = idf(docFreq=390, maxDocs=44421)
0.09375 = fieldNorm(doc=7461)
0.058887467 = weight(abstract_txt:knowledge in 7461) [ClassicSimilarity], result of:
0.058887467 = score(doc=7461,freq=2.0), product of:
0.12524194 = queryWeight, product of:
1.6368742 = boost
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.021574842 = queryNorm
0.4701897 = fieldWeight in 7461, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5463927 = idf(docFreq=3480, maxDocs=44421)
0.09375 = fieldNorm(doc=7461)
0.102904715 = weight(abstract_txt:case in 7461) [ClassicSimilarity], result of:
0.102904715 = score(doc=7461,freq=1.0), product of:
0.2289293 = queryWeight, product of:
2.2130494 = boost
4.794713 = idf(docFreq=998, maxDocs=44421)
0.021574842 = queryNorm
0.44950435 = fieldWeight in 7461, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.794713 = idf(docFreq=998, maxDocs=44421)
0.09375 = fieldNorm(doc=7461)
0.24 = coord(6/25)