An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs.

Fausto Spoto Giorgio Levi

Published in: APPIA-GULP-PRODE (1998)

Keyphrases

logic programs
logic programming
answer sets
stable models
inductive logic programming
answer set programming
object oriented
background knowledge
prolog programs
logic program updates