| Publication | Date of Publication | Type |
|---|
| Quality of local equilibria in discrete exchange economies | 2020-05-11 | Paper |
| Truth revelation in approximately efficient combinatorial auctions | 2015-12-07 | Paper |
| Nonmonotonicity and holicity in quantum logic | 2013-10-04 | Paper |
| Classes of Service under Perfect Competition and Technological Change | 2009-06-03 | Paper |
| Similarity-projection structures: The logical geometry of quantum physics | 2009-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3543575 | 2008-12-04 | Paper |
| Quantic superpositions and the geometry of complex Hilbert spaces | 2008-06-23 | Paper |
| Connectives in Cumulative Logics | 2008-03-25 | Paper |
| A Presentation of Quantum Logic Based on an and then Connective | 2008-03-12 | Paper |
| Combinatorial auctions with decreasing marginal utilities | 2006-09-28 | Paper |
| Algebras of measurements: the logical structure of quantum mechanics | 2006-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4434170 | 2003-11-04 | Paper |
| Expected qualitative utility maximization | 2002-09-22 | Paper |
| Nonmonotonic logics and semantics | 2002-05-23 | Paper |
| Distance semantics for belief revision | 2002-05-13 | Paper |
| Symmetric and economical solutions to the mutual exclusion problem in a distributed system | 2002-05-13 | Paper |
| Preferred history semantics for iterated updates | 2000-07-31 | Paper |
| Introducing the mathematical category of artificial perceptions | 1999-02-02 | Paper |
| From environments to representations -- a mathematical theory of artificial perceptions | 1999-01-12 | Paper |
| Stereotypical reasoning: logical properties | 1998-03-17 | Paper |
| Another perspective on default reasoning | 1996-10-20 | Paper |
| On negation rationality | 1996-06-09 | Paper |
| Deductive Nonmonotonic Inference Operations: Antitonic Representations | 1995-07-27 | Paper |
| Erratum to: ``What does a conditional knowledge base entail? | 1994-09-05 | Paper |
| Nonmonotonic reasoning: From finitary relations to infinitary inference operations | 1994-06-19 | Paper |
| Nonmonotonic inference operations | 1994-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4287498 | 1994-05-06 | Paper |
| Learning temporal sequences by local synaptic changes | 1993-05-16 | Paper |
| What does a conditional knowledge base entail? | 1992-09-27 | Paper |
| Rationality, transitivity, and contraposition | 1992-09-26 | Paper |
| Nonmonotonic reasoning, preferential models and cumulative logics | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3493328 | 1989-01-01 | Paper |
| Knowledge, belief and time | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3769995 | 1986-01-01 | Paper |
| A linear-history semantics for languages for distributed programming | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3337452 | 1983-01-01 | Paper |
| Epis need not be dense | 1982-01-01 | Paper |
| Reasoning with time and chance | 1982-01-01 | Paper |
| On Primality Tests | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3922147 | 1981-01-01 | Paper |
| Algebraic specification of data types: A synthetic approach | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3878751 | 1981-01-01 | Paper |
| On the algebra of order | 1980-01-01 | Paper |
| Algebraic structures for transitive closure | 1977-01-01 | Paper |
| A note on Schnorr's separatedness | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4062661 | 1975-01-01 | Paper |
| LR(k) grammars and deterministic languages | 1971-01-01 | Paper |
