Shimon Cohen

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2019
High-order Networks that Learn to Satisfy Logic Constraints.
FLAP, 2019

2017
Optimal ordering of statistically dependent tests.
Discret. Appl. Math., 2017

Artificial Neural Networks that Learn to Satisfy Logic Constraints.
CoRR, 2017

2015
Optimal Ordering of Tests with Extreme Dependencies.
Proceedings of the Modelling, Computation and Optimization in Information Systems and Management Sciences - Proceedings of the 3rd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences, 2015

2014
Optimal ordering of independent tests with precedence constraints.
Discret. Appl. Math., 2014

2012
A Dynamic Binding Mechanism for Retrieving and Unifying Complex Predicate-Logic Knowledge.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2012, 2012

2011
Compact Crossbar Variable Binding for Neuro-Symbolic Computation.
Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning, 2011

Image De-noising by Bayesian Regression.
Proceedings of the Image Analysis and Processing - ICIAP 2011, 2011

1998
Design of an Actor Language for Implicit Parallel Programming.
ACM SIGPLAN Notices, 1998

1997
SYMPAL: a software environment for implicit concurrent object-oriented programming.
Object Oriented Syst., 1997

1986
The APPLOG Language.
Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1984
Multi-Version Structures in Prolog.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1979
The A-TABLE data-type for LISP systems.
ACM SIGPLAN Notices, 1979


  Loading...