CHCL — A connectionist inference system-Reference-Cited by-同舟云学术

CHCL — A connectionist inference system

Published:1992 Issue: Volume: Page:318-342
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Hölldobler Steffen,Kurfeß Franz

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55425-4_17.pdf

Reference43 articles.

1. A. V. Aho and J. D. Ullman. The Theory of Parsing, Translation, and Compiling, volume I: Parsing. Prentice-Hall, Englewood Cliffs, N. J., 1972.

2. D. H. Ballard. Parallel logic inference and energy minimization. In Proceedings of the AAAI National Conference on Artificial Intelligence, pages 203–208, 1986.

3. [Bibel et al., 1991] W. Bibel, S. Hölldobler, and J. Würtz. Cycle unification. Technical Report AIDA-91-15, FG Intellektik, FB Informatik, TH Darmstadt, 1991.

4. W. Bibel. Automated Theorem Proving, Vieweg Verlag, Braunschweig, second edition, 1987.

5. W. Bibel. Advanced topics in automated deduction. In Nossum, editor, Fundamentals of Artificial Intelligence II. Springer, 1988.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Dynamic Binding Mechanism for Retrieving and Unifying Complex Predicate-Logic Knowledge;Artificial Neural Networks and Machine Learning – ICANN 2012;2012

2. Connectionist model generation: A first-order approach;Neurocomputing;2008-08

3. The Core Method: Connectionist Model Generation;Artificial Neural Networks – ICANN 2006;2006

4. APPLYING CONNECTIONIST MODAL LOGICS TO DISTRIBUTED KNOWLEDGE REPRESENTATION PROBLEMS;International Journal on Artificial Intelligence Tools;2004-03

5. The PAN System and the WINA Project;Informatik aktuell;1993