#
Ján Kľuka
in the Web

Ján Kľuka is an assistant professor at Department of Applied Informatics of Faculty of Mathematics, Physics, and Informatics, Comenius University, Bratislava, Slovakia.

## Teaching

## Bachelor Theses / Bakalárske práce

I can superwise bachelor theses in declarative and web programming. I'm especially interested in expanding and refining our collection of logic teaching tools.

## Master Theses / Diplomové práce

I'll gladly superwise students interested in applications of logic in ontologies, knowledge engineering, application of ontologies in various domains.

## Contact

In the order of preference:kluka put the at-sign here fmph.uniba.sk | |

Office | I-16 |

Office phone | +421 2 602 95 727 |

## Publications

Modular Programming and Verification in Second-Order Arithmetic. PhD thesis. Comenius University, Bratislava, 2010. thesis (pdf)

A Proof Calculus with Case Analysis as its Only Rule. With Paul J. Voda. Submitted to CSL09. paper (pdf)

A Simple and Practical Valuation Tree Calculus for First-Order Logic. With Paul J. Voda. Accepted for presentation at CiE09. paper (pdf) — slides (pdf)

Congruence-Anticongruence Closure. In M. Češka, J. Gruska, A. Kučera, eds.: Pre-Proceedings. 1

^{st}Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Znojmo, Czech Republic, October 2005. paper (pdf) — slides (pdf)A Simple Semantics for Destructive Updates. In B. ten Cate, ed.: Proceeding of the Eighth ESSLLI Student Session. Vienna, Austria, August 2003. paper (ps)