Abducting Abduction

I'm a student of the MSc. in Computational Logic at the Technische Universität Dresden. Right now I'm in the last steps of my studies and therefore I decided to create this blog, in order to keep a track of my work for future reference, to know where I am in the project and to help all those fellows who face the same problems as I will.

Since a good part of the project and the thesis I'm realizing consists on programming, this blog can be consider itself a blog on programming but there would be also information about neural networks and logic. Perhaps even some proofs.

I tried unsuccessfully to keep blogs for my projects. I hope this time I can prove myself wrong and keep this blog up to date.