Propositional Non-Monotonic Reasoning and Inconsistency in Symmetric Neural Networks. - Gadi Pinkas (IJCAI, 1991)

Symmetric Neural Networks and Propositional Logic Satisfiability. - Gadi Pinkas (Neural Comput., 1991)

An Improved Connectionist Activation Function for Energy Minimization. - Gadi Pinkas; Rina Dechter (AAAI, 1992)

Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict. - Gadi Pinkas; Ronald Prescott Loui (KR, 1992)

Reasoning, Nonmonotonicity and Learning in Connectionist Networks that Capture Propositional Knowledge. - Gadi Pinkas (Artif. Intell., 1995)

Improving Connectionist Energy Minimization. - Gadi Pinkas; Rina Dechter (J. Artif. Intell. Res., 1995)

Discovery of Fraud Rules for Telecommunications - Challenges and Solutions. - Saharon Rosset; Uzi Murad; Einat Neumann; Yizhak Idan; Gadi Pinkas (KDD, 1999)

Unsupervised Profiling for Identifying Superimposed Fraud. - Uzi Murad; Gadi Pinkas (PKDD, 1999)

Compact Crossbar Variable Binding for Neuro-Symbolic Computation. - Gadi Pinkas; Priscila M. V. Lima; Shimon Cohen (NeSy, 2011)

A Dynamic Binding Mechanism for Retrieving and Unifying Complex Predicate-Logic Knowledge. - Gadi Pinkas; Priscila M. V. Lima; Shimon Cohen (ICANN (1), 2012)

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. - Tarek R. Besold; Artur S. d'Avila Garcez; Sebastian Bader 001; 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; et al. (CoRR, 2017)

Artificial Neural Networks that Learn to Satisfy Logic Constraints. - Gadi Pinkas; Shimon Cohen (CoRR, 2017)

High-order Networks that Learn to Satisfy Logic Constraints. - Gadi Pinkas; Shimon Cohen (FLAP, 2019)

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. - Tarek R. Besold; Artur S. d'Avila Garcez; Sebastian Bader 001; 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; et al. (Neuro-Symbolic Artificial Intelligence, 2021)

Source -Free Domain Adaptation for Speaker Verification in Data-Scarce Languages and Noisy Channels. - Shlomo Salo Elia; Aviad Malachi; Vered Aharonson; Gadi Pinkas (CoRR, 2024)