Kasutaja Tammet kaastöö

1. juuni 2015

• 14:271. juuni 2015, kell 14:27 erin ajal +59 Rakendusliku loogika süvakursus →Eksam
• 14:261. juuni 2015, kell 14:26 erin ajal +60 Teadmiste otsing, formaliseerimine ja hoidmine →Exam

21. mai 2015

• 12:3121. mai 2015, kell 12:31 erin ajal +45 Rakendusliku loogika süvakursus →Häid linke
• 12:3021. mai 2015, kell 12:30 erin ajal +67 Rakendusliku loogika süvakursus Resümee puudub
• 12:2321. mai 2015, kell 12:23 erin ajal +26 Rakendusliku loogika süvakursus →Eksamiküsimused
• 12:2221. mai 2015, kell 12:22 erin ajal +137 Rakendusliku loogika süvakursus →Eksamiküsimused
• 12:2121. mai 2015, kell 12:21 erin ajal +70 Rakendusliku loogika süvakursus →Eksamiküsimused
• 11:5621. mai 2015, kell 11:56 erin ajal +525 Rakendusliku loogika süvakursus Resümee puudub
• 11:4421. mai 2015, kell 11:44 erin ajal +327 Rakendusliku loogika süvakursus →Eksam
• 11:4121. mai 2015, kell 11:41 erin ajal +92 Rakendusliku loogika süvakursus →Koht ja aeg

11. mai 2015

• 16:4111. mai 2015, kell 16:41 erin ajal +85 Teadmiste otsing, formaliseerimine ja hoidmine →Exam
• 16:4011. mai 2015, kell 16:40 erin ajal −2 Teadmiste otsing, formaliseerimine ja hoidmine →Exam
• 16:3911. mai 2015, kell 16:39 erin ajal +58 Teadmiste otsing, formaliseerimine ja hoidmine →Exam
• 16:3711. mai 2015, kell 16:37 erin ajal +498 Teadmiste otsing, formaliseerimine ja hoidmine →Exam
• 16:3111. mai 2015, kell 16:31 erin ajal +167 Teadmiste otsing, formaliseerimine ja hoidmine →Exam
• 16:2811. mai 2015, kell 16:28 erin ajal +408 Teadmiste otsing, formaliseerimine ja hoidmine →Exam
• 16:2211. mai 2015, kell 16:22 erin ajal +113 Teadmiste otsing, formaliseerimine ja hoidmine →Exam
• 16:2111. mai 2015, kell 16:21 erin ajal +94 Teadmiste otsing, formaliseerimine ja hoidmine →Time, place, result
• 15:1211. mai 2015, kell 15:12 erin ajal +50 Teadmiste otsing, formaliseerimine ja hoidmine →18. May: guest lecture

27. aprill 2015

• 15:1227. aprill 2015, kell 15:12 erin ajal +191 Teadmiste otsing, formaliseerimine ja hoidmine →Lecture block 4: indexes and search

23. aprill 2015

• 12:2323. aprill 2015, kell 12:23 erin ajal +355 Rakendusliku loogika süvakursus →Loenguteemad ja materjalid

20. aprill 2015

• 15:1120. aprill 2015, kell 15:11 erin ajal +27 Teadmiste otsing, formaliseerimine ja hoidmine →Nosql indexes
• 15:1020. aprill 2015, kell 15:10 erin ajal +51 Teadmiste otsing, formaliseerimine ja hoidmine →Nosql indexes
• 15:0920. aprill 2015, kell 15:09 erin ajal +44 Teadmiste otsing, formaliseerimine ja hoidmine →Multi-field and geoindexes, fulltext and term indexes

30. märts 2015

• 17:3230. märts 2015, kell 17:32 erin ajal +1892 U ITV0060 lab 2 example for buildings Uus lehekülg: '<pre> % clear automatic strategy selection clear(auto). % use capital letters (A,X,T,...) as vars set(prolog_style_variables). % select the search strategy set(hyper_res). set(...' praegune
• 17:3130. märts 2015, kell 17:31 erin ajal 0 Details for KR lab 2 →Creating the ruleset praegune
• 17:3030. märts 2015, kell 17:30 erin ajal +87 Details for KR lab 2 →Creating the ruleset
• 14:5830. märts 2015, kell 14:58 erin ajal +77 Teadmiste otsing, formaliseerimine ja hoidmine →Lecture 8 (30 March): Restricted english
• 14:5730. märts 2015, kell 14:57 erin ajal +154 Teadmiste otsing, formaliseerimine ja hoidmine →Lecture 8 (30 March): Restricted english

26. märts 2015

• 09:4726. märts 2015, kell 09:47 erin ajal +86 Rakendusliku loogika süvakursus →Loenguteemad ja materjalid
• 09:4526. märts 2015, kell 09:45 erin ajal +1136 Prax3: tõestajatega eksperimenteerimine 2015 Resümee puudub praegune

25. märts 2015

• 22:3325. märts 2015, kell 22:33 erin ajal +74 Rakendusliku loogika süvakursus →Lahendajad testimiseks

23. märts 2015

• 15:5923. märts 2015, kell 15:59 erin ajal +121 Teadmiste otsing, formaliseerimine ja hoidmine →Lecture 7 (23. March): OWL and ontologies
• 15:5623. märts 2015, kell 15:56 erin ajal +49 Teadmiste otsing, formaliseerimine ja hoidmine →Lecture 7 (23. March): OWL and ontologies
• 15:5423. märts 2015, kell 15:54 erin ajal −1 Teadmiste otsing, formaliseerimine ja hoidmine →Lecture 7 (23. March): OWL and ontologies
• 15:5423. märts 2015, kell 15:54 erin ajal +147 Teadmiste otsing, formaliseerimine ja hoidmine →Lecture 7 (23. March): OWL and ontologies
• 15:2223. märts 2015, kell 15:22 erin ajal +15 Teadmiste otsing, formaliseerimine ja hoidmine →Lecture 7 (23. March): OWL
• 15:1823. märts 2015, kell 15:18 erin ajal +22 Teadmiste otsing, formaliseerimine ja hoidmine →Restricted english
• 15:1723. märts 2015, kell 15:17 erin ajal −2 Teadmiste otsing, formaliseerimine ja hoidmine →Lecture 7 (23. March): OWL
• 15:1623. märts 2015, kell 15:16 erin ajal +14 Teadmiste otsing, formaliseerimine ja hoidmine →RDFs and OWL

19. märts 2015

• 11:2519. märts 2015, kell 11:25 erin ajal +140 Rakendusliku loogika süvakursus →Loenguteemad ja materjalid

12. märts 2015

• 16:2812. märts 2015, kell 16:28 erin ajal +1 Rakendusliku loogika süvakursus →Lahendajad testimiseks
• 16:2712. märts 2015, kell 16:27 erin ajal +104 Rakendusliku loogika süvakursus →Lahendajad testimiseks
• 14:4012. märts 2015, kell 14:40 erin ajal +59 Prax 2: lihtsa DPLL lahendaja realiseerimine Resümee puudub praegune
• 14:3912. märts 2015, kell 14:39 erin ajal +31 Prax 2: lausearvutuse lahendajatega eksperimenteerimine Resümee puudub praegune
• 14:3312. märts 2015, kell 14:33 erin ajal 0 Rakendusliku loogika süvakursus →Kodused ülesanded
• 14:3212. märts 2015, kell 14:32 erin ajal +7 P Rakendusliku loogika süvakursus →Kodused ülesanded

9. märts 2015

• 22:039. märts 2015, kell 22:03 erin ajal +20 Teadmiste otsing, formaliseerimine ja hoidmine →Lecture 5 (9. March) Student presentations on NELL and nosql databases + intro to the second lab
• 21:019. märts 2015, kell 21:01 erin ajal +8 Details for KR lab 2 →Creating the ruleset
• 21:009. märts 2015, kell 21:00 erin ajal +134 Details for KR lab 2 →Creating the ruleset