Proof Length as an Uncertainty Factor in ILP.

Gilles Richard Fatima Zohra Kettaf

Published in: Soft-Ware (2002)

Keyphrases

inductive logic programming
databases
inherent uncertainty
background knowledge
theorem proving
fixed length
possibility theory
neural network
knowledge base
logic programs
uncertain data
theorem prover
maximum number
probability theory
uncertain information
finite alphabet