Concepedia

Menachem Magidor

MM

47

Publications

4.8K

Citations

31

H-Index

1970

Active since

Affiliations

Hebrew University of Jerusalem(Current)

University of California, Irvine

Ben-Gurion University of the Negev

Carnegie Mellon University

University of Vienna

Menachem Magidor is an author at Hebrew University of Jerusalem specializing in automated reasoning, engineering, and language studies.

Top concepts

Automated ReasoningEngineeringLanguageSemanticsLinguisticsFormal MethodsFunctional AnalysisDiscrete MathematicsEpistemologyComputational Linguistics

Publications per year

1970–2020

47

Publications

47

Nonmonotonic reasoning, preferential models and cumulative logics

Sarit Kraus, Daniel Lehmann, Menachem Magidor · Artificial Intelligence · 1990 · 1.7K citations

Non-classical Logic, Automated Reasoning, Nonmonotonic Logic +3

What does a conditional knowledge base entail?

Daniel Lehmann, Menachem Magidor · Artificial Intelligence · 1992 · 829 citations

Knowledge Base, Knowledge Representation, Engineering +7

SQUARES, SCALES AND STATIONARY REFLECTION

James Cummings, Matthew Foreman, Menachem Magidor · Journal of Mathematical Logic · 2001 · 197 citations

Continuum Hypothesis, Scaling Analysis, Constructive Mathematics +15

On the singular cardinals problem I

Menachem Magidor · Israel Journal of Mathematics · 1977 · 135 citations

Combinatorial Design, Extremal Set Theory, Set-theoretic Topology +2

Reflecting stationary sets

Menachem Magidor · Journal of Symbolic Logic · 1982 · 131 citations

Stationary Initial Segment, Discrete Dynamical System, Extremal Set Theory +7

Rows per page

1–5 of 47