A Data Structure for Efficient Deduction in Disjunctive Logic Programs.

Dietmar Seipel Hans Argenton

Published in: WLP (1993)

Keyphrases

data structure
theorem proving
learning algorithm
logic programs
logic programming
data types