Sciweavers

4224 search results - page 53 / 845
» Reasoning about Choice
Sort
View
TVCG
2012
169views Hardware» more  TVCG 2012»
13 years 7 months ago
Visual Reasoning about Social Networks Using Centrality Sensitivity
—In this paper, we study the sensitivity of centrality metrics as a key metric of social networks to support visual reasoning. As centrality represents the prestige or importance...
Carlos D. Correa, Tarik Crnovrsanin, Kwan-Liu Ma
AAAI
2008
15 years 7 months ago
Reasoning about the Appropriateness of Proponents for Arguments
Formal approaches to modelling argumentation provide ways to present arguments and counterarguments, and to evaluate which arguments are, in a formal sense, warranted. While these...
Anthony Hunter
ICFP
2007
ACM
16 years 5 months ago
Inductive reasoning about effectful data types
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
Andrzej Filinski, Kristian Støvring
ECSQARU
2005
Springer
15 years 11 months ago
Possibility Theory for Reasoning About Uncertain Soft Constraints
Abstract. Preferences and uncertainty occur in many real-life problems. The theory of possibility is one non-probabilistic way of dealing with uncertainty, which allows for easy in...
Maria Silvia Pini, Francesca Rossi, Kristen Brent ...
AAAI
2007
15 years 7 months ago
Reasoning about Bargaining Situations
This paper presents a logical axiomatization of bargaining solutions. A bargaining situation is described in propositional logic and the bargainers’ preferences are quantified ...
Dongmo Zhang