ESSLLI
1999
Springer
14 years 3 months ago
1999
Springer
ESSLLI
1999
Springer
14 years 3 months ago
1999
Springer
We recall the concept of a linguistic variable and the representation of its values (i.e. linguistic terms) by means of fuzzy sets. In this framework adverbs are represented by fuz...
ESSLLI
1999
Springer
14 years 3 months ago
1999
Springer
This paper argues that exhaustification is empirically and theoretically important as a tool in the semantic description of various constructions in natural language. Discussion f...
ESSLLI
1999
Springer
14 years 3 months ago
1999
Springer
ESSLLI
1999
Springer
14 years 3 months ago
1999
Springer
ESSLLI
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. The main purpose of this paper is to present a new algorithm (NEWSAT) for deciding the (un)satisfiability of propositional formulae. It is based on a somehow dual (versu...
LICS
1999
IEEE
14 years 3 months ago
1999
IEEE
An important open question in complexity theory is whether the circuit complexity class TC0 is (strictly) weaker than LOGSPACE. This paper considers this question from the viewpoi...
LICS
1999
IEEE
14 years 3 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
LICS
1999
IEEE
14 years 3 months ago
1999
IEEE
The complexity of set constraints has been extensively studied over the last years and was often found quite high. At the lower end of expressiveness, there are atomic set constra...
LICS
1999
IEEE
14 years 3 months ago
1999
IEEE