A Fully Connectionist Model Generator for Covered First-Order Logic Programs.

Sebastian Bader Pascal Hitzler Steffen Hölldobler Andreas Witzel

Published in: IJCAI (2007)

Keyphrases

logic programs
logic programming
expert systems
conceptual model
fixpoint
inductive logic programming
stable models
general logic programs
semantics for logic programs