Difference between revisions of "Martin Balaz/en"
m |
|||
| Line 12: | Line 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] | * [http://ii.fmph.uniba.sk/~balaz/ see homepage] | ||
}} | }} | ||
Latest revision as of 08:50, 27 September 2012
Martin Baláž
|
|
Teaching
Research
- artificial intelligence
- knowledge representation
- argumentation
- logic programming