| Nearly optimal multi attribute auctions | 12 | 1.20 | 2005 |
| Computing and Markets, 3.-7. January 2005 | 16 | 5.02 | 2005 |
| 05011 Executive Summary - Computing and Markets | 0 | 0.34 | 2005 |
| 05011 Abstracts Collection - Computing and Markets | 0 | 0.34 | 2005 |
| Preferred history semantics for iterated updates | 5 | 0.49 | 2002 |
| Covariance Plasticity and Regulated Criticality | 0 | 0.34 | 2002 |
| Connectives in Quantum and other Cumulative Logics | 3 | 0.44 | 2002 |
| The logical meaning of Expansion | 0 | 0.34 | 2002 |
| Belief Revision and Rational Inference | 22 | 1.43 | 2002 |
| Truth revelation in approximately efficient combinatorial auctions | 416 | 64.06 | 2002 |
| Nonstandard Numbers for Qualitative Decision Making | 5 | 0.92 | 2002 |
| Linear Programming helps solving large multi-unit combinatorial auctions | 20 | 1.79 | 2002 |
| NetNeg: A connectionist-agent integrated system for representing musical knowledge | 0 | 0.34 | 2002 |
| Distance Semantics for Belief Revision | 33 | 1.30 | 2002 |
| A note on Darwiche and Pearl | 0 | 0.34 | 2002 |
| Deductive Nonmonotonic Inference Operations: Antitonic Representations | 3 | 0.48 | 2002 |
| Nonmonotonic Logics and Semantics | 14 | 1.03 | 2001 |
| Representing and Aggregating Conflicting Beliefs | 7 | 0.76 | 2000 |
| Regulated Criticality in the Brain? | 7 | 0.96 | 1998 |
| Stereotypical Reasoning: Logical Properties | 5 | 0.56 | 1998 |
| Harmonizing Melodies in Real-Time: the Connectionist Approach | 8 | 1.68 | 1997 |
| NetNeg: a hybrid interactive architecture for composing polyphonic music in Real Time | 1 | 0.35 | 1996 |
| On Negation Rationality | 2 | 0.57 | 1996 |
| Distance Semantics for Belief Revision | 24 | 1.14 | 1996 |
| Belief Revision, Revised | 85 | 5.46 | 1995 |
| Ranked Structures in Nonmonotonic Reasoning and Belief Revision: Abstract | 0 | 0.34 | 1995 |
| An Artificial Neural Net for Harmonizing Melodies | 0 | 0.34 | 1995 |
| Designing And Building A Negotiating Automated Agent | 50 | 8.42 | 1995 |
| Nonmonotonic reasoning: from finitary relations to infinitary inference operations | 4 | 0.56 | 1994 |
| Categorical Tools for Artificial Perception | 2 | 0.42 | 1994 |
| Nonmonotonic inference operations | 6 | 0.65 | 1993 |
| Plausibility Logic | 11 | 0.86 | 1991 |
| Preferential Logics: the Predicate Calculus Case | 16 | 1.04 | 1990 |
| Deductive Inference Operations | 4 | 0.52 | 1990 |
| Knowledge, common knowledge and related puzzles (Extended Summary) | 38 | 40.45 | 1984 |
| Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System (Extended Abstract) | 1 | 0.38 | 1983 |
| Reasoning with Time and Chance (Extended Abstract) | 3 | 6.09 | 1983 |
| Decision Procedures for Time and Chance (Extended Abstract) | 2 | 7.25 | 1983 |
| Reasoning with Time and Chance | 47 | 18.98 | 1982 |
| Epis Need Not Be Dense | 3 | 0.55 | 1982 |
| On Primality Tests | 5 | 1.12 | 1982 |
| Algebraic Specification of Data Types: A Synthetic Approach. | 67 | 22.48 | 1981 |
| Impartiality, Justice and Fairness: The Ethics of Concurrent Termination | 163 | 61.86 | 1981 |
| On the advantages of free choice: a symmetric and fully distributed solution to the dining philosophers problem | 110 | 39.17 | 1981 |
| On the algebra of order | 16 | 1.40 | 1980 |
| Semantics of nondeterminism, concurrency, and communication | 32 | 25.11 | 1979 |
| On the algebra of order extended abstract | 1 | 0.44 | 1978 |
| Data Types (Extended Abstract) | 1 | 0.36 | 1977 |
| A note on Schnorr's separatedness | 0 | 0.34 | 1977 |
