Kasutaja kaastöö
Mine navigeerimisribale
Mine otsikasti
- 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.