| Publication | Date of Publication | Type |
|---|
Quality of local equilibria in discrete exchange economies
Journal of Mathematical Economics | 2020-05-11 | Paper |
Truth revelation in approximately efficient combinatorial auctions
Journal of the ACM | 2015-12-07 | Paper |
| Nonmonotonicity and holicity in quantum logic | 2013-10-04 | Paper |
Classes of Service under Perfect Competition and Technological Change
Languages: From Formal to Natural | 2009-06-03 | Paper |
Similarity-projection structures: The logical geometry of quantum physics
International Journal of Theoretical Physics | 2009-04-21 | Paper |
| scientific article; zbMATH DE number 5377428 (Why is no real title available?) | 2008-12-04 | Paper |
Quantic superpositions and the geometry of complex Hilbert spaces
International Journal of Theoretical Physics | 2008-06-23 | Paper |
Connectives in Cumulative Logics
Pillars of Computer Science | 2008-03-25 | Paper |
A Presentation of Quantum Logic Based on an and then Connective
Journal Of Logic And Computation | 2008-03-12 | Paper |
Combinatorial auctions with decreasing marginal utilities
Games and Economic Behavior | 2006-09-28 | Paper |
Algebras of measurements: the logical structure of quantum mechanics
International Journal of Theoretical Physics | 2006-09-28 | Paper |
| scientific article; zbMATH DE number 2000821 (Why is no real title available?) | 2003-11-04 | Paper |
Expected qualitative utility maximization
Games and Economic Behavior | 2002-09-22 | Paper |
Nonmonotonic logics and semantics
Journal of Logic and Computation | 2002-05-23 | Paper |
Distance semantics for belief revision
The Journal of Symbolic Logic | 2002-05-13 | Paper |
Symmetric and economical solutions to the mutual exclusion problem in a distributed system
Theoretical Computer Science | 2002-05-13 | Paper |
Preferred history semantics for iterated updates
Journal Of Logic And Computation | 2000-07-31 | Paper |
Introducing the mathematical category of artificial perceptions
Annals of Mathematics and Artificial Intelligence | 1999-02-02 | Paper |
From environments to representations -- a mathematical theory of artificial perceptions
Artificial Intelligence | 1999-01-12 | Paper |
Stereotypical reasoning: logical properties
Logic Journal of the IGPL | 1998-03-17 | Paper |
Another perspective on default reasoning
Annals of Mathematics and Artificial Intelligence | 1996-10-20 | Paper |
On negation rationality
Journal Of Logic And Computation | 1996-06-09 | Paper |
Deductive Nonmonotonic Inference Operations: Antitonic Representations
Journal Of Logic And Computation | 1995-07-27 | Paper |
Erratum to: ``What does a conditional knowledge base entail?
Artificial Intelligence | 1994-09-05 | Paper |
Nonmonotonic reasoning: From finitary relations to infinitary inference operations
Studia Logica | 1994-06-19 | Paper |
Nonmonotonic inference operations
Logic Journal of the IGPL | 1994-05-15 | Paper |
| scientific article; zbMATH DE number 549979 (Why is no real title available?) | 1994-05-06 | Paper |
| Learning temporal sequences by local synaptic changes | 1993-05-16 | Paper |
What does a conditional knowledge base entail?
Artificial Intelligence | 1992-09-27 | Paper |
Rationality, transitivity, and contraposition
Artificial Intelligence | 1992-09-26 | Paper |
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4166940 (Why is no real title available?) | 1989-01-01 | Paper |
Knowledge, belief and time
Theoretical Computer Science | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4028944 (Why is no real title available?) | 1986-01-01 | Paper |
A linear-history semantics for languages for distributed programming
Theoretical Computer Science | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3869302 (Why is no real title available?) | 1983-01-01 | Paper |
Epis need not be dense
Theoretical Computer Science | 1982-01-01 | Paper |
Reasoning with time and chance
Information and Control | 1982-01-01 | Paper |
On Primality Tests
SIAM Journal on Computing | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3735115 (Why is no real title available?) | 1981-01-01 | Paper |
Algebraic specification of data types: A synthetic approach
Mathematical Systems Theory | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3683047 (Why is no real title available?) | 1981-01-01 | Paper |
On the algebra of order
Journal of Computer and System Sciences | 1980-01-01 | Paper |
Algebraic structures for transitive closure
Theoretical Computer Science | 1977-01-01 | Paper |
A note on Schnorr's separatedness
Theoretical Computer Science | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3480112 (Why is no real title available?) | 1975-01-01 | Paper |
LR(k) grammars and deterministic languages
Israel Journal of Mathematics | 1971-01-01 | Paper |
