Predicate Introduction Under Stable and Well-Founded Semantics.

Johan Wittocx Joost Vennekens Maarten Mariën Marc Denecker Maurice Bruynooghe

Published in: ICLP (2006)

Keyphrases

first order logic
deductive databases
logic programs
neural network
search algorithm
fixpoint
logic programming
real world
computer vision
e learning
case study
multi agent
general logic programs
semantics for logic programs