Sign in

On the Floyd-Warshall Algorithm for Logic Programs.

Christos H. PapadimitriouMartha 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