Keyphrases
- neural nets
- logic programs
- neural network
- logic programming
- feed forward
- answer set programming
- back propagation
- answer sets
- stable models
- partial deduction
- fixpoint
- inductive logic programming
- normal logic programs
- computational properties
- artificial neural networks
- prolog programs
- learning tasks
- horn clauses
- stable model semantics
- loop formulas
- logic program updates
- nonmonotonic reasoning
- strong equivalence
- recursive programs
- pairwise
- expert systems
- feature selection
- term rewriting systems
- genetic algorithm