Login / Signup
A neural network approach to interference mechanism for logic programming language.
Yuji Takeda
Hideya Kawahara
Yukihiro Kikuchi
Hideki Murakoshi
Noboru Funakubo
Published in:
Systems and Computers in Japan (2004)
Keyphrases
</>
logic programming language
neural network
logic programming
constraint logic programming
inference rules
situation calculus
artificial neural networks
back propagation
logic programs
neural network model
declarative semantics
objective function
search algorithm
linear programming