What people are saying - Write a review
We haven't found any reviews in the usual places.
Transform Coding by Lateral Inhibited Neural Nets 14
Logical and Linear Dependencies Extraction from Trained Neural Networks
The Implementation of a FirstOrder Logic AGM Belief Revision System
32 other sections not shown
active agents algorithm applications approach architecture Artificial Intelligence attributes Bayesian networks beam width belief revision clause components Computer concept consistent constraint satisfaction problems cost error databases decision table decision tree defined denote described developed domain dynamic efficient eigenvectors evaluation example expert system Figure formula function fuzzy Genetic Algorithms goal graph heuristic hierarchy hypotheses hypothetical reasoning IEEE Int.'l Conf implemented inference input instance knowledge base knowledge representation language layer learning linear Logic Programming Machine Learning matching method netels neural network node nogood object object-oriented operation optimal output paper parallel parameters partition pattern map performance predicate problem Proc procedure produced Prolog query relation represent rules sample SD-Form segments semantic simulated annealing simulation slot solution solving specific strategy structure symbols task techniques theorem tion Tools tuples variable vector version space