Project STAMPA

Project Title
STAMPA - Sophisticated TAbling Mechanisms for Prolog and their Applications

Project Reference
PTDC/EIA/67738/2006

Funding Entity
FCT

Funding in Euros
150,000

Starting Date
January 2008

Duration in Months
36

Principal Investigator
Ricardo Rocha

Project Goals
Develop novel techniques and models to improve the execution of tabling logic programming in order to solve complex real-world problems, mainly, in four well-known and established Logic Programming paradigms: Inductive Logic Programming, Deductive Databases, Answer Set Programming and the Extended Andorra Model.

Keywords
Logic Programming
Tabling
Implementation
Applications