Vagueness and First-Order Expressive Power
Higher-Order Vagueness
... eliminate vagueness from their models, since the fact that they need to eliminate it shows that there is some- thing systematically wrong with their model as a whole, and perhaps even that they shouldn’t attempt ...
207
Modelling higher-order vagueness: columns, borderlines and boundaries
... of vagueness do not look ...higher- order vagueness’? That depends on what is meant by higher-order ...the first-order necessarily ...higher-order vagueness in CHOV ...
16
Exploiting Order Independence for Scalable and Expressive Packet Classification
... are order-independent. Order- dependent classifiers representing service-level-agreements (SLAs) are often unintended byproducts of uniting several services in one ...are order-independent in ...stay ...
14
Squib: Expressive Power of Abstract Meaning Representations
... There are several reasons for this trend. First of all, the simple tree structure of AMRs, showing the connections between concepts and events, make them easy to read. Second, because AMRs can simply be expressed ...
9
On the Expressive Power of Hybrid Branching-Time Logics
... some first results on a study of the expressive power of hybrid logics that results from an extension of well-known branching-time temporal logics – mostly CTL ∗ and its fragments like CTL and CTL + ...
18
Governance Goes Global: Power, Authority and Order in the Twenty-first Century
... In some way this is unsurprising, as this rather slim volume contains some of the biggest names in contemporary social science. Robert Wade spells out why market- centred globalisation has done little to alleviate ...
10
Document Spanners: From Expressive Power to Decision Problems
... For pattern languages, it was shown by Ibarra et al. [18] that bounding the number of variables in the pattern leads to an algorithm for the membership problem with a running time that is polynomial, although in O(n k ) ...
17
Geometry and Expressive Power of Conditional Restricted Boltzmann Machines
... This paper is organized as follows. Section 2 contains formal definitions and elemen- tary properties of CRBMs. Section 3 investigates the geometry of CRBM models in three subsections. In Section 3.1 we study the ...
32
Animalism and the Vagueness of Composition
... the first problem, we need to remember that the animalist takes the claim “Where I am, there is just one organism” to be a pretheo- retical belief, an intuition, that most reasonable people normally ...in ...
21
First-Order Stable Model Semantics and First-Order Loop Formulas
... how first-order loop formulas and the first-order stable model semantics are related to each ...the first-order stable model semantics is more expressive than ...
56
Expressive power, satisfiability and equivalence of circuits over nilpotent algebras
... At first glance the existence of polynomial time algorithms for nilpotent but not supernilpotent algebras is not so obvious as they do have commutator terms of arbitrary large arity so that one can try to ...
15
Typicality, graded membership, and vagueness
... K&P. First, there is no requirement to distinguish the borderline region as a clearly defined range of similarity, since it is assumed that the threshold placement and other sources of variance give rise to a ...
31
Typicality, graded membership, and vagueness
... K&P. First, there is no requirement to distinguish the borderline region as a clearly defined range of similarity, since it is assumed that the threshold placement and other sources of variance give rise to a ...
31
Vagueness, Uncertainty and Degrees of Clarity
... that we intend when we talk of perceptual indistinguishability. There should be no misunderstanding, consequently, when we assert that in our view “perceptual indistinguishability” can be conceived as non-transitive: by ...
38
First Order Reasoning for Higher Order Concurrency
... which first-order values are exchanged between sub-processes using communi- cation ...its power derives from the fact that these values include the set of communication channels, which can be ...
53
Higher Order Vagueness
... Order Vagueness. After going through the issues that make Higher Order Vagueness an object of scientific attention, we conclude that vagueness is undesirable in logical systems but ...
6
Race, Vagueness, and the Social Meaning of Order Maintenance Policing
... Given the predominance of race in the arguments both for and against the gang-loitering ordinance, the debate about its constitutionality should carefully address the[r] ...
63
Expressive Power of Grammatical Formalisms
... Expressive Power of Grammatical Formalisms Expressive Power of Grammatical Formalisms Alexis Manaster Ramer & Wlodek Zadrozny IBM Research T J W a t ~ n Research Center Yorktown Heights, NY 10598 AMR[.] ...
6
Vagueness
... of vagueness must offer some solution to this ...of vagueness include supervaluationism, the degree theory of truth and the epistemic theory, and many of the available theories demand a radical rethink of ...
8
The implications of vagueness
... language have again moved into the philosophical foreground, a sizable body of work has been devoted to the sorites paradox. ' The perseverance of the paradox at[r] ...
31