Haim Gaifman

According to our database, Haim Gaifman authored at least 28 papers between 1965 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2018

A simpler and more realistic subjective decision theory.

Haim Gaifman, Yang Liu

Synth., 2018

2015

Context-Dependent Utilities - A Solution to the Problem of Constant Acts in Savage.

Haim Gaifman, Yang Liu

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

2013

The sure thing principle, dilations, and objective probabilities.

Haim Gaifman

J. Appl. Log., 2013

2012

Deceptive updating and minimal information methods.

Haim Gaifman, Anubav Vasudevan

Synth., 2012

On Ontology and Realism in Mathematics.

Haim Gaifman

Rev. Symb. Log., 2012

2011

Erratum to: Vagueness, tolerance and contextual logic.

Haim Gaifman

Synth., 2011

2010

Vagueness, tolerance and contextual logic.

Haim Gaifman

Synth., 2010

2008

Contextual Logic with Modalities for Time and Space.

Haim Gaifman

Rev. Symb. Log., 2008

2006

Naming and Diagonalization, from Cantor to Gödel to Kleene.

Haim Gaifman

Log. J. IGPL, 2006

2004

Reasoning with Limited Resources and Assigning Probabilities to Arithmetical Statements.

Haim Gaifman

Synth., 2004

1999

Self-Reference and the Acyclicity of Rational Choice.

Haim Gaifman

Ann. Pure Appl. Log., 1999

1993

Undecidable Optimization Problems for Database Logic Programs.

Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi

J. ACM, 1993

1991

Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs.

Haim Gaifman, Michael J. Maher, Ehud Shapiro

Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991

1990

Semantics of Logic Programs.

Haim Gaifman

Proceedings of the Logic Programming, 1990

1989

Reactive Behaviour Semantics for Concurrent Constraint Logic Programs.

Haim Gaifman, Michael J. Maher, Ehud Shapiro

Proceedings of the Logic Programming, 1989

Fully Abstract Compositional Semantics for Logic Programs.

Haim Gaifman, Ehud Shapiro

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

Proof Theory and Semantics of Logic Programs

Haim Gaifman, Ehud Shapiro

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

1988

Operational Pointer Semantics: Solution to Self-Referential Puzzles I.

Haim Gaifman

Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

Decidable Optimization Problems for Database Logic Programs (Preliminary Report)

Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, Moshe Y. Vardi

Proceedings of the 20th Annual ACM Symposium on Theory of Computing, 1988

Modeling concurrency by partial orders and nonlinear transition systems.

Haim Gaifman

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

1987

Partial Order Models of Concurrency and the Computation of Functions

Haim Gaifman, Vaughan R. Pratt

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986

A Theory of Higher Order Probabilities.

Haim Gaifman

Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

1985

Concerning Two-Adjacent Context-Free Languages.

Elias Dahlhaus, Haim Gaifman

Theor. Comput. Sci., 1985

A simple proof that connectivity of finite graphs is not first-order definable.

Haim Gaifman, Moshe Y. Vardi

Bull. EATCS, 1985

1982

Probabilities Over Rich Languages, Testing and Randomness.

Haim Gaifman, Marc Snir

J. Symb. Log., 1982

1980

Roots of the hardest context free language and other constructs.

Haim Gaifman, Eli Shamir

SIGACT News, 1980

1977

Meeting of the Association for Symbolic Logic: Jerusalem, Israel, 1975.

Haim Gaifman, Azriel Levy, Gert H. Muller

J. Symb. Log., 1977

1965

Dependency Systems and Phrase-Structure Systems

Haim Gaifman

Inf. Control., June, 1965