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 |
| PostScript: | msc_thesis.ps msc_thesis.ps.gz (compressed) |
| PDF: | msc_thesis.pdf msc_thesis.pdf.gz (compressed) |
| 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 |
| PostScript: | algebraic_dts/algebraic_dts.ps algebraic_dts/algebraic_dts.ps.gz (compressed) |
| PDF: | algebraic_dts/algebraic_dts.pdf algebraic_dts/algebraic_dts.pdf.gz (compressed) |
| 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 |
| PostScript: | TR-2002-27/TR-2002-27.ps TR-2002-27/TR-2002-27.ps.gz (compressed) |
| PDF: | TR-2002-27/TR-2002-27.pdf TR-2002-27/TR-2002-27.pdf.gz (compressed) |
| 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 |
| PostScript: | kmd/kmd.ps kmd/kmd.ps.gz (compressed) |
| PDF: | kmd/kmd.pdf kmd/kmd.pdf.gz (compressed) |