There is not yet much to see here, but I am working to change this soon. At the moment you can only read my MSc-thesis.
| Kind: | MSc-thesis |
| Short description: | Describes transformations of pure and strict functional languages |
| within a higher-order logic setting (LambdaProlog) | |
| Date and Place: | September 11, 2000 (University of Edinburgh) |
| Online-version: | MSc-thesis |
| PDF: | msc_thesis.pdf |
| Sources: | FunTrans |
| Bibtex: | msc_thesis.bib |
| Kind: | Paper (rejected), submitted to the Machine Learning Journal |
| Short description: | Describes the theory and motivation behind AIFAD |
| Date and Place: | March 10, 2003 Austrian Research Institute for Artificial Intelligence |
| Online-version: | algebraic_dts |
| PDF: | algebraic_dts/algebraic_dts.pdf |
| Bibtex: | algebraic_dts/algebraic_dts.bib |
| Short description: | Demonstrates how to model complex datasets for machine learning using algebraic datatypes. |
| Date and Place: | May 15, 2002 (ÖFAI / Vienna) |
| Online-version: | TR-2002-27 |
| PDF: | TR-2002-27/TR-2002-27.pdf |
| Bibtex: | TR-2002-27/TR-2002-27.bib |
| Short description: | Kritische Abhandlung über einen Artikel von Bringsjord et al. (Seminararbeit) |
| Date and Place: | Dec 04, 2002, Technical University of Vienna |
| Online-version: | kmd |
| PDF: | kmd/kmd.pdf |