Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs.
Steffen HölldoblerYvonne KalinkeHans-Peter StörrPublished in: Australian Joint Conference on Artificial Intelligence (1998)
Keyphrases
- recurrent neural networks
- logic programs
- logic programming
- stable models
- stable model semantics
- fixpoint semantics
- model theoretic
- normal logic programs
- answer set semantics
- declarative semantics
- logic program updates
- strong equivalence
- computational properties
- fixpoint
- answer set programming
- neural network
- echo state networks
- feed forward
- answer sets
- nonmonotonic reasoning
- semantics for logic programs
- semantics of logic programs
- complex valued
- logic programming language
- minimal models
- fixed point semantics
- artificial neural networks
- update operators
- autoepistemic logic
- deductive databases
- inductive logic programming
- prolog programs
- reasoning tasks
- partial deduction
- artificial intelligence
- default logic
- formal semantics
- programming language
- term rewriting systems
- classical logic