(New page: The members of the department participate or participated in the following research projects: * Virtual Heart of Central Europe, EU Project Culture 2000 * CoLogNET (Computational Logic Ne...) |
|||
| Riadok 1: | Riadok 1: | ||
The members of the department participate or participated in the following research projects: | The members of the department participate or participated in the following research projects: | ||
| + | |||
| + | == International projects == | ||
* Virtual Heart of Central Europe, EU Project Culture 2000 | * Virtual Heart of Central Europe, EU Project Culture 2000 | ||
| Riadok 5: | Riadok 7: | ||
* Optimizing Logic Programs under Answer-Set Programming Paradigm | * Optimizing Logic Programs under Answer-Set Programming Paradigm | ||
* European Science Foundation, project Automatha | * European Science Foundation, project Automatha | ||
| + | |||
| + | == National projects == | ||
| + | |||
| + | * Effective browser of urban data and their presentation (APVT 20-P05105) | ||
| + | * 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) | ||
| + | * obotic 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) | ||
{{Footer}} | {{Footer}} | ||
Verzia zo dňa a času 10:20, 2. september 2008
The members of the department participate or participated in the following research projects:
International projects
- 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
National projects
- Effective browser of urban data and their presentation (APVT 20-P05105)
- 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)
- obotic 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)