most citedAlgebras of Measurements: the logical structure of Quantum Mechanics

10 citations · 15 across the 2 of their papers we have counts for

collaborators
Showing cs.AIShow all

15 papers · 1 filter

cs.AI20025 cited

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…

cs.AI2002

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…

cs.AI2002

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…

cs.AI2002

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…

cs.AI2002

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…

cs.AI2002

Deductive Nonmonotonic Inference Operations: Antitonic Representations

Yuri Kaluzhny, Daniel Lehmann

We provide a characterization of those nonmonotonic inference operations C for which C(X) may be described as the set of all logical consequences of X together with some set of add…