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.
Funding Value:150.000 €
