2210 search results - page 214 / 442 » CLEF 2001 - Overview of Results |
159
click to vote
JSAI
2001
Springer
15 years 11 months ago
2001
Springer
: The cascade model is a rule induction methodology that uses level-wise expansion of a lattice. An attribute-value pair is expressed as an item, and every node in the lattice is s...
192
click to vote
LOPSTR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
169
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
When writing a constraint program, we have to decide what to make the decision variable, and how to represent the constraints on these variables. In many cases, there is considerab...
168
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
217
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...