Gadi Pinkas

According to our database, Gadi Pinkas authored at least 14 papers between 1991 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation.

Tarek R. Besold, Artur S. d'Avila Garcez, Sebastian Bader, Howard Bowman, Pedro M. Domingos, Pascal Hitzler, Kai-Uwe Kühnberger, Luís C. Lamb, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, Gerson Zaverucha

Proceedings of the Neuro-Symbolic Artificial Intelligence: The State of the Art, 2021

2019

High-order Networks that Learn to Satisfy Logic Constraints.

Gadi Pinkas, Shimon Cohen

FLAP, 2019

2017

Artificial Neural Networks that Learn to Satisfy Logic Constraints.

Gadi Pinkas, Shimon Cohen

CoRR, 2017

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation.

Tarek R. Besold, Artur S. d'Avila Garcez, Sebastian Bader, Howard Bowman, Pedro M. Domingos, Pascal Hitzler, Kai-Uwe Kühnberger, Luís C. Lamb, Daniel Lowd, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, Gerson Zaverucha

CoRR, 2017

2012

A Dynamic Binding Mechanism for Retrieving and Unifying Complex Predicate-Logic Knowledge.

Gadi Pinkas, Priscila M. V. Lima, Shimon Cohen

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2012, 2012

2011

Compact Crossbar Variable Binding for Neuro-Symbolic Computation.

Gadi Pinkas, Priscila M. V. Lima, Shimon Cohen

Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning, 2011

1999

Unsupervised Profiling for Identifying Superimposed Fraud.

Uzi Murad, Gadi Pinkas

Proceedings of the Principles of Data Mining and Knowledge Discovery, 1999

Discovery of Fraud Rules for Telecommunications - Challenges and Solutions.

Saharon Rosset, Uzi Murad, Einat Neumann, Yizhak Idan, Gadi Pinkas

Proceedings of the Fifth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 1999

1995

Improving Connectionist Energy Minimization.

Gadi Pinkas, Rina Dechter

J. Artif. Intell. Res., 1995

Reasoning, Nonmonotonicity and Learning in Connectionist Networks that Capture Propositional Knowledge.

Gadi Pinkas

Artif. Intell., 1995

1992

Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict.

Gadi Pinkas, Ronald Prescott Loui

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

An Improved Connectionist Activation Function for Energy Minimization.

Gadi Pinkas, Rina Dechter

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991

Symmetric Neural Networks and Propositional Logic Satisfiability.

Gadi Pinkas

Neural Comput., 1991

Propositional Non-Monotonic Reasoning and Inconsistency in Symmetric Neural Networks.

Gadi Pinkas

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991