Neural-symbolic intuitionistic reasoning
Design and application of hybrid intelligent systems
Rule-based update methods for a hybrid rule base
Data & Knowledge Engineering
A connectionist computational model for epistemic and temporal reasoning
Neural Computation
Connectionist computations of intuitionistic reasoning
Theoretical Computer Science
Neuro-Symbolic Approaches for Knowledge Representation in Expert Systems
International Journal of Hybrid Intelligent Systems
First-Order Logical Neural Networks
International Journal of Hybrid Intelligent Systems - Recent developments in Hybrid Intelligent Systems
Connectionist model generation: A first-order approach
Neurocomputing
Using FCA for Encoding Closure Operators into Neural Networks
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Learning and Memorizing Models of Logical Theories in a Hybrid Learning Device
Neural Information Processing
Learning from Inconsistencies in an Integrated Cognitive Architecture
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Logic Programs under Three-Valued Łukasiewicz Semantics
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Neural Networks for State Evaluation in General Game Playing
ECML PKDD '09 Proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: Part II
A connectionist cognitive model for temporal synchronisation and learning
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
A fully connectionist model generator for covered first-order logic programs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Logics and Networks for Human Reasoning
ICANN '09 Proceedings of the 19th International Conference on Artificial Neural Networks: Part II
Extracting reduced logic programs from artificial neural networks
Applied Intelligence
Integrating model verification and self-adaptation
Proceedings of the IEEE/ACM international conference on Automated software engineering
Towards encoding background knowledge with temporal extent into neural networks
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Maximus-AI: using Elman neural networks for implementing a SLMR trading strategy
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Neuro-symbolic representation of logic programs defining infinite sets
ICANN'10 Proceedings of the 20th international conference on Artificial neural networks: Part I
A functional-commercial analysis strategy for product conceptualization
Expert Systems with Applications: An International Journal
Neural symbolic architecture for normative agents
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
A quality-time-cost-oriented strategy for product conceptualization
Advanced Engineering Informatics
The core method: connectionist model generation
ICANN'06 Proceedings of the 16th international conference on Artificial Neural Networks - Volume Part II
Fewer epistemological challenges for connectionism
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Learning and reasoning about norms using neural-symbolic systems
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
| Hi-index | 0.01 |