Kasutaja Tammet kaastöö

Tammet arutelu blokeerimislogi üleslaadimised logid

15 371 muudatusega kasutaja.

Mine navigeerimisribale Mine otsikasti

14:2828. veebruar 2020, kell 14:28 erin ajal +5 River example from lecture Resümee puudub praegune
14:2628. veebruar 2020, kell 14:26 erin ajal +1 Reasoner examples with gkc 2020 →Telling gkc what is actually the question clause in input
14:2628. veebruar 2020, kell 14:26 erin ajal +14 Reasoner examples with gkc 2020 →Telling gkc what is actually the question clause in input
14:2528. veebruar 2020, kell 14:25 erin ajal +144 Reasoner examples with gkc 2020 →Telling gkc what is actually the question clause in input
14:2328. veebruar 2020, kell 14:23 erin ajal +922 Reasoner examples with gkc 2020 Resümee puudub
14:1228. veebruar 2020, kell 14:12 erin ajal +246 River example from lecture Resümee puudub
14:0528. veebruar 2020, kell 14:05 erin ajal +1 Teadmiste formaliseerimine →TPTP and the landscape of reasoners
13:5928. veebruar 2020, kell 13:59 erin ajal +5 Teadmiste formaliseerimine →Lecture: rules in logic with provers to answer questions, 21. Feb
13:4228. veebruar 2020, kell 13:42 erin ajal −1 Teadmiste formaliseerimine →Lecture: looking into main large knowledge bases. 6. March
13:4228. veebruar 2020, kell 13:42 erin ajal +5 Teadmiste formaliseerimine →Lecture: First look into main large knowledge bases
12:2228. veebruar 2020, kell 12:22 erin ajal +11 Teadmiste formaliseerimine →Focus
12:2128. veebruar 2020, kell 12:21 erin ajal +4 Teadmiste formaliseerimine →Block 5: More about reasoners and symbolic question answering
12:2128. veebruar 2020, kell 12:21 erin ajal −14 Teadmiste formaliseerimine →TPTP and landscape of reasoners
12:2028. veebruar 2020, kell 12:20 erin ajal +48 Teadmiste formaliseerimine →Block 5: More about reasoners and symbolic question answering
12:1928. veebruar 2020, kell 12:19 erin ajal −424 Teadmiste formaliseerimine →Block 5: reasoners and symbolic question answering
12:1528. veebruar 2020, kell 12:15 erin ajal −27 Teadmiste formaliseerimine →Lecture 6: Big annotation systems and intro to rule reasoners
12:1228. veebruar 2020, kell 12:12 erin ajal +6 Details of the KR second lab in 2020 Resümee puudub
12:1128. veebruar 2020, kell 12:11 erin ajal −182 Details of the KR second lab in 2020 Resümee puudub
12:1028. veebruar 2020, kell 12:10 erin ajal +334 Details of the KR second lab in 2020 Resümee puudub
12:0828. veebruar 2020, kell 12:08 erin ajal −228 Teadmiste formaliseerimine →Second lab
11:4528. veebruar 2020, kell 11:45 erin ajal +19 Teadmiste formaliseerimine →Third lab
11:4428. veebruar 2020, kell 11:44 erin ajal +20 Teadmiste formaliseerimine →Second lab
10:1328. veebruar 2020, kell 10:13 erin ajal +12 Details of the KR second lab in 2020 Resümee puudub
10:1328. veebruar 2020, kell 10:13 erin ajal +51 Details of the KR second lab in 2020 Resümee puudub
10:1128. veebruar 2020, kell 10:11 erin ajal +57 Details of the KR second lab in 2020 Resümee puudub
10:1028. veebruar 2020, kell 10:10 erin ajal +91 Reasoner examples with gkc 2020 →Output and tuning the prover
10:0928. veebruar 2020, kell 10:09 erin ajal −67 Reasoner examples with gkc 2020 Resümee puudub
10:0728. veebruar 2020, kell 10:07 erin ajal +14 Reasoner examples with gkc 2020 Resümee puudub
10:0428. veebruar 2020, kell 10:04 erin ajal −32 Reasoner examples with gkc 2020 →Use the reasoner
10:0328. veebruar 2020, kell 10:03 erin ajal +3 Reasoner examples with gkc 2020 →Get the reasoner
10:0328. veebruar 2020, kell 10:03 erin ajal +9435 U Reasoner examples with gkc 2020 Uus lehekülg: '== Get the reasoner == Two ways to get the reasoner from its [https://github.com/tammet/gkc github repo] releases, either download latest release pre-compiled: * [https://github...'
09:5228. veebruar 2020, kell 09:52 erin ajal +79 Details of the KR second lab in 2020 Resümee puudub
09:5028. veebruar 2020, kell 09:50 erin ajal +1225 U Details of the KR second lab in 2020 Uus lehekülg: ' The task in the second lab is to use logic reasoners for question answering (pure symbolic ai): * present a selected large subset of your geodata int the reasoner usable form....'
09:4528. veebruar 2020, kell 09:45 erin ajal −1 Teadmiste formaliseerimine →Second lab

13:5127. veebruar 2020, kell 13:51 erin ajal +33 Semantika ja analüütiline filosoofia →Presentations

12:1621. veebruar 2020, kell 12:16 erin ajal −1 Teadmiste formaliseerimine →Lecture: rules in logic with provers to answer questions, 21. Feb
12:1621. veebruar 2020, kell 12:16 erin ajal −92 Teadmiste formaliseerimine →Lecture: what the reasoner does, 28. Feb
12:1621. veebruar 2020, kell 12:16 erin ajal +298 Teadmiste formaliseerimine →Block 2: simple facts and rules in symbolic AI and logic
11:5521. veebruar 2020, kell 11:55 erin ajal +506 U River example from lecture Uus lehekülg: '<pre> flowsto(ve,v). flowsto(e,p). flowsto(n,m). flowsfrom(e,v). flowsfrom(n,p). -flowsfrom(X,Y) | canpaddle(Y,X). -flowsto(X,Y) | canpaddle(X,Y). -canpaddle(X,Y) | -canpaddle...'
11:5521. veebruar 2020, kell 11:55 erin ajal +32 Teadmiste formaliseerimine →Lecture: rules in logic with provers to answer questions, 21. Feb

Pärit leheküljelt "http://www.lambda.ee/wiki/Eri:Kaastöö/Tammet"

Navigeerimismenüü