Tematy projektów są przeznaczone dla studentów:
oraz ew./dodatkowo:
należy uznać za tematy o wysokim priorytecie należy uznać za tematy o podwyższonym priorytecie
Osoby, które zrealizują w sposób wyróżniający się, a także będą zainteresowane tematyką poruszaną w projektach, będą mogły kontynuować pracę w ramach tematyki pochodnej do MIW 2009 w ramach:
W zależności od projektu, może być wymagana znajomość:
Z: Imie Nazwisko <email>
How decision rules can be represented, encoded in OWL
rules in description logic, description logic programs, swrl?
How we can use
Drools
to model rules for the SemWeb in
RIF,
SWRL
(import/export).
How we can use Drools to import/export/model rules for/from CLIPS and Jess.
Dokuwiki
plugin
for generating
LaTeX
from the wiki pages. L2short http://www.latex-project.org/guides/
Extended the last year plugin.
Provide
S5
presentations for the main HeKatE pages, e.g.
XTT2
ALSV
ARD
Thermostat.
Using the S5 plugin
Extend
the original S5 plugin
for the S5
for better presentation
including sensible support for
LaTeX,
pictures,
tables,
FullScreen browser mode (bold, italic, underline, links etc.),
ordered lists
and other modes/plugins.
evaluate Slidy
Develop a
synchronization
plugin
for
Dokuwiki
for disconnected work,
that allows a developer to work and extend a disconected copy of the wiki,
and then a back replication, possibly with merging.
Tools to consider unison rsync last resort? cvs http://kdiff3.sourceforge.net/ http://meld.sourceforge.net/
How
Dokuwiki
can be used as a groupware solution for team and project management, communication and development?:
Z: Tomasz Gryzio murex4@wp.pl
Add Wiki plugin to display metamodels (UML class diagrams) from XMI code OR create wiki plugin to display them from UMLGraph notation.
Input:
Output:
Dokuwiki
plugin
for presenting paper statistics
for given persons
from number of existing sources,
including
the BPP
the DBLP
the CiteSeerX.
Explicitly describe the APIs of the above sites!
In the wiki one writes e.g.:
^Osoba^BPP:2008^BPP:2008:LNCS^BPP:2008:IF^DBPL:2008^ <papers> Nalepa Grzegorz|http://home.agh.edu.pl/gjn, BPP:2008, BPP:2008:LNCS, BPP:2008:IF, DBPL:2008 </papers>
and gets
| Osoba | BPP:2008 | BPP:2008:LNCS | BPP:2008:IF | DBPL:2008 |
|---|---|---|---|---|
| Nalepa Grzegorz | 14 | 2 | 0 | 11 |
Z: Rafał Gibas coolgibas@gmail.com
Site: miw09_wiki_papers
Test the new version of
HQEd.
Check quality, test, update manual, code and funcionality audit, in wiki description and s5 presentation.
Z: Grzegorz Dydo-Rożniecki <grzegorz.rozniecki(at)gmail.com>
Fix,
VARDA
improve, extend,
build better ui,
Write a manual for
VARDA
latex, wiki, s5?
Research opensource web-based project management and team collaboration solutions.
Search for tools and solutions
for rule design and management for
Drools.
Describe the default tools, including RuleFlow, and BRMS.
Model HeKatE cases in Drools.
Z: Rafał Gibas coolgibas@gmail.com
Read the info available on MOF (see also Meta-Object_Facility).
Analyze it, and make a concise sythesis, in the form of the in wiki report, possibly as/plus an S5 present.
Specifically search for:
Z: Adrian Stanula astanula@gmail.com
Translation the Extended Backus-Naur Form productions into an XML representation (investigate how EBNF can be represent in XML: XSet, EBNFML(?), some new ML? [if sb would need it I can propose my own simple idea :D]).
Input:
Output:
Translation the Extended Backus-Naur Form productions in XML format (chosen in investigation in EBNF2XMLrep) into raw metamodel (in XMI 2.1 [I can provide with a few examples]) by algorithm from 3rd chapter of Bridging grammarware and modelware.
Input:
Output:
Z: Marek Siara siara@student.agh.edu.pl
Read SciMag art and a study take a look at CMU OLI and MIT OCW.
Z: Piasecki Maksymilian
Find, analyze, reverse engineer some telco billing/services systems.
Model rules using the HeKatE process.
Examples:
Work on some cases description in natural language for knowledge discovery for ARD+.
Build extra sensors from the Extreme NXT Book (available for us!)
warning: requires some hardware and experience!
Take the PlNXT API.
Make a code and functionality audit.
Take the PlNXT API.
Build tutorial and demo cases.
input:
output:
Z: Lukasz Habrzyk lukasz.habrzyk@gmail.com
Venn_diagrams Euler_diagram visualization in Prolog for DL/ALSVfd.
Build sample knowledge wikis/cases on different implementations.
Consider
http://ikewiki.salzburgresearch.at/
http://sweetwiki.inria.fr/
http://semantic-mediawiki.org/wiki/Semantic_MediaWiki
Read on the Mercury language. Describe concepts, examples, compare to Prolog and Haskell.
NOT for MIW2009.
build a sockets-based interface for plnxt serial module
Reprezentacja i przetwarzanie wiedzy w wiki, rozwinięcie i kontynacja: miw08_semantic_wiki
<fact>Frank is a male<clause>male(frank)</clause></fact>
— Igor Wojnicki 2009/01/05 16:49
Try to investigatae if/how LLVM could be used to as/to model the Warren_Abstract_Machine
Related work:
A library of predicates providing basic I/O including:
Environment: XPCA and SWI-Prolog. For XTT I/O see: iw2009-xttenvi
— Igor Wojnicki 2009/01/05 16:51
Implement a bug/issue tracking system for Dokuwiki, that includes CVS SubVersion support.
Source code syntax highlighting in Wiki for grammars in EBNF notation.
Input:
Output:
Design and implement sensible refactoring capabilities for VARDA.
Research opensource web-based project management and team collaboration solutions.
Search for ready systems, cases, examples in the area of bizrules, expert systems, control systmes., etc.
Built a catalogue.
Dokuwiki plugin for rendering BibTeX in the wiki pages, including citing!
Extended the
last year plugin.
Analyze possibilities, uses, applications of http://swoogle.umbc.edu/ http://sparql.cs.umbc.edu/ http://ebiquity.umbc.edu/ look for/describe related tools.
Read the info available on MDA (see also Model-driven_architecture). Analyze it, and make a concise sythesis, in the form of the in wiki report, possibly as/plus an S5 present. Specifically search for:
Design ARD and XTT for same classical games, e.g. Snake_(video_game), think of Game_of_life and other board games. How it would be possible to represent knowledge?
— Igor Wojnicki 2009/01/13 09:51
— Grzegorz J. Nalepa 2009/01/13 23:10
