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
- 3. november 2017, kell 09:49 erin ajal -1955 Ask a query about Obama praegune
- 3. november 2017, kell 09:46 erin ajal +107 Ask a query about Obama
- 3. november 2017, kell 09:44 erin ajal +1835 Ask a query about Obama
- 3. november 2017, kell 09:39 erin ajal +80 Automated reasoning homework 2017 →What you have to do
- 3. november 2017, kell 09:38 erin ajal +5270 U Automated reasoning homework 2017 Uus lehekülg: ' == Automated reasoning homework as a second part of a two-phase project == The goal of this homework is * to learn about representing knowledge and rules in logic * experiment...'
- 3. november 2017, kell 09:30 erin ajal -8 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Reasoning and deduction
- 3. november 2017, kell 05:40 erin ajal +9 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Interesting to try out:
- 3. november 2017, kell 05:39 erin ajal +103 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Reasoning and deduction
- 3. november 2017, kell 05:38 erin ajal -1 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Reasoning and deduction
- 3. november 2017, kell 05:38 erin ajal 0 U Fail:Kr lect 5a.pdf praegune
- 3. november 2017, kell 05:38 erin ajal 0 U Fail:Kr lect 5a.pptx praegune
- 3. november 2017, kell 05:38 erin ajal +89 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Machine reasoning with first order logic
- 3. november 2017, kell 05:37 erin ajal +9 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Reasoning and deduction
- 3. november 2017, kell 05:36 erin ajal +9 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Reasoning and deduction
- 3. november 2017, kell 05:03 erin ajal +9 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →First order logic solvers
- 3. november 2017, kell 05:02 erin ajal +96 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Reasoning and deduction
- 3. november 2017, kell 05:01 erin ajal +2413 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017
- 29. oktoober 2017, kell 11:06 erin ajal +94 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Representing uncertain knowledge
- 29. oktoober 2017, kell 11:04 erin ajal +117 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Representing uncertain knowledge
- 29. oktoober 2017, kell 11:02 erin ajal +185 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Representing uncertain knowledge
- 29. oktoober 2017, kell 10:56 erin ajal +27 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Representing uncertain knowledge
- 29. oktoober 2017, kell 10:55 erin ajal +106 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Representing uncertain knowledge
- 29. oktoober 2017, kell 10:52 erin ajal +1 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Representing uncertain knowledge
- 29. oktoober 2017, kell 10:51 erin ajal +681 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Representing uncertain knowledge
- 29. oktoober 2017, kell 10:45 erin ajal 0 U Fail:Kr lect 4a.pdf praegune
- 29. oktoober 2017, kell 10:45 erin ajal 0 U Fail:Kr lect 4a.pptx praegune
- 27. oktoober 2017, kell 11:45 erin ajal +129 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Natural language
- 27. oktoober 2017, kell 11:32 erin ajal +82 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Natural language
- 20. oktoober 2017, kell 11:32 erin ajal +112 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Natural language
- 20. oktoober 2017, kell 06:31 erin ajal +60 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017
- 20. oktoober 2017, kell 06:30 erin ajal 0 U Fail:Kr lect 3a.ppt praegune
- 20. oktoober 2017, kell 04:53 erin ajal +142 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Natural language
- 20. oktoober 2017, kell 04:39 erin ajal -20 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Natural language
- 20. oktoober 2017, kell 04:36 erin ajal +126 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Natural language
- 20. oktoober 2017, kell 04:31 erin ajal +192 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Natural language
- 20. oktoober 2017, kell 04:07 erin ajal +81 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Natural language
- 20. oktoober 2017, kell 04:00 erin ajal +81 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Natural language
- 20. oktoober 2017, kell 03:43 erin ajal +137 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Natural language
- 13. oktoober 2017, kell 17:25 erin ajal +1 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Knowledge representation
- 13. oktoober 2017, kell 17:25 erin ajal +1 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Knowledge representation
- 13. oktoober 2017, kell 14:42 erin ajal 0 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Intro, SQL, logic, RDF
- 13. oktoober 2017, kell 14:41 erin ajal 0 U Fail:Kr lect 2a.ppt praegune
- 13. oktoober 2017, kell 14:41 erin ajal +392 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Knowledge representation
- 13. oktoober 2017, kell 12:23 erin ajal +3 Knowledge representation homework 2017 →Administrative praegune
- 13. oktoober 2017, kell 12:22 erin ajal +33 Knowledge representation homework 2017 →Administrative
- 13. oktoober 2017, kell 12:12 erin ajal +4749 U KR 2017 extra examples and notes from Dbpedia and Conceptnet Uus lehekülg: '= Simplest examples = <pre> "Oosaare is a farm" convert to Oosaare isa farm or a bit fancier me:Oosaare rdf:type https://en.wikipedia.org/wiki/farm More examples: "Puise is a...' praegune
- 13. oktoober 2017, kell 12:12 erin ajal 0 Knowledge representation homework 2017 →First examples and notes
- 13. oktoober 2017, kell 12:12 erin ajal +793 Knowledge representation homework 2017
- 6. oktoober 2017, kell 07:42 erin ajal +230 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Intro, SQL, logic, RDF and OWL
- 5. oktoober 2017, kell 20:35 erin ajal -31 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Knowledge representation