Martin Balaz/en: Rozdiel medzi revíziami
| (Jedna medziľahlá úprava od jedného ďalšieho používateľa nie je zobrazená) | |||
| Riadok 12: | Riadok 12: | ||
=== Teaching === | === Teaching === | ||
| − | * [[ | + | * [[Computational Logic]] |
| + | * [[Knowledge Representation and Reasoning]] | ||
* [[Symbolic Programming and LISP]] | * [[Symbolic Programming and LISP]] | ||
=== Research === | === Research === | ||
| − | * knowledge | + | * artificial intelligence |
| + | * knowledge representation | ||
| + | * argumentation | ||
* logic programming | * logic programming | ||
| − | |||
=== Publications === | === Publications === | ||
| − | * | + | * [http://ii.fmph.uniba.sk/~balaz/ see homepage] |
}} | }} | ||
Aktuálna revízia z 08:50, 27. september 2012
Martin Baláž
|
|
Teaching
Research
- artificial intelligence
- knowledge representation
- argumentation
- logic programming