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
Contact person in charge.