Learning and Deduction in Neural Networks  and Logic

Learning and Deduction in Neural Networks and Logic (2007)

Cached

Download Links

[www.cs.ucc.ie]

by Ekaterina Komendantskaya

Citations:

2 - 2 self

BibTeX

@MISC{Komendantskaya07learningand,
    author = {Ekaterina Komendantskaya},
    title = { Learning and Deduction in Neural Networks and Logic},
    year = {2007}
}

Bookmark

OpenURL

Abstract

Citations

2715	Neural networks: A comprehensive foundation (2nd ed.). Upper Saddle River - Haykin - 1999
2198	Fuzzy sets - Zadeh - 1965
1739	Foundations of Logic Programming - Lloyd - 1984
1297	Neural networks and physical systems with emergent collective computational abilities - Hopfield - 1982
1158	Self-organization and associative memory - Kohonen - 1984
926	A computing procedure for quantification theory - Davis, Putnam - 1960
855	Negation as Failure - Clark - 1978
829	A Machine–oriented Logic Based on the Resolution Principle - Robinson - 1965
641	Predicate logic as a programming language - Kowalski - 1974
599	The perceptron: A probabilistic model for information storage and organization - Rosenblatt - 1958
593	Introduction to Metamathematics - Kleene - 1971
585	The Art of Prolog - Sterling, Shapiro - 1986
549	A logical calculus of the ideas immanent in nervous activity - McCulloch, Pitts - 1943
539	A Mathematical Introduction to Logic - Enderton - 1972
493	Untersuchungen über das logische Schließen - Gentzen - 1935
490	Neurons with graded response have collective computational properties like those of two-state neurons - Hopfield
474	An Abstract Prolog Instruction Set - Warren - 1983
447	A lattice-theoretical fixpoint theorem and its applications - Tarski - 1955
347	A Kripke-Kleene Semantics of logic Programs - Fitting - 1985
334	Uniform proofs as a foundation for logic programming - Miller, Nadathur, et al. - 1991
334	The complexity of enumeration and reliability problems - Valiant - 1979
301	Intuitionistic Type Theory - Martin-Löf - 1984
296	On the proper treatment of connectionism - Smolensky - 1988
294	Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components. Automata Studies - Neumann - 1956
290	Logic programming with focusing proofs in linear logic - Andreoli - 1992
258	Introduction to Mathematical Logic - Mendelson - 1971
255	A Useful Four-Valued Logic - Belnap - 1977
219	Connectionist models and their properties - Feldman, Ballard
210	Neural Darwinism: The theory of neuronal group selection - Edelman - 1987
206	Application of theorem proving to problem solving - Green - 1969
206	The organization of behaviour - Hebb - 1949
201	Linear objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1991
195	Mathematical Logic - Shoenfield - 1967
181	A logic for reasoning about probabilities - Fagin, Halpern, et al. - 1990
170	Contributions to the theory of logic programming - Apt, Emden - 1982
161	Making Prolog more expressive - Lloyd, Topor - 1984
153	Theory of generalized annotated logic programming and its applications - Kifer, Subrahmanian
140	Multivalued logics: A uniform approach to reasoning in artificial intelligence - Ginsberg - 1988
139	On the computational power of neural nets - Siegelmann, ED - 1995
137	Categories for the working mathematician. Graduate Texts - MacLane - 1971
136	A logical analysis of modules in logic programming. The - Miller - 1989
133	Reasoning about Uncertainty - Halpern - 2003
133	Knowledge-based artificial neural networks - Towell, Shavlik - 1994
117	Outline of a theory of truth - Kripke - 1975
117	Probabilistic logic programming - Ng, Subrahmanian - 1992
105	Applications of counterpropagation networks - Hecht-Nielsen - 1988
104	Foundations of NeuroFuzzy Systems - Nauck, Klawonn, et al. - 1997
103	Shadows of the Mind: A Search for the Missing Science of Consciousness - Penrose - 1996
100	Automata and Computability - Kozen - 1997
100	The complexity of counting cuts and of computing the probability that a graph is connected - Provan, Ball - 1983