Difference between revisions of "Martin Balaz/en"
m |
|||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 9: | Line 9: | ||
| email = balaz[[Image:zavinac.gif|@]]ii.fmph.uniba.sk | | email = balaz[[Image:zavinac.gif|@]]ii.fmph.uniba.sk | ||
| web = [http://ii.fmph.uniba.sk/~balaz/ homepage] | | web = [http://ii.fmph.uniba.sk/~balaz/ homepage] | ||
| − | + | | info = | |
| + | |||
=== 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] |
| − | + | }} | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
Latest revision as of 08:50, 27 September 2012
Martin Baláž
|
|
Teaching
Research
- artificial intelligence
- knowledge representation
- argumentation
- logic programming