Using FCA for Encoding Closure Operators into Neural Networks
暂无分享,去创建一个
[1] W S McCulloch,et al. A logical calculus of the ideas immanent in nervous activity , 1990, The Philosophy of Artificial Intelligence.
[2] Steffen Hölldobler,et al. Towards a New Massively Parallel Computational Model for Logic Programming , 1994 .
[3] Pascal Hitzler,et al. Logic programs and connectionist networks , 2004, J. Appl. Log..
[4] David Maier,et al. The Theory of Relational Databases , 1983 .
[5] Krysia Broda,et al. Neural-symbolic learning systems - foundations and applications , 2012, Perspectives in neural computing.
[6] Artur S. d'Avila Garcez,et al. We Will Show Them! Essays in Honour of Dov Gabbay, Volume One , 2005, We Will Show Them!.
[7] Bernhard Ganter,et al. Formal Concept Analysis: Mathematical Foundations , 1998 .
[8] Jean H. Gallier,et al. Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..