Shimon Cohen

13 papers C 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2019 J jnl
High-order Networks that Learn to Satisfy Logic Constraints.
FLAP
Gadi Pinkas, Shimon Cohen
2017 J jnl
Artificial Neural Networks that Learn to Satisfy Logic Constraints.
CoRR
Gadi Pinkas, Shimon Cohen
2017 J jnl
Optimal ordering of statistically dependent tests.
Discret. Appl. Math.
Daniel Berend, Ronen I. Brafman, Solomon Eyal Shimony, Shira Zucker, Shimon Cohen
2015 — conf
Optimal Ordering of Tests with Extreme Dependencies.
MCO (1)
Daniel Berend, Shimon Cohen, Solomon Eyal Shimony, Shira Zucker
2014 J jnl
Optimal ordering of independent tests with precedence constraints.
Discret. Appl. Math.
Daniel Berend, Ronen I. Brafman, Shimon Cohen, Solomon Eyal Shimony, Shira Zucker
2012 — conf
A Dynamic Binding Mechanism for Retrieving and Unifying Complex Predicate-Logic Knowledge.
ICANN (1)
Gadi Pinkas, Priscila M. V. Lima, Shimon Cohen
2011 C conf
Compact Crossbar Variable Binding for Neuro-Symbolic Computation.
NeSy
Gadi Pinkas, Priscila M. V. Lima, Shimon Cohen
2011 — conf
Image De-noising by Bayesian Regression.
ICIAP (1)
Shimon Cohen, Rami Ben-Ari
1998 J jnl
Design of an Actor Language for Implicit Parallel Programming.
ACM SIGPLAN Notices
Yariv Aridor, Shimon Cohen, Amiram Yehudai
1997 J jnl
SYMPAL: a software environment for implicit concurrent object-oriented programming.
Object Oriented Syst.
Yariv Aridor, Shimon Cohen, Amiram Yehudai
1986 — ch.
The APPLOG Language.
Logic Programming: Functions, Relations, and Equations
Shimon Cohen
1984 — conf
Multi-Version Structures in Prolog.
FGCS
Shimon Cohen
1979 J jnl
The A-TABLE data-type for LISP systems.
ACM SIGPLAN Notices
Shimon Cohen