Concepedia

Michael Gabbay

MG

42

Publications

1.9K

Citations

24

H-Index

1974

Active since

Affiliations

King's College London(Current)

University of Luxembourg

University of Washington

University of Maryland, College Park

Bar-Ilan University

Michael Gabbay is an author at King's College London specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsSemanticsPhysicsLanguageLinguisticsComputer ScienceSocial SciencesEpistemology

Publications per year

1974–2019

42

Publications

42

Symbolic knowledge extraction from trained neural networks: A sound approach

Artur d’Avila Garcez, K. Broda, Michael Gabbay · Artificial Intelligence · 2001 · 220 citations · Full text

Artificial Intelligence, Symbolic Learning, Engineering +10

N-Prolog: An extension of Prolog with hypothetical implications. I.

Michael Gabbay, Uwe Reyle · The Journal of Logic Programming · 1984 · 170 citations

Engineering, Automated Reasoning, Philosophy Of Logic +7

Repulsive Synchronization in an Array of Phase Oscillators

Lev S. Tsimring, Nikolai F. Rulkov, Michael L. Larsen et al. · Physical Review Letters · 2005 · 129 citations

Repulsive Synchronization, Phase Locking, Engineering +9

Social Network Analysis in the Study of Terrorism and Insurgency: From Organization to Politics

Steven T. Zech, Michael Gabbay · International Studies Review · 2016 · 106 citations

Social Network Aggregation, Network Theory, Social Networks +13

Representation of spatial frequency and orientation in the visual cortex

Richard Everson, A. K. Prashanth, Michael Gabbay et al. · Proceedings of the National Academy of Sciences · 1998 · 104 citations · Full text

Rows per page

1–5 of 42