IJCAIWorkshop on Neural-Symbolic Learning and Reasoning (NeSy’05) Call for Papers Edinburgh, Scotland, August 1st, 2005 Artificial Intelligence researchers continue to face huge challenges in their quest to deve

Source URL: daselab.cs.wright.edu

Theano Tutorial Theano is a software package which allows you to write symbolic code and compile it onto different architectures (in particular, CPU and GPU). It was developed by machine learning researchers at the Univ

Source URL: colinraffel.com

• Artificial neural networks
• Sigmoid function
• Artificial neuron
• Parameter
• Function
• Gradient descent
• Backpropagation
• Multilayer perceptron
• Activation function
• Theano
• Default argument
• Artificial intelligence

Lasagne Tutorial This tutorial assumes basic knowledge of Theano. Here is a Theano tutorial if you need to get up to speed. Theano is increadibly useful for compiling and automatically differentiating symbolic expressio

Source URL: colinraffel.com

• Artificial neural networks
• Computational neuroscience
• Convolutional neural network
• Long short-term memory
• Multilayer perceptron
• Artificial intelligence
• MNIST database
• CUDA
• Deep learning

Semantic Guidance (and other methods) for Saturation Provers 8th International Conference on ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION

Source URL: www.cs.unm.edu

Report from Dagstuhl SeminarArtificial and Computational Intelligence in Games: Integration Edited by

Source URL: drops.dagstuhl.de

• Artificial intelligence
• Game theory
• Academia
• Formal sciences
• Computational neuroscience
• Technology
• Science and technology
• Game artificial intelligence
• General video game playing
• Artificial general intelligence
• Game design
• Symbolic artificial intelligence

Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions Serdar Erbatur1 , Santiago Escobar2 , Deepak Kapur3 , Zhiqiang Liu4 , Christopher Lynch4 , Catherine Meadows5 , Jos´e Meseguer6 , Paliath Nar

Source URL: csf2012.seas.harvard.edu

• Unification
• Irreducibility
• Universal algebra
• Science
• Philosophy
• Artificial intelligence
• Automated theorem proving
• Cognitive science
• Protocol analysis

Semantic image analysis using a symbolic neural architecture

Source URL: www.islab.ntua.gr

• Mathematical logic
• Fuzzy logic
• Non-classical logic
• Computational neuroscience
• Learning
• Neuro-fuzzy
• Support vector machine
• Fuzzy concept
• Segmentation
• Logic
• Science
• Artificial intelligence

Curriculum Vitae Laura Ildik´o Kov´acs A SSOCIATE P ROFESSOR Department of Computer Science and Engineering Chalmers University of TechnologyGothenburg

Source URL: www.cse.chalmers.se

• Logic in computer science
• Automated theorem proving
• Formal methods
• Artificial intelligence
• Automated reasoning
• Computer science
• Formal verification
• Model checking
• Symbolic computation
• Theoretical computer science
• Applied mathematics
• Mathematics

Perception Processing for General Intelligence: Bridging the Symbolic/Subsymbolic Gap Ben Goertzel Novamente LLC Abstract. Bridging the gap between symbolic and subsymbolic representations is a – perhaps the – key o

Source URL: agi-conference.org

• Neuroscience
• Cybernetics
• Cognitive architecture
• OpenCog
• Ben Goertzel
• Strong AI
• Cognitive science
• Soar
• Artificial neural network
• Computational neuroscience
• Science
• Artificial intelligence

Using Extra Output Learning to Insert a Symbolic Theory into a Connectionist Network M.R.W. DAWSON1, D.A. MEDLER2, D.B. MCCAUGHAN3, L. WILLSON4 and M. CARBONARO5 1 Department of Psychology, University of Alberta, Edmonto

Source URL: www.bcp.psych.ualberta.ca

• Artificial intelligence
• Cybernetics
• Learning
• Machine learning
• Cognitive science
• Connectionism
• Perceptron
• Algorithm
• Recurrent neural network
• Computational neuroscience
• Science
• Neural networks