Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:2009:miw2009_tematy [2009/02/23 18:34] jsi08 |
pl:miw:2009:miw2009_tematy [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 52: | Linia 52: | ||
| ==== HekateATL ==== | ==== HekateATL ==== | ||
| - | How we could use [[http://www.eclipse.org/m2m/atl/|Atlas]] for [[hekate:ARD]], [[hekate:XTT2]], design, integration and model translation. | + | How we could use [[http://www.eclipse.org/m2m/atl/|Atlas]] for [[hekate:ARDplus]], [[hekate:XTT2]], design, integration and model translation. |
| ==== OWL_Rules ==== | ==== OWL_Rules ==== | ||
| Linia 61: | Linia 61: | ||
| Z: [[miw09_OWL_Rules_1|Wojciech Franczak <franczak@student.agh.edu.pl>]] | Z: [[miw09_OWL_Rules_1|Wojciech Franczak <franczak@student.agh.edu.pl>]] | ||
| - | Z: Mariusz Sokołowski <mmarsokol@gmail.com> | + | Z: [[miw09_OWL_Rules_2|Mariusz Sokołowski <mmarsokol@gmail.com>]] |
| ==== Drools_X ==== | ==== Drools_X ==== | ||
| Linia 93: | Linia 93: | ||
| [[pl:miw:miw08_dokulatex|last year plugin]]. | [[pl:miw:miw08_dokulatex|last year plugin]]. | ||
| - | [[miw09_doku_latex|Z: Wojciech Nagrodzki w.nagrodzki@gmail.com]] | + | [[miw09_doku_latex|Z: Wojciech Nagrodzki nagrodz@student.agh.edu.pl]] |
| Linia 125: | Linia 125: | ||
| evaluate [[http://www.w3.org/Talks/Tools/Slidy/|Slidy]] | evaluate [[http://www.w3.org/Talks/Tools/Slidy/|Slidy]] | ||
| - | Z: Marcin Stachura <stan7@tlen.pl> | + | Z: |
| + | [[pl:miw:2009:miw09_wiki_s5_fix|Marcin Stachura <stan7@tlen.pl>]] | ||
| ==== Wiki_Sync ==== | ==== Wiki_Sync ==== | ||
| Linia 142: | Linia 143: | ||
| [[http://kdiff3.sourceforge.net/]] [[http://meld.sourceforge.net/]] | [[http://kdiff3.sourceforge.net/]] [[http://meld.sourceforge.net/]] | ||
| - | Z: Sebastian Pracuch <sebastian@pracuch.pl> | + | Z: [[pl:miw:2009:miw09_wiki_sync|Sebastian Pracuch <sebastian@pracuch.pl>]] |
| ==== Wiki_GWP ==== | ==== Wiki_GWP ==== | ||
| Linia 177: | Linia 178: | ||
| * Wiki with plugin | * Wiki with plugin | ||
| - | Z: Marcin Godlewski <godlewski.marcin@op.pl> | + | Z: [[miw09_metamodelwikiplugin|Marcin Godlewski <godlewski.marcin@op.pl>]] |
| ==== Wiki_Papers ==== | ==== Wiki_Papers ==== | ||
| Linia 222: | Linia 223: | ||
| Z: Grzegorz Dydo-Rożniecki <grzegorz.rozniecki(at)gmail.com> | Z: Grzegorz Dydo-Rożniecki <grzegorz.rozniecki(at)gmail.com> | ||
| - | Z: Damian Dudziński <damian.dudzinski(at)gmail.com> | + | [[pl:miw:2009:miw09_hqed_audit_1|R: Damian Dudziński <damian.dudzinski(at)gmail.com>]] |
| ==== Varda fix ==== | ==== Varda fix ==== | ||
| :!: | :!: | ||
| Linia 245: | Linia 247: | ||
| latex, wiki, s5? | latex, wiki, s5? | ||
| - | Z: Tomasz Miklis <tomasz.miklis@res.is> | + | Z: [[varda manual|Tomasz Miklis]] <tomasz.miklis@res.is> |
| + | |||
| + | ==== PM_sol ==== | ||
| + | Research opensource web-based project management and team collaboration solutions. | ||
| + | |||
| + | Z: [[pl:miw:2009:miw09_pm_sol|Tomasz Miklis]] <tmiklis@gmail.com> | ||
| ==== Drools_Tools ==== | ==== Drools_Tools ==== | ||
| Linia 265: | Linia 272: | ||
| * how such a vocabulary could be automatically generated from information/dependencies in //use case diagrams// | * how such a vocabulary could be automatically generated from information/dependencies in //use case diagrams// | ||
| - | Z: Jan Pollak jasiekmk@gmail.com | + | [[pl:miw:2009:miw09_uml_vocabulary|Jan Pollak <jasiekmk@gmail.com>]] |
| ==== MOF_Desc ==== | ==== MOF_Desc ==== | ||
| Linia 290: | Linia 297: | ||
| * provide menas for generating visualizations of UML diagrams from Prolog for LogTalk | * provide menas for generating visualizations of UML diagrams from Prolog for LogTalk | ||
| - | [[pl:miw:2009:miw09_logtalk_umlgraph|Mariusz Sasko <msasko@gmail.com>]] | + | [[pl:miw:2009:miw09_logtalk_umlgraph:projekt|Mariusz Sasko <msasko@gmail.com>]] |
| ==== Prolog_SBVR ==== | ==== Prolog_SBVR ==== | ||
| Linia 356: | Linia 363: | ||
| [[http://www.ocwconsortium.org/|MIT OCW]]. | [[http://www.ocwconsortium.org/|MIT OCW]]. | ||
| - | Z: Piasecki Maksymilian <inmax@poczta.fm> | + | Z: Piasecki Maksymilian |
| ===== Cases ===== | ===== Cases ===== | ||
| Linia 370: | Linia 377: | ||
| * [[http://www.orange.pl/portal/map/map/postpaid_main|Orange]] | * [[http://www.orange.pl/portal/map/map/postpaid_main|Orange]] | ||
| - | Z: Paweł Grzesiak [[p2grzesiak@gmail.com]] | + | Z: [[Hekate Case Telco|Paweł Grzesiak]] [[p2grzesiak@gmail.com]] |
| ==== Hekate Case KD ==== | ==== Hekate Case KD ==== | ||
| Linia 376: | Linia 383: | ||
| * take some RBS cases, startingt from the thermostat | * take some RBS cases, startingt from the thermostat | ||
| * build a number (6-8) of natural language descriptions for the case | * build a number (6-8) of natural language descriptions for the case | ||
| - | * reuse KD results | + | * reuse KD results |
| - | Z: Tomasz Maślanka maslanka(at)student.agh.edu.pl | + | |
| + | Z: [[miw09_hekate_case_kd|Tomasz Maślanka maslanka(at)student.agh.edu.pl]] | ||
| ==== XTT_Drools ==== | ==== XTT_Drools ==== | ||
| Linia 387: | Linia 395: | ||
| Model HeKatE cases in Drools. | Model HeKatE cases in Drools. | ||
| - | Z: Szymon Frenkel [[sfrenkel@student.bez-spamu.agh.edu.pl]] | + | Z: [[pl:miw:2009:miw09_xtt_drools|Szymon Frenkel sfrenkel@student.bez-spamu.agh.edu.pl]] |
| ==== XTT_CLIPS ==== | ==== XTT_CLIPS ==== | ||
| Linia 399: | Linia 407: | ||
| Model HeKatE cases in Clips/Jess. | Model HeKatE cases in Clips/Jess. | ||
| - | Z: Maciej Fabia <mfabia@student.agh.edu.pl> | + | Z: [[pl:miw:2009:miw09_xtt_clips|Maciej Fabia]] <mfabia@student.agh.edu.pl> |
| ==== JLIPS_Cases ==== | ==== JLIPS_Cases ==== | ||
| Linia 418: | Linia 426: | ||
| warning: requires some hardware and experience! | warning: requires some hardware and experience! | ||
| - | Z: Marcin Stachura <stan7@tlen.pl> | ||
| Z: [[miw09_nxtsensors1|Paweł Konas <pawelkonas@gmail.com>]] | Z: [[miw09_nxtsensors1|Paweł Konas <pawelkonas@gmail.com>]] | ||
| - | |||
| - | Z: Łukasz Bandała <feanaro666@gmail.com> | ||
| ==== NXT_API_audit ==== | ==== NXT_API_audit ==== | ||
| Linia 431: | Linia 436: | ||
| ==== NXT_API_demo ==== | ==== NXT_API_demo ==== | ||
| :!: | :!: | ||
| - | Take the PlNXT API. FIXME | + | Take the [[pl:plnxt:start|PlNXT API]]. |
| Build tutorial and demo cases. | Build tutorial and demo cases. | ||
| + | |||
| + | Z: [[nxt_api_demo|Łukasz Bandała]] <feanaro666@gmail.com> | ||
| ===== SemWeb ===== | ===== SemWeb ===== | ||
| Linia 452: | Linia 459: | ||
| * importing data from Relational Databases into RDF Triple Stores -> examples, applications | * importing data from Relational Databases into RDF Triple Stores -> examples, applications | ||
| * importing data from various sources (spreadsheets, databases, other...) into RDF Triple Stores | * importing data from various sources (spreadsheets, databases, other...) into RDF Triple Stores | ||
| + | |||
| + | R: [[pl:miw:2009:miw09_SemWeb_RDFStore|Dawid Molenda <dawid@molenda.info>]] | ||
| + | |||
| ==== SemWeb_SPARQL ==== | ==== SemWeb_SPARQL ==== | ||
| Linia 459: | Linia 469: | ||
| * other tools | * other tools | ||
| * look for/build Prolog API, e.g. [[http://www.swi-prolog.org/packages/SeRQL/|SeRQL]] | * look for/build Prolog API, e.g. [[http://www.swi-prolog.org/packages/SeRQL/|SeRQL]] | ||
| + | |||
| + | R: [[miw09_sparql|Sławomir Widlarz <swidlarz@gmail.com>]] | ||
| ==== SemWeb_DLtls ==== | ==== SemWeb_DLtls ==== | ||
| Linia 480: | Linia 492: | ||
| http://semantic-mediawiki.org/wiki/Semantic_MediaWiki | http://semantic-mediawiki.org/wiki/Semantic_MediaWiki | ||
| - | Z: Kamil Kościuk [[kosciuk.k@gmail.com]] | + | Z: [[pl:miw:2009:miw09_knowikis_cases|Kamil Kościuk <kosciuk.k@gmail.com>]] |
| ==== SWRLtrans ==== | ==== SWRLtrans ==== | ||
| Linia 496: | Linia 508: | ||
| Z: [[pl:miw:2009:miw09_swrltrans|Michał Lesiak <mikelik@o2.pl>]] | Z: [[pl:miw:2009:miw09_swrltrans|Michał Lesiak <mikelik@o2.pl>]] | ||
| - | |||
| - | ====== SPOOL, future topics ====== | ||
| - | |||
| - | **NOT** for //MIW2009//. | ||
| ==== Mercury ==== | ==== Mercury ==== | ||
| Linia 506: | Linia 514: | ||
| Describe concepts, examples, | Describe concepts, examples, | ||
| compare to Prolog and [[http://haskell.org/|Haskell]]. | compare to Prolog and [[http://haskell.org/|Haskell]]. | ||
| + | |||
| + | [[http://home.agh.edu.pl/~mszpyrka/dydujk:ppdata:pp|haskell]] | ||
| + | |||
| + | R: [[pl:miw:2009:miw09_mercury|Michał Kołodziej <kolodziej.michal@gmail.com>]] | ||
| + | |||
| + | ====== SPOOL, future topics ====== | ||
| + | |||
| + | **NOT** for //MIW2009//. | ||
| + | |||
| + | |||
| + | ==== NXT_Sockets ==== | ||
| + | build a sockets-based interface for plnxt serial module | ||
| ==== OMGrules ==== | ==== OMGrules ==== | ||
| Linia 524: | Linia 544: | ||
| --- //[[wojnicki@agh.edu.pl|Igor Wojnicki]] 2009/01/05 16:49// | --- //[[wojnicki@agh.edu.pl|Igor Wojnicki]] 2009/01/05 16:49// | ||
| - | |||
| ==== LLVM ==== | ==== LLVM ==== | ||
| Try to investigatae if/how | Try to investigatae if/how | ||
| Linia 533: | Linia 552: | ||
| Related work: | Related work: | ||
| FIXME | FIXME | ||
| + | |||
| + | Z: [[pl:miw:miw2009_llvm|Sławomir Widlarz <swidlarz@gmail.pl>]] | ||
| ==== XTT I/O Library ==== | ==== XTT I/O Library ==== | ||
| Linia 568: | Linia 589: | ||
| Input: | Input: | ||
| - | * [[prolog:geshi_prolog|Kolorowanie składni języka Prolog]] | + | * [[pl:prolog:geshi_prolog|Kolorowanie składni języka Prolog]] |
| * [[student:msc2009_umlrep:ebnf_mof#e_bnf|Set of (E)BNF links]] | * [[student:msc2009_umlrep:ebnf_mof#e_bnf|Set of (E)BNF links]] | ||
