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
- 5. oktoober 2017, kell 20:33 erin ajal +103 Knowledge representation homework 2017 →What you have to do
- 5. oktoober 2017, kell 20:33 erin ajal +75 Knowledge representation homework 2017 →What you have to do
- 5. oktoober 2017, kell 20:32 erin ajal +3 Knowledge representation homework 2017 →KR homework as a part of a two-phase project
- 5. oktoober 2017, kell 20:31 erin ajal +331 Knowledge representation homework 2017 →KR homework as a part of a two-phase project
- 5. oktoober 2017, kell 20:28 erin ajal +3 Knowledge representation homework 2017 →KR homework as a part of a two-phase project
- 5. oktoober 2017, kell 20:27 erin ajal +177 Knowledge representation homework 2017
- 5. oktoober 2017, kell 20:17 erin ajal 0 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Knowledge representation
- 5. oktoober 2017, kell 20:16 erin ajal +111 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Knowledge representation
- 5. oktoober 2017, kell 20:15 erin ajal +10 964 U Knowledge representation homework 2017 Uus lehekülg: ' == KR homework as a part of a two-phase project == The knowledge representation (KR) homework is a first part of the project to create a small and simple system for understandi...'
- 5. oktoober 2017, kell 20:13 erin ajal +2 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Knowledge representation
- 5. oktoober 2017, kell 20:13 erin ajal +42 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Knowledge representation
- 5. oktoober 2017, kell 20:08 erin ajal +153 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Knowledge representation
- 5. oktoober 2017, kell 20:03 erin ajal +630 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Knowledge representation
- 5. oktoober 2017, kell 20:02 erin ajal +48 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017
- 5. oktoober 2017, kell 20:01 erin ajal 0 U Fail:Kr lect 1a.ppt praegune
- 5. oktoober 2017, kell 20:00 erin ajal +1 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Reasoning and deduction
- 5. oktoober 2017, kell 20:00 erin ajal +2 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Knowledge representation
- 5. oktoober 2017, kell 20:00 erin ajal +43 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Reasoning and deduction
- 5. oktoober 2017, kell 19:59 erin ajal -46 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017 →Knowledge representation
- 5. oktoober 2017, kell 19:33 erin ajal +404 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2017
- 21. november 2016, kell 11:31 erin ajal +1 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2016 →Extra material about predicate logic solvers
- 21. november 2016, kell 11:30 erin ajal +1 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2016 →Reasoning and deduction
- 21. november 2016, kell 11:30 erin ajal +337 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2016 →Reasoning and deduction
- 14. november 2016, kell 13:54 erin ajal -1224 Example with weather, dates and trust praegune
- 14. november 2016, kell 13:52 erin ajal +2886 Example with weather, dates and trust
- 14. november 2016, kell 13:39 erin ajal +23 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2016 →Reasoning and deduction
- 14. november 2016, kell 13:37 erin ajal +13 U Example with weather, dates and trust Uus lehekülg: '<pre> </pre>'
- 14. november 2016, kell 13:36 erin ajal +44 Automated reasoning homework 2016 →Examples to use as a starting point praegune
- 7. november 2016, kell 11:43 erin ajal +9 Automated reasoning homework 2016 →Administrative
- 7. november 2016, kell 11:42 erin ajal +4870 U Automated reasoning homework 2016 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...'
- 7. november 2016, kell 11:42 erin ajal 0 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2016 →Reasoning and deduction
- 7. november 2016, kell 11:42 erin ajal +2262 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2016
- 31. oktoober 2016, kell 09:57 erin ajal +409 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2016 →Logic for uncertain knowledge
- 31. oktoober 2016, kell 09:47 erin ajal +296 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2016 →Knowledge representation
- 28. oktoober 2016, kell 11:44 erin ajal +46 Knowledge representation homework 2016 →Useful links praegune
- 14. oktoober 2016, kell 12:34 erin ajal +1 Knowledge representation homework 2016 →What you have to do
- 14. oktoober 2016, kell 12:34 erin ajal +69 Knowledge representation homework 2016 →What you have to do
- 14. oktoober 2016, kell 12:34 erin ajal +187 Knowledge representation homework 2016 →What you have to do
- 10. oktoober 2016, kell 09:29 erin ajal +81 Knowledge representation homework 2016 →Useful links
- 10. oktoober 2016, kell 09:27 erin ajal +176 Knowledge representation homework 2016 →Useful links
- 10. oktoober 2016, kell 09:24 erin ajal +10 422 U Knowledge representation homework 2016 Uus lehekülg: ' == KR homework as a part of a two-phase project == The knowledge representation (KR) homework is a first part of the project to create a small and simple system for understandi...'
- 10. oktoober 2016, kell 09:24 erin ajal 0 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2016 →Knowledge representation
- 10. oktoober 2016, kell 09:22 erin ajal -103 Knowledge representation homework 2015 →What you have to do praegune
- 10. oktoober 2016, kell 09:14 erin ajal +99 Useful NLP links and notes →Different popular toolkits for NLP praegune
- 10. oktoober 2016, kell 09:12 erin ajal +115 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2016 →Knowledge representation
- 10. oktoober 2016, kell 09:10 erin ajal +75 Useful NLP links and notes →Different popular toolkits for NLP
- 10. oktoober 2016, kell 08:59 erin ajal -66 Knowledge representation homework 2015 →Passing and grading
- 10. oktoober 2016, kell 08:58 erin ajal -32 Knowledge representation homework 2015 →Steps and examples
- 10. oktoober 2016, kell 08:57 erin ajal -95 Knowledge representation homework 2015
- 10. oktoober 2016, kell 08:57 erin ajal -27 Knowledge representation homework 2015 →Result of example code
- 10. oktoober 2016, kell 08:54 erin ajal +2225 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development 2016
- 2. veebruar 2016, kell 13:56 erin ajal 0 Fail:Projectcourses.pptx Tanel laadis üles faili "Pilt:Projectcourses.pptx" uue versiooni praegune
- 2. veebruar 2016, kell 13:46 erin ajal +2 ITX8530 →Details
- 2. veebruar 2016, kell 13:45 erin ajal +1 ITX8530 →Details
- 2. veebruar 2016, kell 13:45 erin ajal -1 ITX8530 →Details
- 2. veebruar 2016, kell 13:44 erin ajal +2 ITX8530 →Details
- 2. veebruar 2016, kell 13:44 erin ajal +77 ITX8530
- 2. veebruar 2016, kell 13:43 erin ajal 0 U Fail:Projectcourses.pptx
- 8. jaanuar 2016, kell 11:46 erin ajal 0 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →Materials for reasoning and deduction
- 8. jaanuar 2016, kell 11:45 erin ajal +2 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →Materials for reasoning and deduction
- 8. jaanuar 2016, kell 11:45 erin ajal +189 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →Materials for reasoning and deduction
- 8. jaanuar 2016, kell 11:44 erin ajal +154 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →Materials for knowledge representation
- 14. detsember 2015, kell 13:55 erin ajal +67 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →materials for knowledge representation
- 14. detsember 2015, kell 13:54 erin ajal +27 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →materials for reasoning and deduction
- 14. detsember 2015, kell 13:54 erin ajal +154 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →materials for reasoning and deduction
- 14. detsember 2015, kell 13:51 erin ajal +213 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →materials for reasoning and deduction
- 14. detsember 2015, kell 13:47 erin ajal +7 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →Exam
- 14. detsember 2015, kell 13:44 erin ajal +76 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →materials for reasoning and deduction
- 14. detsember 2015, kell 13:42 erin ajal +1 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →materials for reasoning and deduction
- 14. detsember 2015, kell 13:42 erin ajal +367 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →materials for reasoning and deduction
- 14. detsember 2015, kell 13:38 erin ajal +41 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →materials for knowledge representation
- 14. detsember 2015, kell 13:37 erin ajal +233 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →materials for reasoning and deduction
- 14. detsember 2015, kell 13:35 erin ajal +499 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →materials for knowledge representation
- 14. detsember 2015, kell 13:32 erin ajal +284 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →Exam
- 14. detsember 2015, kell 13:27 erin ajal +261 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015
- 1. detsember 2015, kell 15:46 erin ajal +9 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →NB! 24. november schedule change
- 17. november 2015, kell 17:17 erin ajal +2478 U A question posed: find a mortal in the text 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). %...'
- 17. november 2015, kell 17:16 erin ajal +205 Automated reasoning homework 2015 →Examples to use as a starting point praegune
- 17. november 2015, kell 16:34 erin ajal +16 Automated reasoning homework 2015 →Example code
- 17. november 2015, kell 16:34 erin ajal +7491 U Lab 2 example code converted to give Uus lehekülg: '<pre> intxt="""Barack Obama went to China yesterday. He lives in Grand Hyatt Beijing. This is a superb hotel.""" nertable=[ [["Barack","Obama"],"Barack Obama","ner_noun","h...' praegune
- 17. november 2015, kell 16:33 erin ajal +110 Automated reasoning homework 2015
- 17. november 2015, kell 16:32 erin ajal +2983 U Here is otter output of this example Uus lehekülg: '<pre> ----- Otter 3.3, August 2003 ----- The process was started by a Windows user on a Windows machine, Tue Nov 17 18:31:54 2015 The command was "Otter\bin\otter.exe". WARNING:...' praegune
- 17. november 2015, kell 16:31 erin ajal +41 Automated reasoning homework 2015 →Examples to use as a starting point
- 17. november 2015, kell 16:31 erin ajal +2413 U Output of first lab converted to second lab 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). %...' praegune
- 17. november 2015, kell 16:28 erin ajal +130 Automated reasoning homework 2015 →Examples to use as a starting point
- 17. november 2015, kell 16:06 erin ajal +44 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →Reasoning and deduction
- 17. november 2015, kell 16:05 erin ajal -5 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →Knowledge representation
- 17. november 2015, kell 16:05 erin ajal +4 Knowledge representation homework 2015 →Administrative
- 17. november 2015, kell 15:47 erin ajal +160 Automated reasoning homework 2015
- 16. november 2015, kell 15:50 erin ajal +7 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →NB! 24. november schedule change
- 16. november 2015, kell 15:50 erin ajal +297 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015
- 16. november 2015, kell 15:43 erin ajal +481 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →Logic for uncertain knowledge
- 16. november 2015, kell 15:38 erin ajal 0 U Fail:Vienna tanel.pdf praegune
- 16. november 2015, kell 15:38 erin ajal 0 U Fail:Uncertain prob fuzzy.ppt praegune
- 16. november 2015, kell 15:38 erin ajal 0 U Fail:Ijcai93.pdf praegune
- 16. november 2015, kell 15:38 erin ajal -11 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →Logic for uncertain knowledge
- 16. november 2015, kell 15:37 erin ajal +183 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →Logic for uncertain knowledge
- 10. november 2015, kell 09:00 erin ajal +4 Ask a query about Obama
- 10. november 2015, kell 08:58 erin ajal +2 Automated reasoning homework 2015 →What you have to do
- 9. november 2015, kell 17:11 erin ajal -8 Automated reasoning homework 2015
- 9. november 2015, kell 16:38 erin ajal +114 Automated reasoning homework 2015 →How to create the Otter file and use the output
- 9. november 2015, kell 16:36 erin ajal +879 Automated reasoning homework 2015
- 9. november 2015, kell 16:30 erin ajal +670 Automated reasoning homework 2015
- 9. november 2015, kell 16:22 erin ajal +23 Ask a query about Obama
- 9. november 2015, kell 16:19 erin ajal +438 Ask a query about Obama
- 9. november 2015, kell 16:16 erin ajal +43 Derive simple information about Obama praegune
- 9. november 2015, kell 16:15 erin ajal +11 Derive simple information about Obama
- 9. november 2015, kell 16:15 erin ajal +2295 U Ask a query about Obama Uus lehekülg: ' Suppose we have a triplet <pre> http://en.wikipedia.org/wiki/Barack_Obama, id:type, http://conceptnet5.media.mit.edu/web/c/en/person </pre> then we encode it in the otter form...'
- 9. november 2015, kell 16:13 erin ajal +1366 Derive simple information about Obama
- 9. november 2015, kell 16:05 erin ajal +918 U Derive simple information about Obama Uus lehekülg: ' Suppose we have a triplet <pre> http://en.wikipedia.org/wiki/Barack_Obama, id:type, http://conceptnet5.media.mit.edu/web/c/en/person </pre> then we encode it in the otter form...'
- 9. november 2015, kell 16:04 erin ajal +1892 U Probabilities and web scraping 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
- 9. november 2015, kell 16:04 erin ajal -485 Automated reasoning homework 2015
- 9. november 2015, kell 15:53 erin ajal +93 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →SMT solvers
- 9. november 2015, kell 15:51 erin ajal +93 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015
- 3. november 2015, kell 15:51 erin ajal 0 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →Reasoning and deduction
- 3. november 2015, kell 15:43 erin ajal +3197 U Automated reasoning homework 2015 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 2015, kell 15:30 erin ajal +2 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →Reasoning and deduction
- 3. november 2015, kell 15:30 erin ajal +38 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →Reasoning and deduction
- 3. november 2015, kell 15:29 erin ajal +182 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →Propositional solvers
- 2. november 2015, kell 17:21 erin ajal +1737 Temporary draft by tt praegune
- 27. oktoober 2015, kell 17:21 erin ajal +6132 U Temporary draft by tt Uus lehekülg: ' intxt="""Barack Obama went to China yesterday. He lives in Grand Hyatt Beijing. This is a superb hotel.""" intxt="""Barack Obama went to China yesterday. He lives in Grand H...'
- 27. oktoober 2015, kell 17:20 erin ajal +27 Knowledge representation homework 2015
- 27. oktoober 2015, kell 16:19 erin ajal +1283 Knowledge representation homework 2015
- 26. oktoober 2015, kell 17:30 erin ajal +98 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →First order logic solvers
- 26. oktoober 2015, kell 17:28 erin ajal +629 U Tiny examples of problems for otter Uus lehekülg: '<pre> set(auto). set(prolog_style_variables). set(print_kept). list(usable). father(john,pete). brother(pete,mark). -brother(X,Y) | brother(Y,X). -father(X,Y) | parent(X,Y). -m...' praegune
- 26. oktoober 2015, kell 17:27 erin ajal +11 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →First order logic solvers
- 26. oktoober 2015, kell 17:26 erin ajal +31 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →First order logic solvers
- 26. oktoober 2015, kell 15:46 erin ajal +87 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →First order logic solvers
- 26. oktoober 2015, kell 15:45 erin ajal +80 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →First order logic solvers
- 26. oktoober 2015, kell 15:38 erin ajal +58 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →First order logic solvers
- 26. oktoober 2015, kell 15:35 erin ajal 0 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →First order logic solvers
- 26. oktoober 2015, kell 15:34 erin ajal +4 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →First order logic solvers
- 26. oktoober 2015, kell 15:34 erin ajal -4 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →First order logic solvers
- 26. oktoober 2015, kell 15:34 erin ajal +105 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →First order logic solvers
- 26. oktoober 2015, kell 15:32 erin ajal 0 U Fail:Resolution intro.ppt praegune
- 26. oktoober 2015, kell 15:32 erin ajal 0 U Fail:Geoffreasoningnotes.pdf praegune
- 20. oktoober 2015, kell 16:09 erin ajal +119 Knowledge representation homework 2015 →Example code
- 20. oktoober 2015, kell 16:00 erin ajal +5287 U Example NL extractor 3 Uus lehekülg: '<pre> intxt="""Barack Obama went to China yesterday. He lives in Grand Hyatt Beijing. This is a superb hotel.""" nertable=[ [["Barack","Obama"],"Barack Obama","ner_noun","ht...' praegune
- 20. oktoober 2015, kell 15:59 erin ajal +117 Knowledge representation homework 2015 →Example code
- 20. oktoober 2015, kell 15:38 erin ajal +12 Example NL extractor 2 praegune
- 20. oktoober 2015, kell 15:37 erin ajal +4554 U Example NL extractor 2 Uus lehekülg: ' intxt="""Barack Obama went to China yesterday. He lives in Grand Hyatt Beijing. This is a superb hotel.""" nertable=[ [["Barack","Obama"],"Barack Obama","ner_noun","http://...'
- 20. oktoober 2015, kell 15:37 erin ajal -3226 Knowledge representation homework 2015 →Example code
- 20. oktoober 2015, kell 15:37 erin ajal +3062 U Example NL extractor 1 Uus lehekülg: ' <pre> intxt="""Barack Obama went to China yesterday. He lives in Grand Hyatt Beijing. This is a superb hotel.""" nertable=[ [["Barack","Obama"],"Barack Obama","ner_noun","...' praegune
- 20. oktoober 2015, kell 15:37 erin ajal +294 Knowledge representation homework 2015 →Example code version 1
- 20. oktoober 2015, kell 14:59 erin ajal +2 Knowledge representation homework 2015 →Example code version 1
- 20. oktoober 2015, kell 14:59 erin ajal +3226 Knowledge representation homework 2015
- 19. oktoober 2015, kell 10:10 erin ajal 0 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →Context, metainformation and rules.
- 19. oktoober 2015, kell 10:10 erin ajal 0 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →Reasoning and deduction
- 19. oktoober 2015, kell 10:03 erin ajal -6 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →Context, metainformation and rules.
- 19. oktoober 2015, kell 10:02 erin ajal +48 Teadmispõhise tarkvaraarenduse meetodid / Methods of Knowledge Based Software Development - 2015 →Context, metainformation and rules.