Research: Rozdiel medzi revíziami
(New page: Our department combines expertise in several research areas. * Overview of Research Activities * Current and Past Research Projects * Research Workgroups * [[Selected Publicat...) |
(Starting up with some text (translation of the slovak version)) |
||
| Riadok 1: | Riadok 1: | ||
| − | + | =Scientific Research at DAI= | |
| − | * | + | Research activities of DAI are chiefly focused on the the areas of computer graphics and computer vision, artificial intelligence, computational logic, and theory of programming. |
| − | * [[ | + | |
| + | *'''Computer graphics and computer vision.''' Modeling and visualization of virtual cities. Navigation and cooperation in virtual environments. Dynamic system simulations. Medical applications of computer graphics and computer vision. Face recognition and tracking. | ||
| + | |||
| + | *'''Artificial intelligence.''' Complex self-organizing systems. Language processing and modeling, addressed by symbolic (agents) but as well sub-symbolic (neural networks) approach. Knowledge representation in intelligent systems. Cognitive semantics. | ||
| + | |||
| + | *'''Computational logic.''' Logic-based theory of knowledge representation, non-monotonic reasoning, logic programming (especially answer set programming), description logics, ontologies, semantic web. Reasoning under uncertainty. Logical aspects of multi-agent systems. | ||
| + | |||
| + | *'''Theory of programming.''' Declarative programming, code verification, code transformation techniques, rewriting systems and constraint systems. Theory od concurrent processing, formal models and their applications on system specification, verification and information security. | ||
| + | |||
| + | ==See also== | ||
| + | |||
| + | See the following pages for more detailed research profile of our department: | ||
| + | |||
| + | * [[Research Projects]] | ||
* [[Research Workgroups]] | * [[Research Workgroups]] | ||
| + | * [[Conferences]] | ||
* [[Selected Publications]] | * [[Selected Publications]] | ||
Verzia zo dňa a času 17:03, 19. august 2008
Scientific Research at DAI
Research activities of DAI are chiefly focused on the the areas of computer graphics and computer vision, artificial intelligence, computational logic, and theory of programming.
- Computer graphics and computer vision. Modeling and visualization of virtual cities. Navigation and cooperation in virtual environments. Dynamic system simulations. Medical applications of computer graphics and computer vision. Face recognition and tracking.
- Artificial intelligence. Complex self-organizing systems. Language processing and modeling, addressed by symbolic (agents) but as well sub-symbolic (neural networks) approach. Knowledge representation in intelligent systems. Cognitive semantics.
- Computational logic. Logic-based theory of knowledge representation, non-monotonic reasoning, logic programming (especially answer set programming), description logics, ontologies, semantic web. Reasoning under uncertainty. Logical aspects of multi-agent systems.
- Theory of programming. Declarative programming, code verification, code transformation techniques, rewriting systems and constraint systems. Theory od concurrent processing, formal models and their applications on system specification, verification and information security.
See also
See the following pages for more detailed research profile of our department: