Grounded Fixpoints.

Bart Bogaerts Joost Vennekens Marc Denecker

Published in: AAAI (2015)

Keyphrases

logic programs
fixpoint
deductive databases
nonmonotonic reasoning
knowledge base
artificial neural networks
computer vision
search algorithm
pairwise
control system
fixpoint semantics