Active Projects

• LogProb: Logic and Probability
• InteGrade: Free and open source object-oriented grid middleware using the idle computing power of desktop machines.
• ConsRel: Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications
• KEMS: A KE-tableau based multi-strategy theorem prover

For more project, please visit the LIAMF group home page.

Research Interests

• Computational Logic
  • Temporal Logic and Temporal Databases
  • Approximated Reasoning
  • Theorem Proving
  • Logic and Probabilities
• Computational Linguistics
• FOSS: Free and Open Source Software
  • FOSS and Education
  • AI-related FOSS