10 citations · 15 across the 2 of their papers we have counts for
25 papers
Algebras of Measurements: the logical structure of Quantum Mechanics
Daniel Lehmann, Kurt Engesser, Dov M. Gabbay
In Quantum Physics, a measurement is represented by a projection on some closed subspace of a Hilbert space. We study algebras of operators that abstract from the algebra of projec…
Connectives in Quantum and other Cumulative Logics
Daniel Lehmann
Cumulative logics are studied in an abstract setting, i.e., without connectives, very much in the spirit of Makinson's early work. A powerful representation theorem characterizes t…
Belief Revision and Rational Inference
Michael Freund, Daniel Lehmann
The (extended) AGM postulates for belief revision seem to deal with the revision of a given theory K by an arbitrary formula, but not to constrain the revisions of two different th…
NetNeg: A Connectionist-Agent Integrated System for Representing Musical Knowledge
Claudia V. Goldman, Dan Gang, Jeffrey S. Rosenschein +1
The system presented here shows the feasibility of modeling the knowledge involved in a complex musical activity by integrating sub-symbolic and symbolic processes. This research f…
Representing and Aggregating Conflicting Beliefs
Pedrito Maynard-Reid, Daniel Lehmann
We consider the two-fold problem of representing collective beliefs and aggregating these beliefs. We propose modular, transitive relations for collective beliefs. They allow us to…
Stereotypical Reasoning: Logical Properties
Daniel Lehmann
Stereotypical reasoning assumes that the situation at hand is one of a kind and that it enjoys the properties generally associated with that kind of situation. It is one of the mos…