Sciweavers

6833 search results - page 69 / 1367
» Some two-character sets
Sort
View
DAGSTUHL
2007
15 years 1 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 1 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»
14 years 12 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»
14 years 11 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»
14 years 11 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