Haim Gaifman

Publication Activity (10 Years)

Years Active: 1965-2018
Publications (10 Years): 1

Top Topics

Decision Theory

Owl Dl Ontologies

Top Venues

Rev. Symb. Log.

Publications

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