Michael Gabbay - Concepedia

Author

Michael Gabbay

Also Known As

D Gabbay, D M Gabbay, D M Gabbay*, D. GABBAY, D. Gabbay, D. M. GABBAY, D. M. Gabbay, D.M Gabbay, D.M. GABBAY, D.M. Gabbay

208

Publications

Citations

H-Index

Concepts

All Affiliations

King's College London University of Luxembourg University of Washington University of Maryland, College Park Bar-Ilan University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	18	23	1.3K
2	Language Studies	7	7	447
3	Arts	3	3	42
4	Education	1	1	106
5	Humanities	1	1	13

Michael Gabbay

Publications

1.9K

Citations

H-Index

Page 1

	Year	Citations
Symbolic knowledge extraction from trained neural networks: A sound approach Artur d’Avila Garcez, K. Broda, Michael Gabbay Artificial Intelligence Artificial IntelligenceSymbolic LearningEngineeringMachine LearningData Science	2001	220
N-Prolog: An extension of Prolog with hypothetical implications. I. Michael Gabbay, Uwe Reyle The Journal of Logic Programming EngineeringAutomated ReasoningPhilosophy Of LogicFormal MethodsHypothetical Implications	1984	170
Repulsive Synchronization in an Array of Phase Oscillators Lev S. Tsimring, Nikolai F. Rulkov, Michael L. Larsen, Physical Review Letters Repulsive SynchronizationPhase LockingEngineeringPhysicsCoupling Strength	2005	129
Social Network Analysis in the Study of Terrorism and Insurgency: From Organization to Politics Steven T. Zech, Michael Gabbay International Studies Review Social Network AggregationNetwork TheorySocial NetworksNetwork ScienceNetwork Evolution	2016	106
Representation of spatial frequency and orientation in the visual cortex Richard Everson, A. K. Prashanth, Michael Gabbay, Proceedings of the National Academy of Sciences	1998	104
Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics Michael Gabbay Journal of Symbolic Logic EngineeringConstructive LogicClassical LogicNew System LSemantics	1996	91
N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure Michael Gabbay The Journal of Logic Programming Non-classical LogicSyntaxEngineeringLogical FoundationsAutomated Reasoning	1985	88
Fratricide in rebel movements: A network analysis of Syrian militant infighting Emily Kalah Gade, Mohammed M. Hafez, Michael Gabbay Journal of Peace Research	2019	87
A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property Michael Gabbay, D.H.J. de Jongh Journal of Symbolic Logic Intuitionistic LogicEngineeringConstructive LogicClassical LogicComputational Logic	1974	74
Networks of Cooperation: Rebel Alliances in Fragmented Civil Wars Emily Kalah Gade, Michael Gabbay, Mohammed M. Hafez, Journal of Conflict Resolution Fragmented Civil WarsRebel CollaborationInternational RelationsConflict StudySociology	2019	62

Page 1