Inclusional Theories in Declarative Programming.

W. Marco Schorlemmer Jaume Agustí-Cullell

Published in: APPIA-GULP-PRODE (1996)

Keyphrases

declarative programming
logic programming
answer set programming
logic programs
machine learning
theoretical framework
databases
programming language