Research Projects/sk: Rozdiel medzi revíziami
| Riadok 19: | Riadok 19: | ||
* Non-standard computation models - specification, complexity, security (VEGA 1/3105/06) | * Non-standard computation models - specification, complexity, security (VEGA 1/3105/06) | ||
* Modeling of complex systems using neural networks with focus on linguistics (VEGA 1/2045/05) | * Modeling of complex systems using neural networks with focus on linguistics (VEGA 1/2045/05) | ||
| − | * | + | * Modeling language as a self-organizing complex system (VEGA 1/0361/08) |
* [[Internal:Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou) | Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou)]] (VEGA 1/0688/10) | * [[Internal:Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou) | Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou)]] (VEGA 1/0688/10) | ||
* Konštruktivistické modelovanie raného kognitívneho vývinu simulovaného vteleného agenta (VEGA 1/0439/11) | * Konštruktivistické modelovanie raného kognitívneho vývinu simulovaného vteleného agenta (VEGA 1/0439/11) | ||
Verzia zo dňa a času 08:33, 4. október 2011
Členovia katedry sú alebo boli zapojení do nasledujúcich výskumných projektov:
Medzinárodné projekty
- Virtual Heart of Central Europe, EU Project Culture 2000
- CoLogNET (Computational Logic Network)
- Optimizing Logic Programs under Answer-Set Programming Paradigm
- European Science Foundation, project Automatha
Národné projekty
- Effective browser of urban data and their presentation (APVT 20-P05105)
- Prostriedky pre spracovanie a vizualizáciu tomografických a konfokálnych dát (APVV 20-056105)
- Dynamic aspects of knowledge representation from theoretical fundamentals to applications (VEGA 1/13112/06)
- Logic theory of dynamic and modular knowledge bases (VEGA 1/0173/03)
- Robotic laboratory with telepresence of the developer (VV_KEGA7 3/2399/04)
- Environment for specification of multiagent systems (APVV-20-P04805)
- Computing in network (VEGA 1/0172/03)
- Non-standard computation models - specification, complexity, security (VEGA 1/3105/06)
- Modeling of complex systems using neural networks with focus on linguistics (VEGA 1/2045/05)
- Modeling language as a self-organizing complex system (VEGA 1/0361/08)
- Reprezentácia neúplných, vyvíjajúcich sa a distribuovaných znalostí (v interakcii s komunikačnou platformou) (VEGA 1/0688/10)
- Konštruktivistické modelovanie raného kognitívneho vývinu simulovaného vteleného agenta (VEGA 1/0439/11)