63 search results - page 7 / 13 » The Bounded Axiom A Forcing Axiom |
89
Voted
DAGSTUHL
2007
15 years 1 months ago
2007
ABSTRACT: In this paper I present the model of ‘bounded revision’ that is based on two-dimensional revision functions taking as arguments pairs consisting of an input sentence ...
EACL
1989
ACL Anthology
15 years 1 months ago
1989
ACL Anthology
In this paper we present a logical treatment of semifree word order and bounded discontinuous constituency. We extend standard feature value logics to treat word order in a single...
120
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
SIGECOM
2005
ACM
15 years 6 months ago
2005
ACM
A set of jobs need to be served by a single server which can serve only one job at a time. Jobs have processing times and incur waiting costs (linear in their waiting time). The j...
COMPGEOM
2008
ACM
15 years 2 months ago
2008
ACM
Given a fixed origin o in the d-dimensional grid, we give a novel definition of digital rays dig(op) from o to each grid point p. Each digital ray dig(op) approximates the Euclide...