Spreading excellence and disseminating the cutting edge results of our research and development efforts is crucial to our institute. Check for our educational offers for Bachelor, Master and PhD studies at the University of Innsbruck!

Combining First-Order Logic and Logic Programs

Type: 
Master
Supervisor: 
Student name: 
Michael Felderer

Eiter et al. have developed theoretical work and implemented a prototype where they integrate a Description Logic knowledge base with a deductive database. It would be interesting to generalize this work to First-Order Logic, which is a superset of Description Logics.
Download: fol-programs.pdf

We are hiring!

Check out our researcher job positions at https://www.sti-innsbruck.at/about/jobs