A Program to Compute Gödel-Löb Fixpoints.

Published in: Bull. EATCS (1996)

Keyphrases

logic programs
computer programs
database
machine learning
deductive databases
static analysis
fixpoint
databases
decision making
search algorithm
evolutionary algorithm
knowledge representation
efficient computation
social bookmarking