Login / Signup
On the Floyd-Warshall Algorithm for Logic Programs.
Christos H. Papadimitriou
Martha Sideri
Published in:
J. Log. Program. (1999)
Keyphrases
</>
logic programs
prolog programs
logic programming
computational complexity
optimal solution
expectation maximization
search space
background knowledge
inductive logic programming
fixpoint