(Národné projekty)
(Národné projekty)
Riadok 17: Riadok 17:
 
* Computing in network (VEGA 1/0172/03)
 
* Computing in network (VEGA 1/0172/03)
 
* 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 language as a self-organizing complex system (VEGA 1/0361/08)
  
 
{{Pata}}
 
{{Pata}}

Verzia zo dňa a času 09:36, 3. september 2008

Č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)
  • 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)

Šablóna:Pata