Kasutaja kaastöö
Mine navigeerimisribale
Mine otsikasti
- 30. november 2017, kell 06:01 erin ajal +9 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →NB! lab at Friday, 24 is un-supervised
- 23. november 2017, kell 16:27 erin ajal -43 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Learning
- 23. november 2017, kell 16:26 erin ajal +42 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Learning
- 23. november 2017, kell 12:05 erin ajal +43 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →SMT and various other solvers
- 23. november 2017, kell 12:04 erin ajal +53 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →SMT and various other solvers
- 23. november 2017, kell 12:03 erin ajal +2 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →NB! lab at Friday, 24 is un-supervised
- 23. november 2017, kell 12:03 erin ajal +219 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017
- 21. november 2017, kell 13:00 erin ajal +20 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017
- 18. november 2017, kell 12:25 erin ajal -4 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Real and potential applications of reasoners
- 17. november 2017, kell 12:42 erin ajal +16 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Real and potential applications of reasoners
- 17. november 2017, kell 12:42 erin ajal +37 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Real and potential applications of reasoners
- 17. november 2017, kell 12:38 erin ajal +1873 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Real and potential applications of reasoners
- 17. november 2017, kell 08:44 erin ajal +30 Automated reasoning homework 2017 praegune
- 17. november 2017, kell 08:44 erin ajal +17 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Reasoning and deduction
- 16. november 2017, kell 22:58 erin ajal 0 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Real and potential applications of reasoners
- 16. november 2017, kell 22:58 erin ajal 0 U Fail:Kr lect 7a.pdf praegune
- 16. november 2017, kell 22:58 erin ajal 0 U Fail:Kr lect 7a.pptx praegune
- 16. november 2017, kell 22:12 erin ajal +14 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Some applications of reasoners
- 16. november 2017, kell 22:12 erin ajal +4 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017
- 16. november 2017, kell 22:11 erin ajal +126 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Reasoning and deduction
- 15. november 2017, kell 06:13 erin ajal +47 U Teadmiste formaliseerimine Uus lehekülg: 'See leht ja kursus on hetkel ettevalmistamisel.' praegune
- 15. november 2017, kell 06:12 erin ajal +86 Esileht →Magistrantidele suunatud kursused
- 13. november 2017, kell 09:29 erin ajal +100 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Propositional solvers
- 13. november 2017, kell 09:28 erin ajal +135 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Propositional solvers
- 13. november 2017, kell 08:09 erin ajal -8 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Reasoning and deduction
- 13. november 2017, kell 08:08 erin ajal 0 U Fail:Nbjorner smt.pptx praegune
- 13. november 2017, kell 08:07 erin ajal 0 Fail:Dpll.ppt Tanel laadis üles faili "Pilt:Dpll.ppt" uue versiooni praegune
- 13. november 2017, kell 08:02 erin ajal 0 U Fail:Nbjorner-fn-13-06-13.pptx praegune
- 13. november 2017, kell 08:01 erin ajal -1 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Propositional solvers
- 13. november 2017, kell 08:01 erin ajal +338 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Reasoning and deduction
- 13. november 2017, kell 07:54 erin ajal 0 U Fail:Dpll.ppt
- 3. november 2017, kell 17:25 erin ajal -3 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Knowledge representation
- 3. november 2017, kell 17:25 erin ajal -2 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Reasoning and deduction
- 3. november 2017, kell 17:13 erin ajal -6 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Machine reasoning with first order logic
- 3. november 2017, kell 17:13 erin ajal -5 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Machine reasoning with first order logic
- 3. november 2017, kell 17:13 erin ajal +111 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Machine reasoning with first order logic
- 3. november 2017, kell 17:10 erin ajal +82 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Machine reasoning with first order logic
- 3. november 2017, kell 14:22 erin ajal 0 Automated reasoning homework 2017 →Examples to use as a starting point
- 3. november 2017, kell 10:28 erin ajal +91 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Machine reasoning with first order logic
- 3. november 2017, kell 10:25 erin ajal +112 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Reasoning and deduction
- 3. november 2017, kell 10:24 erin ajal -2 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Past editions
- 3. november 2017, kell 10:21 erin ajal +56 Automated reasoning homework 2017 →What you have to do
- 3. november 2017, kell 10:19 erin ajal +38 Automated reasoning homework 2017 →Automated reasoning homework as a second part of a two-phase project
- 3. november 2017, kell 10:19 erin ajal +839 Automated reasoning homework 2017
- 3. november 2017, kell 10:12 erin ajal +125 Automated reasoning homework 2017 →What you have to do
- 3. november 2017, kell 10:10 erin ajal +185 Automated reasoning homework 2017 →Automated reasoning homework as a second part of a two-phase project
- 3. november 2017, kell 10:08 erin ajal +121 Automated reasoning homework 2017 →Integrating with the external knowledge base
- 3. november 2017, kell 10:05 erin ajal +158 Automated reasoning homework 2017 →Automated reasoning homework as a second part of a two-phase project
- 3. november 2017, kell 09:58 erin ajal +737 Automated reasoning homework 2017 →Integrating with the external knowledge base
- 3. november 2017, kell 09:50 erin ajal -2 A question posed: find a mortal in the text praegune