Haim Gaifman

29 papers A* 6B 3Journal 17Unranked 3
YearRankTypeTitle / Venue / Authors
2018 J jnl
A simpler and more realistic subjective decision theory.
Synth.
Haim Gaifman, Yang Liu
2015 — conf
Context-Dependent Utilities - A Solution to the Problem of Constant Acts in Savage.
LORI
Haim Gaifman, Yang Liu
2013 J jnl
The sure thing principle, dilations, and objective probabilities.
J. Appl. Log.
Haim Gaifman
2012 J jnl
Deceptive updating and minimal information methods.
Synth.
Haim Gaifman, Anubav Vasudevan
2012 J jnl
On Ontology and Realism in Mathematics.
Rev. Symb. Log.
Haim Gaifman
2011 J jnl
Erratum to: Vagueness, tolerance and contextual logic.
Synth.
Haim Gaifman
2010 J jnl
Vagueness, tolerance and contextual logic.
Synth.
Haim Gaifman
2008 J jnl
Contextual Logic with Modalities for Time and Space.
Rev. Symb. Log.
Haim Gaifman
2006 J jnl
Naming and Diagonalization, from Cantor to Gödel to Kleene.
Log. J. IGPL
Haim Gaifman
2004 J jnl
Reasoning with Limited Resources and Assigning Probabilities to Arithmetical Statements.
Synth.
Haim Gaifman
1999 J jnl
Self-Reference and the Acyclicity of Rational Choice.
Ann. Pure Appl. Log.
Haim Gaifman
1993 J jnl
Undecidable Optimization Problems for Database Logic Programs.
J. ACM
Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi
1991 A* conf
Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs.
PODC
Haim Gaifman, Michael J. Maher, Ehud Shapiro
1990 B conf
Semantics of Logic Programs.
ICLP
Haim Gaifman
1989 A* conf
Fully Abstract Compositional Semantics for Logic Programs.
POPL
Haim Gaifman, Ehud Shapiro
1989 A* conf
Proof Theory and Semantics of Logic Programs
LICS
Haim Gaifman, Ehud Shapiro
1989 — conf
Reactive Behaviour Semantics for Concurrent Constraint Logic Programs.
NACLP
Haim Gaifman, Michael J. Maher, Ehud Shapiro
1988 A* conf
Decidable Optimization Problems for Database Logic Programs (Preliminary Report)
STOC
Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, Moshe Y. Vardi
1988 — conf
Modeling concurrency by partial orders and nonlinear transition systems.
REX Workshop
Haim Gaifman
1988 B conf
Operational Pointer Semantics: Solution to Self-Referential Puzzles I.
TARK
Haim Gaifman
1987 A* conf
Partial Order Models of Concurrency and the Computation of Functions
LICS
Haim Gaifman, Vaughan R. Pratt
1987 A* conf
Undecidable Optimization Problems for Database Logic Programs
LICS
Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi
1986 B conf
A Theory of Higher Order Probabilities.
TARK
Haim Gaifman
1985 J jnl
A simple proof that connectivity of finite graphs is not first-order definable.
Bull. EATCS
Haim Gaifman, Moshe Y. Vardi
1985 J jnl
Concerning Two-Adjacent Context-Free Languages.
Theor. Comput. Sci.
Elias Dahlhaus, Haim Gaifman
1982 J jnl
Probabilities Over Rich Languages, Testing and Randomness.
J. Symb. Log.
Haim Gaifman, Marc Snir
1980 J jnl
Roots of the hardest context free language and other constructs.
SIGACT News
Haim Gaifman, Eli Shamir
1977 J jnl
Meeting of the Association for Symbolic Logic: Jerusalem, Israel, 1975.
J. Symb. Log.
Haim Gaifman, Azriel Levy, Gert H. Muller
1965 J jnl
Dependency Systems and Phrase-Structure Systems
Inf. Control.
Haim Gaifman