Sciweavers

6833 search results - page 69 / 1367
» Some two-character sets
Sort
View
DAGSTUHL
2007
15 years 7 months ago
A logical formalism for the subjective approach in a multi-agent setting
Representing an epistemic situation involving several agents depends very much on the modeling point of view one takes. In fact, the interpretation of a formalism relies quite a lo...
Guillaume Aucher
COMMA
2006
15 years 7 months ago
Computing Preferred Extensions for Argumentation Systems with Sets of Attacking Arguments
The hitherto most abstract, and hence general, argumentation system, is the one described by Dung in a paper from 1995. This framework does not allow for joint attacks on arguments...
Søren Holbech Nielsen, Simon Parsons
APAL
2006
103views more  APAL 2006»
15 years 5 months ago
Canonical structure in the universe of set theory: part two
We prove a number of consistency results complementary to the ZFC results from our paper [4]. We produce examples of non-tightly stationary mutually stationary sequences, sequences...
James Cummings, Matthew Foreman, Menachem Magidor
COMBINATORICS
2000
89views more  COMBINATORICS 2000»
15 years 5 months ago
Large Dihedral Symmetry of the Set of Alternating Sign Matrices
We prove a conjecture of Cohn and Propp, which refines a conjecture of Bosley and Fidkowski about the symmetry of the set of alternating sign matrices (ASMs). We examine data aris...
Benjamin Wieland
OL
2007
118views more  OL 2007»
15 years 5 months ago
A counterexample to the dominating set conjecture
Abstract The metric polytope metn is the polyhedron associated with all semimetrics on n nodes and defined by the triangle inequalities xij − xik − xjk ≤ 0 and xij + xik + x...
Antoine Deza, Gabriel Indik