Login / Signup
A method for removing unused arguments from logic programs.
Emmanuil I. Marakakis
Chara Kounali
Kostas Vassilakis
Published in:
Artificial Intelligence and Soft Computing (2006)
Keyphrases
</>
logic programs
inside outside algorithm
artificial intelligence
inductive logic programming
parameter estimation
constraint satisfaction problems
answer set programming
computational properties