4978 search results - page 104 / 996 » Logical models of argument |
117
click to vote
ENTCS
2007
15 years 3 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
83
Voted
MLQ
2006
15 years 3 months ago
2006
We define the concept of a logic frame, which extends the concept stract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax and the...
116
click to vote
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
In this paper, we propose a set of human perceptual cues used jointly to automatically detect image orientation. The cues used are: orientation of faces, position of the sky, brig...
116
Voted
DAGSTUHL
2007
15 years 5 months ago
2007
ABSTRACT: In this paper I present the model of ‘bounded revision’ that is based on two-dimensional revision functions taking as arguments pairs consisting of an input sentence ...
112
Voted
AIEDU
2007
15 years 3 months ago
2007
Opening a model of the learner is a potentially complex operation. There are many aspects of the learner that can be modelled, and many of these aspects may need to be opened in di...