Sciweavers

69 search results - page 7 / 14
» igpl 2006
Sort
View
IGPL
2010
92views more  IGPL 2010»
13 years 8 months ago
The weight of competence under a realistic loss function
In many scientific, economic and policy-related problems, pieces of information from different sources have to be aggregated. Typically, the sources are not equally competent. T...
Stephan Hartmann, Jan Sprenger
IGPL
2010
120views more  IGPL 2010»
13 years 8 months ago
A complete axiom set for Hansson's deontic logic DSDL2
The main contribution of this paper is a (strong) completeness result for an axiomatization of Hansson [13]’s deontic system DSDL2, whose semantics involves a non-necessarily tr...
Xavier Parent
IGPL
2006
76views more  IGPL 2006»
13 years 9 months ago
Gestalt Effects in Counterfactual and Abductive Inference
The paper begins by focusing the basic idea that Gestalt phenomena belong not only to the realm of perception but to the realm of inference. It is shown that Gestalt effects (i.e....
Claudio Pizzi
IGPL
2007
107views more  IGPL 2007»
13 years 9 months ago
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs
This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only bra...
Marcelo Finger, Dov M. Gabbay
IGPL
2007
45views more  IGPL 2007»
13 years 9 months ago
On Positive Relational Calculi
We discuss the question of inclusions between positive relational terms and some of its aspects, using the form of a dialogue. Two possible approaches to the problem are emphasize...
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R...