3552 search results - page 396 / 711 » Proof theory in the abstract |
188
click to vote
GBRPR
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. An appropriate image representation induces some good image treatment algorithms. Hypergraph theory is a theory of finite combinatorial sets, modeling a lot of problems ...
141
click to vote
LPAR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We present new careful semantics within Dung’s theory of argumentation. Under such careful semantics, two arguments cannot belong to the same extension whenever one of ...
182
click to vote
CAISE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
148
click to vote
ECAI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Previously it has been shown that the process of programming a cardiac pacemaker can be described in terms of the theory of diagnosis. A set-theoretical framework of diag...
160
click to vote
FOSSACS
2004
Springer
16 years 4 days ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...