Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
An analysis of first-order logics of probability
Artificial Intelligence
Circuits of the mind
SIAM Journal on Computing
Artificial Intelligence
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
A connectionist computational model for epistemic and temporal reasoning
Neural Computation
Connectionist computations of intuitionistic reasoning
Theoretical Computer Science
Connectionist modal logic: Representing modalities in neural networks
Theoretical Computer Science
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
A connectionist cognitive model for temporal synchronisation and learning
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Integrating model verification and self-adaptation
Proceedings of the IEEE/ACM international conference on Automated software engineering
Fewer epistemological challenges for connectionism
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
A neural-symbolic cognitive agent for online learning and reasoning
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Hi-index | 0.01 |