Daniel Lehmann

CoRR, 2021

2019

Revealed Preferences for Matching with Contracts.

[BibT_eX]

[DOI]

CoRR, 2019

2018

Local Equilibria.

[BibT_eX]

[DOI]

CoRR, 2018

2017

Ultra valuations.

[BibT_eX]

[DOI]

CoRR, 2017

2009

Foundations of non-commutative probability theory.

[BibT_eX]

[DOI]

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

Classes of Service under Perfect Competition and Technological Change.

[BibT_eX]

[DOI]

Proceedings of the Languages: From Formal to Natural, 2009

2008

A Presentation of Quantum Logic Based on an <i>and then</i> Connective.

[BibT_eX]

[DOI]

J. Log. Comput., 2008

Connectives in Cumulative Logics.

[BibT_eX]

[DOI]

Proceedings of the Pillars of Computer Science, 2008

2007

A presentation of Quantum Logic based on an "and then" connective

[BibT_eX]

[DOI]

CoRR, 2007

INVITED: A Presentation of Quantum Logic based on an and then connective.

[BibT_eX]

[DOI]

Proceedings of the Quantum Interaction, 2007

2006

Combinatorial auctions with decreasing marginal utilities.

[BibT_eX]

[DOI]

Benny Lehmann

Noam Nisan

Games Econ. Behav., 2006

2005

A Model for Representing the Dynamics of a System of Synfire Chains.

[BibT_eX]

[DOI]

Gaby Hayon

Moshe Abeles

J. Comput. Neurosci., 2005

Algebras of Measurements: the logical structure of Quantum Mechanics

[BibT_eX]

[DOI]

Kurt Engesser

Dov M. Gabbay

CoRR, 2005

Nearly optimal multi attribute auctions.

[BibT_eX]

[DOI]

Amir Ronen

Proceedings of the Proceedings 6th ACM Conference on Electronic Commerce (EC-2005), 2005

05011 Abstracts Collection - Computing and Markets.

[BibT_eX]

[DOI]

Rudolf Müller

Tuomas Sandholm

Proceedings of the Computing and Markets, 3.-7. January 2005, 2005

05011 Executive Summary - Computing and Markets.

[BibT_eX]

[DOI]

Rudolf Müller

Tuomas Sandholm

Proceedings of the Computing and Markets, 3.-7. January 2005, 2005

2004

Modeling Compositionality by Dynamic Binding of Synfire Chains.

[BibT_eX]

[DOI]

Moshe Abeles

Gaby Hayon

J. Comput. Neurosci., 2004

Presentation and structure of substitutes valuations.

[BibT_eX]

[DOI]

Meir Bing

Paul Milgrom

Proceedings of the Proceedings 5th ACM Conference on Electronic Commerce (EC-2004), 2004

2003

Representing and Aggregating Conflicting Beliefs.

[BibT_eX]

[DOI]

Pedrito Maynard-Zhang

J. Artif. Intell. Res., 2003

2002

Truth revelation in approximately efficient combinatorial auctions.

[BibT_eX]

[DOI]

Liadan O'Callaghan

Yoav Shoham

J. ACM, 2002

Covariance Plasticity and Regulated Criticality

[BibT_eX]

[DOI]

Elie Bienenstock

CoRR, 2002

Linear Programming helps solving large multi-unit combinatorial auctions

[BibT_eX]

[DOI]

Rica Gonen

CoRR, 2002

Connectives in Quantum and other Cumulative Logics

[BibT_eX]

[DOI]

CoRR, 2002

Belief Revision and Rational Inference

[BibT_eX]

[DOI]

CoRR, 2002

The logical meaning of Expansion

[BibT_eX]

[DOI]

CoRR, 2002

A note on Darwiche and Pearl

[BibT_eX]

[DOI]

CoRR, 2002

2001

Nonmonotonic Logics and Semantics.

[BibT_eX]

[DOI]

J. Log. Comput., 2001

Distance Semantics for Belief Revision.

[BibT_eX]

[DOI]

Karl Schlechta

J. Symb. Log., 2001

Expected Qualitative Utility Maximization.

[BibT_eX]

[DOI]

Games Econ. Behav., 2001

Classes of service under perfect competition and technological change: A model for the dynamics of the internet?

[BibT_eX]

[DOI]

Proceedings of the Proceedings 3rd ACM Conference on Electronic Commerce (EC-2001), 2001

2000

Optimal solutions for multi-unit combinatorial auctions: branch and bound heuristics.

[BibT_eX]

[DOI]

Rica Gonen

Proceedings of the 2nd ACM Conference on Electronic Commerce (EC-00), 2000

Representing and Aggregating Conflicting Beliefs.

[BibT_eX]

Pedrito Maynard-Reid II

Proceedings of the KR 2000, 2000

1999

Preferred History Semantics for Iterated Updates.

[BibT_eX]

[DOI]

Shai Berger

Karl Schlechta

J. Log. Comput., 1999

NetNeg: A Connectionist-Agent Integrated System for Representing Musical Knowledge.

[BibT_eX]

[DOI]

Claudia V. Goldman

Jeffrey S. Rosenschein

Ann. Math. Artif. Intell., 1999

1998

Stereotypical Reasoning: Logical Properties.

[BibT_eX]

[DOI]

Zippora Arzi-Gonczarowski

Log. J. IGPL, 1998

Introducing the Mathematical Category of Artificial Perceptions.

[BibT_eX]

[DOI]

Zippora Arzi-Gonczarowski

Ann. Math. Artif. Intell., 1998

From Environments to Representations - A Mathematical Theory of Artificial Perceptions.

[BibT_eX]

[DOI]

Artif. Intell., 1998

Regulated Criticality in the Brain?

[BibT_eX]

[DOI]

Elie Bienenstock

Adv. Complex Syst., 1998

Nonstandard Numbers for Qualitative Decision Making.

[BibT_eX]

Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), 1998

Tuning a Neural Network for Harmonizing Melodies in Real-Time.

[BibT_eX]

[DOI]

Naftali Wagner

Proceedings of the 1998 International Computer Music Conference, 1998

1997

Harmonizing Melodies in Real-Time: the Connectionist Approach.

[BibT_eX]

[DOI]

Naftali Wagner

Proceedings of the 1997 International Computer Music Conference, 1997

1996

On Negation Rationality.

[BibT_eX]

[DOI]

J. Log. Comput., 1996

Generalized Qualitative Probability: Savage revisited.

[BibT_eX]

[DOI]

Proceedings of the UAI '96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996

NetNeg: A Hybrid Interactive Architecture for Composing Polyphonic Music in Real Time.

[BibT_eX]

[DOI]

Claudia V. Goldman

Jeffrey S. Rosenschein

Proceedings of the 1996 International Computer Music Conference, 1996

1995

Deductive Nonmonotonic Inference Operations: Antitonic Representations.

[BibT_eX]

[DOI]

Yuri Kaluzhny

J. Log. Comput., 1995

Designing and Building a Negotiating Automated Agent.

[BibT_eX]

[DOI]

Comput. Intell., 1995

Another Perspective on Default Reasoning.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1995

Ranked Structures in Nonmonotonic Reasoning and Belief Revision: Abstract.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

Belief Revision, Revised.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

An Artificial Neural Net for Harmonizing Melodies.

[BibT_eX]

[DOI]

Proceedings of the 1995 International Computer Music Conference, 1995

1994

Nonmonotonic reasoning: from finitary relations to infinitary inference operations.

[BibT_eX]

[DOI]

Zippora Arzi-Gonczarowski

Stud Logica, 1994

Categorical Tools for Artificial Perception.

[BibT_eX]

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993

Nonmonotonic inference operations.

[BibT_eX]

[DOI]

Log. J. IGPL, 1993

1992

What does a Conditional Knowledge Base Entail?

[BibT_eX]

[DOI]

Artif. Intell., 1992

Rationality, Transitivity, and Contraposition.

[BibT_eX]

[DOI]

Paul Morris

Artif. Intell., 1992

1991

Negotiation in a non-cooperative environment.

[BibT_eX]

[DOI]

Eithan Ephrati

J. Exp. Theor. Artif. Intell., 1991

Plausibility Logic.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 5th Workshop, 1991

1990

Nonmonotonic Reasoning, Preferential Models and Cumulative Logics.

[BibT_eX]

[DOI]

Artif. Intell., 1990

Preferential Logics: the Predicate Calculus Case.

[BibT_eX]

Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, 1990

Deductive Inference Operations.

[BibT_eX]

[DOI]

Proceedings of the Logics in AI, European Workshop, 1990

1989

What Does a Conditional Knowledge Base Entail?

[BibT_eX]

Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

1988

Knowledge, Belief and Time.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1988

Asynchronous dynamics of random Boolean networks.

[BibT_eX]

[DOI]

Craig Gotsman

Eli Shamir

Proceedings of International Conference on Neural Networks (ICNN'88), 1988

1984

A Linear-History Semantics for Languages for Distributed Programming.

[BibT_eX]

[DOI]

Nissim Francez

Theor. Comput. Sci., 1984

Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System.

[BibT_eX]

[DOI]

Shimon Cohen

Theor. Comput. Sci., 1984

Knowledge, Common Knowledge and related puzzles (Extended Summary).

[BibT_eX]

[DOI]

Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984

1983

Reasoning with Time and Chance (Extended Abstract).

[BibT_eX]

[DOI]

Saharon Shelah

Proceedings of the Automata, 1983

Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System (Extended Abstract).

[BibT_eX]

[DOI]

Shimon Cohen

Proceedings of the Automata, 1983

Decision Procedures for Time and Chance (Extended Abstract)

[BibT_eX]

[DOI]

Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983

1982

Reasoning with Time and Chance

[BibT_eX]

[DOI]

Saharon Shelah

Inf. Control., June, 1982

Epis need not be Dense.

[BibT_eX]

[DOI]

Ana Pasztor

Theor. Comput. Sci., 1982

On Primality Tests.

[BibT_eX]

[DOI]

SIAM J. Comput., 1982

Dynamic Systems and Their Distributed Termination.

[BibT_eX]

[DOI]

Shimon Cohen

Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

1981

Algebraic Specification of Data Types: A Synthetic Approach.

[BibT_eX]

[DOI]

Michael B. Smyth

Math. Syst. Theory, 1981

On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem.

[BibT_eX]

[DOI]

Michael O. Rabin

Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

Impartiality, Justice and Fairness: The Ethics of Concurrent Termination.

[BibT_eX]

[DOI]

Jonathan Stavi

Proceedings of the Automata, 1981

1980

On the Algebra of Order.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1980

A Linear History Semantics for Distributed Languages (Extended Abstract)

[BibT_eX]

[DOI]

Nissim Francez

Proceedings of the 21st Annual Symposium on Foundations of Computer Science, 1980

1979

Semantics of Nondeterminism, Concurrency, and Communication.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1979

1978

On the Algebra of Order (Extended Abstract)

[BibT_eX]

[DOI]

Proceedings of the 19th Annual Symposium on Foundations of Computer Science, 1978

1977

A Note on Schnorr's Separatedness.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1977

Algebraic Structures for Transitive Closure.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1977

Data Types (Extended Abstract)

[BibT_eX]

[DOI]

Michael B. Smyth

Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977

1976

Categories for fixpoint semantics.

[BibT_eX]

[DOI]

PhD thesis, 1976

Categories for Fixpoint-Semantics

[BibT_eX]

[DOI]