-
Aggregating the judgments of a group of agents regarding a set of
interdependent propositions can lead to inconsistent outcomes. One of
the parameters involved is the agenda, the set of propositions on
which agents are asked to express an opinion. We introduce the problem
of checking the safety o...
-
We study a particular multiagent resource allocation problem with
indivisible, but sharable resources. In our model, the utility of an
agent for using a bundle of resources is the difference between the
valuation of that bundle and a congestion cost (or delay), a figure
formed by adding up the in...
-
The term `recursive' has had different meanings during the past two
centuries among various communities of scholars. Its historical
epistemology has already been described by Soare (1996) with respect
to the mathematicians, logicians, and recursive-function
theorists. The computer practitioners, ...
-
We show that linear logic can serve as an expressive framework in
which to model a rich variety of combinatorial auction mechanisms. Due
to its resource-sensitive nature, linear logic can easily represent
bids in combinatorial auctions in which goods may be sold in multiple
units, and we show how...
-
Due to the growing popularity of Description Logics-based knowledge
representation systems, predominantly in the context of Semantic Web
applications, there is a rising demand for tools offering non-standard
reasoning services. One particularly interesting form of reasoning,
both from the user as...
-
We prove that all extensions of Heyting Arithmetic with a logic
that has the finite frame property possess the de Jongh property.
-
In this article we prove the Jankov Theorem for extensions of IPC
([6]) and the Jankov Theorem for KC ([7]) in a uniform frame-theoretic
way in the setting of n-universal models for IPC. In frame-theoretic
terms, the first Jankov Theorem states that for each finite rooted
frame there is a formula...
-
This paper examines how intonation affects the interpretation of
disjunctive questions. The semantic effect of a question is taken to
be three-fold. First, it raises an issue. In the tradition of
inquisitive semantics, we model this by assuming that a question
proposes several possible updates of...
-
We extend the framework of mixed multi-unit combinatorial auctions to
include time constraints, present an expressive bidding language, and
show how to solve the winner determination problem for such auctions
using integer programming. Mixed multi-unit combinatorial auctions are
auctions where bi...
-
We discuss the use of skill models such as the Dreyfus-Dreyfus skill
model in a philosophical discussion of mathematical knowledge.
-
The logic µ(U) is the fixpoint extension of the "Until"-only fragment
of linear-time temporal logic. It also happens to be the
stutter-invariant fragment of linear-time µ-calculus µ(◊). We provide
complete axiomatizations of µ(U) on the class of finite words and on
the class of ω-words. We introd...