Haim Gaifman - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2018

A simpler and more realistic subjective decision theoryHaim Gaifman, Yang Liu. synthese, 195(10):4205-4241, 2018. [doi]

2015

Context-Dependent Utilities - A Solution to the Problem of Constant Acts in SavageHaim Gaifman, Yang Liu. ifip3-5 2015: 90-101 [doi]

2013

The sure thing principle, dilations, and objective probabilitiesHaim Gaifman. japll, 11(4):373-385, 2013. [doi]

2012

Deceptive updating and minimal information methodsHaim Gaifman, Anubav Vasudevan. synthese, 187(1):147-178, 2012. [doi]

On Ontology and Realism in MathematicsHaim Gaifman. rsl, 5(3):480-512, 2012. [doi]

2011

Erratum to: Vagueness, tolerance and contextual logicHaim Gaifman. synthese, 179(3):501-502, 2011. [doi]

2010

Vagueness, tolerance and contextual logicHaim Gaifman. synthese, 174(1):5-46, 2010. [doi]

2008

Contextual Logic with Modalities for Time and SpaceHaim Gaifman. rsl, 1(4):433-458, 2008. [doi]

2006

Naming and Diagonalization, from Cantor to Gödel to KleeneHaim Gaifman. igpl, 14(5):709-728, 2006. [doi]

2004

Reasoning with Limited Resources and Assigning Probabilities to Arithmetical StatementsHaim Gaifman. synthese, 140(1):97-119, 2004. [doi]

1999

Self-Reference and the Acyclicity of Rational ChoiceHaim Gaifman. APAL, 96(1-3):117-140, 1999.

1993

Undecidable Optimization Problems for Database Logic ProgramsHaim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi. JACM, 40(3):683-713, 1993. [doi]

1991

Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent ProgramsHaim Gaifman, Michael J. Maher, Ehud Y. Shapiro. podc 1991: 241-255

1990

Semantics of Logic ProgramsHaim Gaifman. ICLP 1990: 779-782

1989

Proof Theory and Semantics of Logic ProgramsHaim Gaifman, Ehud Y. Shapiro. lics 1989: 50-62

Fully Abstract Compositional Semantics for Logic ProgramsHaim Gaifman, Ehud Y. Shapiro. POPL 1989: 134-142

Reactive Behaviour Semantics for Concurrent Constraint Logic ProgramsHaim Gaifman, Michael J. Maher, Ehud Y. Shapiro. SLP 1989: 553-569

1988

Decidable Optimization Problems for Database Logic Programs (Preliminary Report)Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, Moshe Y. Vardi. stoc 1988: 477-490

Modeling concurrency by partial orders and nonlinear transition systemsHaim Gaifman. rex 1989: 467-488

Operational Pointer Semantics: Solution to Self-Referential Puzzles IHaim Gaifman. tark 1988: 43-59

1987

Partial Order Models of Concurrency and the Computation of FunctionsHaim Gaifman, Vaughan R. Pratt. lics 1987: 72-85

Undecidable Optimization Problems for Database Logic ProgramsHaim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi. lics 1987: 106-115

1986

A Theory of Higher Order ProbabilitiesHaim Gaifman. tark 1986: 275-292

1985

Concerning Two-Adjacent Context-Free LanguagesElias Dahlhaus, Haim Gaifman. TCS, 41:169-184, 1985.

A simple proof that connectivity of finite graphs is not first-order definableHaim Gaifman, Moshe Y. Vardi. eatcs, 26:43-44, 1985.

1982

Probabilities Over Rich Languages, Testing and RandomnessHaim Gaifman, Marc Snir. JSYML, 47(3):495-548, 1982.

1980

Roots of the hardest context free language and other constructsHaim Gaifman, Eli Shamir 0001. sigact, 12(3):45-51, 1980. [doi]

1977

Meeting of the Association for Symbolic Logic: Jerusalem, Israel, 1975Haim Gaifman, Azriel Levy, Gert H. Muller. JSYML, 42(1):140-142, 1977.

1965

Dependency Systems and Phrase-Structure SystemsHaim Gaifman. iandc, 8(3):304-337, June 1965.

Sign in or sign up to see more results.

runs on WebDSL