Fetching the paper…
Reading the bibliography…
The study and understanding of human behaviour is relevant to computer science, artificial intelligence, neural computation, cognitive science, philosophy, psychology, and several other areas.
A logical calculus of the ideas immanent in neural nets
McCulloch, W. S., & Pitts, W. (1943) · 1943
Earlier work this paper cites.
First draft of a report on the EDVAC
Von Neumann, J. (1945) · 1945
Earlier work this paper cites.
A quantitative description of membrane current and its application to conduction and excitation in nerve
Hodgkin, A. L., & Huxley, A. F. (1952) · 1952
Earlier work this paper cites.
Statistical analysis of non-lattice data
Besag, J. (1975) · 1975
Earlier work this paper cites.
The temporal logic of programs
Pnueli, A. (1977) · 1977
Earlier work this paper cites.
Mental models: Towards a cognitive science of language, inference, and consciousness
Johnson-Laird, P. N. (1983) · 1983
Earlier work this paper cites.
A theory of the learnable
Valiant, L. G. (1984) · 1984
Earlier work this paper cites.
Parallel logical inference and energy minimization
Ballard, D. H. (1986) · 1986
Earlier work this paper cites.
Attention to action
Norman, D. A., & Shallice, T. (1986) · 1986
Earlier work this paper cites.
Parallel Distributed Processing: Explorations in the Microstructure of Cognition (Vol. 1 & 2)
Rumelhart, D. E., McClelland, J. L., & PDP Research Group (Eds.). (1986) · 1986
Earlier work this paper cites.
Information processing in dynamical systems: Foundations of harmony theory
Smolensky, P. (1986) · 1986
Earlier work this paper cites.
Connectionism and cognitive architecture: A critical analysis
Fodor, J. A., & Pylyshyn, Z. W. (1988) · 1988
Earlier work this paper cites.
Connectionist variable-binding by optimization
Anandan, P., Letovsky, S., & Mjolsness, E. (1989) · 1989
Earlier work this paper cites.
On the approximate realization of continuous mappings by neural networks
Funahashi, K.-I. (1989) · 1989
Earlier work this paper cites.
Unification as constraint satisfaction in structured connectionist networks
Stolcke, A. (1989) · 1989
Earlier work this paper cites.
Understanding face recognition with an interactive activation model
Burton, A. M., Bruce, V., & Johnston, R. A. (1990) · 1990
Earlier work this paper cites.
A structured connectionist unification algorithm
Hölldobler, S. (1990) · 1990
Earlier work this paper cites.
Recursive distributed representations
Pollack, J. B. (1990) · 1990
Earlier work this paper cites.
Machine models and simulations
van Emde Boas, P. (1990) · 1990
Earlier work this paper cites.
CHCL: A connectionist inference system
Hölldobler, S., & Kurfess, F. (1992) · 1992
Earlier work this paper cites.
From simple associations to systematic reasoning: A connectionist representation of rules, variables and dynamic bindings using temporal synchrony
Shastri, L., & Ajjanagadde, V. (1993) · 1993
Earlier work this paper cites.
Toward a new massively parallel computational model for logic programming
Hölldobler, S., & Kalinke, Y. (1994) · 1994
Earlier work this paper cites.
Special issue: Ten years of logic programming inductive logic programming: Theory and methods
Muggleton, S., & de Raedt, L. (1994) · 1994
Earlier work this paper cites.
Unified theories of cognition
Newell, A. (1994) · 1994
Earlier work this paper cites.
A neural network model of causality
Sun, R. (1994) · 1994
Earlier work this paper cites.
Knowledge-based artificial neural networks
Towell, G. G., & Shavlik, J. W. (1994) · 1994
Earlier work this paper cites.
Reasoning About Knowledge
Fagin, R., Halpern, J., Moses, Y., & Vardi, M. (1995) · 1995
Earlier work this paper cites.
Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
Pinkas, G. (1995) · 1995
Earlier work this paper cites.
Improving connectionist energy minimization
Pinkas, G., & Dechter, R. (1995) · 1995
Earlier work this paper cites.
Holographic reduced representations
Plate, T. (1995) · 1995
Earlier work this paper cites.
Rational models of normal logic programs
Bornscheuer, S.-E. (1996) · 1996
Earlier work this paper cites.
Why is modal logic so robustly decidable?
Vardi, M. Y. (1996) · 1996
Earlier work this paper cites.
Free recall and recognition in a network model of the hippocampus: simulating effects of scopolamine on human memory function
Hasselmo, M. E., & Wyble, B. P. (1997) · 1997
Earlier work this paper cites.
Long short-term memory
Hochreiter, S., & Schmidhuber, J. (1997) · 1997
Earlier work this paper cites.
A model of saliency-based visual attention for rapid scene analysis
Itti, L., Koch, C., & Niebur, E. (1998) · 1998
Earlier work this paper cites.
Interacting cognitive subsystems: Modeling working memory phenomena within a multiprocessor architecture
Barnard, P. J. (1999) · 1999
Earlier work this paper cites.
Intention, plans, and practical reason
Bratman, M. (1999) · 1999
Earlier work this paper cites.
Connectionist variable binding
Browne, A., & Sun, R. (1999) · 1999
Earlier work this paper cites.
The connectionist inductive learning and logic programming system
Garcez, A., & Zaverucha, G. (1999) · 1999
Earlier work this paper cites.
Approximating the semantics of logic programs by recurrent neural networks
Hölldobler, S., Kalinke, Y., & Störr, H.-P. (1999) · 1999
Earlier work this paper cites.
Insights into working memory from the perspective of the epic architecture for modemodel skilled perceptual-motor and cognitive human performance
Kieras, D., Meyer, D., Mueller, S., & Seymour, T. (1999) · 1999
Earlier work this paper cites.
Appraisel theory
Scherer, K. (1999) · 1999
Earlier work this paper cites.
Neural Networks and Analog Computation: Beyond the Turing Limit
Siegelmann, H. (1999) · 1999
Earlier work this paper cites.
Building cognitively rich agents using the sim_agent toolkit
Sloman, A., & Logan, B. (1999) · 1999
Earlier work this paper cites.
The episodic buffer: a new component of working memory?
Baddeley, A. (2000) · 2000
Earlier work this paper cites.
Knowledge-Based Neurocomputing
Cloete, I., & Zurada, J. (Eds.). (2000) · 2000
Earlier work this paper cites.
Anchoring symbols to sensor data: Preliminary report
Coradeschi, S., & Saffiotti, A. (2000) · 2000
Earlier work this paper cites.
Resolution-Based Inference on Artificial Neural Networks
Lima, P. (2000) · 2000
Earlier work this paper cites.
Computational explorations in cognitive neuroscience: Understanding the mind by simulating the brain
O’Reilly, R. C., & Munakata, Y. (2000) · 2000
Earlier work this paper cites.
Connectionist modelling in psychology: A localist manifesto
Page, M. (2000) · 2000
Earlier work this paper cites.
A neuroidal architecture for cognitive computation
Valiant, L. G. (2000) · 2000
Earlier work this paper cites.
Learning logic programs with neural networks
Basilio, R., Zaverucha, G., & Barbosa, V. C. (2001) · 2001
Earlier work this paper cites.
Connectionist inference models
Browne, A., & Sun, R. (2001) · 2001
Earlier work this paper cites.
Bounded model checking using satisfiability solving
Clarke, E., Biere, A., Raimi, R., & Zhu, Y. (2001) · 2001
Earlier work this paper cites.
Temporal binding and the neural correlates of sensory awareness
Engel, A. K., & Singer, W. (2001) · 2001
Earlier work this paper cites.
Language, thought and compositionality
Fodor, J. A. (2001) · 2001
Earlier work this paper cites.
Computational design and nonlinear dynamics of a recurrent network model of the primary visual cortex
Li, Z. (2001) · 2001
Earlier work this paper cites.
Challenging the widespread assumption that connectionism and distributed representations go hand-in-hand
Bowers, J. S. (2002) · 2002
Earlier work this paper cites.
Neural-Symbolic Learning Systems: Foundations and Applications
Garcez, A., Broda, K., & Gabbay, D. M. (2002) · 2002
Cited alongside, same era.
Foundations of Language: Brain, Meaning, Grammar
Jackendorff, R. (2002) · 2002
Cited alongside, same era.
Paradigms for computing with spiking neurons
Maass, W. (2002) · 2002
Cited alongside, same era.
The past and future of the past tense
Pinker, S., & Ullman, M. T. (2002) · 2002
Cited alongside, same era.
Hybrid systems and connectionist implementationalism
Sun, R. (2002) · 2002
Cited alongside, same era.
Intuitionistic logic
Van Dalen, D. (2002) · 2002
Cited alongside, same era.
The Description Logic Handbook: Theory, Implementation, and Applications
Building production systems with realistic spiking neurons
Stewart, T. C., & Eliasmith, C. (2008) · 2008
Later among the works it cites.
Training restricted Boltzmann machines using approximations to the likelihood gradient
Tieleman, T. (2008) · 2008
Later among the works it cites.
Knowledge infusion: In pursuit of robustness in artificial intelligence.
Valiant, L. G. (2008) · 2008
Later among the works it cites.
The tractable cognition thesis
van Rooij, I. (2008) · 2008
Later among the works it cites.
Abductive authorization credential gathering
Becker, M., Mackay, J., & Dillaway, B. (2009) · 2009
Later among the works it cites.
Virtual brain reading: A connectionist approach to understanding fmri patterns
Cowell, R., & Cottrell, G. (2009) · 2009
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., & Patel-Schneider, P. F. (Eds.). (2003) · 2003
Cited alongside, same era.
Comparison of computational models of familiarity discrimination in the perirhinal cortex
Bogacz, R., & Brown, M. W. (2003) · 2003
Cited alongside, same era.
Continuous restricted boltzmann machine with an implementable training algorithm
Chen, H., & Murray, A. F. (2003) · 2003
Cited alongside, same era.
In two minds: dual-process accounts of reasoning
Evans, J. S. B. (2003) · 2003
Cited alongside, same era.
Attention, spatial representation, and visual neglect: Simulating emergent attention and spatial memory in the selective attention for identification model (SAIM)
Heinke, D., & Humphreys, G. W. (2003) · 2003
Cited alongside, same era.
Comparative evaluation of approaches to propositionalization
Krogel, M.-A., Rawles, S., Zelezny, F., Flach, P. A., Lavrac, N., & Wrobel, S. (2003) · 2003
Cited alongside, same era.
Markov Logic: An Interface Layer for Artificial Intelligence
Domingos, P., & Lowd, D. (2009) · 2009
Later among the works it cites.
Neural-Symbolic Cognitive Reasoning
Garcez, A., Lamb, L. C., & Gabbay, D. M. (2009) · 2009
Later among the works it cites.
Cognitive Models for Training Simulations (Dissertation)
Heuvelink, A. (2009) · 2009
Later among the works it cites.
Deep boltzmann machines
Salakhutdinov, R., & Hinton, G. (2009) · 2009
Later among the works it cites.
Theoretical status of computational cognitive modeling
Sun, R. (2009) · 2009
Later among the works it cites.
The recurrent temporal restricted boltzmann machine
Sutskever, I., Hinton, G. E., & Taylor, G. W. (2009) · 2009
Later among the works it cites.
Too much control can hurt: A threaded cognition model of the attentional blink
Taatgen, N. A., Juvina, I., Schipper, M., Borst, J. P., & Martens, S. (2009) · 2009
Later among the works it cites.
A dynamical systems perspective on the relationship between symbolic and non-symbolic computation
Tabor, W. (2009) · 2009
Later among the works it cites.
An introduction to multiagent systems
Wooldridge, M. (2009) · 2009
Later among the works it cites.
Integrating logical and sub-symbolic contexts of reasoning
Besold, T. R., & Mandl, S. (2010) · 2010
Later among the works it cites.
An integrated neural-symbolic cognitive agent architecture for training and assessment in simulators
de Penning, L., d’Avila Garcez, A., Lamb, L. C., & Meyer, J. J. (2010) · 2010
Later among the works it cites.
DARPA’s Mind’s Eye Program: Broad Agency Announcement
Donlon, J. (2010) · 2010
Later among the works it cites.
Extracting reduced logic programs from artificial neural networks
Lehmann, J., Bader, S., & Hitzler, P. (2010) · 2010
Later among the works it cites.
Creating scientific concepts
Nersessian, N. (2010) · 2010
Later among the works it cites.
Internal representation of task rules by recurrent dynamics: the importance of the diversity of neural responses
Rigotti, M., Rubin, D. B. D., Wang, X.-J., & Fusi, S. (2010) · 2010
Later among the works it cites.
How brains make mental models
Thagard, P. (2010) · 2010
Later among the works it cites.
Perception-Action Cycle: Models, Architectures, and Hardware
Cutsuridis, V., Hussain, A., & Taylor, J. G. (Eds.). (2011) · 2011
Later among the works it cites.
A neural-symbolic cognitive agent for online learning and reasoning
de Penning, L., d’Avila Garcez, A., Lamb, L. C., & Meyer, J. J. (2011) · 2011
Later among the works it cites.
Assembly and use of new task rules in fronto-parietal cortex
Dumontheil, I., Thompson, R., & Duncan, J. (2011) · 2011
Later among the works it cites.
Coarse-to-fine inference and learning for first-order probabilistic models
Kiddon, C., & Domingos, P. (2011) · 2011
Later among the works it cites.
Computational Logic and Human Thinking: How to be Artificially Intelligent
Kowalski, R. (2011) · 2011
Later among the works it cites.
Sum-product networks: A new deep architecture
Poon, H., & Domingos, P. (2011) · 2011
Later among the works it cites.
The organisation of mind
Shallice, T., & Cooper, R. (2011) · 2011
Later among the works it cites.
The aha! experience: Creativity through emergent binding in neural networks
Thagard, P., & Stewart, T. C. (2011) · 2011
Later among the works it cites.
A neural-symbolic cognitive agent with a mind’s eye
de Penning, L., den Hollander, R., Bouma, H., G., B., & Garcez, A. d. (2012) · 2012
Later among the works it cites.
Turing is among us
Pereira, L. M. (2012) · 2012
Later among the works it cites.
Dynamic binding mechanism for retrieving and unifying complex predicate-logic knowledge
Pinkas, G., Lima, P., & Cohen, S. (2012) · 2012
Later among the works it cites.
Logic extraction from deep belief networks
Tran, S., & Garcez, A. (2012) · 2012
Later among the works it cites.
Human-level artificial intelligence must be a science
Besold, T. R. (2013) · 2013
Later among the works it cites.
The interaction of representation and reasoning
Bundy, A. (2013) · 2013
Later among the works it cites.
The neural binding problem(s)
Feldman, J. (2013) · 2013
Later among the works it cites.
3d convolutional neural networks for human action recognition
Ji, S., Xu, W., Yang, M., & Yu, K. (2013) · 2013
Later among the works it cites.
Representing, binding, retrieving and unifying relational knowledge using pools of neural binders
Pinkas, G., Lima, P., & Cohen, S. (2013) · 2013
Later among the works it cites.
The atomic components of thought
Anderson, J. R., & Lebiere, C. J. (2014) · 2014
Later among the works it cites.
Cognition, concurrency theory and reverberations in the brain: in search of a calculus of communicating (recurrent) neural systems
Bowman, H., & Su, L. (2014) · 2014
Later among the works it cites.
Applying neural-symbolic cognitive agents in intelligent transport systems to reduce co2 emissions
de Penning, L., d’Avila Garcez, A. S., Lamb, L. C., Stuiver, A., & Meyer, J. J. C. (2014) · 2014
Later among the works it cites.
Fast relational learning using bottom clause propositionalization with artificial neural networks
Franca, M., Zaverucha, G., & Garcez, A. (2014) · 2014
Later among the works it cites.
Neural turing machines.
Graves, A., Wayne, G., & Danihelka, I. (2014) · 2014
Later among the works it cites.
Controlling recurrent neural networks by conceptors.
Jaeger, H. (2014) · 2014
Later among the works it cites.
Show and Tell: A Neural Image Caption Generator.
Vinyals, O., Toshev, A., Bengio, S., & Erhan, D. (2014) · 2014
Later among the works it cites.
Towards integrated neural-symbolic systems for human-level ai: Two research programs helping to bridge the gaps
Besold, T. R., & Kühnberger, K.-U. (2015) · 2015
Later among the works it cites.
Anchoring knowledge in interaction: Towards a harmonic subsymbolic/symbolic framework and architecture of computational cognition
Besold, T. R., Kühnberger, K.-U., Garcez, A. d., Saffiotti, A., Fischer, M. H., & Bundy, A. (2015) · 2015
Later among the works it cites.
Neural-Symbolic Learning and Reasoning: Contributions and Challenges
Garcez, A., Besold, T. R., de Raedt, L., Földiak, P., Hitzler, P., Icard, T., Kühnberger, K.-U., Lamb, L., Miikkulainen, R., & Silver, D. (2015) · 2015
Later among the works it cites.
Deep visual-semantic alignments for generating image descriptions.
Karpathy, A., & Fei-Fei, L. (2015) · 2015
Later among the works it cites.
Visualizing and understanding recurrent networks.
Karpathy, A., Johnson, J., & Fei-Fei, L. (2015) · 2015
Later among the works it cites.
Learning relational sum-product networks.
Nath, A., & Domingos, P. (2015) · 2015
Later among the works it cites.
Deep visual analogy-making
Reed, S. E., Zhang, Y., Zhang, Y., & Lee, H. (2015) · 2015
Later among the works it cites.
Lifted relational neural networks
Sourek, G., Aschenbrenner, V., Zelezny, F., & Kuzelka, O. (2015) · 2015
Later among the works it cites.
Memory networks.
Weston, J., Chopra, S., & Bordes, A. (2015) · 2015
Later among the works it cites.
Statistical Relational Artificial Intelligence: Logic, Probability, and Computation
de Raedt, L., Kersting, K., Natarajan, S., & Poole, D. (2016) · 2016
Later among the works it cites.
Learning to communicate to solve riddles with deep distributed recurrent Q-networks.
Foerster, J. N., Assael, Y. M., de Freitas, N., & Whiteson, S. (2016) · 2016
Later among the works it cites.
Mastering the game of Go with deep neural networks and tree search
Silver, D., Huang, A., Maddison, C., Guez, A., Sifre, L., van den Driessche, G., Schrittwieser, J., Antonoglou, I., Panneershelvam, V., Lanctot, M., Dieleman, S., Grewe, D., Nham, J., Kalchbrenner, N., Sutskever, I., Lillicrap, T., Leach, M., Kavukcuoglu, K., Graepel, T., & Hassabis, D. (2016) · 2016
Later among the works it cites.