research
∙
12/06/2022
Metalinear structures and the substructural logic of quantum measurements
This paper presents three classes of metalinear structures that abstract...
share
research
∙
01/06/2022
Non-associative and projective linear logics
A non-commutative, non-associative weakening of Girard's linear logic is...
research
∙
10/28/2021
Fuzzm: Finding Memory Bugs through Binary-Only Instrumentation and Fuzzing of WebAssembly
WebAssembly binaries are often compiled from memory-unsafe languages, su...
research
∙
07/06/2021
Representing choice functions by a total hyper-order
Choice functions over a set X that satisfy the Outcast, a.k.a. Aizerman,...
research
∙
08/23/2019
Revealed Preferences for Matching with Contracts
Many-to-many matching with contracts is studied in the framework of reve...
research
∙
08/31/2018
Wasabi: A Framework for Dynamically Analyzing WebAssembly
WebAssembly is the new low-level language for the web and has now been i...
research
∙
07/01/2018
Local optima, local equilibria and bounded complementarity in discrete exchange economies
In a discrete exchange economy an allocation is a local optimum if no tr...
research
∙
07/01/2018
Local Equilibria
A local equilibrium is a generalization of a Walrasian, i.e., competitiv...
research
∙
12/12/2017
Ultra valuations
This paper defines and studies a family of valuations, the ultra valuati...
research
∙
08/07/2014
Generalized Qualitative Probability: Savage Revisited
Preferences among acts are analyzed in the style of L. Savage, but as pa...
research
∙
05/31/2002
Connectives in Quantum and other Cumulative Logics
Cumulative logics are studied in an abstract setting, i.e., without conn...
research
∙
04/14/2002
Belief Revision and Rational Inference
The (extended) AGM postulates for belief revision seem to deal with the ...
research
∙
03/17/2002
NetNeg: A Connectionist-Agent Integrated System for Representing Musical Knowledge
The system presented here shows the feasibility of modeling the knowledg...
research
∙
03/11/2002
Representing and Aggregating Conflicting Beliefs
We consider the two-fold problem of representing collective beliefs and ...
research
∙
03/04/2002
Stereotypical Reasoning: Logical Properties
Stereotypical reasoning assumes that the situation at hand is one of a k...
research
∙
03/01/2002
Deductive Nonmonotonic Inference Operations: Antitonic Representations
We provide a characterization of those nonmonotonic inference operations...
research
∙
03/01/2002
Another perspective on Default Reasoning
The lexicographic closure of any given finite set D of normal defaults i...
research
∙
02/20/2002
Covariance Plasticity and Regulated Criticality
We propose that a regulation mechanism based on Hebbian covariance plast...
research
∙
02/20/2002
The logical meaning of Expansion
The Expansion property considered by researchers in Social Choice is sho...
research
∙
02/20/2002
Optimal Solutions for Multi-Unit Combinatorial Auctions: Branch and Bound Heuristics
Finding optimal solutions for multi-unit combinatorial auctions is a har...
research
∙
02/20/2002
Nonmonotonic inference operations
A. Tarski proposed the study of infinitary consequence operations as the...
research
∙
02/18/2002
Preferred History Semantics for Iterated Updates
We give a semantics to iterated update by a preference relation on possi...
research
∙
02/18/2002
Distance Semantics for Belief Revision
A vast and interesting family of natural semantics for belief revision i...
research
∙
02/18/2002
A note on Darwiche and Pearl
It is shown that Darwiche and Pearl's postulates imply an interesting pr...
research
∙
02/18/2002
What does a conditional knowledge base entail?
This paper presents a logical approach to nonmonotonic reasoning based o...
research
∙
02/18/2002
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics
Many systems that exhibit nonmonotonic behavior have been described and ...
research
∙
02/15/2002
Nonmonotonic Logics and Semantics
Tarski gave a general semantics for deductive reasoning: a formula a may...
research
∙
02/15/2002