2962 search results - page 303 / 593 » Reasoning on Association Rules |
178
Voted
ICCBR
2005
Springer
16 years 5 days ago
2005
Springer
An adaptation phase is crucial for a good and reasonable Case-Based Planning (CBP) system. The adaptation phase is responsible for finding a solution in order to solve a new proble...
175
click to vote
LOPSTR
2004
Springer
16 years 3 days ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
172
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
203
Voted
CSL
2001
Springer
15 years 11 months ago
2001
Springer
We introduce the calculus of structures: it is more general than the sequent calculus and it allows for cut elimination and the subformula property. We show a simple extension of m...
195
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...