Login / Signup
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs.
Claudio Ochoa
Germán Puebla
Manuel V. Hermenegildo
Published in:
LOPSTR (2005)
Keyphrases
</>
prolog programs
logic programs
databases
artificial intelligence
logic programming
answer set programming
constraint satisfaction
information retrieval
decision making
search algorithm
general purpose