메뉴 건너뛰기




Volumn 4, Issue , 2003, Pages 2803-2806

Finding Least Cost Proofs Using High Order Recurrent Networks

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONS; PROBLEM SOLVING; RECURRENT NEURAL NETWORKS;

EID: 0037551416     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (2)

References (13)
  • 1
    • 0032156130 scopus 로고    scopus 로고
    • An Algorithm for Finding MAPs for Belief Networks through Cost-Based Abduction
    • A.M. Abdelbar, "An Algorithm for Finding MAPs for Belief Networks through Cost-Based Abduction," Artificial Intelligence, Vol. 104, 1998, pp. 331-338.
    • (1998) Artificial Intelligence , vol.104 , pp. 331-338
    • Abdelbar, A.M.1
  • 2
    • 0005909128 scopus 로고    scopus 로고
    • Designing High Order Recurrent Networks for Bayesian Belief Revision
    • L.R. Medsker, and L.C. Jain, eds., CRC Press
    • A.M. Abdelbar, "Designing High Order Recurrent Networks for Bayesian Belief Revision," in: L.R. Medsker, and L.C. Jain, eds., Recurrent Neural Networks: Design And Applications, CRC Press, pp. 77-98, 1999.
    • (1999) Recurrent Neural Networks: Design and Applications , pp. 77-98
    • Abdelbar, A.M.1
  • 4
    • 0028408874 scopus 로고
    • Cost-Based Abduction and MAP Explanation
    • E. Charniak, and S. Shimony, "Cost-Based Abduction and MAP Explanation," Artificial Intelligence, Vol. 66, 1994, pp. 345-374.
    • (1994) Artificial Intelligence , vol.66 , pp. 345-374
    • Charniak, E.1    Shimony, S.2
  • 5
    • 0020970741 scopus 로고
    • Absolute Stability of Global Pattern Formation and Parallel Memory Storage by Competitive Neural Networks
    • M.A. Cohen, and S. Grossberg, "Absolute Stability of Global Pattern Formation and Parallel Memory Storage by Competitive Neural Networks," IEEE Transactions on Systems, Man, and Cybernetics, Vol. 13, No. 5, 1983, pp. 815-826.
    • (1983) IEEE Transactions on Systems, Man, and Cybernetics , vol.13 , Issue.5 , pp. 815-826
    • Cohen, M.A.1    Grossberg, S.2
  • 7
    • 0020118274 scopus 로고
    • Neural Networks and Physical Systems with Emergent Collective Computational Abilities
    • J.J. Hopfield, "Neural Networks and Physical Systems with Emergent Collective Computational Abilities," Proceedings National Academy of Science, Vol. 79, 1982, pp. 2554-2558.
    • (1982) Proceedings National Academy of Science , vol.79 , pp. 2554-2558
    • Hopfield, J.J.1
  • 8
    • 0004469897 scopus 로고
    • Neurons with Graded Response Have Collective Computational Properties Like Those of Two-State Neurons
    • J.J. Hopfield, "Neurons with Graded Response Have Collective Computational Properties Like Those of Two-State Neurons," Proceedings National Academy of Science, Vol. 81, 1984, 3088-3092.
    • (1984) Proceedings National Academy of Science , vol.81 , pp. 3088-3092
    • Hopfield, J.J.1
  • 10
    • 0029368629 scopus 로고
    • Reasoning, Nonmonotonicity and Learning in Connectionist Networks that Capture Prepositional Knowledge
    • G. Pinkas, "Reasoning, Nonmonotonicity and Learning in Connectionist Networks that Capture Prepositional Knowledge," Artificial Intelligence 77 (1995) 203-247.
    • (1995) Artificial Intelligence , vol.77 , pp. 203-247
    • Pinkas, G.1
  • 11
    • 0001957719 scopus 로고
    • On the generation of alternative explanations with implications for belief revision
    • E. Santos Jr., "On the generation of alternative explanations with implications for belief revision," Proceedings Seventh Conference on Uncertainty in AI, 1991, pp. 339-347.
    • (1991) Proceedings Seventh Conference on Uncertainty in AI , pp. 339-347
    • Santos E., Jr.1
  • 12
    • 0028257241 scopus 로고
    • A Linear Constraint Satisfaction Approach to Cost-Based Abduction
    • E. Santos Jr., "A Linear Constraint Satisfaction Approach to Cost-Based Abduction," Artificial Intelligence, Vol. 65, 1994, pp. 1-27.
    • (1994) Artificial Intelligence , vol.65 , pp. 1-27
    • Santos E., Jr.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.